- https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/jlms.12650
Final published version

Licence: CC BY: Creative Commons Attribution 4.0 International License

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

In: Journal of the London Mathematical Society, Vol. 106, No. 4, 31.12.2022, p. 2847-2883.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Levy, PD, Ngo, NV & Šivic, K 2022, 'Commuting varieties and cohomological complexity theory', *Journal of the London Mathematical Society*, vol. 106, no. 4, pp. 2847-2883. https://doi.org/10.1112/jlms.12650

Levy, P. D., Ngo, N. V., & Šivic, K. (2022). Commuting varieties and cohomological complexity theory. *Journal of the London Mathematical Society*, *106*(4), 2847-2883. https://doi.org/10.1112/jlms.12650

Levy PD, Ngo NV, Šivic K. Commuting varieties and cohomological complexity theory. Journal of the London Mathematical Society. 2022 Dec 31;106(4):2847-2883. Epub 2022 Jul 2. doi: 10.1112/jlms.12650

@article{b7359f979b60443198bc3be75e72f474,

title = "Commuting varieties and cohomological complexity theory",

abstract = "In this paper we determine, for all (Formula presented.) sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting (Formula presented.) -tuples of nilpotent elements of (Formula presented.). Our main result is that in characteristic (Formula presented.), this nilpotent commuting variety has dimension (Formula presented.) for (Formula presented.), (Formula presented.). We use this to find the dimension of the (ordinary) (Formula presented.) th commuting varieties of (Formula presented.) and (Formula presented.) for the same range of values of (Formula presented.) and (Formula presented.). Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the (Formula presented.) th Frobenius kernel (Formula presented.). These results indicate an inequality between the complexities of a rational (Formula presented.) -module (Formula presented.) when restricted to (Formula presented.) or to (Formula presented.); we subsequently establish this inequality for every simple algebraic group (Formula presented.) defined over an algebraically closed field of good characteristic, significantly extending the main theorem of Lin and Nakano, Inventiones Mathematicae, 138 (1999), 85–101.",

keywords = "General Mathematics",

author = "P.D. Levy and N.V. Ngo and K. {\v S}ivic",

year = "2022",

month = dec,

day = "31",

doi = "10.1112/jlms.12650",

language = "English",

volume = "106",

pages = "2847--2883",

journal = "Journal of the London Mathematical Society",

issn = "0024-6107",

publisher = "Oxford University Press",

number = "4",

}

TY - JOUR

T1 - Commuting varieties and cohomological complexity theory

AU - Levy, P.D.

AU - Ngo, N.V.

AU - Šivic, K.

PY - 2022/12/31

Y1 - 2022/12/31

N2 - In this paper we determine, for all (Formula presented.) sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting (Formula presented.) -tuples of nilpotent elements of (Formula presented.). Our main result is that in characteristic (Formula presented.), this nilpotent commuting variety has dimension (Formula presented.) for (Formula presented.), (Formula presented.). We use this to find the dimension of the (ordinary) (Formula presented.) th commuting varieties of (Formula presented.) and (Formula presented.) for the same range of values of (Formula presented.) and (Formula presented.). Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the (Formula presented.) th Frobenius kernel (Formula presented.). These results indicate an inequality between the complexities of a rational (Formula presented.) -module (Formula presented.) when restricted to (Formula presented.) or to (Formula presented.); we subsequently establish this inequality for every simple algebraic group (Formula presented.) defined over an algebraically closed field of good characteristic, significantly extending the main theorem of Lin and Nakano, Inventiones Mathematicae, 138 (1999), 85–101.

AB - In this paper we determine, for all (Formula presented.) sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting (Formula presented.) -tuples of nilpotent elements of (Formula presented.). Our main result is that in characteristic (Formula presented.), this nilpotent commuting variety has dimension (Formula presented.) for (Formula presented.), (Formula presented.). We use this to find the dimension of the (ordinary) (Formula presented.) th commuting varieties of (Formula presented.) and (Formula presented.) for the same range of values of (Formula presented.) and (Formula presented.). Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the (Formula presented.) th Frobenius kernel (Formula presented.). These results indicate an inequality between the complexities of a rational (Formula presented.) -module (Formula presented.) when restricted to (Formula presented.) or to (Formula presented.); we subsequently establish this inequality for every simple algebraic group (Formula presented.) defined over an algebraically closed field of good characteristic, significantly extending the main theorem of Lin and Nakano, Inventiones Mathematicae, 138 (1999), 85–101.

KW - General Mathematics

U2 - 10.1112/jlms.12650

DO - 10.1112/jlms.12650

M3 - Journal article

VL - 106

SP - 2847

EP - 2883

JO - Journal of the London Mathematical Society

JF - Journal of the London Mathematical Society

SN - 0024-6107

IS - 4

ER -