An explicit exotic representation of a rank-one simple Lie group via convex bodies

2026-06-09T12:08:57Z

In [DP12], Delzant and Py showed that there exist continuous irreducible isometric actions of $\mathrm{PSL}_2(\mathbb{R})$ on the infinite-dimensional hyperbolic space $\mathbb{H}^\infty$. Such continuous irreducible actions do not exist on the hyperbolic spaces $\mathbb{H}^n$ when $n>2$ and their associated embeddings $\mathbb{H}^2 \to \mathbb{H}^\infty$ given by the orbit maps were later called \emph{exotic} by Monod and Py in [MP14]. In this article, we produce a continuous and irreducible representation of $\mathrm{PSL}_2(\mathbb{R})\to \mathrm{Isom}(\mathbb{H}^\infty)$ using the hyperbolic model for convex bodies introduced in [DF22]. This yields a convex cocompact $\mathrm{PSL}_2(\mathbb{R})$-action on the infinite-dimensional hyperbolic space $\mathbb{H}^\infty$, of which the compact quotient over the minimal $\mathrm{PSL}_2(\mathbb{R})$-invariant convex set is homeomorphic to the 2-dimensional oriented Banach--Mazur compactum. Moreover, we study the geometry of one of its orbit maps and compute the Hausdorff dimension of the limit set of this representation.

The representation theory of somewhere-to-below shuffles

2026-06-09T10:11:28Z

The *somewhere-to-below shuffles* are the elements \[ t_{\ell} := \operatorname{cyc}_{\ell}+\operatorname{cyc}_{\ell,\ell+1}+\operatorname{cyc}_{\ell,\ell+1,\ell+2}+\cdots+\operatorname{cyc}_{\ell,\ell+1,\ldots,n} \] (for $\ell \in \{1,2,\dots,n\}$) in the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$. Their linear combinations are called the *one-sided cycle shuffles*. We determine the eigenvalues of the action of any one-sided cycle shuffle on any Specht module $\mathcal{S}^λ$ of $S_n$.

Wavefront sets and descent method for finite classical groups

2026-06-09T09:14:50Z

In this paper, we complete the explicit description of rational nilpotent orbits in wavefront sets for irreducible representations of classical groups over a finite field $\mathbbm{k}$ of characteristic $p>3(h-1)$, where $h$ is the Coxeter number of the corresponding root system. In particular, for unipotent representations, we describe the rational nilpotent orbits in their wavefront sets in terms of Lusztig canonical quotients and establish the Alvis-Curtis duality for these orbits. Our approach is based on the descent method. We develop a new composition law for nilpotent orbits, which reduces the computation of rational wavefront sets to the finite Gan-Gross-Prasad problem established in our previous work.

Uniqueness of Bessel models for GSpin groups

2026-06-08T21:55:16Z

We prove the uniqueness of general Bessel models for $\mathrm{GSpin}$ groups over a local field of characteristic zero. The proof is to reduce it to the spherical case, which has been proved by Emory and Takeda in the non-archimedean case and by Emory, Kim, and Maiti in the archimedean case.

Tilting modules for the Cummings construction

2026-06-08T21:51:59Z

Finiteness of the right little finitistic dimension of a finite dimensional algebra $\La$ is known to be equivalent to existence of a (possibly infinite dimensional) tilting right $\La$-module $T_f$ whose tilting class is $\{ T_f \}^{\perp_\infty} = (\mathcal P ^{< \infty})^{\perp}$, \cite{AT}. We use this equivalence to interpret the recent surprising results of Cummings \cite{C} concerning the asymmetry of left and right finitistic dimensions of the triangular matrix algebras $\tilde{A}$ built from arbitrary basic finite dimensional algebras $A$. In particular, we determine the structure of the tilting right $\tilde{A}$-module $T_f$ in the case when the algebra $A$ has finite right global dimension.

The crystalline cohomology of covers with a cyclic $p$-Sylow subgroup

2026-06-08T21:17:26Z

