Smooth automorphism group schemes

MaRDI QIDQ2782429zbMATH OpenFDO

Authors Daniel R. Farkas, Christof Geiss, Eduardo N. Marcos

Publication date 14 July 2002

zbMATH Keywords

automorphism group schemesderivationsendomorphismsHopf algebrasmonomial algebrasMorita equivalencessmooth group schemes

Mathematics Subject Classification ID

Group schemes (14L15) Automorphisms and endomorphisms (16W20) Derivations, actions of Lie algebras (16W25)

Review text

Let \(A\) be a finite-dimensional algebra over a field \(k\) of positive characteristic. The issue here is to determine when the automorphism group scheme \(\Aut_A\) is smooth. The authors do this by considering the algebra \(H\) that represents \(\Aut_A\). It is shown that \(\Aut_A\) is smooth if and only if every \(k\)-derivation of \(A\) is integrable, that is every \(D\in\text{Der}(A)\) gives rise to a sequence of \(k\)-endomorphisms on \(A\), namely \(D^{(0)}=\text{I}\), \(D^{(1)}=D\), \(D^{(2)},D^{(3)},\dots\), satisfying certain conditions. This result is proved in the first section using Hopf algebra-theoretic techniques. Attention is then turned to monomial algebras, from which numerous examples are obtained. A condition is given for when a derivation \(D\) on \(R=k[X,Y_1,\dots,Y_n]/I\) is integrable (where \(I\) is a monomial ideal). This is used to show that if no minimal monomial in \(I\) has positive degree in any \(X_j\) which is divisible by \(p=\text{char }k\) then \(R=k[X_1,\dots,X_n]/I\) has a smooth automorphism group scheme. One problem that remains unsolved is to use the minimal monomials generating \(I\) to quickly determine if the corresponding monomial algebra has a smooth automorphism scheme. Finally, it is shown that having a smooth automorphism scheme is a Morita invariant. Specifically, if \(\int HH^1(A)\) is the subspace of \(A\) consisting of integrable derivations of \(A\) modulo the inner derivations of \(A\), then if \(A\) and \(B\) are Morita equivalent then \(\int HH^1(A)\) is isomorphic to \(HH^1(B)\). For the entire collection see [Zbl 0974.00038].

Recommendations

• Non-reduced automorphism schemes
• Desingularization and integrality of the automorphism scheme of a finite field extension
• The group of automorphisms of a commutative algebra
• Smooth algebras
• Algebras and their automorphism groups

Cited in

(11)

• Non-reduced automorphism schemes
• The modular isomorphism problem: a survey
• Group scheme actions by inner automorphisms
• HIGHER DERIVATIONS OF SEMIPRIME RINGS
• Finite-dimensional algebras arising as blocks of finite group algebras
• On solvability of the first Hochschild cohomology of a finite-dimensional algebra
• Integrable derivations and stable equivalences of Morita type
• Existence of gradings on associative algebras
• Smooth \(p\)-groups
• On the Lie algebra structure of integrable derivations
• Action of higher derivations on prime rings with involution

This page was built for publication: Smooth automorphism group schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782429)