http://arxiv.org/api/wTdjeG5qayCwitjxgoWv6gYTYcQ2025-04-22T00:00:00-04:00277139015http://arxiv.org/abs/2504.08724v12025-04-11T17:40:52Z2025-04-11T17:40:52ZHolographic 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 DymarskyJohan HenrikssonBrian McPeak38 pages + appendiceshttp://arxiv.org/abs/2504.08717v12025-04-11T17:30:13Z2025-04-11T17:30:13ZOn 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 Hu45 pages, 18 figureshttp://arxiv.org/abs/2312.01451v22025-04-11T16:36:18Z2023-12-03T16:52:41ZAbelian 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 KosakowskaMarkus SchmidmeierMartin Schreinerhttp://arxiv.org/abs/2103.10117v42025-04-11T14:26:11Z2021-03-18T09:44:21ZOn 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 FaironDavid Fernández10.4171/jncg/619v4: Final version to appear in Journal of Noncommutative Geometryhttp://arxiv.org/abs/2405.08393v22025-04-11T12:34:46Z2024-05-14T07:46:58ZGaussian 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 LemoineCdFMylène MaïdaLPPAnnals of Probability, In presshttp://arxiv.org/abs/2503.16697v32025-04-11T10:00:41Z2025-03-20T20:40:11ZOn 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 LinckelmannJialin Wanghttp://arxiv.org/abs/2403.18498v62025-04-11T09:15:29Z2024-03-27T12:19:57ZGlobal 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 JohnstonDiego Martín DuroDmitriy RumyninVersion 6: Minor typos corrected for journal submissionhttp://arxiv.org/abs/2407.02850v32025-04-11T04:12:22Z2024-07-03T07:06:14ZGamma 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 MatringeIn 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
consequencehttp://arxiv.org/abs/2504.04163v22025-04-11T02:05:12Z2025-04-05T12:52:38ZRepresentations 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 BalodisClifton CunninghamAndrew FioriQing Zhanghttp://arxiv.org/abs/2406.00498v32025-04-11T01:06:24Z2024-06-01T16:57:11ZCapped 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 AyersAndrey SmirnovVarious expository changes, updated proofs and referenceshttp://arxiv.org/abs/2104.07517v32025-04-10T23:02:47Z2021-04-15T15:16:32ZHarish-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 CalixtoVyacheslav FutornyHenrique Rochahttp://arxiv.org/abs/2012.14202v32025-04-10T22:34:06Z2020-12-28T11:41:20ZTropical 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. DouglasZhe Sun69 pages, 28 figures. Version 3: Final version after publicationhttp://arxiv.org/abs/2504.08119v12025-04-10T20:37:36Z2025-04-10T20:37:36ZDecomposing 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. DeyJan JendrysiakMichael Kerber45 pages, 17 figures, to be partially published in the proceedings of
SOCG 2025http://arxiv.org/abs/2501.05400v22025-04-10T17:51:06Z2025-01-09T17:50:20ZA 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 McRae14 Pages (9 Main + 3 Appendix + 1 References), 3 Figureshttp://arxiv.org/abs/2303.00593v52025-04-10T15:26:06Z2023-03-01T15:31:56ZHarish-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 Schwarzv5. 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