A character theoretic formula for base size II

2025-04-10T15:09:00Z

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\"ulshammer, 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.

Character degrees and local subgroups revisited

2025-04-10T12:08:33Z

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.

On the monomorphism category of large modules

2025-04-10T11:20:44Z

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.

Intégrale orbitale pondérée via l'induite de Lusztig-Spaltenstein généralisée

2025-04-10T10:38:30Z

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.

Equivariant recollements and singular equivalences

2025-04-10T10:08:23Z

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.

Macdonald Identities, Weyl-Kac Denominator Formulas and Affine Grassmannian Elements

2025-04-10T09:54:06Z

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.

Additive diameters of group representations

2025-04-10T09:16:31Z

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.

On exterior powers of reflection representations, II

2025-04-10T08:54:32Z

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.

Realization functors in algebraic triangulated categories

2025-04-10T08:40:13Z

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.

On Ihara's lemma for definite unitary groups

2025-04-10T07:03:27Z

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.

Arithmetic and Geometric Langlands Program

2025-04-10T07:02:24Z

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.

Tame categorical local Langlands correspondence

2025-04-10T06:24:41Z

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.

The Atiyah-Schmid formula for reductive groups

2025-04-10T05:38:06Z

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.

Intertwining the Busemann process of the directed polymer model

2025-04-10T04:24:53Z

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.

Toda-type presentations for the quantum K theory of partial flag varieties

2025-04-10T03:06:06Z

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.