http://arxiv.org/api/AgRDMANXR2uunDPAS8k9sxcudcU 2025-04-22T00:00:00-04:00 27713 75 15 http://arxiv.org/abs/2406.16222v2 2025-04-13T21:41:39Z 2024-06-23T21:31:08Z

Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence.

Laurent Côté Christopher Kuo David Nadler Vivek Shende 67 pages http://arxiv.org/abs/2504.09678v1 2025-04-13T18:04:12Z 2025-04-13T18:04:12Z

Let $\Bbbk$ be an algebraically closed field and $\Lambda$ a generalized Brauer tree algebra over $\Bbbk$. We compute the universal deformation rings of the periodic string modules over $\Lambda$. Moreover, for a specific class of generalized Brauer tree algebras $\Lambda(n,\overline{m})$, we classify the universal deformation rings of the modules lying in $\Omega$-stable components $\mathfrak{C}$ of the stable Auslander-Reiten quiver provided that $\mathfrak{C}$ contains at least one simple module. Our approach uses several tools and techniques from the representation theory of Brauer graph algebras. Notably, we leverage Duffield's work on the Auslander-Reiten theory of these algebras and Opper-Zvonareva's results on derived equivalences between Brauer graph algebras.

Jhony F. Caranguay-Mainguez Pedro Rizzo José A. Vélez-Marulanda 34 pages, 6 figures http://arxiv.org/abs/2312.13681v2 2025-04-13T17:53:48Z 2023-12-21T09:05:10Z

This paper studies irreducible characters of the $q$-rook monoid algebra $R_n(q)$ using the vertex algebraic method. Based on the Frobenius formula for $R_n(q)$, a new iterative character formula is derived with the help of the vertex operator realization of the Schur symmetric function. The same idea also leads to a simple proof of the Murnaghan-Nakayama rule for $R_n(q)$. We also introduce the bitrace for the $q$-rook monoid and derive its combinatorial formula as a generalization of the bitrace formula for the Iwahori-Hecke algebra. The character table of $R_n(q)$ with $|\mu|=5$ is listed in the appendix.

Naihuan Jing Yu Wu Ning Liu 23 pages http://arxiv.org/abs/2412.13323v2 2025-04-13T15:24:38Z 2024-12-17T20:46:21Z

The goal of this paper is to give a new construction of the free monodromic categories defined by Yun. We then use this formalism to give simpler constructions of the free monodromic Hecke categories and then compute the trace of Frobenius and of the identity on them. As a first application of the formalism, we produce new proofs of key theorems in Deligne--Lusztig theory.

Arnaud Eteve Comments welcome ! http://arxiv.org/abs/2504.09560v1 2025-04-13T13:22:04Z 2025-04-13T13:22:04Z

The paper investigates the stability properties of restrictions of irreducible representations of the symmetric group to the hyperoctahedral subgroup. A stability result is obtained, analogous to the classical Murnaghan theorem on the stability of the decomposition of tensor products of representations of the symmetric group. The proof is based on the description of these restrictions in terms of symmetric functions from the K. Koike and I. Terada's paper.

Sergey Davydov http://arxiv.org/abs/2412.13923v2 2025-04-13T11:24:11Z 2024-12-18T15:06:27Z

We prove that if a connected and simply connected Lie group $G$ admits connected closed normal subgroups $G_1\subseteq G_2\subseteq \cdots \subseteq G_m=G$ with $\dim G_j=j$ for $j=1,\dots,m$, then its group $C^*$-algebra has closed two-sided ideals $\{0\}=\mathcal{J}_0\subseteq \mathcal{J}_1\subseteq\cdots\subseteq\mathcal{J}_n=C^*(G)$ with $\mathcal{J}_j/\mathcal{J}_{j-1}\simeq \mathcal{C}_0(\Gamma_j,\mathcal{K}(\mathcal{H}_j))$ for a suitable locally compact Hausdorff space $\Gamma_j$ and a separable complex Hilbert space $\mathcal{H}_j$, where $\mathcal{C}_0(\Gamma_j,\cdot)$ denotes the continuous mappings on $\Gamma_j$ that vanish at infinity, and $\mathcal{K}(\mathcal{H}_j)$ is the $C^*$-algebra of compact operators on $\mathcal{H}_j$ for $j=1,\dots,n$.

Ingrid Beltita Daniel Beltita 18 pages; to appear in the Journal of Lie Theory http://arxiv.org/abs/2504.09505v1 2025-04-13T10:10:05Z 2025-04-13T10:10:05Z

