Mathematics

Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…

This paper reviews recent results and open problems on the conductor of finite group characters, highlighting their connections to one another and to broader topics in the representation theory of finite groups.

For an $\omega$-categorical theory $T$ and model $\mathcal{M}$ of $T$ we define a hierarchy of ranks, the $n$-ranks for $n < \omega$ which only care about imaginary elements ``up to level $n$'', where level $n$ contains every element of $M$…

We provide a categorification of Oh and Suh's combinatorial Auslander-Reiten quivers in the simply laced case. We work within the perfectly valued derived category $\mathrm{pvd}(\Pi_Q)$ of the 2-dimensional Ginzburg dg algebra of a Dynkin…

In this paper we study the mixed Poincar\'e polynomial of generic $\mathrm{PGL}_n(\mathbb{C})$-character stacks with coefficients in some local systems arising from the conjugacy classes of $\mathrm{PGL}_n(\mathbb{C})$ which have…

We give a general asymptotic formula for the growth rate of the number of indecomposable summands in the tensor powers of representations of finite groups, over a field of arbitrary characteristic. In characteristic zero we obtain…

In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (quantifier free induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the…

We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination of aggregation functions and, indirectly, of asymptotic…

In this paper, we study the principal specialization of monomial symmetric polynomials and investigate the special values of these polynomials at \[ \zeta_{(n,k)} := ( 1, \zeta_n, \zeta_n^2, \dots, \zeta_n^{kn-1} ), \] where $\zeta_n$ is a…

The first part of this article is devoted to characterizing the cocycles $\alpha$ of a finite group $G$ that give rise to faithful projective representations of $G$. We prove that a $p$-group $G$ admits a faithful irreducible projective…

Let $T_R(M)$ be a tensor ring, where $R$ is a ring and $M$ is an $N$-nilpotent $R$-bimodule. Under certain conditions, we characterize the Gorenstein flat-cotorsion modules over $T_R(M)$, showing that a $T_R(M)$-module $(X, u)$ is…

We consider three categories arising from the higher Auslander algebras of type $A$ in relation to $d$-dimensional cluster combinatorics: $d$-exact subcategory of the module category of $A^d_{n+1}$ generated by the $d$-cluster-tilting…

Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that…

Cruz Chapital, Goto, Hayashi and the author showed that the game-theoretic variants $\mathfrak{s}_{\mathrm{game}^*}^\mathrm{I}$ and $\mathfrak{s}_{\mathrm{game}^{**}}^\mathrm{I}$ of the splitting number $\mathfrak{s}$ are consistently…

Let $(\mathcal{E}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category. Motivated by the theory of hereditary algebras, we introduce the notion of a hereditary-type subcategory $\mathcal{W}\subseteq \mathcal{E}$. We prove that the…

Quiver skew braces or skew bracoids are equivalent to braided groupoids, that is, groupoids with a constraint of abelianity. They are the quiver-theoretic version of skew braces, an increasingly studied structure lying in the intersection…

In this paper we present new ways to construct external subsets of nonstandard models of arithmetic using mostly internal sets, and show that if an ultraproduct of prime finite fields includes a copy of the algebraic real numbers then…

In the first part of this series, the authors introduced the quantum wreath product, providing a unified framework that encompasses numerous results previously addressed only through case-by-case analysis. This paper shifts focus to the…

Let $G$ be a finite group and let $p$ be a prime. In this paper, we prove a strengthened version of Brauer's height zero conjecture for the principal $p$-block of $G$ that takes the action of a certain group of Galois automorphisms into…

A formal system called cologic is proposed for the study of compacta. A counterpart of countable model theory is developed for this system, and it is applied to model theory of the pseudo-arc.