English

Local cohomology on a subexceptional series of representations

Algebraic Geometry 2021-06-24 v4 Commutative Algebra Representation Theory

Abstract

We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations (G,X)(G',X) corresponding to (C3,ω3),(A5,ω3),(D6,ω5)(C_3, \omega_3),\, (A_5, \omega_3), \, (D_6, \omega_5) and (E7,ω6)(E_7, \omega_6). In each of these four cases, the group G=G×CG=G'\times \mathbb{C}^* acts on XX with five orbits, and many invariants display a uniform behavior, e.g. dimension of orbits, their defining ideals and the character of their coordinate rings as GG-modules. In this paper, we determine some more subtle invariants and analyze their uniformity within the series. We describe the category of GG-equivariant coherent DX\mathcal{D}_X-modules as the category of representations of a quiver with relations. We construct explicitly the simple GG-equivariant DX\mathcal{D}_X-modules and compute the characters of their underlying GG-structures. We determine the local cohomology groups with supports given by orbit closures, determining their precise DX\mathcal{D}_X-module structure. As a consequence, we calculate the intersection cohomology groups and Lyubeznik numbers of the orbit closures. While our results for the cases (A5,ω3),(D6,ω5)(A_5, \omega_3), \, (D_6, \omega_5) and (E7,ω6)(E_7, \omega_6) are still completely uniform, the case (C3,ω3)(C_3, \omega_3) displays a surprisingly different behavior. We give two explanations for this phenomenon: one topological, as the middle orbit of (C3,ω3)(C_3, \omega_3) is not simply-connected; one geometric, as the closure of the orbit is not Gorenstein.

Keywords

Cite

@article{arxiv.1910.13820,
  title  = {Local cohomology on a subexceptional series of representations},
  author = {András C. Lőrincz and Jerzy Weyman},
  journal= {arXiv preprint arXiv:1910.13820},
  year   = {2021}
}

Comments

23 pages. To appear in Annales de l'Institut Fourier