Auslander developed a theory of the $\delta$-invariant for finitely generated modules over commutative Gorenstein local rings, and Martsinkovsky extended this theory to the $\xi$-invariant for finitely generated modules over general commutative noetherian local rings. In this paper, we approach Martsinkovsky$'$s $\xi$-invariant by considering a non-decreasing sequence of integers that converges to it. We investigate Auslander$'$s approximation theory and provide methods for computing this non-decreasing sequence using the approximation.

Yuya Otake 20 pages http://arxiv.org/abs/2401.02545v3 2025-04-12T17:26:01Z 2024-01-04T21:29:25Z

We define a monoidal category $\operatorname{\mathbf{W}}$ and a closely related 2-category $\operatorname{\mathbf{2Weyl}}$ using diagrammatic methods. We show that $\operatorname{\mathbf{2Weyl}}$ acts on the category $\mathbf{TL} :=\bigoplus_n \operatorname{TL}_n\mathrm{-mod}$ of modules over Temperley-Lieb algebras, with its generating 1-morphisms acting by induction and restriction. The Grothendieck groups of $\operatorname{\mathbf{W}}$ and a third category we define $\operatorname{\mathbf W}^\infty$ are closely related to the Weyl algebra. We formulate a sense in which $K_0(\operatorname{\mathbf W}^\infty)$ acts asymptotically on $K_0(\mathbf{TL})$.

Matthew Harper Peter Samuelson 39 pages, many figures. Comments particularly encouraged! http://arxiv.org/abs/2504.09286v1 2025-04-12T17:10:10Z 2025-04-12T17:10:10Z

We introduce block pro-fusion systems for blocks of profinite groups, prove a profinite version of Puig's structure theorem for nilpotent blocks, and use it to show that there is only one Morita equivalence class of blocks having the infinite dihedral pro-$2$ group as their defect group.

Florian Eisele Ricardo J. Franquiz Flores John W. MacQuarrie Comments welcome http://arxiv.org/abs/2504.09256v1 2025-04-12T15:30:44Z 2025-04-12T15:30:44Z

For an integer $n \geq 2$, set $B_n$ to be the braid group on $n$ strands and $SB_n$ to be the singular braid group on $n$ strands. $SB_n$ is one of the important group extensions of $B_n$ that appeared in 1998. Our aim in this paper is to extend the well-known standard representation of $B_n$, namely $\rho_S:B_n \to GL_n(\mathbb{Z}[t^{\pm 1}])$, to $SB_n$, for all $n \geq 2$, and to investigate the characteristics of these extended representations as well. The first major finding in our paper is that we determine the form of all representations of $SB_n$, namely $\rho'_S: SB_n \to GL_n(\mathbb{Z}[t^{\pm 1}])$, that extend $\rho_S$, for all $n\geq 2$. The second major finding is that we find necessary and sufficient conditions for the irreduciblity of the representations of the form $\rho'_S$ of $SB_n$, for all $n\geq 2$. We prove that, for $t\neq 1$, the representations of the form $\rho'_S$ are irreducible and, for $t=1$, the representations of the form $\rho'_S$ are irreducible if and only if $a+c\neq 1.$ The third major result is that we consider the virtual singular braid group on $n$ strands, $VSB_n$, which is a group extension of both $B_n$ and $SB_n$, and we determine the form of all representations $\rho''_S: VSB_2 \to GL_2(\mathbb{Z}[t^{\pm 1}])$, that extend $\rho_S$ and $\rho'_S$; making a path toward finding the form of all representations $\rho''_S: VSB_n \to GL_n(\mathbb{Z}[t^{\pm 1}])$, that extend $\rho_S$ and $\rho'_S$, for all $n\geq 3$.

Mohamad N. Nasser http://arxiv.org/abs/2504.09204v1 2025-04-12T13:08:17Z 2025-04-12T13:08:17Z

Let $R$ be a reduced irreducible root system, $h$ its Coxeter number and $m$ a positive integer smaller than $h$. Choose of base of $R$, whence a corresponding height function, and let $R(m)$ be the set of roots whose height is a multiple of $m$. In a recent paper, S. Nadimpalli, S. Pattanayak and D. Prasad studied, for the purposes of character theory at torsion elements, the root systems $R(m)$ in the case where $m$ divides $h$; in particular, they introduced a constant $d_m$ which is always the dimension of a representation of the semisimple group $G(m)$ with root system dual to $R(m)$ and equals $1$ if the roots of height $m$ form a base of $R(m)$, and proved this property when $R$ is of type $A$ or $C$, and also in type $B$ if $m$ is odd. In this paper, which is a companion to theirs, we complete their analysis by determining a base of $R(m)$ and computing the constant $b_m$ in all cases.

