We describe the structure and different features of Lie algebras in the Verlinde category, obtained as semisimplification of contragredient Lie algebras in characteristic p with respect to the adjoint action of a Chevalley generator. In particular, we construct a root system for these algebras that arises as a parabolic restriction of the known root system for the classical Lie algebra. This gives a lattice grading with simple homogeneous components and a triangular decomposition for the semisimplified Lie algebra. We also obtain a non-degenerate invariant form that behaves well with the lattice grading. As an application, we exhibit concrete new examples of Lie algebras in the Verlinde category.
more »
« less
This content will become publicly available on October 29, 2025
Invariant theory for the commuting scheme of symplectic Lie algebras
We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a certain multiplicative property of the Pfaffian which is of independent interest.
more »
« less
- Award ID(s):
- 2001257
- PAR ID:
- 10552685
- Publisher / Repository:
- Tata Institute of Fundamental Research Publications
- Date Published:
- ISSN:
- ####-####
- ISBN:
- 978-81-957829-7-0
- Format(s):
- Medium: X
- Location:
- Tata Institute of Fundamental Research
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In this paper, we study polar foliations on simply connected symmetric spaces with non-negative curvature. We will prove that all such foliations are isoparametric as defined in [E. Heintze, X. Liu and C. Olmos,Isoparametric submanifolds and a Chevalley-type restriction theorem,Integrable systems, geometry, and topology,American Mathematical Society, Providence 2006, 151–190]. We will also prove a splitting theorem which, when leaves are compact, reduces the study of such foliations to polar foliations in compact simply connected symmetric spaces. Moreover, we will show that solutions to mean curvature flow of regular leaves in such foliations are always ancient solutions. This generalizes part of the results in [X. Liu and C.-L. Terng,Ancient solutions to mean curvature flow for isoparametric submanifolds,Math. Ann. 378 2020, 1–2, 289–315] for mean curvature flows of isoparametric submanifolds in spheres.more » « less
-
NA (Ed.)We give a Chevalley formula for an arbitrary weight for the torus-equivariant K-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum K-theory QK_{T}(G/B) of a (finite-dimensional) flag manifold G/B; this has been a longstanding conjecture about the multiplicative structure of QK_{T}(G/B). In type A_{n-1}, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum K-theory QK(SL_{n}/B); we also obtain very explicit information about the coefficients in the respective Chevalley formula.more » « less
-
null (Ed.)We study the search problem class PPA_q defined as a modulo-q analog of the well-known polynomial parity argument class PPA introduced by Papadimitriou (JCSS 1994). Our first result shows that this class can be characterized in terms of PPA_p for prime p. Our main result is to establish that an explicit version of a search problem associated to the Chevalley - Warning theorem is complete for PPA_p for prime p. This problem is natural in that it does not explicitly involve circuits as part of the input. It is the first such complete problem for PPA_p when p ≥ 3. Finally we discuss connections between Chevalley-Warning theorem and the well-studied short integer solution problem and survey the structural properties of PPA_q.more » « less
-
Abstract Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $$\mathsf V$$, as well as for small $$\mathsf V$$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homology of Green functors and $$C_n$$-twisted topological Hochschild homology fit into this framework, which allows us to conclude that these theories are Morita invariant. We also study linearization maps relating the topological and algebraic theories, proving that the linearization map for topological Hochschild homology arises as a lax shadow functor, and constructing a new linearization map relating topological restriction homology and algebraic restriction homology. Finally, we construct a twisted Dennis trace map from the fixed points of equivariant algebraic $$K$$-theory to twisted topological Hochschild homology.more » « less