https://arxiv.org/api/BD2TUu3Pn4Qyf8ORlqEzQIppnzU 2026-07-21T19:58:01Z 30406 105 15 http://arxiv.org/abs/2407.17366v5 2026-07-09T21:35:10Z

In this paper we consider the automorphisms of the double affine Hecke algebra (DAHA) of type $\check{C_1}C_1$ which have a relatively simple action on the generators and on the parameters, notably a symmetry $t_4$ which sends the Askey-Wilson parameters $(a,b,c,d)$ to $(a,b,qd^{-1},qc^{-1})$. We study how these symmetries act on the basic representation and on the symmetric and non-symmetric Askey-Wilson (AW) polynomials and functions. Interestingly $t_4$ maps AW polynomials to functions. We take the rank one case of Stokman's Cherednik kernel for $BC_n$ as the definition of the non-symmetric Askey--Wilson function. From it we derive an expression as a sum of a symmetric and an anti-symmetric term.

2024-07-24T15:43:30Z v5: 39 pages; errors on p.7 (line 6 and first diagram) and in formulas (4.9), (6.2), (6.3), (7.24), (7.25), still present in published version in Indag. Math., have neen corrected here Indag. Math. (N.S.) 36 (2025), 1795-1829 Tom H. Koornwinder Marta Mazzocco 10.1016/j.indag.2025.05.005 http://arxiv.org/abs/2111.06876v4 2026-07-09T21:08:08Z

We study the ring of functions on the (classical and quantized) phase space of 2-dimensional BF theory with the gauge group $\mathrm{GL}_N$ coupled to a 1-dimensional quantum mechanics with global symmetry $\mathrm{GL}_K$. These functions are gauge-invariant local observables of the coupled system. We first construct the classical phase space of this system and describe its ring of functions, as well as their large-$N$ limit. We next compute the Hilbert series of these algebras for finite $N$ and in the large-$N$ limit. We then study the quantization of this phase space and the deformation quantization of its ring of functions, elaborate its relation to the Yangian, and construct its coproduct. Finally, we identify these quantized algebras with the quantized Coulomb branch algebras of certain 3d $\mathscr{N}=4$ quiver gauge theories.

2021-11-12T18:54:32Z v3. 35 Pages + Appendices + References = 53 pages; Appendix A added to clarify the relationship between the two symplectic structures on the phase space; Typos fixed; The published version Adv. Theor. Math. Phys., Vol. 30, Issue 5 (2026), pp. 1349-1418 Seyed Faroogh Moosavian Yehao Zhou 10.4310/ATMP.260604135827 http://arxiv.org/abs/2607.08913v1 2026-07-09T20:11:14Z

For $n\geq 1$, we investigate the Hilbert scheme of $n$-points on a surface $S$ with canonical singularities. We generalise the well-known theorem of Fogarty by showing that the underlying reduced subscheme of $\operatorname{Hilb}^n(S)$ is a normal variety of dimension $2n$ with canonical singularities, and for $n\leq 7$, we show that $\operatorname{Hilb}^n(S)$ is reduced. When $S$ has symplectic singularities over $\mathbb{C}$, we show that the underlying reduced subscheme of $\operatorname{Hilb}^n(S)$ also has symplectic singularities, thereby generalising a result of Beauville. Our results build on work of the first author with Gyenge, Gammelgaard and Szendrői that sought to identify the underlying reduced subscheme of the Hilbert scheme of $n$-points on a Kleinian singularity with a Nakajima quiver variety.

2026-07-09T20:11:14Z 33 pages. This paper contains the geometric results from v1 of our arXiv:2312.08527 preprint, though we establish reducedness only for n\leq 7 Alastair Craw Ryo Yamagishi http://arxiv.org/abs/2607.08911v1 2026-07-09T20:10:13Z

We develop a field-theoretic framework for quantum error correction centred on fusion-space codes in unitary fusion categories. Admissible clusters determine total-charge sectors and orthogonal footprint projectors recording locally visible data left by error histories. The central distinction is between diagnostic footprint algebras and syndrome-admissible commuting algebras: the latter can be measured without revealing logical information and resolve chosen error representatives into measured sectors. For such algebras, exact correctability is equivalent to fibrewise Knill--Laflamme conditions, yielding a measure-then-recover factorization. Under a contractible-vacuum locality hypothesis, closed neutral composites give a categorical sufficient criterion for scalar action on the code. In the Ising theory, four $σ$ punctures show that pair-charge footprints can be complementary logical diagnostics and realize an exact one-qubit Clifford shadow. A proper six-$σ$ code instead admits a syndrome-admissible pair-charge measurement and exact recovery from an explicit Majorana bilinear error. A second bilinear has the same measured footprint but differs by a logical bit flip, producing a concrete nontrivial footprint fibre and genuine decoding ambiguity. We also formulate conformal-block likelihood data and compute geometry-dependent Ising four-point weights. For growing code families, we prove a conditional Peierls-type threshold theorem: bounded connected-region growth, local stochastic noise, local neutralizability of small residual components, and componentwise decoder balance imply $\Pr_L(\mathrm{fail})\le C|Ω_L|e^{-cL}$ below a nonzero constant error rate. We conclude with representation-theoretic and algebro-geometric directions involving tube and Hopf algebras, Yangian-type structures, Higgs bundles, spectral curves, Jacobians, and abelian varieties.