Let $X$ be a smooth projective curve over a field $k$ with an action of a finite group $G$. A well-known result of Chevalley and Weil describes the $k[G]$-module structure of cohomologies of $X$ in the case when the characteristic of $k$ does not divide $\# G$. In case when $G$ has a cyclic $p$-Sylow subgroup, it is known that the $G$-structures of the module of holomorphic differentials and of de Rham cohomology of $X$ are completely determined by the ramification data of the cover $X \to X/G$. In this article we extend this result to the crystalline cohomology of $X$. Also, we provide an explicit description of the structure of the crystalline cohomology when $G = \mathbb Z/p^n$. The main used tool is the theory of Yakovlev diagrams - algebraic objects that classify the $G$-modules over Witt vectors.

Birational Weyl Group Action on the Symplectic Groupoid and Cluster Algebras

2026-06-08T17:55:26Z

A. Bondal's symplectic groupoid of triangular bilinear forms induces a Poisson structure on the space $\mathcal{A}_n$ of $n \times n$ unipotent upper-triangular matrices. It is governed by the classical $\mathfrak{so}(n)$ reflection equation. L. Chekhov and M. Shapiro described log-canonical coordinates on this groupoid via the $\mathcal{A}_n$-quiver. We introduce a birational Weyl group action on this symplectic groupoid, generated by cluster transformations associated with certain cycles of the quiver. We prove that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of $\mathcal{A}_n$. J. Song embedded the $\imath$-quantum group of type $\mathrm{AI}_n$ into the quantum cluster algebra of the $Σ_n$-quiver (obtained by adding frozen vertices to the $\mathcal{A}_{n+1}$-quiver). Utilizing our Weyl group action, we determine the exact image of this embedding in the classical case, proving it is Poisson isomorphic to a quotient algebra of Weyl group invariants. V. Fock and L. Chekhov defined a Poisson map $φ_n$ from the Teichmüller space $\mathcal{T}_{g,s}$ into $\mathcal{A}_n$. To describe the cluster structure of $\operatorname{Im}(φ_n)$, we apply a cluster Poisson reduction to $\mathcal{A}_n$ based on the rank condition $\operatorname{rank}(A+A^T) \le 4$, which is satisfied by all $A \in \operatorname{Im}(φ_n)$. Although the solution set of this condition has multiple irreducible components, the Weyl group acts transitively on them, making the corresponding reductions conjugate. Thus, it suffices to determine the reduction on a single component. Finally, we show that the longest element of the Weyl group corresponds to a cluster DT-transformation on the $\mathcal{A}_{2k}$-quiver, providing a canonical basis for the cluster algebra, whereas no reddening sequence exists for odd $n$.

Conjugacy of Isometries in Real Orthogonal Groups

2026-06-08T16:09:06Z

We determine all orthogonal transformations of a quadratic space over reals such that any orthogonal transformation which is conjugate to one of them in the linear group is conjugate in the orthogonal group.

Diameter bounds for finite simple Lie algebras

2026-06-08T11:32:21Z

We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.

Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians

2026-06-08T09:44:56Z

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors. More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators. Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $τ_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.

Nilpotent cohomological Hall algebras of surfaces

2026-06-08T09:34:39Z

