Group theory, representation theory, algebraic topology, and category theory
2604.04919We show that the Schur-complement reduction of a chemical reaction network (CRN) from Hirono et al. is the categorical complement of the stoichiometric arrow in the arrow category $[\mathbf{A}_2,\mathbf{Vect}]$. This identifies the ambient category in which topological reduction of chemical reaction networks is functorial and explains the reduced stoichiometric matrix as a universal diagrammatic construction. We further define a reconstruction functor from a restricted subcategory of $[\mathbf{A}_2, \mathbf{Vect}]$ back to CRNs and prove an adjunction with the stoichiometric functor.
2604.04763This collection presents a selected set of unsolved problems in semigroup theory, a fundamental branch of modern algebra. The publication is dedicated to the 110th anniversary of the birth of E. S. Lyapin, one of the founders of the field and the author of the world's first monograph on semigroups. The collection covers several major directions of contemporary research: potential properties and embeddability of semigroups; structural problems and finiteness conditions in varieties; endomorphisms; solvable and unsolvable classes of finite semigroups and groups; power semigroups; inclusive varieties; and the theory of partial groupoids. It serves both as a tribute to Lyapin's memory and as a roadmap for current and future research in algebraic systems.
2604.04688We give a direct proof that the proalgebraic graded Grothendieck-Teichmüller group $\mathsf{GRT}_{\mathbb{K}}$ is isomorphic to the group of automorphisms of the prounipotent cyclic operad of parenthesized ribbon chord diagrams based on Furusho's $5$-cycle reformulation of the pentagon equation. As an application, we describe a $\mathsf{GRT}_{\mathbb{K}}$-action on the category of framed chord diagrams with self-dual objects, which is closely related to the target category of the Kontsevich integral for framed tangles.
2604.04615In this paper, we present a new qualitative extension of the Hopf theorem (and a generalization of Borsuk-Ulam theorem), concerning continuous maps $f$ from a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We remove the assumption of a Riemannian structure and instead consider closed triangulable manifolds $M$ equipped with a topological notion of 'distant' points. We show that for any continuous map $f \colon M \to \mathbb{R}^n$, there exists a connected component in the space of $f$-neighbors (where a pair of points $a, b$ are $f$-neighbors if $f(a) = f(b)$) that contains both a pair of 'distant' points and a pair of identical points. This result yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems, as well as a multidimensional extension of the mountain-climbing lemma, which in the special case of the standard Euclidean $2$-sphere, may be stated informally as follows. For any continuous distribution of temperature and pressure on Earth (assumed time-independent), there exists a pair of antipodal points with identical values such that travelers starting from these points can move and meet while, at each moment of their journey, experiencing matching 'climatic conditions' up to an arbitrarily small constant.
2604.04587For a finite group $G$, let $ω(G)$ be the set of element orders of $G$ and let $h(G)$ be the number of pairwise nonisomorphic finite groups $H$ with $ω(H)=ω(G)$. We say that the recognition problem is solved for $G$ if the number $h(G)$ is known, and if $h(G)$ is finite, then all finite groups $H$ with $ω(H)=ω(G)$ are described. We complete the solution of the recognition problem for the finite simple linear and unitary groups.
2604.04581By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate subrings. Our aim is to develop a general framework for the sum-product phenomenon that applies uniformly across arbitrary rings. The main result identifies nilpotent quotients as the fundamental obstruction to growth under both addition and multiplication. Another application of the main structure theorem is a ring-theoretic counterpart of Gromov's theorem on groups of polynomial growth. The principal tool in the proof is the existence of definable locally compact models for arbitrary approximate subrings from [Kru24]. This existence theorem extends beyond the finite (and pseudofinite) setting. To illustrate the scope of the method, we also establish a structure theorem for uniformly discrete approximate subrings of semi-simple real algebras, generalizing a classical sum-product result of Meyer.
We define homological area-radius pairs with surface diagrams. Using these, we adapt a proof of Gersten and Short \cite{gersten2002} to obtain a homological isoperimetric inequality for subgroups of type $FP_2$ which appear as kernels of free extensions.
2604.04534Given a finite group $G$, we denote by $ν(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $ν(G)>1/12,$ then $G$ is solvable.
2604.04505A torsion class $\mathcal{T}$ of the module category $\operatorname{\mathsf{mod}} A$ of a finite dimensional algebra $A$ over a field $K$ is said to be compact if there exists a module $M \in \operatorname{\mathsf{mod}} A$ such that $\mathcal{T}$ is the smallest torsion class containing $M$. If a torsion class satisfies this and the dual condition, then we call it a bicompact torsion class. We conjecture that bicompact torsion classes are precisely functorially finite torsion classes, and prove it for hereditary algebras and also for semistable torsion classes. This gives that Demonet Conjecture implies Enomoto Conjecture, both of which are important conjectures on brick infiniteness.
This article proposes a category-theoretic formalization of Greimasian narrative programs (NPs) that makes their compositional structure mathematically precise. Building on a reconstruction of the actantial model as a categorical schema, we introduce a refined typological schema of actants and derive Set-valued instances corresponding to role-indexed elements of a narrative. NPs are represented within a categorical schema whose morphisms are interpreted using monads on Set. In particular, the List monad provides a Kleisli semantics for modeling non-atomic, list-valued actantial configurations, while the Maybe monad encodes optional dependencies between programs. This yields a minimal representation of narrative programs as structured data with an intrinsic compositional interpretation. To account for the dynamics of narrative formation, we lift these constructions into a diagrammatic setting by freely generating a symmetric monoidal category, and subsequently a hypergraph category, from the set of actants. In this framework, narrative programs act as generators of morphisms, and their composition is realized through wiring diagrams. A narrative trajectory is thereby interpreted as a single composite morphism. This approach provides a unified mathematical framework for structural semiotics, connecting data-level representations of narrative elements with their compositional realization in discourse.
The $q$-Garnier system was first proposed by Sakai and its other directions of discrete time evolutions were given by Nagao and Yamada. Recently, it was shown that all of those directions of discrete time evolutions are derived from a birational representation of an extended affine Weyl group which arises from the cluster algebraic construction established by Masuda, Okubo and Tsuda. In this article, we investigate a degeneration structure of the $q$-Garnier system of fourth order by using confluences in quivers.
We introduce a classical integrable system associated with the torus-equivariant quantum $K$-theory of type C flag variety. We prove that its conserved quantities coincide with the generators of the defining ideal of the Borel presentation of the quantum $K$-ring obtained by Kouno and Naito. In particular, the Hamiltonian of the system is naturally regarded as a type B analogue of the relativistic Toda lattice introduced by Ruijsenaars. We also construct Bäcklund transformations describing the discrete time evolution of the system. This construction makes explicit the integrable structure underlying the quantum $K$-theory and provides a framework for further studies of the $K$-theoretic Peterson isomorphism.
2604.04367We discuss the problem of defining a tensor product of profinitely many copies of a vector space $V$, and propose a definition $\bigotimes_X^{\mathrm{mcc}} V$ in the special situation that (1) $V$ is finite-dimensional over $\mathbf{F}_2$, and (2) the profinite $X$ indexing the tensor factors is acted on with finitely many orbits by a pro-$2$-group. The "mcc" on the tensor sign stands for "magnetized and conditionally convergent." A variant construction makes sense when $V$ is a bimodule over a ring of the form $\mathbf{F}_2 \times \cdots \times \mathbf{F}_2$, and the index set $X$ has the profinite version of a cyclic order. The definition organizes some computations in Heegaard Floer homology: it can be pitched as a computation of the Heegaard Floer theory of some pro-$3$-manifolds, though we do not know how to define such a thing.
2604.04366A Cayley graph $\Cay(G,S)$ is said to be inner-automorphic if $S$ is a union of conjugacy classes of a group $G$, and arc-transitive if its full automorphism group acts transitively on the set of arcs. In this paper, we characterize four well-known families of arc-transitive graphs that arise as connected inner-automorphic Cayley graphs on dihedral groups, and we provide a necessary condition for other connected arc-transitive Cayley graphs on dihedral groups to be inner-automorphic. We further construct an infinite family of examples satisfying this condition, thereby demonstrating the existence of such graphs. Finally, we complete the classification of all 2-distance-transitive connected inner-automorphic Cayley graphs on dihedral groups.
2604.04200In this work, we construct a persistent version of the well-known Leray spectral sequence. More precisely, we construct a spectral sequence that computes the persistent cohomology of a space from the persistent cohomology in each open set and its intersections with a covering that is the pre-image under a function of a covering of a known space.
2604.04189In this work, we obtained separation results via codimension-1 maps to generalized manifolds. More specifically, we proved results that allow us to estimate the number of connected components of the complement of the image of such maps.
In this paper, we study groups with property (PPH), i.e., there exist finitely many proper Gromov-hyperbolic spaces $X_1,\ldots, X_l$ on which $G$ acts cocompactly such that the diagonal action of $G$ on the $\ell^1$-product $\prod_{i=1}^lX_i$ is proper. We show that any finitely generated subgroup of a finitely generated group with property (PPH) either is amenable or contains $F_2$. Furthermore, we study groups with property (PPT), i.e., groups with property (PPH) so that $X_1,\cdots,X_l$ are all proper quasi-trees. We show that any finitely generated subgroup of a finitely generated group with property (PPT) either is virtually (locally-finite)-by-$\mathbb{Z}^n$ or contains $F_2$. Additionally, we establish that for a non-elementary hyperbolic group \(G\), \(G\) admits a proper diagonal action on a finite product of regular trees if and only if \(G\) has property (PPT). This result transforms a question posed by Button \cite{But19} into the problem of whether every non-elementary hyperbolic group has property (PPT).
Let $\overlineμ_Λ(t):=\sum\limits_{m\geq1}μ_Λ(m)t^m$ be the \emph{$μ$-series} of a finite-dimensional tame algebra $Λ$ over an algebraically closed field, where $μ_Λ(m)$ denotes the minimal number of one-parameter families of $Λ$-modules with total dimension $m$. When $Λ$ is a string algebra with $\mathrm{Ba}(Λ)$ as its set of bands up to cyclic permutation, define the \emph{zeta function} $ζ_Λ(t):=\prod\limits_{\mathfrak b\in\mathrm{Ba}(Λ)}(1-t^{|\mathfrak b|})^{-1}$, where $|\mathfrak b|$ is the length of $\mathfrak b$. We prove an analogue of the prime number theorem for string algebras and use it to conclude that non-domestic string algebras are of exponential growth. Finally, we show that a string algebra is domestic if and only if its $μ$-series is rational.
We determine the semisimplicity criterion for even partition algebras over the complex field. Specifically we prove that the even/2-tonal partition algebras $P_n^2(δ)$ over $\mathbb{C}$ are semisimple for all $n$ if and only if parameter $δ\not\in \mathbb{N}_0$ .
2604.02885Let $L$ be one of the finite simple classical groups $L_8(q)$, $U_8(q)$, $O_{10}^+(q)$, $O_{10}^-(q)$ or $O_{12}^+(q)$, with $q$ odd. We prove that every finite group having the same set of element orders as $L$ is an almost simple group with socle isomorphic to $L$. This completes the study of the recognition-by-spectrum problem for simple classical groups whose prime graph independence number is equal to $4$.