Local cohomology on a subexceptional series of representations

[Cohomologie locale sur une série de représentations sous-exceptionnelles]

Lőrincz, András C.¹ ; Weyman, Jerzy^2, 3

¹ David and Judi Proctor Department of Mathematics University of Oklahoma Norman, OK 73019 (USA)
² Department of Mathematics University of Connecticut Storrs, CT 06269 (USA)
³ Instytut Matematyki Uniwersytet Jagielloński Kraków 30-348 (Poland)

Annales de l'Institut Fourier, Tome 73 (2023) no. 2, pp. 747-782

Abstract (VO)

We consider a series of four subexceptional representations coming from the third line of the Freudenthal–Tits magic square; using Bourbaki notation, these are representations $(G^{\prime },X)$ corresponding to $(C_3,{\omega }_3),(A_5,{\omega }_3),(D_6,{\omega }_5)$, and $(E_7,{\omega }_6)$. In each case $X$ has five $G=G^{\prime }\times ℂ$-orbits, displaying some uniform behavior, e.g. their dimensions or defining ideals. In this paper, we determine some further invariants and analyze their uniformity within the series. We describe the category of $G$-equivariant coherent ${𝔻}_X$-modules as the category of representations of a quiver. We construct explicitly the simple equivariant $𝔻$-modules and describe their $G$-structures. We determine the $𝔻$-module structure of local cohomology modules supported in orbit closures, and calculate intersection cohomology groups and Lyubeznik numbers. While our results for $(A_5,{\omega }_3),(D_6,{\omega }_5),(E_7,{\omega }_6)$ are still completely uniform, the case $(C_3,{\omega }_3)$ displays a surprisingly different behavior, for which we give two explanations: the middle orbit is not simply-connected, and its closure is not Gorenstein.

Résumé

Nous considérons une série de quatre représentations sous-exceptionnelles venant de la troisième ligne du carré magique de Freudenthal-Tits : $(G^{\prime },X)=(C_3,{\omega }_3)$, $(A_5,{\omega }_3)$, $(D_6,{\omega }_5)$, ou $(E_7,{\omega }_6)$, en utilisant la notation de Bourbaki. Dans chaque cas, $X$ a cinq $G=G^{\prime }\times ℂ$-orbites, qui se révèlent avoir un comportement uniforme, avec par exemple leurs dimensions ou leurs idéaux définissants. Dans cet article, nous obtenons plus d’invariants et nous étudions leur uniformité dans cette série des représentations. Nous décrivons la catégorie des ${𝔻}_X$-modules cohérentes $G$-équivariantes, et décrivons leurs $G$-structures. Nous déterminons, pour les modules de cohomologie locale avec support dans des clôtures d’orbites, leur structure comme $𝔻$-module, et calculons des groupes de cohomologie d’intersection et des nombres de Lyubeznik. Alors que nos résultats pour $(A_5,{\omega }_3),(D_6,{\omega }_5),(E_7,{\omega }_6)$ sont uniformes, le cas $(C_3,{\omega }_3)$ fait apparaître un comportement différent et unique, pour lequel nous donnons deux explications  : l’orbite moyenne n’est pas simplement connexe, et sa clôture n’est pas Gorenstein.

Détail

Reçu le : 2020-10-14
Révisé le : 2021-04-30
Accepté le : 2021-06-23
Publié le : 2023-05-12

DOI : 10.5802/aif.3539

Classification : 14F10, 14B15, 13D45, 13A50, 11S90
Keywords: Local cohomology, equivariant $\mathbb{D}$-modules, prehomogeneous vector spaces.
Mots-clés : Cohomologie locale, D-modules équivariants, espaces vectoriels préhomogènes.

Licence : CC-BY-ND 4.0

Droits d'auteur : Les auteurs conservent leurs droits