https://arxiv.org/api/qy9xoCih8urZzFyu0HxTfm0qRGU2026-07-24T21:16:35Z3043242015http://arxiv.org/abs/2606.19485v1Hopfological algebra, revisited2026-06-17T18:20:43ZWe propose an $\infty$-categorical approach to Khovanov--Qi's Hopfological algebra that, in particular, refines several foundational aspects of the theory by recasting the previous constructions in terms of $\infty$-categories of modules in monoidal $\infty$-categories. This perspective leads to a more general variant of Hopfological algebra that takes place over an arbitrary rigidly-compactly generated symmetric monoidal stable $\infty$-category, which we also outline in the article. In the appendix, we compare the construction of Hopfological derived categories to that of Holm--Jørgensen's $Q$-shaped derived categories.2026-06-17T18:20:43Z47 pages. Comments welcomeJuan Omar GómezGustavo JassoMarius Nielsenhttp://arxiv.org/abs/2605.04303v2Higher-level affine wreath product algebras2026-06-17T16:52:06ZWe define and study two new classes of algebras, called higher-level affine wreath product algebras and higher-level affine Frobenius Hecke algebras. They depend on a Frobenius superalgebra and are defined, respectively, as path algebras of the higher-level affine wreath product category and higher-level affine Frobenius Hecke category. Our constructions produce a broad range of new higher-level algebras under a unified framework. Special cases include higher-level analogues of the degenerate affine Hecke algebra and affine Sergeev algebras, both of which appear to be new.2026-05-05T21:10:04Z27 pages; v2: Minor corrections, some details in Section 7 omitted for brevityThomas Moranhttp://arxiv.org/abs/2410.16217v2Hikita surjectivity for $\mathcal N /// T$2026-06-17T16:44:48ZThe Hamiltonian reduction $\mathcal N///T$ of the nilpotent cone in $\mathfrak{sl}_n$ by the torus of diagonal matrices is a Nakajima quiver variety which admits a symplectic resolution $\widetilde{\mathcal N///T}$, and the corresponding BFN Coulomb branch is the affine closure $\overline{T^*(G/U)}$ of the cotangent bundle of the base affine space. We construct a surjective map $\mathbb C\left[\overline{T^*(G/U)}^{T\times B/U}\right] \twoheadrightarrow H^*\left(\widetilde{\mathcal N /// T}\right)$ of graded algebras, which the Hikita conjecture predicts to be an isomorphism. Our map is inherited from a related case of the Hikita conjecture and factors through Kirwan surjectivity for quiver varieties. We conjecture that many other Hikita maps can be inherited from that of a related dual pair.2024-10-21T17:19:59Zv2: 20 pages, 5 figures. Final version, to appear at Math. ZLinus Setiabratahttp://arxiv.org/abs/2606.19234v1Classical freeness of $\widehat{\mathfrak{sl}}_n$ at level $1$ via combinatorics2026-06-17T16:10:22ZWe use a family of Rogers--Ramanujan-type combinatorial identities of Dousse--Konan involving coloured partitions to prove classical freeness of the simple vertex operator algebras based on $\widehat{\mathfrak{sl}}_n$ at level $1$. These identities are used to produce Gröbner bases for the relevant arc algebras.2026-06-17T16:10:22Z38 pages and many figures. Comments welcome!Shashank Kanadehttp://arxiv.org/abs/2606.03708v2Commutativity via Spectral Equivalences of the Jordan Product in Banach Algebras2026-06-17T14:38:38ZSpectral characterizations of algebraic structure have a long history in the theory of Banach algebras. It is known that weak spectral information may force strong algebraic consequences, such as commutativity throughout the algebra or centrality of a single element. In this paper we study when spectral invariance, applied to the Jordan product $x \circ y = (xy + yx)/2$, forces commutativity or centrality in a semisimple Banach algebra $A$. We first investigate permutations of three elements, proving that equality of the spectral radii $ρ(xyz)=ρ(xzy)$ for all $x,y,z\in A$ implies $A$ is commutative, thereby complementing earlier cardinality and diameter results of Braatvedt et al. We next consider Jordan products and show that if the spectrum (or spectral radius) cannot distinguish the Jordan product from the ordinary product then $A$ must be commutative. By using representation-theoretic methods, we also obtain local spectral characterizations of central elements, showing that boundedness or omission properties of the spectrum (or spectral argument) of the Jordan product $x\circ(ax^{-1})$, as $x$ runs through the exponential group of $A$, imply $a$ belongs to the center of $A$. These results show that coarse spectral data associated with the Jordan product can determine commutativity and centrality.2026-06-02T14:29:34ZThere is an error in the proof of Theorem 2.2 whereby the assumption/hypothesis to the theorem is not enough to proceed in the first part of the proof. Specifically, assuming the spectral radius of xyz is the same as that of xzy does not produce the required invertibility necessary in line 6 of the proofMuhammad Hassenhttp://arxiv.org/abs/2308.16626v4Canonically Jordan recoverable categories for modules over the path algebra of $A_n$ type quivers2026-06-17T14:03:34ZLet $Q$ be a quiver of $A_n$ type and $\mathbb{K}$ be an algebraically closed field. A nilpotent endomorphism of a quiver representation induces a linear transformation of the vector space at each vertex. Generically among all nilpotent endomorphisms of a fixed representation $X$, there exists a well-defined Jordan form of each of these linear transformations $\operatorname{GenJF}(X)$, called the generic Jordan form data of $X$. A subcategory of $\operatorname{rep}(Q)$ is Jordan recoverable if we can recover $X$ up to isomorphism from its generic Jordan form data.
There is a procedure which allows one to invert the map from representations to generic Jordan form data. The subcategories for which this procedure works are called canonically Jordan recoverable. We focus on the subcategories of $\operatorname{rep}(Q)$ that are canonically Jordan recoverable, and we give a combinatorial characterization of them.2023-08-31T10:46:27Zv2 : minor changes following reports of this article as part of my Ph.D. thesis; v3 : new section 3.3 on two ways of calculating GenRep that coïncide + minor changes; v4 : minor changes and improvement in the presentation of the technical sections (4,5 and 6)Benjamin Dequênehttp://arxiv.org/abs/2606.19028v1Simple gradable $\mathbb{C}\lbrack\mathtt{h}\rbrack$-torsion free $\mathfrak{sl}_2$-modules2026-06-17T12:56:40ZWe give an explicit classification as well as an explicit construction of simple $\mathfrak{sl}_2$-modules that are torsion-free of finite rank with respect to the action of the Cartan subalgebra and which admit a grading by a finite cyclic group corresponding to the rank of the module.2026-06-17T12:56:40ZVolodymyr MazorchukShuoyang Xuhttp://arxiv.org/abs/2606.18999v1Schneider--Teitelbaum Duality over a Non-spherically Complete Field2026-06-17T12:25:55ZWe formulate Schneider--Teitelbaum duality between wide classes of Banach $k$-linear representations of $G$ and left $O_k[[G]]$-modules for a non-spherically complete field $k$, e.g.\ $\mathbb{C}_p$, and a profinite group $G$. We interpret a topological notion of a weak variant of irreducibility of a Banach $k$-linear representation of $G$ into a purely algebraic notion of a certain simplicity of the dual left $O_k[[G]]$-module. As applications, we give two $p$-adic families of infinite dimensional Banach $\mathbb{C}_p$-linear representations of a $p$-adic Lie group satisfying the weak irreducibility.2026-06-17T12:25:55ZTomoki Miharahttp://arxiv.org/abs/2506.03806v2Matrix representations of the twisted virtual braid group and its extensions2026-06-17T11:56:01ZThis paper classifies complex local representations of the twisted virtual braid group, $TVB_2$, into $\mathrm{GL}_3(\mathbb{C})$. It shows that such representations fall into eight types, all of which are unfaithful and reducible to a two-dimensional representation. Further reducibility to a one-dimensional representation is analyzed for specific types. The paper also examines complex homogeneous local representations of $TVB_n$ into $\mathrm{GL}_{n+1}(\mathbb{C})$ for $n \geq 3$, identifying seven unfaithful types. Additionally, complex local representations of the singular twisted virtual braid group, $STVB_2$, into $\mathrm{M}_3(\mathbb{C})$ are classified into thirteen unfaithful types. Finally, the paper demonstrates that not all complex local extensions of $TVB_2$ representations to $STVB_2$ conform to a $Φ$-type extension.2025-06-04T10:27:00ZMohamad N. NasserVaibhav KeshariMadeti Prabhakarhttp://arxiv.org/abs/2509.05135v2Happel's question, Han's conjecture and $τ$-Hochschild (co)homology2026-06-17T11:31:46ZWe introduce the $τ$-Hochschild (co)homology of a finite dimensional associative algebra $Λ$ by means of the higher Auslander-Reiten translate of O. Iyama. We show that the global dimension of $Λ$, Happel's question and Han's conjecture are related to the $τ$-Hochschild (co)homology.2025-09-05T14:24:23Z27 pages, minor changes. To appear in Annals of K-TheoryClaude CibilsMarcelo LanzilottaEduardo N. MarcosAndrea Solotarhttp://arxiv.org/abs/2601.15430v2The Hirzebruch quadratic form of a hyperplane arrangement and flat logarithmic connections2026-06-17T10:57:36ZWe prove that the Hirzebruch quadratic form of a complex hyperplane arrangement is non-positive on the set of stable weights, and we identify the zero locus within this set with flat logarithmic connections of a distinguished type. The proof uses Kempf--Ness and the frame-potential inequality.2026-01-21T19:55:13Z12 pagesMartin de BorbonDmitri Panovhttp://arxiv.org/abs/2501.16640v2Grothendieck positivity for normal square root crystals2026-06-17T02:55:58ZNormal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur functions. Among other applications, this tool leads to a new proof of Buch's combinatorial rule for the multiplication of symmetric Grothendieck functions. The definition of a normal square root crystal, originally formulated by the first two authors, largely mirrors that of normal crystals. Our main result is to show that the character of such a crystal is always a sum of symmetric Grothendieck polynomials. The proof relies on an unexpected connection between the raising operators for our crystals and the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis, and Yong.2025-01-28T02:23:15Z38 pages, 4 figures; v2: minor corrections, final versionAdv. Math. 501 (2026), 111118Eric MarbergKam Hung TongTianyi Yu10.1016/j.aim.2026.111118http://arxiv.org/abs/2508.16137v2Structure of modules stably annihilated by a fixed ideal2026-06-17T02:52:26ZLet $R$ be a commutative noetherian ring, and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, for an ideal $I$ of $R$, we introduce the full subcategory $\operatorname{mod}_{I}(R)$ of $\operatorname{mod} R$ consisting of modules whose stable annihilators contain $I$, and we investigate its structure. As an application, we explore the syzygy category of maximal Cohen--Macaulay $R$-modules, extending a theorem of Dey and Liu from the Gorenstein case to the Cohen--Macaulay case.2025-08-22T06:56:24Z12 pagesYuki Mifunehttp://arxiv.org/abs/2607.13046v1What Your Model Threw Away and Why You'll Want It Back: Masking, Fingerprinting, and Privacy from Discarded Geometry2026-06-17T01:03:26ZWe develop a framework for the information discarded by machine learning models whose inputs carry a Lie group action. Given a representation $π$ of a Lie group $G$ on a space $V$ and a learned function $f\colon V \to \mathbb{R}$, we define two objects measuring the symmetry invisible to $f$. The null fiber at a point $x \in V$ is the set $N_G(f,x) = \{g \in G : f(π(g^{-1}) \cdot x) = f(x)\}$ of group elements whose inverse action on $x$ is undetectable by $f$. When $N_G(f,x)$ is independent of $x$, it coincides with the stabilizer $\mathrm{Stab}_G(f)$, the largest subgroup of $G$ under which $f$ is invariant. For smooth maps to $\mathbb{R}$, the preimage theorem guarantees that null fibers have dimension at least $\dim G - 1$ at generic inputs, regardless of architecture. For compact groups acting on themselves, the Peter--Weyl theorem yields a spectral characterization of both objects in terms of the Fourier coefficient matrices of $f$. We show that null fiber elements can be computed efficiently via Newton iteration on the orbit map, at a cost comparable to a few gradient evaluations. Applications to data masking, model fingerprinting, and privacy-preserving computation are developed and tested experimentally on molecular property prediction under $\mathrm{SO}(3)$ and spherical image classification under the Möbius group $\mathrm{PSL}(2, \mathbb{C})$. The framework applies uniformly to classical neural networks and variational quantum circuits.2026-06-17T01:03:26Z22 pages, 10 figuresZachary P. Bradshawhttp://arxiv.org/abs/2512.16825v3Quivers with quantum Yang-Baxter equation and Hecke condition: Deformation of face algebras2026-06-16T16:22:36ZIn this paper we initiate the study of quivers carrying quantum Yang--Baxter and Hecke structure, and we apply this framework to study path algebras over quivers whose loop spaces carry RTT relations determined by Hecke $R$-matrices. We show that the quantum matrix algebra $\mathcal{O}_q(M_n)$ is isomorphic as a bialgebra to the face algebra over a rose quiver deformed by RTT relations of the $GL_q(n)$ Hecke $R$-matrix.2025-12-18T18:05:26ZCody GilbertAshish K. Srivastava