https://arxiv.org/api/qy9xoCih8urZzFyu0HxTfm0qRGU 2026-07-24T21:16:35Z 30432 420 15 http://arxiv.org/abs/2606.19485v1 Hopfological algebra, revisited 2026-06-17T18:20:43Z We 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:43Z 47 pages. Comments welcome Juan Omar Gómez Gustavo Jasso Marius Nielsen http://arxiv.org/abs/2605.04303v2 Higher-level affine wreath product algebras 2026-06-17T16:52:06Z We 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:04Z 27 pages; v2: Minor corrections, some details in Section 7 omitted for brevity Thomas Moran http://arxiv.org/abs/2410.16217v2 Hikita surjectivity for $\mathcal N /// T$ 2026-06-17T16:44:48Z The 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:59Z v2: 20 pages, 5 figures. Final version, to appear at Math. Z Linus Setiabrata http://arxiv.org/abs/2606.19234v1 Classical freeness of $\widehat{\mathfrak{sl}}_n$ at level $1$ via combinatorics 2026-06-17T16:10:22Z We 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:22Z 38 pages and many figures. Comments welcome! Shashank Kanade http://arxiv.org/abs/2606.03708v2 Commutativity via Spectral Equivalences of the Jordan Product in Banach Algebras 2026-06-17T14:38:38Z Spectral 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:34Z There 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 proof Muhammad Hassen http://arxiv.org/abs/2308.16626v4 Canonically Jordan recoverable categories for modules over the path algebra of $A_n$ type quivers 2026-06-17T14:03:34Z Let $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:27Z v2 : 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êne http://arxiv.org/abs/2606.19028v1 Simple gradable $\mathbb{C}\lbrack\mathtt{h}\rbrack$-torsion free $\mathfrak{sl}_2$-modules 2026-06-17T12:56:40Z We 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:40Z Volodymyr Mazorchuk Shuoyang Xu http://arxiv.org/abs/2606.18999v1 Schneider--Teitelbaum Duality over a Non-spherically Complete Field 2026-06-17T12:25:55Z We 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:55Z Tomoki Mihara http://arxiv.org/abs/2506.03806v2 Matrix representations of the twisted virtual braid group and its extensions 2026-06-17T11:56:01Z This 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:00Z Mohamad N. Nasser Vaibhav Keshari Madeti Prabhakar http://arxiv.org/abs/2509.05135v2 Happel's question, Han's conjecture and $τ$-Hochschild (co)homology 2026-06-17T11:31:46Z We 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:23Z 27 pages, minor changes. To appear in Annals of K-Theory Claude Cibils Marcelo Lanzilotta Eduardo N. Marcos Andrea Solotar http://arxiv.org/abs/2601.15430v2 The Hirzebruch quadratic form of a hyperplane arrangement and flat logarithmic connections 2026-06-17T10:57:36Z We 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:13Z 12 pages Martin de Borbon Dmitri Panov http://arxiv.org/abs/2501.16640v2 Grothendieck positivity for normal square root crystals 2026-06-17T02:55:58Z Normal 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:15Z 38 pages, 4 figures; v2: minor corrections, final version Adv. Math. 501 (2026), 111118 Eric Marberg Kam Hung Tong Tianyi Yu 10.1016/j.aim.2026.111118 http://arxiv.org/abs/2508.16137v2 Structure of modules stably annihilated by a fixed ideal 2026-06-17T02:52:26Z Let $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:24Z 12 pages Yuki Mifune http://arxiv.org/abs/2607.13046v1 What Your Model Threw Away and Why You'll Want It Back: Masking, Fingerprinting, and Privacy from Discarded Geometry 2026-06-17T01:03:26Z We 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:26Z 22 pages, 10 figures Zachary P. Bradshaw http://arxiv.org/abs/2512.16825v3 Quivers with quantum Yang-Baxter equation and Hecke condition: Deformation of face algebras 2026-06-16T16:22:36Z In 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:26Z Cody Gilbert Ashish K. Srivastava