2026-07-09T20:10:13Z 69 pages, 6 figures, 4 tables Steven Rayan http://arxiv.org/abs/2508.20337v2 2026-07-09T19:46:46Z

A well-known and fundamental property of the Macdonald polynomials $P_λ(x;q,t)$ is their invariance under the transformation sending $(q,t)$ to $(q^{-1},t^{-1})$. Recently, Concha and Lapointe showed that this property extends in an interesting, nontrivial way to an identity for partially symmetric Macdonald polynomials. Their identity played a key role in the work of Bechtloff Weising and Orr linking partially symmetric Macdonald polynomials to parabolic flag Hilbert schemes. In this paper, we refine the Concha-Lapointe identity to a sub-family of Alexandersson's permuted basement Macdonald polynomials and give a combinatorial proof of the refined identity. We show also that the Concha-Lapointe identity is equivalent to the assertion that (normalized) partially symmetric Macdonald polynomials are fixed under the Kazhdan-Lusztig involution.

2025-08-28T00:45:45Z Daniel Orr Johnny Rivera http://arxiv.org/abs/2607.08600v1 2026-07-09T15:32:35Z

If $\mathfrak{p}$ is a prime ideal of a number ring $\mathcal{O}$, then the top-degree cohomology of the principal congruence subgroup of level $\mathfrak{p}$ is naturally a representation of $\text{SL}_n(\mathcal{O}/\mathfrak{p}).$ We prove that the multiplicity of the Steinberg representation in this cohomology space is one. When $\mathcal{O}$ is Euclidean and $\mathfrak{p}$ is suitably small -- for example a universal side divisor -- then we prove that the multiplicity of the Steinberg representation in the next-highest-degree cohomology space is zero. Our proof relies on a computation of the cohomology of an $S$-arithmetic group ouside of a linear range of degrees, derived from work of Blasius--Franke--Grunewald.

2026-07-09T15:32:35Z 23 pages Matthew Scalamandre http://arxiv.org/abs/2605.21681v2 2026-07-09T14:17:26Z

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fraïssé limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly expanded with a generic total order. As a special case, we deduce the finite length property of the Rado graph using both methods. We also describe some connections with function spaces, weighted register automata, and orbit-finite systems of linear equations.

2026-05-20T19:38:13Z 27 pages in the proceedings of LICS 2026, plus appendix Jingjie Yang Mikołaj Bojańczyk Bartek Klin 10.4230/LIPIcs.LICS.2026.82 http://arxiv.org/abs/2607.08485v1 2026-07-09T13:42:42Z

In recent work, Harman and the second author introduced some new infinite dimensional algebraic groups that generalize the classical groups. In this paper, we establish versions of the first and second fundamental theorems of invariant theory for them.

2026-07-09T13:42:42Z 10 pages Alessandro Danelon Andrew Snowden http://arxiv.org/abs/2607.08308v1 2026-07-09T09:48:52Z

This book presents a part of the (complex) representation theory of $p$-adic reductive groups. Starting from a basis accessible to graduate students, it culminates with the theory of the "Bernstein center" and the Langlands classification of irreducible smooth representations. \vspace{0.5cm} \noindent The book consists of seven chapters, Chapters VI and VII constituting the core of the book. Chapter VI is devoted to the study of the category of smooth representations of a $p$-adic reductive group, establishing among other things the Bernstein decomposition theorem and the description of its center. Chapter VII deals with square-integrable and tempered representations, and the Langlands classification theorem is proved there. \vspace{0.5cm} \noindent The first four chapters are placed in a more general framework and tackle, in order, the study of algebras with idempotents, totally disconnected locally compact spaces and groups, smooth representations of the latter, and particular classes of representations (compact, unitary, square-integrable). Chapter V is a review of the structure results of $p$-adic reductive groups. Appendices give the elements of category theory and some results in algebra used in the text.

2026-07-09T09:48:52Z Book, 290 pages David Renard http://arxiv.org/abs/2607.08245v1 2026-07-09T08:46:01Z

