Representation Theory
See recent articles
Showing new listings for Friday, 11 April 2025
- [1] arXiv:2504.07482 [pdf, other]
-
Title: Tame categorical local Langlands correspondenceComments: Preliminary version. We anticipate another round of editing, with some new results to be added before submission. The current version will serve as a reference for several other articles. Feedback is welcome!Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
In one of our previous articles, we outlined the formulation of a version of the categorical arithmetic local Langlands conjecture. The aims of this article are threefold. First, we provide a detailed account of one component of this conjecture: the local Langlands category. Second, we aim to prove this conjecture in the tame case for quasi-split unramified reductive groups. Finally, we will explore the first applications of such categorical equivalence.
- [2] arXiv:2504.07573 [pdf, other]
-
Title: Additive diameters of group representationsSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Group Theory (math.GR); Rings and Algebras (math.RA)
We explore the concept of additive diameters in the context of group representations, unifying various noncommutative Waring-type problems. Given a finite-dimensional representation $\rho \colon G \to \mathrm{GL}(V)$ and a subspace $U \leq V$ that generates $V$ as a $G$-module, we define the $G$-additive diameter of $V$ with respect to $U$ as the minimal number of translates of $U$ under the representation $\rho$ needed to cover $V$. We demonstrate that every irreducible representation of $\mathrm{SL}_2(\mathbf{C})$ exhibits optimal additive diameters and establish sharp bounds for the conjugation representation of $\mathrm{SL}_n(\mathbf{C})$ on its Lie algebra $\mathfrak{sl}_n(\mathbf{C})$. Additionally, we investigate analogous notions for additive diameters in Lie representations. We provide applications to additive diameters with respect to images of equivariant algebraic morphisms, linking them to the corresponding $G$-additive diameters of images of their differentials.
- [3] arXiv:2504.07601 [pdf, other]
-
Title: Restricted Poisson algebras in characteristic 2Subjects: Representation Theory (math.RT)
In this paper, we introduce restricted Poisson algebras in characteristic 2 and their relationship with restricted Lie-Rinehart algebras, for which we develop a cohomology theory and investigate abelian extensions. We also construct a full cohomology complex for restricted Poisson algebras in characteristic 2 that captures formal deformations and prove that it is isomorphic to the cohomology complex of a suitable restricted Lie-Rinehart algebra, under certain assumptions. A number of examples are provided in order to illustrate our constructions.
- [4] arXiv:2504.07620 [pdf, other]
-
Title: Equivariant recollements and singular equivalencesComments: 49 pages, Comments are welcomeSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Category Theory (math.CT); Rings and Algebras (math.RA)
In this paper we investigate equivariant recollements of abelian (resp. triangulated) categories. We first characterize when a recollement of abelian (resp. triangulated) categories induces an equivariant recollement, i.e. a recollement between the corresponding equivariant abelian (resp. triangulated) categories. We further investigate singular equivalences in the context of equivariant abelian recollements. In particular, we characterize when a singular equivalence induced by the quotient functor in an abelian recollement lift to a singular equivalence induced by the equivariant quotient functor. As applications of our results: (i) we construct equivariant recollements for the derived category of a quasi-compact, quasi-separated scheme where the action is coming from a subgroup of the automorphism group of the scheme and (ii) we derive new singular equivalences between certain skew group algebras.
- [5] arXiv:2504.07639 [pdf, other]
-
Title: Intégrale orbitale pondérée via l'induite de Lusztig-Spaltenstein généraliséeSubjects: Representation Theory (math.RT)
In this article, we present two novel approaches to constructing weighted orbital integrals of an inner form of a general linear group. Our method utilizes generalized Lustig-Spaltenstein induction. Furthermore, we will prove that a weighted orbital integral on the Lie algebra constitutes a tempered distribution. We also demonstrate that our new definitions and Arthur's original definition are consistent.
- [6] arXiv:2504.07662 [pdf, other]
-
Title: On the monomorphism category of large modulesComments: Comments are welcomeSubjects: Representation Theory (math.RT)
Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented $R$-modules. Several equivalences and dualities will be presented. Our results highlight the role of pure-injective modules in studying the homological properties of functor categories.
New submissions (showing 6 of 6 entries)
- [7] arXiv:2504.07201 (cross-list from math.QA) [pdf, html, other]
-
Title: Hecke-Clifford algebras at roots of unity and conformal embeddingsComments: 38 pagesSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the ètale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.
- [8] arXiv:2504.07412 (cross-list from math.AG) [pdf, html, other]
-
Title: Toda-type presentations for the quantum K theory of partial flag varietiesComments: 23 pages; comments welcomeSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety $\mathrm{Fl}(r_1, \ldots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety $\mathrm{Fl}(n)$, via Kato's $\mathrm{K}_T(\mathrm{pt})$-algebra homomorphism from the quantum K ring of $\mathrm{Fl}(n)$ to that of $\mathrm{Fl}(r_1, \ldots, r_k;n)$. Starting instead from the Whitney presentation for $\mathrm{Fl}(n)$, we show that the same push-forward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of $\mathrm{Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the $\mathrm{K}$ theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.
- [9] arXiv:2504.07502 (cross-list from math.NT) [pdf, html, other]
-
Title: Arithmetic and Geometric Langlands ProgramComments: Survey article for the author's ICM 2022 talk. It might be slightly different from the published versionSubjects: Number Theory (math.NT); Representation Theory (math.RT)
We explain how the geometric Langlands program inspires some recent new prospectives of classical arithmetic Langlands program and leads to the solutions of some problems in arithmetic geometry.
- [10] arXiv:2504.07504 (cross-list from math.NT) [pdf, html, other]
-
Title: On Ihara's lemma for definite unitary groupsComments: Comments welcome!Subjects: Number Theory (math.NT); Representation Theory (math.RT)
Clozel, Harris, and Taylor proposed a conjectural generalized Ihara's lemma for definite unitary groups. In this paper, we prove their conjecture over banal coefficients under some conditions. As an application, we prove a level-raising result for automorphic forms associated to definite unitary groups.
- [11] arXiv:2504.07832 (cross-list from math.GR) [pdf, html, other]
-
Title: A character theoretic formula for base size IIComments: 5 pages, 1 figureSubjects: Group Theory (math.GR); Representation Theory (math.RT)
A base for a permutation group $G$ acting on a set $\Omega$ is a sequence $\mathcal{B}$ of points of $\Omega$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. Extending the results of a recent paper of the author, we prove a 2013 conjecture of Fritzsche, Külshammer, and Reiche. Moreover, we generalise this conjecture and derive an alternative character theoretic formula for the base size of a certain class of permutation groups. As a consequence of our work, a third formula for the base size of the symmetric group of degree $n$ acting on the subsets of $\{1,2,\dots, n\}$ is obtained.
Cross submissions (showing 5 of 5 entries)
- [12] arXiv:2303.00593 (replaced) [pdf, html, other]
-
Title: Harish-Chandra modules and Galois orders revisitedComments: 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 welcomeSubjects: Representation Theory (math.RT)
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.
- [13] arXiv:2401.08215 (replaced) [pdf, html, other]
-
Title: On exterior powers of reflection representations, IIComments: 22 pages. Published version. Comments welcome!Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Group Theory (math.GR); Rings and Algebras (math.RA)
Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,\rho)$ of $W$ is called a reflection representation of $(W,S)$ if $\rho(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.
- [14] arXiv:2411.03158 (replaced) [pdf, html, other]
-
Title: Equivariant sheaves for classical groups acting on GrassmanniansComments: 33 pages. v2: added results on tangent spaces and transverse slicesSubjects: Representation Theory (math.RT)
Let $V$ be a finite-dimensional complex vector space. Assume that $V$ is a direct sum of subspaces each of which is equipped with a nondegenerate symmetric or skew-symmetric bilinear form. In this paper, we introduce a stratification of the Grassmannian $\mathrm{Gr}_k(V)$ related to the action of the appropriate product of orthogonal and symplectic groups, and we study the topology of this stratification. The main results involve sheaves with coefficients in a field of characteristic other than $2$. We prove that there are "enough" parity sheaves, and that the hypercohomology of each parity sheaf also satisfies a parity-vanishing property.
This situation arises in the following context: let $x$ be a nilpotent element in the Lie algebra of either $G = \mathrm{Sp}_N(\mathbb{C})$ or $G = \mathrm{SO}_N(\mathbb{C})$, and let $V = \ker x \subset \mathbb{C}^N$. Our stratification of $\mathrm{Gr}_k(V)$ is preserved by the centralizer $G^x$, and we expect our results to have applications in Springer theory for classical groups. - [15] arXiv:2411.19748 (replaced) [pdf, html, other]
-
Title: Totally elliptic surface group representationsComments: 16 pages, 7 figuresSubjects: Representation Theory (math.RT); Group Theory (math.GR); Geometric Topology (math.GT)
A surface group representation into a Lie group is called totally elliptic if every simple closed curve on the surface is mapped to an elliptic element of the target group. In this note, we characterize all totally elliptic surface group representations into $\mathrm{PSL}_2\mathbb{R}$ and $\mathrm{PSL}_2\mathbb{C}$ by showing that they are either representations into a compact subgroup or Deroin--Tholozan representations.
- [16] arXiv:2412.07455 (replaced) [pdf, html, other]
-
Title: Realization functors in algebraic triangulated categoriesComments: 10 pages; v2: add Example 2.13 and small corrections; to appear in Abh. Math. Semin. Univ. HambgSubjects: Representation Theory (math.RT)
Let $\mathcal{T}$ be an algebraic triangulated category and $\mathcal{C}$ an extension-closed subcategory with $\operatorname{Hom}(\mathcal{C}, \Sigma^{<0} \mathcal{C})=0$. Then $\mathcal{C}$ has an exact structure induced from exact triangles in $\mathcal{T}$. Keller and Vossieck say that there exists a triangle functor $\operatorname{D}^b(\mathcal{C}) \to \mathcal{T}$ extending the inclusion $\mathcal{C} \subseteq \mathcal{T}$. We provide the missing details for a complete proof.
- [17] arXiv:2503.13929 (replaced) [pdf, html, other]
-
Title: The Atiyah-Schmid formula for reductive groupsSubjects: Representation Theory (math.RT); Functional Analysis (math.FA); Operator Algebras (math.OA)
We give the generalized Atiyah-Schmid formula for projective tempered representations. Then we prove the Atiyah-Schmid formula for arithmetic subgroups of real reductive groups.
- [18] arXiv:2307.10531 (replaced) [pdf, other]
-
Title: Intertwining the Busemann process of the directed polymer modelComments: 80 pagesJournal-ref: Electron. J. Probab. 30: 1-80 (2025)Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Combinatorics (math.CO); Representation Theory (math.RT)
We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.
- [19] arXiv:2404.10532 (replaced) [pdf, other]
-
Title: Macdonald Identities, Weyl-Kac Denominator Formulas and Affine Grassmannian ElementsJournal-ref: SIGMA 21 (2025), 023, 45 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
The Nekrasov-Okounkov formula gives an expression for the Fourier coefficients of the Euler functions as a sum of hook length products. This formula can be deduced from a specialization in a renormalization of the affine type $A$ Weyl denominator formula and the use of a polynomial argument. In this paper, we rephrase the renormalized Weyl-Kac denominator formula as a sum parametrized by affine Grassmannian elements. This naturally gives rise to the (dual) atomic length of the root system considered introduced by Chapelier-Laget and Gerber. We then provide an interpretation of this atomic length as the cardinality of some subsets of $n$-core partitions by using foldings of affine Dynkin diagrams. This interpretation does not permit the direct use of a polynomial argument for all affine root systems. We show that this obstruction can be overcome by computing the atomic length of certain families of integer partitions. Then we show how hook-length statistics on these partitions are connected with the Coxeter length on affine Grassmannian elements and Nekrasov-Okounkov type formulas.
- [20] arXiv:2411.15968 (replaced) [pdf, html, other]
-
Title: Character degrees and local subgroups revisitedComments: 7 pages; Final version to appear in J. AlgebraSubjects: Group Theory (math.GR); Representation Theory (math.RT)
Let $p$ and $q$ be different primes and let $G$ be a finite $q$-solvable group. We prove that $\mathrm{Irr}_{p'}(G)\subseteq \mathrm{Irr}_{q'}(G)$ if and only if $\mathbf{N}_G(P)\subseteq \mathbf{N}_G(Q)$ and $\mathbf{C}_{Q'}(P)=1$ for some $P\in\mathrm{Syl}_p(G)$ and $Q\in\mathrm{Syl}_q(G)$. Further, if $B$ is a $q$-block of $G$ and $p$ does not divide the degree of any character in $\mathrm{Irr}(B)$ then we prove that a Sylow $p$-subgroup of $G$ is normalized by a defect group of $B$. This removes the $p$-solvability condition of two theorems of G. Navarro and T. R. Wolf.
- [21] arXiv:2501.05400 (replaced) [pdf, html, other]
-
Title: A Convenient Representation Theory of Lorentzian Pseudo-Tensors: $\mathcal{P}$ and $\mathcal{T}$ in $\operatorname{O}(1,3)$Comments: 14 Pages (9 Main + 3 Appendix + 1 References), 3 FiguresSubjects: Mathematical Physics (math-ph); Representation Theory (math.RT)
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.
- [22] arXiv:2503.14840 (replaced) [pdf, html, other]
-
Title: Long-Moody construction of braid group representations and Haraoka's multiplicative middle convolution for KZ-type equationsSubjects: Mathematical Physics (math-ph); Geometric Topology (math.GT); Representation Theory (math.RT)
In this paper, we establish a correspondence between algebraic and analytic approaches to constructing representations of the braid group $B_n$, namely Katz-Long-Moody construction and multiplicative middle convolution for Knizhnik-Zamolodchikov (KZ)-type equations, respectively. The Katz-Long-Moody construction yields an infinite sequence of representations of $F_n \rtimes B_n$. On the other hand, the fundamental group of the domain of the $n$-valued KZ-type equation is isomorphic to the pure braid group $P_n$. The multiplicative middle convolution for the KZ-type equation provides an analytical framework for constructing (anti-)representations of $P_n$. Furthermore, we show that this construction preserves unitarity relative to a Hermitian matrix and establish an algorithm to determine the signature of the Hermitian matrix.