This paper develops a framework for systematically studying cohomological "Hecke operators" associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), using the theory of cohomological Hall algebras. More precisely, we construct a moduli stack of coherent sheaves $\mathbf{Coh}(\widehat{X}_Z)$ on $X$ with set-theoretic support $Z$ and we prove that its reduced is an Artin stack locally of finite type. This provides a vast generalization of the global nilpotent cone. Subsequently, we develop the needed background to define the (motivic, $T$-equivariant) cohomological Hall algebra $\mathbf{HA}^{T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$ in the sense of Khan. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. In the companion paper arXiv:2603.03386, we use the nilpotent COHA $\mathbf{HA}^{T}_{X,Z}$ to answer a question previously raised in arXiv:2004.13685 about the precise relationship between the COHA of a minimal resolution of a Kleinian singularity and the corresponding preprojective COHA.

Classification of indecomposable states on the infinite symmetric inverse semigroup invariant under the infinite symmetric group. Semifinite case

2026-06-08T08:15:41Z

Let $\mathbb{N}$ be a set of the natural numbers. Symmetric inverse semigroup $R_\infty$ is the semigroup of all infinite 0-1 matrices $[g_{ij}]$ with at most one 1 in each row and each column such that $g_{ii}=1$ on the complement of a finite set. The binary operation in $R_\infty$ is the ordinary matrix multiplication. It is clear that infinite symmetric group $\mathfrak{S}_\infty$ is a subgroup of $R_\infty$. The map $\star:\left[ g_{ij}\right]\mapsto\left[ g_{ji}\right]$ is an involution on $R_\infty$. We call a function $f$ on $R_\infty$ positive definite if for all $r_1, r_2, \ldots, r_n\in R_\infty$ the matrix $\left[ f\left( r_ir_j^\star\right)\right]$ is Hermitian and positive semi-definite. A function $f$ said to be indecomposable if the corresponding $\ast$-representation $π_f$ is a factor-representation. A class of the $\mathfrak{S}_\infty$-invariant functions is defined by the condition $f(rs)=f(sr)$ for all $r\in R_\infty$ and $s\in\mathfrak{S}_\infty$. In this paper we classify all semifinite factor-representations of $R_\infty$ that correspond to the $\mathfrak{S}_\infty$-invariant positive definite functions.

On the structure and representations of quantum graph algebras at roots of unity

2026-06-08T08:05:14Z

We study the specializations $\mathcal{L}_{g,n}^ε$ at roots of unity $ε$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface $Σ_{g,n}^{\circ}$ with genus $g$, $n$ punctures, and one boundary component. We prove that the central localizations of $\mathcal{L}_{g,n}^ε$ and of its subalgebra $\mathcal{L}_{g,n}^{u_ε}$ of invariant elements under the coadjoint action of a small quantum group, are central simple algebras of PI degrees that we compute. Also, we describe their centers, and show they are integrally closed rings.

Real algebraic varieties and their intersection cohomology

2026-06-08T07:44:10Z

For a real variety with smooth point, we construct a complex of sheaves on its real points which behaves like intersection cohomology. This real geometric extension is (shifted) Verdier self-dual, and occurs as a direct summand within any resolution of singularities. The stalks of this object provide lower bounds for the Betti numbers of the real fibres in any resolution of singularities. On the real flag variety, the category of real geometric extensions along the Schubert stratification is equivalent to the corresponding category of even parity sheaves on the complex flag variety.

A Microlocal Description of Aubert-Zelevinsky Duality on Unipotent $L$-Parameters

2026-06-08T07:38:42Z

We give a microlocal description of the Aubert--Zelevinsky involution for all unipotent representations of all inner forms of simple adjoint unramified $p$-adic groups. Via the realization of enhanced $L$-parameters as perverse sheaves, we show that the involution corresponds to the composition of three operations on an endoscopic subgroup: Fourier transform, Chevalley involution and duality on local systems. When the group is not inner to an unramified triality form of $D_4$ we further show that one does not need to pass to an endoscopic subgroup. This was previously verified in certain special examples by several authors where only the contribution by Chevalley involution and Fourier transform was observed. Duality on local systems is invisible in those examples since only self-dual local systems appear. Motivated by categorical considerations, we provide a second formulation, involving complex conjugation from the compact form of the dual group, giving a covariant functor of perverse sheaves that agrees with Aubert--Zelevinsky duality on $L$-parameters and as involutions of graded Hecke algebras. This formulation holds without passing to an endoscopic subgroup and is valid for all inner forms of simple adjoint unramified groups. Finally, we prove the microlocal Hiraga conjecture for unipotent $A$-parameters of inner-to-split simple adjoint groups as a consequence of our results.