No Arabic abstract
We generalize the basic results of Vinbergs theta-groups, or periodically graded reductive Lie algebras, to fields of good positive characteristic. To this end we clarify the relationship between the little Weyl group and the (standard) Weyl group. We deduce that the ring of invariants associated to the grading is a polynomial ring. This approach allows us to prove the existence of a KW-section for a classical graded Lie algebra (in zero or good characteristic), confirming a conjecture of Popov in this case.
Popov has recently introduced an analogue of Jordan classes (packets, or decomposition classes) for the action of a theta-group (G_0,V), showing that they are finitely-many, locally-closed, irreducible unions of G_0-orbits of constant dimension partitioning V. We carry out a local study of their closures showing that Jordan classes are smooth and that their closure is a union of Jordan classes. We parametrize Jordan classes and G_0-orbits in a given class in terms of the action of subgroups of Vinbergs little Weyl group, and include several examples and counterexamples underlying the differences with the symmetric case and the critical issues arising in the theta-situation.
We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$, both in the untwisted and twisted settings. We also prove that the de Rham--$mathrm{HP}$ and crystalline--$mathrm{TP}$ spectral sequences need not degenerate.
Let $k$ be an algebraically closed field of characteristic not equal to 2 or 3, let $G$ be an almost simple algebraic group of type $F_4$, $G_2$ or $D_4$ and let $theta$ be an automorphism of $G$ of finite order, coprime to the characteristic. In this paper we consider the $theta$-group (in the sense of Vinberg) associated to these choices; we classify the positive rank automorphisms and give their Kac diagrams and we describe the little Weyl group in each case. As a result we show that all such $theta$-groups have KW-sections, confirming a conjecture of Popov in these cases.
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $pi_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed normal subgroups $N$ of $pi_1(C)$. In Normal subgroups of fundamental groups of affine curves in positive characteristic we proved the same result under the additional hypothesis that $k$ had countable cardinality.
We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $dim Xleq p$. The best known previous result of this kind, due to Yekutieli, required $dim X<p$. Yekutielis result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $dim X<p$. Our extension to $dim X=p$ requires a homological fact: the Hochschild homology of a smooth proper scheme is self-dual.