https://arxiv.org/api/k41T4XPNZs9KJ6a5JeOY6qWqIxY 2026-07-20T22:46:09Z 30388 45 15 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.12069v1 2026-07-13T18:41:48Z

Classical Floquet--Bloch theory decomposes abelian periodic problems over the character torus of the lattice. For nonabelian nilpotent lattices, the non--type~I obstruction rules out a comparable parametrization of the full unitary dual. We do not attempt to remove this obstruction. Instead, we construct an exact Bloch-type replacement on the representation-theoretic part of the theory which is visible from rational Kirillov data and from finite-dimensional rational fibers. Let \(Γ\) be a torsion-free finitely generated nilpotent group and let \(G\) be its Malcev completion. For an irreducible unitary representation \(π_l\) of \(G\) attached to a rational Kirillov parameter \(l\in\mathfrak g_{\mathbb Q}^{*}\), we prove an exact restriction theorem for \(π_l|_Γ\). The branching is first described by induced representations attached to rational polarizations. On the rational odd locus relevant to finite-dimensional representations, it further decomposes into finite-dimensional irreducible representations of \(Γ\). On these finite-dimensional rational fibers we construct a positive finitely additive Plancherel measure. It gives Fourier inversion and normalized trace identities for nilpotent lattices, recovering Pytlik's formula in the discrete Heisenberg case.

2026-07-13T18:41:48Z 60 pages. Self-contained representation-theoretic foundations paper. Draws on and substantially revises the corresponding part of the longer preprint arXiv:2509.16848. Analytic applications are treated separately. arXiv admin note: text overlap with arXiv:2509.16848 Atsushi Katsuda 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.11552v1 2026-07-13T13:34:42Z

In this paper, we characterize the global dimension of a string algebra by using combinatorial methods. Moreover, we establish a necessary and sufficient condition for when the global dimension of a string algebra is infinite.

2026-07-13T13:34:42Z 13 pages, to appear in Arch. Math. (Basel) Zheng Xin Lingchun Zhang 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