https://arxiv.org/api/AgRDMANXR2uunDPAS8k9sxcudcU 2026-07-21T13:43:08Z 30406 75 15 http://arxiv.org/abs/2509.22625v4 2026-07-14T07:33:26Z

Let $d$ be a positive integer. In a previous article we established a bijective correspondence between the following classes of objects, considered up to the appropriate notion of equivalence: differential graded algebras (dg) with finite-dimensional $0$-th cohomology such that the canonical generator of their perfect derived category is a basic $d\ZZ$-cluster tilting object, and basic Frobenius algebras that are twisted $(d+2)$-periodic as bimodules. In this article, we prove a variant of our general correspondence for bimodule right Calabi--Yau dg algebras. A novel ingredient is a new cohomology theory which contains obstructions to the existence and uniqueness of minimal $A_\infty$-bimodule structures on a graded bimodule. As an application of our results, we obtain, to our knowledge, the first example of an algebraic triangulated category with a triangulated Calabi--Yau structure that cannot be lifted to a bimodule right Calabi--Yau structure on any of its dg enhancements.

2025-09-26T17:51:20Z 103 pages. v2: Corrected several small typos. Added new Section 7.3 on a non-enhanceable triangulated Calabi--Yau structure. v3: Editorial improvements. v4: Enhanced exposition, several small corrections. Subsection 7.3 is now Section 8 Gustavo Jasso Fernando Muro http://arxiv.org/abs/2607.12232v1 2026-07-14T00:26:36Z

The character of a connected $\mathfrak{sl}_n$-crystal is a Schur polynomial; the crystal can be further decomposed into quasicrystals, whose characters are the Gessel quasisymmetric functions. Crystal skeletons are obtained by contracting quasicrystals within crystal graphs. They generalize dual equivalence graphs, and can be used to prove the Schur expansion of a symmetric function when the quasisymmetric expansion is known. In this paper, we show that the crystal skeleton can be tiled further into components which we call quasicrystal skeletons, whose characters are Young quasisymmetric Schur functions. We characterize which edges in the crystal skeleton move between quasicrystal skeleton components. Contracting the quasicrystal skeleton components yields Bruhat order. We illustrate how these tools can be applied to symmetric functions by analyzing the Stanley symmetric functions.

2026-07-14T00:26:36Z 26 pages, 9 figures Sarah Brauner Zajj Daugherty Sarah Mason Anne Schilling http://arxiv.org/abs/2503.14840v3 2026-07-13T20:19:46Z

We establish a correspondence between the algebraic and analytic approaches to constructing representations of the braid group Bn: the Katz--Long--Moody construction and the multiplicative middle convolution for Knizhnik--Zamolodchikov (KZ)-type equations, respectively. Furthermore, we show that this construction preserves the unitarity of representations relative to a Hermitian matrix. We present an algorithm for determining the signature of this matrix, and show that the signature is well defined for arbitrary parameters lambda satisfying |lambda| = 1 and lambda != 1 by continuity.

2025-03-19T02:48:09Z Haru Negami http://arxiv.org/abs/2607.12120v1 2026-07-13T19:56:52Z

We prove Kleber's rectangular-complement conjecture for Schur functions over an arbitrary commutative ring $R$, showing that, for a fixed rectangle, the products $s_λs_{λ^\vee}$, indexed by unordered complementary pairs, are linearly independent in $Λ_R$. The proof rests on a general independence theorem for componentwise splittings, which asserts that for every partition $θ$, the products $s_αs_β$ are linearly independent as $\{α,β\}$ ranges over unordered pairs of partitions satisfying $α+β=θ$. The independence of the products $s_λs_{λ^\vee}$ also yields linear independence of the Koike--Terada universal-character products over any field, answering a question of Gao--Orelowitz--Yong. We also prove the analogous result for monomial symmetric functions over fields of characteristic zero, as well as integral linear independence over $\mathbb{Z}$.

2026-07-13T19:56:52Z 14 pages Reuven Hodges Hanzhang Yin http://arxiv.org/abs/2607.11767v1 2026-07-13T16:26:24Z

Colloquially speaking, `equivariant categories' refer to families of additive categories $\mathcal{A}(G)$ depending 2-functorially on a finite group $G$. We construct approximations of equivariant categories by Mackey 2-functors, both on the left and on the right. The idea is to enlarge $\mathcal{A}$ in a minimal way to make induction appear. These `mackeyfications' are inspired by Boltje's work with ordinary Mackey 1-functors. We also relate our left and right mackeyfications via a mark transformation. Finally we discuss examples.

2026-07-13T16:26:24Z Paul Balmer Hatice Mutlu http://arxiv.org/abs/2605.26057v3 2026-07-13T14:44:49Z

