https://arxiv.org/api/LDz1kGOC8h4JDjnDrSoG+7RsEwA 2026-03-22T12:03:17Z 25194 60 15 http://arxiv.org/abs/2002.01016v2 2026-03-14T07:10:47Z

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational theories. As yet another application, we construct a von-Neumann-regular extension of this category. Similar results are provided for the topological annular category and various quotients of the latter, like the affine Temperley--Lieb category.

2020-02-03T21:06:36Z Version 2 is radically reworked and substantially extended and should therefore be considered essentially a new paper. 95 pages, 13 numbered figures and many unnumbered illustrations, 1 table Karl Auinger Mikhail Volkov http://arxiv.org/abs/2506.23047v2 2026-03-14T00:58:21Z

In this paper, we focus on the variety $\mathbf{NF}_3$ generated by all flat semirings with $3$-nilpotent multiplicative reducts. By introducing graph semirings, we characterize all subdirectly irreducible members of $\mathbf{NF}_3$. We prove that the variety $\mathbf{NF}_3$ has uncountably many subvarieties and show that every finitely generated subvariety of $\mathbf{NF}_3$ is a Cross variety. Moreover, we demonstrate that $\mathbf{NF}_3$ has a unique limit subvariety, which is generated by all acyclic graph semirings.

2025-06-29T00:58:07Z Zidong Gao Miaomiao Ren http://arxiv.org/abs/2409.09527v3 2026-03-13T23:58:42Z

We introduce the extension graph of graph product of groups and study its geometry. This enables us to study properties of graph product by exploiting large scale geometry of its defining graph. In particular, we show that the extension graph is isomorphic to the crossing graph of a canonical quasi-median graph and exhibits the same phenomenon about asymptotic dimension as quasi-trees of metric spaces studied by Bestvina-Bromberg-Fujiwara. As an application of the extension graph, we prove relative hyperbolicity of graph-wreath product. This provides a new construction of relatively hyperbolic groups.

2024-09-14T20:49:17Z To appear in Algebraic & Geometric Topology Koichi Oyakawa http://arxiv.org/abs/2603.13564v1 2026-03-13T20:06:23Z

A C*-algebra (or a group) is called MF (matricial field) if it admits finite dimensional approximate unitary representations which are approximately injective, where approximately is meant with respect to the operator norm. It is proved that for any MF C*-algebra $A$ and its C*-subalgebra $C$, $A\ast_C A$ is MF. For general amalgamated free products, $A\ast_C B$, a necessary and sufficient condition for being MF is given. It is shown that the following groups -- amalgamated free products of amenable groups, semidirect products of amenable groups by free groups, and $\mathbb Z^2\rtimes SL_2(\mathbb Z)$ -- all have MF full group C*-algebra. It is shown that the class of MF C*-algebras is closed under maximal tensor products with $C^*(\mathbb F_n)$. We also show that for any Hilbert-Schmidt stable C*-algebra $A$ and any its C*-subalgebra $C$, all hyperlinear traces on $A\ast_C A$ are MF.

2026-03-13T20:06:23Z Tatiana Shulman http://arxiv.org/abs/2603.13096v1 2026-03-13T15:45:39Z