The structure of the standard Whittaker $(\mathfrak{g}, K)$-module is examined in the case when the group in question is a real split reductive linear Lie group. This module is an injective object in the category of Harish-Chandra $(\mathfrak{g}, K)$-modules which admit a fixed infinitesimal character. The global character of this module is determined. The main theorem of this paper is that it has a self-adjoint structure. Also obtained are the explicit socle filtrations of the standard Whittaker $(\mathfrak{g}, K)$-modules for the rank two split groups $SL(3,\mathbb{R})$, $Sp(2,\mathbb{R})$ and $G_{2}$(split).

2026-07-09T08:46:01Z 33 pages Kenji Taniguchi http://arxiv.org/abs/2605.30006v2 2026-07-09T07:49:54Z

This note studies the quantized corner structure of four-dimensional $BF$ theory, classifies the associated free and physical corner algebras and constructs possible representations. In the abelian case, for arbitrary closed oriented surfaces and in the presence or absence of a cosmological term, explicit presentations of the corner algebras are obtained in terms of generators and relations, identifying them as infinite-dimensional oscillator-type Lie algebras with an abelian summand. A construction of infinite families of simple modules via bosonic Fock space representations is provided. In the non-abelian case on the torus, the corner algebras are described as quotients constructed from the central extensions of double-loop algebras over certain non-semisimple Lie algebras. A construction of infinite families of simple Fock-type modules of the free corner algebra via an induced module procedure is also provided. The resulting modules descend only trivially to the physical quotient, revealing an obstruction in the present construction in the non-abelian setting.

2026-05-28T14:33:44Z 40 pages, v2: updated references and added remarks Giovanni Canepa Alberto S. Cattaneo Filippo Fila-Robattino Timon Leupp http://arxiv.org/abs/2503.04623v4 2026-07-09T06:37:59Z

Let $p$ be odd and let $K/\mathbb Q_p$ be unramified. For a special orthogonal group or a unitary group $G$ over $K$ that splits over an unramified extension, we prove that the Fargues-Scholze local Langlands correspondence agrees with the semisimplification of the classical correspondence for $G$ constructed in the work of Arthur and others. As applications, we construct an unambiguous local Langlands correspondence for even special orthogonal groups, deduce the strong Kottwitz conjecture and the eigensheaf conjecture of Fargues, and establish new torsion vanishing results for orthogonal and unitary Shimura varieties.

2025-03-06T17:09:58Z Typos have been fixed. The Kottwitz conjecture has been strengthened to its strongest form, several details have been added throughout, and the "weak normalized regularity" condition has been replaced by "regularity" Hao Peng http://arxiv.org/abs/1901.00104v3 2026-07-09T00:37:10Z

We propose a method to prove a polyhedral branching formula for Kirillov-Reshetikhin (KR) modules over an untwisted quantum affine algebra. When the underlying simple Lie algebra is of exceptional type, such a formula remains conjectural in many cases. Using a linear recurrence relation satisfied by the characters of KR modules, we convert the verification of a polyhedral formula into an identity between two rational functions of a single variable with only simple poles at known locations. It is then sufficient to compare the residues at those poles, which are explicitly computable quantities. By applying this strategy, we obtain new, computer-assisted and easily verifiable proofs of known polyhedral formulas in types $F_4$ and $G_2$ within a uniform framework.

2019-01-01T06:32:12Z SIGMA 22 (2026), 064, 15 pages Chul-hee Lee 10.3842/SIGMA.2026.064 http://arxiv.org/abs/2503.01796v2 2026-07-08T18:17:46Z

We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse étale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety are perfections of globally $+$-regular varieties, and hence they are $\varphi$-rational. Our methods apply uniformly to all affine Schubert varieties in equicharacteristic, as well as classical Schubert varieties, thereby answering a question of Bhatt. As a corollary, we deduce that scheme-theoretic local models always have $\varphi$-split special fiber.

2025-03-03T18:24:36Z 34 pages, various improvements and new section on abstract BSDH varieties Robert Cass João Lourenço http://arxiv.org/abs/2212.09794v2 2026-07-08T17:55:59Z

The quantum max-flow is a linear algebraic version of the classical max-flow of a graph, used in quantum many-body physics to quantify the maximal possible entanglement between two regions of a tensor network state. In this work, we calculate the quantum max-flow exactly in the case of the bridge graph. The result is achieved by drawing connections to the theory of prehomogenous tensor spaces and the representation theory of quivers. Further, we highlight relations to invariant theory and to algebraic statistics.

2022-12-19T19:07:37Z 27 pages, final version Transformation Groups, vol. 30, pp. 1751-1784 (2025) Fulvio Gesmundo Vladimir Lysikov Vincent Steffan 10.1007/s00031-024-09863-2