2025-07-08 | | Total: 16
For every parabolic subgroup P of a Lie supergroup G, the homogeneous superspace G/P carries a G-invariant supergeometry. We address the question whether \mathfrak{g}=\text{Lie}(G) is the maximal supersymmetry of this supergeometry in the case of the exceptional Lie superalgebra D(2,1;a). For each choice of parabolic \mathfrak{p}\subset\mathfrak{g}, we consider the corresponding negatively graded Lie subalgebra \mathfrak{m}\subset\mathfrak{g}, and compute its Tanaka--Weisfeiler prolongations, with reduction of the structure group when required, thus realizing D(2,1;a) via symmetries of supergeometries. This gives 6 inequivalent supergeometries: one of these is a vector superdistribution, two are given by cone fields of supervarieties, and the remaining three are higher order structure reductions (a novel feature). We describe those supergeometries and realize D(2,1;a) supersymmetry explicitly in each case.
The homology of free Lie algebras with coefficients in tensor products of the adjoint representation working over Q contains important information on the homological properties of polynomial outer functors on free groups. The latter category was introduced in joint work with Vespa, motivated by the study of higher Hochschild homology of wedges of circles. There is a splitting of this homology by polynomial degree (for polynomiality with respect to the generators of the free Lie algebra) and one can consider the polynomial degree relative to the number of tensor factors in the coefficients. It suffices to consider the Lie algebra homology in homological degree one; this vanishes in relative degree 0 and is readily calculated in relative degree 1. This paper calculates the homology in relative degree 2, which presents interesting features. This confirms a conjecture of Gadish and Hainaut.
The semidirect product \mathbb{G}=\mathbb{L}\rtimes \mathbb{K} attached to a compact-group action on a connected, simply-connected solvable Lie group has a dense set of compact elements precisely when the s\in \mathbb{K} operating on \mathbb{L} fixed-point-freely constitute a dense set. This (along with a number of alternative equivalent characterizations) extends the Wu's analogous result for connected Lie \mathbb{K}, and also provides ample supplies of examples of almost-connected Lie groups \mathbb{G} which do not have dense sets of compact elements, even though their identity components \mathbb{G}_0 do. This corrects prior literature on the subject, claiming the property equivalent for \mathbb{G} and \mathbb{G}_0. In a related discussion we characterize those connected Lie groups \mathbb{G} with large sets of d-tuples generating dense subgroups \Gamma\le \mathbb{G} for which the derived subgroup \Gamma^{(1)} fails to be finitely-generated: \mathbb{G} must either be non-trivial topologically perfect or have non-nilpotent maximal solvable quotient.
We derive explicit formulas for the Frobenius-Hecke traces of the etale cohomology of certain strata of Kottwitz varieties (which are certain compact unitary type Shimura varieties considered by Kottwitz), in terms of automorphic representations and certain explicit polynomials. We obtain our results using the trace formula, representations of general linear groups over p-adic fields, and a truncation of the formula of Kottwitz for the number of points on Shimura varieties over finite fields.
In this survey, we summarize some results in the literature involving the mesh category, which is a combinatorial representation of the category of modules over a finite-dimensional associative algebra. We discuss Riedtmann's well-behaved functors, which compare the mesh category with the module category, and discuss how the properties of these functors can be applied to study the problem of composing irreducible morphisms, which is the problem of deciding when the composition of n irreducible morphisms is non-zero and lies on the (n+1)-th power of the radical.
We identify an interesting special class of prime ideals in the finitary infinite symmetric group algebra. We show that the set of such ideals carries a semiring structure. Over the complex numbers, we establish a connection with spherical representations of (the Gelfand pair corresponding to) the infinite symmetric group. In positive characteristic, we investigate a close connection with the structure theory of symmetric tensor categories.
Let \mathbf{k} be a field of any characteristic and let \Lambda be a finite dimensional \mathbf{k}-algebra. We prove that if V is a finite dimensional right \Lambda-module that lies in the mouth of a stable homogeneous tube \mathfrak{T} of the Auslander-Reiten quiver \Lambda with \underline{\mathrm{End}}_\Lambda(V) a division ring, then V has a versal deformation ring R(\Lambda,V) isomorphic to \mathbf{k}[\![t]\!]. As consequence we obtain that if \mathbf{k} is algebraically closed, \Lambda is a symmetric special biserial \mathbf{k}-algebra and V is a band \Lambda-module with \underline{\mathrm{End}}_\Lambda(V) \cong \mathbf{k} that lies in the mouth of its homogeneous tube, then R(\Lambda,V) is universal and isomorphic to \mathbf{k}[\![t]\!].
Let G be a Lie group, g = Lie(G) - its Lie algebra, g* - the dual vector space and \widehat G - the set of equivalence classes of unitary irreducible representations of G. The orbit method [1] establishes a correspondence between points of \widehat G and G-orbits in g*. For many Lie groups it gives the answers to all major problems of representation theory in terms of coadjoint orbits. Formally, the notions and statements of the orbit method make sense when G is infinite-dimensional Lie group, or an algebraic group over a topological field or ring K, whose additive group is self dual (e.g., p-adic or finite). In this paper, we introduce the big family of finite groups G_n, for which the orbit method works perfectly well. Namely, let N_n(K) be the algebraic group of upper unitriangular (n+1)\times(n+1) matrices with entries from K, and F_q be the finite field with q elements. We define G_n as the quotient of of the group N_{n+1}(F_q) over its second commutator subgroup.
In this paper, by using the Lakshmibai-Seshadri paths, we give the branching rule for representations of affine Kac-Moody algebras to their winding subalgebras. As a corollary, we can describe branching multiplicities in the language of paths. An analog of Steinberg's formula for branching multiplicities is also given.
The local non-tempered Gan-Gross-Prasad conjecture suggests that, for a pair of irreducible Arthur type representations of two successive general linear groups, they have a non-zero Rankin-Selberg period if and only if they are "relevant". In this paper, we prove the "period implies relevance" direction of this conjecture for general linear groups over Archimedean local fields. Our proof is based on a previous result of Gourevitch-Sayag-Karshon on the annihilator varieties of distinguished representations. Combining with a recent result of P. Boisseau on the direction "relevance implies period'', this conjecture for general linear groups over Archimedean local fields is settled.
In this paper, we will describe a combinatorial object to list the orbits in the {\mathbb Z}-graded Lie algebra, their Jordan bloc decomposition, their dimension, their dimension, the partial order and the equivariant local system (up to isomorphism) for four infinite families: two are for the symplectic groups and two are for the special orthogonal groups. These orbits and equivariant local systems appear in the study of perverse sheaves arising from graded Lie algebras.
We study the homological properties of Schur algebras S(p, 2p) over a field k of positive characteristic p, focusing on their interplay with the representation theory of quotients of group algebras of symmetric groups via Schur-Weyl duality. Schur-Weyl duality establishes that the centraliser algebra, \Lambda(p, 2p), of the tensor space (k^p)^{\otimes 2p} (as a module over S(p, 2p)) is a quotient of the group algebra of the symmetric group. In this paper, we prove that Schur-Weyl duality between S(p, 2p) and \Lambda(p, 2p) is an instance of an Auslander-type correspondence. We compute the global dimension of Schur algebras S(p, 2p) and their relative dominant dimension with respect to the tensor space (k^p)^{\otimes 2p}. In particular, we show that the pair (S(p, 2p), (k^p)^{\otimes 2p}) forms a relative 4(p-1)-Auslander pair in the sense of Cruz and Psaroudakis, thereby connecting Schur algebras with higher homological algebra. Moreover, we determine the Hemmer-Nakano dimension associated with the quasi-hereditary cover of \Lambda(p, 2p) that arises from Schur-Weyl duality. As an application, we show that the direct sum of some Young modules over \Lambda(p, 2p) is a full tilting module when p>2.
Finite-dimensional Jacobian algebras are studied from the perspective of representation types. We establish that (like other representation types) the notions of E-finiteness and E-tameness are invariant under mutations of quivers with potentials. Consequently, we prove that, except for a few cases, a finite-dimensional Jacobian algebra \mathcal{J}(Q,W) is E-tame if and only if it is \operatorname{g}-tame, if and only if it is representation-tame, and this holds precisely when Q is of finite mutation type. Moreover, our results on laminations on marked surfaces lead to the classification of finite-dimensional E-finite Jacobian algebras. Consequently, we show that a finite-dimensional Jacobian algebra \mathcal{J}(Q,W) is E-finite if and only if it is \operatorname{g}-finite, if and only if it is representation-finite, and this holds exactly when Q is of Dynkin type. Furthermore, we provide an application of this result in the theory of cluster algebras. More precisely, the converse of Reading's theorem is established: if the \operatorname{g}-fan of the cluster algebra associated with a connected quiver Q is complete, then Q must be of Dynkin type.
Reduction algebras (also known as generalized Mickelsson algebras, Zhelobenko algebras, or transvector algebras) are well-studied associative algebras appearing in the representation theory of Lie algebras. In the 1990s, Zhelobenko noted that reduction algebras have a connection to field equations from physics, whereas Howe's study of dual pairs in the 1980s signifes that the link originated even earlier. In this paper, we revisit the simplest case of a scalar field, working in arbitrary spacetime dimension n\ge 3, and in arbitrary flat metric \eta_{ab}. We recall that the field equations specialize to the homogeneous Laplace equation and the (massless) Klein--Gordon equation for appropriate metrics; correspondingly, there is a representation of the Lie algebra \mathfrak{sl}_2 (technically, \mathfrak{sp}_2) by differential operators and an associated reduction algebra. The reduction algebra contains raising operators, which provide a means to construct bosonic states |a_1a_2\cdots a_\ell\rangle as certain degree \ell polynomials solving the relevant field equation. We give an explicit formula for these solutions and prove that they span the polynomial part of the solution space. We also give a complete presentation of the reduction algebra and compute the inner product between the bosonic states in terms of the rational dynamical R-matrix.
Let F be a local field of characteristic p and G be a connected reductive group over F. Recall that Shalika's germ expansion of orbital integrals of regular semi-simple elements near the identity, when it exists, is a sum indexed by the set of unipotent conjugacy classes in G(F). Observe that if G=SL(2) this set is always compact; it is finite if p\ne2 while it is uncountable if p= 2. As a consequence, Shalika's germ expansion for elliptic elements does not make sense if p=2. On the other hand the endoscopic expansion of elliptic orbital integrals always exists and yields a germ expansion equivalent if p\ne2 (up to a Fourier transform) to Shalika's germ expansion but is new if p=2.
We construct a new quantization K_t(\mathcal{O}^{sh}_{\mathbb{Z}}) of the Grothendieck ring of the category \mathcal{O}^{sh}_{\mathbb{Z}} of representations of shifted quantum affine algebras (of simply-laced type). We establish that our quantization is compatible with the quantum Grothendieck ring K_t(\mathcal{O}^{\mathfrak{b},+}_{\mathbb{Z}}) for the quantum Borel affine algebra, namely that there is a natural embedding K_t(\mathcal{O}^{\mathfrak{b},+}_{\mathbb{Z}})\hookrightarrow K_t(\mathcal{O}^{sh}_{\mathbb{Z}}). Our construction is partially based on the cluster algebra structure on the classical Grothendieck ring discovered by Geiss-Hernandez-Leclerc. As first applications, we formulate a quantum analogue of QQ-systems (that we make completely explicit in type A_1). We also prove that the quantum oscillator algebra is isomorphic to a localization of a subalgebra of our quantum Grothendieck ring and that it is also isomorphic to the Berenstein-Zelevinsky's quantum double Bruhat cell \mathbb{C}_t[SL_2^{w_0,w_0}].