Patrick Polo http://arxiv.org/abs/2504.09177v1 2025-04-12T10:49:17Z 2025-04-12T10:49:17Z

Let $G$ be the indefinite unitary group $U(p,p)$, $H\simeq GL_{p}(\mathbb{C})$ its symmetric subgroup, $P_{S}$ the Siegel parabolic subgroup of $G$, and $B_{H}$ a Borel subgroup of $H$. In this article, we give a classification of the orbit decomposition $H\backslash (H/B_{H}\times G/P_{S})$ of the real double flag variety by using the Galois cohomology in the case where $p=2$.

Kyo Nishiyama Taito Tauchi 10.1088/1742-6596/2912/1/012018 11 pages 2024 J. Phys.: Conf. Ser. 2912 012018 http://arxiv.org/abs/2504.09161v1 2025-04-12T09:48:55Z 2025-04-12T09:48:55Z

The "superconformal index" is a character-valued invariant attached by theoretical physics to unitary representations of Lie superalgebras, such as $\mathfrak{su}(2,2\vert n)$, that govern certain quantum field theories. The index can be calculated as a supertrace over Hilbert space, and is constant in families induced by variation of physical parameters. This is because the index receives contributions only from "short" irreducible representations such that it is invariant under recombination at the boundary of the region of unitarity. The purpose of this paper is to develop these notions for unitarizable supermodules over the special linear Lie superalgebras $\mathfrak{sl}(m\vert n)$ with $m\ge 2$, $n\ge 1$. To keep it self-contained, we include a fair amount of background material on structure theory, unitarizable supermodules, the Duflo-Serganova functor, and elements of Harish-Chandra theory. Along the way, we provide a precise dictionary between various notions from theoretical physics and mathematical terminology. Our final result is a kind of "index theorem" that relates the counting of atypical constituents in a general unitarizable $\mathfrak{sl}(m\vert n)$-supermodule to the character-valued $Q$-Witten index, expressed as a supertrace over the full supermodule. The formal superdimension of holomorphic discrete series $\mathfrak{sl}(m\vert n)$-supermodules can also be formulated in this framework.

Steffen Schmidt Johannes Walcher 47 pages, 2 figures http://arxiv.org/abs/2504.09011v1 2025-04-11T23:35:50Z 2025-04-11T23:35:50Z

We show that the coordinate ring of a simply-connected simple algebraic group $G$ over the complex number field coincides with Berenstein--Fomin--Zelevinsky's cluster algebra and its upper cluster algebra at least when $G$ is not of type $F_4$.

Hironori Oya 12 pages http://arxiv.org/abs/2311.00661v2 2025-04-11T19:17:54Z 2023-11-01T17:08:50Z

In this paper, we develop new ideas regarding the finitistic dimension conjecture, or the findim conjecture for short. Specifically, we improve upon the delooping level by introducing three new invariants called the effective delooping level $\mathrm{edell}$, the sub-derived delooping level $\mathrm{subddell}$, and the derived delooping level $\mathrm{ddell}$. They are all better upper bounds for the opposite Findim. Precisely, we prove \[ \mathrm{Findim}\,\Lambda^{\mathrm{op}} = \mathrm{edell}\,\Lambda \leq \mathrm{ddell}\,\Lambda \text{ (or $\mathrm{subddell}\,\Lambda$)} \leq \mathrm{dell}\,\Lambda \] and provide examples where the last inequality is strict (including the recent example from [16] where $\mathrm{dell}\,\Lambda=\infty$, but $\mathrm{ddell}\, \Lambda = 1 =\mathrm{Findim}\, \Lambda^{\mathrm{op}}$). We further enhance the connection between the findim conjecture and tilting theory by showing finitely generated modules with finite derived delooping level form a torsion-free class $\mathcal{F}$. Therefore, studying the corresponding torsion pair $(\mathcal{T}, \mathcal{F})$ will shed more light on the little finitistic dimension. Lastly, we relate the delooping level to the $\phi$-dimension $\phi\dim$, a popular upper bound for findim, and give another sufficient condition for the findim conjecture.

Ruoyu Guo Kiyoshi Igusa 10.1016/j.aim.2025.110152 20 pages; Accepted version; Published in Advances in Mathematics Advances in Mathematics, 464, 110152 (2025)