We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new characterization of schemes that are locally complete intersections in terms of $t$-structures, as well as a topological classification of preaisles on the bounded derived category of coherent sheaves.

2026-05-25T17:17:13Z comments welcome; few details added! Michal Hrbek Pat Lank Giovanna Le Gros Sergio Pavon http://arxiv.org/abs/2607.11456v1 2026-07-13T12:06:30Z

Over any finite dimensional algebra $Λ$ over any field $K$, we propose a new notation for $τ$-rigid pairs: We represent these as ``balanced pairs'' $\frac AB$, We show that many formulas in $τ$-tilting theory are simplified in the balanced notation. For example, the Jasso category and its dual, the torsion class and torsion-free class associated to any $τ$-tilting pair. Other dual concepts, such as signed and cosigned exceptional sequences are also easier to compare using the balanced notation. Balanced notation is also visually appealing because it matches the wall labels for the semi-invariant picture in the hereditary case and almost matches the wall labels in the general case. We also show that, in the functorially finite case, the formulas for torsion classes given by Igusa and Maresca [11] agree with the standard formulas of Adachi, Iyama and Reiten [1] when expressed in balanced notation.

2026-07-13T12:06:30Z 29 pages, 6 figures. The idea behind this paper was presented at the 2021 Workshop on Cluster Algebras and Related Topics at the Morningside Center for Mathematics at CAS in Beijing, August 2021 Kiyoshi Igusa Gordana Todorov http://arxiv.org/abs/2502.00378v3 2026-07-13T09:53:26Z

The two subjects in the title are related via the specialization of symmetric polynomials at roots of unity. Let $f(z_1,\ldots,z_n)\in\mathbb{Z}[z_1,\ldots,z_n]$ be a symmetric polynomial with integer coefficients and let $ω$ be a primitive $d$th root of unity. If $d|n$ or $d|(n-1)$ then we have $f(1,ω,\ldots,ω^{n-1})\in\mathbb{Z}$. If $d|n$ then of course we have $f(ω,ω^2,\ldots,ω^n)=f(1,ω,\ldots,ω^{n-1})\in\mathbb{Z}$, but when $d|(n+1)$ we also have $f(ω,ω^2,\ldots,ω^n)\in\mathbb{Z}$. We investigate these three families of integers in the case $f=h_k^{(b)}$, where $h_k^{(b)}$ is the coefficient of $t^k$ in the generating function $\prod_{i=1}^n (1+z_it+\cdots+(z_it)^{b-1})$. These polynomials were previously considered by several authors. They interpolate between the elementary symmetric polynomials ($b=2$) and the complete homogeneous symmetric polynomials ($b\to\infty$). When $\gcd(b,d)=1$ with $d|n$ or $d|(n-1)$ we find that the integers $h_k^{(b)}(1,ω,\ldots,ω^{n-1})$ are related to cyclic sieving of multisets with multiplicities bounded above by $b$, generalizing the well-known cyclic sieving results for sets ($b=2$) and multisets ($b\to \infty$). When $\gcd(b,d)=1$ and $d|(n+1)$ we find that the integers $h_k^{(b)}(ω,ω^2,\ldots,ω^n)$ are related to the Frobenius coin problem with two coins. The case $\gcd(b,d)\neq 1$ is more complicated. At the end of the paper we combine these results with the expansion of $h_k^{(b)}$ in various bases of the ring of symmetric polynomials.

2025-02-01T09:32:32Z Final version. Accepted to Electronic Journal of Combinatorics. Fixed several typos, improved some notation, improved the statement of Corollary 5.3(a) Drew Armstrong http://arxiv.org/abs/2507.13945v3 2026-07-13T08:56:55Z

Let $A$ be a gentle algebra. For every collection of string and band diagrammes, we consider the constructible subset of the variety of representations containing all modules with this underlying diagramme. We study degenerations of such sets. We show that these sets are defined by vectors of integers which we call $h$-vectors and which are related to a restricted version of the hom-order. We provide combinatorial criteria for the existence of a degeneration, involving the removal of an arrow or the resolving of a type of configuration called "reaching".

2025-07-18T14:15:08Z 32 pages Judith Marquardt http://arxiv.org/abs/2412.01283v3 2026-07-13T08:12:55Z

We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.

2024-12-02T08:55:44Z 27 pages, many figures, comments welcome, appeared in J. Exp. Math, added a remark acknowledging E. O. Hjelle for proposing an AI-generated proof of Conjecture 6.4 (via ChatGPT 5.5 Pro), added a link to the complete proof on our GitHub repository J. Exp. Math. 2 (2026), no. 1, 21-62 Abel Lacabanne Daniel Tubbenhauer Pedro Vaz 10.56994/JXM.002.001.002 http://arxiv.org/abs/2607.11133v1 2026-07-13T06:12:17Z