In this paper we obtain explicit linear upper bounds for the virtually cyclic dimension of normally poly-surface and normally poly-free groups. Our approach is based on a structural study of the balanced property (Lück's Condition~C), which provides structural control over commensurators of virtually cyclic subgroups. We prove general stability results showing that the balanced property is preserved under suitable short exact sequences, direct limits, and acylindrical graph of groups decompositions. As applications, we establish that normally poly-hyperbolic groups, normally poly-free groups, and normally poly-surface groups are balanced. These classes include, in particular, pure braid groups of surfaces with non-empty boundary, Artin groups of FC-type, right-angled Artin groups, and fundamental groups of mapping tori of surface homeomorphisms.

2026-03-13T15:45:39Z 21 pages Jesús Hernández Hernández Porfirio Leandro León Álvarez http://arxiv.org/abs/2510.12591v2 2026-03-13T14:07:37Z

Recently, Korkmaz established the lower bound of $3g - 2$ for the dimension of a faithful representation of the mapping class group of an orientable surface of genus $g \ge 3$. We raise this bound to $4g - 3$ in the setting of surfaces of genus $g \ge 7$. A new ingredient is a finer study of the commutation relations in $\operatorname{PMod}(Σ)$. We use the relations arising from a certain pants decomposition of $Σ_g$ to show that any representation of dimension $\le 4g - 4$ is forced to kill a natural subgroup of the Torelli group. We also establish lower bounds for the dimension of faithful representations of related groups: the Johnson group of a closed surface, arbitrarily low terms of the Johnson filtration of a compact surface with one boundary component, and pure braid groups. These lower bounds grow linearly on the genus of the surfaces and the number of strands of the braids. Finally, we also provide some evidence that greater lower bounds for the low-genus cases should lead to improved lower bounds for $g \gg 0$.

2025-10-14T14:45:04Z 18 pages, 7 figures. Incorporated feedback from referees and colleagues: made the exposition clearer. Accepted for publication in Transactions of the AMS Thiago Brevidelli http://arxiv.org/abs/2408.03766v3 2026-03-13T09:25:41Z

In this paper, we explore linear representations of skew left braces, which are known to provide bijective non-degenerate set-theoretical solutions to the Yang--Baxter equation that are not necessarily involutive. A skew left brace $(A, \cdot, \circ)$ induces an action $λ^{\op}: (A, \circ) \to \Aut (A, \cdot)$, which gives rise to the group $Λ_{A^{\op}} = (A, \cdot) \rtimes_{λ^{\op}} (A, \circ)$. We prove that if $A$ and $B$ are isoclinic skew left braces, then $Λ_{A^{\op}}$ and $Λ_{B^{\op}}$ are also isoclinic under some mild restrictions on the centers of the respective groups. Our key observation is that there is a one-to-one correspondence between the set of equivalence classes of irreducible representations of $(A, \cdot, \circ)$ and that of the group $Λ_{A^{\op}}$. We obtain a decomposition of the induced representation of the additive group $(A, \cdot)$ and of the multiplicative group $(A, \circ)$ corresponding to the regular representation of the group $Λ_{A^{\op}}$. As examples, we compute the dimensions of the irreducible representations for several skew left braces with prime power orders.

2024-08-07T13:36:17Z 17 pages, added Proposition 3.3: Proof that if $A$ is any skew left brace, then $Λ_{A}$ and $Λ_{A^{\op}}$ are isomorphic groups Nishant Rathee Ayush Udeep http://arxiv.org/abs/2507.14551v2 2026-03-13T05:29:03Z

L. Kauffman (2024) introduced multi-virtual and symmetric multi-virtual braid groups, which are generalizations of the virtual braid group. We introduce multi-virtual pure and multi-virtual semi-pure braid groups, which are normal subgroups of index $n!$. We give a set of generators and defining relations for these groups, show that multi-virtual (symmetric multi-virtual) braid group is a semi-direct products of multi-virtual pure (symmetric multi-virtual pure) braid group and symmetric group. Also, we introduce multi-welded and multi-unrestricted braid groups and examines structure of three-strand 2-virtual braid group and some its subgroups and quotients. The paper concludes by outlining open problems and suggesting avenues for future research in this area.

2025-07-19T09:13:40Z 23 pages, 12 figures Valeriy G. Bardakov Tatyana A. Kozlovskaya Komal Negi Madeti Prabhakar http://arxiv.org/abs/2603.12428v1 2026-03-12T20:23:18Z

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this, we complete the analysis of the Nichols algebras of Yetter-Drinfeld modules over such groups whose support is a semisimple orbit, begun in arXiv:1506.06794, arXiv:2301.03361. In addition to the techniques used in loc. cit., we introduce a general procedure to determine when a semisimple conjugacy class in a Chevalley or Steinberg group is of type C and a new criterion based on the results of arXiv:2411.02304 that applies to arbitrary racks. Throughout the process, we obtain results on Nichols algebras over racks beyond the framework of Chevalley groups.

2026-03-12T20:23:18Z 80 pages Nicolás Andruskiewitsch Giovanna Carnovale http://arxiv.org/abs/2603.12425v1 2026-03-12T20:17:09Z

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

2026-03-12T20:17:09Z 20 pages, 1 figure Anton Lukyanenko Joseph Vandehey http://arxiv.org/abs/2603.12348v1 2026-03-12T18:09:53Z

We show that if $G$ is a finite group whose Sylow $2$-subgroups are wreathed, then the intersection $\Outc(G) \cap \OutCol(G)$ has odd order, where $\Outc(G)$ and $\OutCol(G)$ denote the class-preserving and Coleman outer automorphism groups, respectively. This implies that $G$ satisfies the normalizer problem for its integral group ring. Combined with earlier work on the dihedral and semidihedral cases, this settles the question for all three families of $2$-groups of $2$-rank two classified by Gorenstein--Walter and Alperin--Brauer--Gorenstein.

2026-03-12T18:09:53Z Riccardo Aragona http://arxiv.org/abs/2510.23955v3 2026-03-12T17:18:56Z

We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two complexes are combinatorially equivalent in the sense that one can be obtained from the other via taking a nerve. As an application, we prove that the automorphism group of this coset intersection complex is the extended mapping class group, a result in the spirit of for Ivanov's metaconjecture.

2025-10-28T00:19:16Z v3: some minor changes Haoyang He Eduardo Martínez-Pedroza http://arxiv.org/abs/2603.12095v1 2026-03-12T16:01:40Z

We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces), and property FW$_\infty$ (which obstructs actions on finite-dimensional CAT(0) cube complexes). We also recover that property FA and non-abelian free subgroups are not profinite invariants. The method combines Rips constructions with iterated group-theoretic Dehn filling on hyperbolic virtually special groups.

2026-03-12T16:01:40Z 21 pages Francesco Fournier-Facio http://arxiv.org/abs/2510.14028v2 2026-03-12T15:40:29Z

The representation theory of tensor functions is a powerful mathematical tool for constitutive modeling of anisotropic materials. A major limitation of the traditional theory is that many point groups require fourth- or sixth-order structural tensors, which significantly impedes practical engineering applications. Recent advances have introduced a reformulated representation theory that enables the modeling of anisotropic materials using only lower-order structural tensors (i.e., second-order or lower). Building upon the reformulated theory, this work establishes the representations of tensor functions for three-dimensional centrosymmetric point groups. For each point group, we propose a lower-order structural tensor set and derive the representations of tensor functions explicitly. For scalar-valued and second-order symmetric tensor-valued functions, our theory is indeed applicable to all three-dimensional point groups because their representations are determined by the corresponding centrosymmetric groups. The representation theory presented here is broadly applicable for constitutive modeling of anisotropic materials.

2025-10-15T19:09:08Z Mohammad Madadi Pu Zhang http://arxiv.org/abs/2410.23052v4 2026-03-12T15:26:33Z

Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors.

2024-10-30T14:19:31Z 46 pages. Comments welcome! v2: Improved exposition in section 3.2; updated remark 7.8 v3: Improved introduction and tightened the exposition elsewhere. Shortened paper v4: Final version as published in Advances in Mathematics Advances in Mathematics 493 (2026) 110908 David Chan David Mehrle J. D. Quigley Ben Spitz Danika Van Niel 10.1016/j.aim.2026.110908