http://arxiv.org/api/wTdjeG5qayCwitjxgoWv6gYTYcQ 2025-04-22T00:00:00-04:00 27713 90 15 http://arxiv.org/abs/2504.08724v1 2025-04-11T17:40:52Z 2025-04-11T17:40:52Z Holographic duality from Howe duality: Chern-Simons gravity as an ensemble of code CFTs We discuss the holographic correspondence between 3d "Chern-Simons gravity" and an ensemble of 2d Narain code CFTs. Starting from 3d abelian Chern-Simons theory, we construct an ensemble of boundary CFTs defined by gauging all possible maximal subgroups of the bulk one-form symmetry. Each maximal non-anomalous subgroup is isomorphic to a classical even self-dual error-correcting code over $\mathbb Z_p\times \mathbb Z_p$, providing a way to define a boundary "code CFT." The average over the ensemble of such theories is holographically dual to Chern-Simons gravity, a bulk theory summed over 3d topologies sharing the same boundary. In the case of prime $p$, the sum reduces to that over handlebodies, i.e. becomes the Poincar\'e series akin to that in semiclassical gravity. As the main result of the paper, we show that the mathematical identity underlying this holographic duality can be understood and rigorously proven using the framework of Howe duality over finite fields. This framework is concerned with the representation theory of two commuting groups forming a dual pair: the symplectic group of modular transformations of the boundary, and an orthogonal group mapping codes to each other. Finally, we reformulate the holographic duality as an identity between different averages over quantum stabilizer states, providing an interpretation in terms of quantum information theory. Anatoly Dymarsky Johan Henriksson Brian McPeak 38 pages + appendices http://arxiv.org/abs/2504.08717v1 2025-04-11T17:30:13Z 2025-04-11T17:30:13Z On certain Lagrangian subvarieties in minimal resolutions of Kleinian singularities Kleinian singularities are quotients of $\mathbb{C}^2$ by finite subgroups of $\mathrm{SL}_2(\mathbb{C})$. They are in bijection with the simply-laced Dynkin diagrams via the McKay correspondence. Anti-Poisson involutions and their fixed point loci appear naturally when we want to classify irreducible Harish-Chandra modules over Kleinian singularities. There are three goals of this paper. The first is to classify anti-Poisson involutions of Kleinian singularities up to conjugation by graded Poisson automorphisms. The second is to describe the scheme-theoretic fixed point loci of Kleinian singularities under anti-Poisson involutions. The last and the main goal is to describe the scheme-theoretic preimages of the fixed point loci under minimal resolutions of Kleinian singularities, which are singular Lagrangian subvarieties in the minimal resolutions whose irreducible components are $\mathbb{P}^1$'s and $\mathbb{A}^1$'s. Mengwei Hu 45 pages, 18 figures http://arxiv.org/abs/2312.01451v2 2025-04-11T16:36:18Z 2023-12-03T16:52:41Z Abelian p-groups with a fixed elementary subgroup or with a fixed elementary quotient In his 1934 paper, G.\ Birkhoff poses the problem of classifying pairs $(G,U)$ where $G$ is an abelian group and $U\subset G$ a subgroup, up to automorphisms of $G$. In general, Birkhoff's Problem is not considered feasible. In this note, we fix a prime number $p$ and assume that $G$ is a direct sum of cyclic $p$-groups and $U\subset G$ is a subgroup. Under the assumption that the factor group $G/U$ is an elementary abelian $p$-group, we show that the pair $(G,U)$ always has a direct sum decomposition into pairs of type $(\mathbb Z/(p^n),\mathbb Z/(p^n))$ or $(\mathbb Z/(p^n), (p))$. Surprisingly, in the dual situation we need an additional condition. If we assume that $U$ itself is an elementary subgroup of $G$, then we show that the pair $(G,U)$ has a direct sum decomposition into pairs of type $(\mathbb Z/(p^n),0)$ or $(\mathbb Z/(p^n), (p^{n-1}))$ if and only if $G/U$ is a~direct sum of cyclic $p$-groups. We generalize the above results to modules over commutative discrete valuation rings. Justyna Kosakowska Markus Schmidmeier Martin Schreiner http://arxiv.org/abs/2103.10117v4 2025-04-11T14:26:11Z 2021-03-18T09:44:21Z On the noncommutative Poisson geometry of certain wild character varieties To show that certain wild character varieties are multiplicative analogues of quiver varieties, Boalch introduced colored multiplicative quiver varieties. They form a class of (nondegenerate) Poisson varieties attached to colored quivers whose representation theory is controlled by fission algebras: noncommutative algebras generalizing the multiplicative preprojective algebras of Crawley-Boevey and Shaw. Previously, Van den Bergh exploited the Kontsevich-Rosenberg principle to prove that the natural Poisson structure of any (non-colored) multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying multiplicative preprojective algebra; indeed, it turns out that this noncommutative structure comes from a Hamiltonian double quasi-Poisson algebra constructed from the quiver itself. In this article we conjecture that, via the Kontsevich-Rosenberg principle, the natural Poisson structure on each colored multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying fission algebra which, in turn, is obtained from a Hamiltonian double quasi-Poisson algebra attached to the colored quiver. We study some consequences of this conjecture and we prove it in two significant cases: the interval and the triangle. Maxime Fairon David Fernández 10.4171/jncg/619 v4: Final version to appear in Journal of Noncommutative Geometry http://arxiv.org/abs/2405.08393v2 2025-04-11T12:34:46Z 2024-05-14T07:46:58Z Gaussian measure on the dual of $\mathrm{U}(N)$, random partitions, and topological expansion of the partition function We study a Gaussian measure with parameter $q\in(0,1)$ on the dual of the unitary group of size $N$: we prove that a random highest weight under this measure is the coupling of two independent $q$-uniform random partitions $\alpha,\beta$ and a random highest weight of $\mathrm{U}(1)$. We prove deviation inequalities for the $q$-uniform measure, and use them to show that the coupling of random partitions under the Gaussian measure vanishes in the limit $N\to\infty$. We also prove that the partition function of this measure admits an asymptotic expansion in powers of $1/N$, and that this expansion is topological, in the sense that its coefficients are related to the enumeration of ramified coverings of elliptic curves. It provides a rigorous proof of the gauge/string duality for the Yang-Mills theory on a 2D torus with gauge group $\mathrm{U}(N),$ advocated by Gross and Taylor \cite{GT,GT2}. Thibaut Lemoine CdF Mylène Maïda LPP Annals of Probability, In press http://arxiv.org/abs/2503.16697v3 2025-04-11T10:00:41Z 2025-03-20T20:40:11Z On the solvability of the Lie algebra $\mathrm{HH}^1(B)$ for blocks of finite groups We give some criteria for the Lie algebra $\mathrm{HH}^1(B)$ to be solvable, where $B$ is a $p$-block of a finite group algebra, in terms of the action of an inertial quotient of $B$ on a defect group of $B$. Markus Linckelmann Jialin Wang http://arxiv.org/abs/2403.18498v6 2025-04-11T09:15:29Z 2024-03-27T12:19:57Z Global Representation Ring and Knutson Index Global representation rings were discovered by Sarah Witherspoon in 1995 and the Knutson Index was introduced by the second author in 2022. In the present paper we introduce the Knutson Index for general commutative rings and study it for Burnside rings and global representation rings. We also introduce the global table of a finite group, that encompasses both the character table and the Burnside table of marks. We discuss what properties of a group can be recovered from its global table. Dylan Johnston Diego Martín Duro Dmitriy Rumynin Version 6: Minor typos corrected for journal submission http://arxiv.org/abs/2407.02850v3 2025-04-11T04:12:22Z 2024-07-03T07:06:14Z Gamma factors and root numbers of pairs for the Galois and the linear model Using harmonic analysis on Harish-Chandra Schwartz spaces of various spherical spaces, we extend a relative local converse theorem of Youngbin Ok for the Galois model of p-adic GLn, from the class of cuspidal representations to that of square integrable representations, which is its optimal form. We also prove a variant of this result for linear models by the same method. The above statements are luckily non empty as we verify triviality results for gamma and epsilon factors of pairs of distinguished representations at the central value s=1/2. Along the way, we offer a new proof of conjectures of D. Prasad and D. Ramakrishnan on local components of symplectic cuspidal automorphic representations, and root numbers of pairs of symplectic representations. Nadir Matringe In the previous version, we wrongly claimed that our result was optimal, relying on a wrong counter-example. Beuzart-Plessis however observed that following the same strategy and results of his, the main result of this paper can be extend to tempered representations. We modified Remark 6.9 in consequence http://arxiv.org/abs/2504.04163v2 2025-04-11T02:05:12Z 2025-04-05T12:52:38Z Representations of $p$-adic groups and orbits with smooth closure in a variety of Langlands parameters In this paper we prove the forward direction of the conjecture of Gross-Prasad that an L-packet $\Pi_\phi(G)$ contains a generic representation if and only if $L(s, \phi, \mathrm{Ad})$ is regular at $s=1$, by assuming the local Langlands correspondence and the $p$-adic Kazhdan-Lusztig hypothesis. We then prove an analogous statement for ABV-packets, which together with Vogan's conjecture on ABV-packets implies that if Arthur's conjectures for $G$ are known, then one direction of Shahidi's enhanced genericity conjecture holds: If Arthur packet $\Pi_\psi(G)$ contains a generic representation, then $\phi_\psi$ is tempered. We also offer some speculation about the relationship between Arthur type representations, and singularities in varieties of Langlands parameters defined by Vogan. Finally, we recover some facts about central characters using the results above. Kristaps Balodis Clifton Cunningham Andrew Fiori Qing Zhang http://arxiv.org/abs/2406.00498v3 2025-04-11T01:06:24Z 2024-06-01T16:57:11Z Capped Vertex Functions for $\text{Hilb}^n (\mathbb{C}^2)$ We obtain explicit formulas for capped descendent vertex functions of $\text{Hilb}^n(\mathbb{C}^2)$ for descendents given by the exterior algebra of the tautological bundle. This formula provides a one-parametric deformation of the generating function for normalized Macdonald polynomials. In particular, we show that the capped vertex functions are rational functions of the quantum parameter. Jeffrey Ayers Andrey Smirnov Various expository changes, updated proofs and references http://arxiv.org/abs/2104.07517v3 2025-04-10T23:02:47Z 2021-04-15T15:16:32Z Harish-Chandra modules for map and affine Lie superalgebras We obtain a classification of simple modules with finite weight multiplicities over basic classical map superalgebras. Any such module is parabolic induced from a simple cuspidal bounded module over a cuspidal map superalgebra. Further on, any simple cuspidal bounded module is isomorphic to an evaluation module. As an application, we obtain a classification of all simple Harish-Chandra modules for basic classical loop superalgebras. Extending these results to affine Kac-Moody Lie superalgebras obtained by adding the degree derivation, we construct a family of bounded simple modules of level zero, and conjecture that all bounded simple cuspidal modules belong to this family. Finally, we show that for affine Kac-Moody Lie superalgebras of type I the Kac induction functor reduces the classification of all simple bounded modules to the classification of the same class of modules over the even part, whose classification is claimed by Dimitrov and Grantcharov. Lucas Calixto Vyacheslav Futorny Henrique Rocha http://arxiv.org/abs/2012.14202v3 2025-04-10T22:34:06Z 2020-12-28T11:41:20Z Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $\Phi_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$. Daniel C. Douglas Zhe Sun 69 pages, 28 figures. Version 3: Final version after publication http://arxiv.org/abs/2504.08119v1 2025-04-10T20:37:36Z 2025-04-10T20:37:36Z Decomposing Multiparameter Persistence Modules Dey and Xin (J.Appl.Comput.Top., 2022, arXiv:1904.03766) describe an algorithm to decompose finitely presented multiparameter persistence modules using a matrix reduction algorithm. Their algorithm only works for modules whose generators and relations are distinctly graded. We extend their approach to work on \emph{all} finitely presented modules and introduce several improvements that lead to significant speed-ups in practice. Our algorithm is fixed parameter tractable with respect to the maximal number of relations with the same degree and with further optimisation we obtain an $O(n^3)$ algorithm for interval-decomposable modules. In particular, we can decide interval-decomposability in this time. As a by-product to the proofs of correctness we develop a theory of parameter restriction for persistence modules. Our algorithm is implemented as a software library \textsc{aida} which is the first to enable the decomposition of large inputs. We show its capabilities via extensive experimental evaluation. Tamal K. Dey Jan Jendrysiak Michael Kerber 45 pages, 17 figures, to be partially published in the proceedings of SOCG 2025 http://arxiv.org/abs/2501.05400v2 2025-04-10T17:51:06Z 2025-01-09T17:50:20Z A Convenient Representation Theory of Lorentzian Pseudo-Tensors: $\mathcal{P}$ and $\mathcal{T}$ in $\operatorname{O}(1,3)$ A novel approach to the finite dimensional representation theory of the entire Lorentz group $\operatorname{O}(1,3)$ is presented. It is shown how the entire Lorentz group may be understood as a semi-direct product between its identity component and the Klein four group of spacetime reflections: $\operatorname{O}(1,3) = \operatorname{SO}^+(1,3) \rtimes \operatorname{K}_4$. This gives way to a convenient classification of tensors transforming under $\operatorname{O}(1,3)$, namely that there are four representations of $\operatorname{O}(1,3)$ for each representation of $\operatorname{SO}^+(1,3)$, and it is shown how the representation theory of the Klein group $\operatorname{K}_4$ allows for simple book keeping of the spacetime reflection properties of general Lorentzian tensors, and combinations thereof, with several examples given. There is a brief discussion of the time reversal of the electromagnetic field, concluding in agreement with standard texts such as Jackson, and works by Malament. Craig McRae 14 Pages (9 Main + 3 Appendix + 1 References), 3 Figures http://arxiv.org/abs/2303.00593v5 2025-04-10T15:26:06Z 2023-03-01T15:31:56Z Harish-Chandra modules and Galois orders revisited The main subject of study of this paper are general properties of HarishChandra algebras and modules with respect wito a pair of algebra and subalgebra, with special focus on the transfer properties to a "spherical subalgebra". We also discuss general properties of Galois rings and algebras, where the former discussion is specialized, and we obtain an important link between different approaches to it in the literature. Then we focus our study into finite multiplicative invariants on the ring of differential operators on the torus and fixed rings under the action of a finite group of algebra automorphisms of generalized Weyl algebras. We study freeness over the Harish-Chandra subalgebra and the Gelfand-Kirillov Conjecture for them. Our last section construction some concrete irreducible Harish-Chandra modules. This paper also introduces the notion of an infinite rank generalized Weyl algebra. João Schwarz v5. Final version. Includes comparison between the notion of FCR algebras (H. Kraft and L. Small) and quasicommutative algebras (D-F-O 94), following comments of Ken Goodearl. As a new main result, it is shown that being quasicommutative is a Morita invariant. Statement of main theorems somewhat improved; fixed typos. 41 pages. Comments welcome