We study the PBW filtration on covariant representations for the Lie superalgebra $\mathfrak{gl}(m|n)$. We prove for all covariant weights of the form $(λ|μ,0^{n-1})$, that there exists a lattice polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence, we obtain degenerations of partial flag supervarieties for the supergroup $GL(m|n)$ into toric supervarieties.

2026-07-13T06:12:17Z 22 pages Ibrahim Ahmad Pranav Enugandla http://arxiv.org/abs/2607.11100v1 2026-07-13T05:16:28Z

In this paper, we classify the category of $\mathfrak{so}_n(\mathbb{C})$-modules whose restrictions to the universal enveloping algebra of the abelian nilradical of a maximal parabolic subalgebra are free of rank $1$. We show that they generically are simple, and give an explicit description of submodules in the non-simple case. This category embodies a certain connection between weight modules and non-weight modules.

2026-07-13T05:16:28Z Yang Chen Haijun Tan Lu Zhang http://arxiv.org/abs/2607.10913v1 2026-07-12T20:39:25Z

We relate two recent enrichments of the Hochschild theory of a finite-dimensional algebra $\Lm$: the $τ$-Hochschild (co)homology of Cibils, Lanzilotta, Marcos and Solotar, built from Iyama's higher Auslander--Reiten translates of the regular bimodule, and the Coxeter automorphism $σ_\Lm$ of the Tamarkin--Tsygan calculus. We show that the Nakayama functor of the enveloping algebra transforms Happel's minimal resolution into a complex representing $\D\Lm\Ltimes_\Lm \D\Lm$, the square of the Serre bimodule whose shift generates $σ_\Lm$, and that the $τ$-translates $τ_n\Lm$ are precisely the cycle bimodules of this complex. This produces extensions $0\to \B_n\to τ_n\Lm\to \Tor_n^\Lm(\D\Lm,\D\Lm)\to 0$ whose outer term is dual to $\Ext^n_{\Lme}(\Lm,\Lme)$ and whose inner term is a strictly Morita-theoretic residue of the minimal model. In top degree $d=\gldim\Lm$ the residue vanishes and $τ_d\Lm$ is the dual of the degree-one component of the $(d+1)$-preprojective algebra of Iyama--Oppermann; for $\Lm=\kk Q$ hereditary, $τ_{\Lme}\Lm\cong \DΠ(Q)_1$ and $\HH^1_τ(\kk Q)$ is the degree-one part of the zeroth Hochschild homology of the preprojective algebra. For self-injective algebras, the derived part vanishes identically, which explains structurally the growth of $τ$-cohomology for the Buchweitz--Green--Madsen--Solberg algebras. Taking Euler characteristics in the Cibils--Lanzilotta--Marcos--Solotar dimension formulas recovers Happel's trace formula $\sum_i(-1)^i\dim\HH^i(\Lm)=-\trσ_\Lm$. We prove that the two refinements are transversal, propose the combined Morita invariant, exhibit derived-equivalent algebras of finite global dimension whose $τ$-translates have identical dimension but opposite composition, and pose the problem of derived invariance of $τ$-Hochschild theory over the smooth locus.

2026-07-12T20:39:25Z 20 pages Marco Armenta http://arxiv.org/abs/2211.16207v5 2026-07-12T16:23:34Z

For a connected, reductive group $G$ over a finite field endowed with a cocharacter $μ$, we define the zip cone of $(G,μ)$ as the cone of all possible weights of mod $p$ automorphic forms on the stack of $G$-zips. This cone is conjectured to coincide with the cone of weights of characteristic $p$ automorphic forms for Hodge-type Shimura varieties of good reduction. We prove in full generality that the cone of weights of characteristic $0$ automorphic forms is contained in the zip cone, which gives further evidence to this conjecture. Furthermore, we determine exactly when the zip cone is generated by the weights of partial Hasse invariants, which is a group-theoretical generalization of a result of Diamond--Kassaei and Goldring--Koskivirta.

2022-11-29T13:43:09Z 48 pages, appendix by Wushi Goldring Épijournal de Géométrie Algébrique, Volume 10 (2026), Article no. 8 Wushi Goldring Naoki Imai Jean-Stefan Koskivirta 10.46298/epiga.2026.15861 http://arxiv.org/abs/2607.10821v1 2026-07-12T16:23:00Z

We define analogs of superconformal algebras over an arbitrary commutative associative superalgebra. In the finitely generated case the universal central extensions of these algebras are finitely presented. In particular, we show that all known superconformal algebras are finitely presented.

2026-07-12T16:23:00Z 38 pages Consuelo Martínez Efim Zelmanov Zezhou Zhang