SearcharxivSearch

arXiv subjects

Mikhail Kochetov

Publications and source records attributed to Mikhail Kochetov.

At least 19 recordsLinked to original sources

Gradings by cyclic groups on classical simple Lie algebras in prime characteristics

We classify, up to isomorphism, gradings by finite cyclic groups on classical simple Lie algebras $\mathfrak{g}$ over an algebraically closed field of arbitrary characteristic. Using the smoothness of the automorphism group scheme $\operatorname{\mathbf{Aut}}\mathfrak{g}$ and correspondence between $\mathbb Z_m$-gradings and morphisms $\boldsymbolμ_m\to\operatorname{\mathbf{Aut}}\mathfrak{g}$, we express the classification as an orbit problem for certain Weyl-type groups. More generally, for the affine group scheme $\mathbf G$ associated to a semisimple algebraic group $G$ and the constant group scheme $\mathbf Γ_0$ associated to a subgroup $Γ_0$ of the automorphism group of the based root datum of $G$, we consider the classification of morphisms $\boldsymbolμ_m\to \mathbf G \rtimes \mathbfΓ_0$ up to conjugation by $G \rtimes Γ_0$. We show that the classification in characteristic $p$ is the same as in characteristic $0$ except that, in characteristic $p$, only elements of $Γ_0$ whose order is prime to $p$ can occur. For $\mathbb{Z}_m$-gradings on $\mathfrak{g}$, this extends the classification by Kac coordinates to arbitrary characteristic, with the caveat that only diagram automorphisms of order prime to $p$ are allowed and, if $p=2$ or $3$, the type of $\operatorname{Aut}\mathfrak{g}$ is not always the same as the type of $\mathfrak{g}$.

math.RA

Special pure gradings on simple Lie algebras of types $E_6$, $E_7$, $E_8$

A group grading on a semisimple Lie algebra over an algebraically closed field of characteristic zero is special if its identity component is zero; it is pure if at least one of its components, other than the identity component, contains a Cartan subalgebra. We classify special pure gradings on Lie algebras of types $E_6$, $E_7$, $E_8$ up to equivalence and up to isomorphism. To this end, we use quadratic forms over the field of two elements to show that there are exactly three equivalence classes for $E_6$, four for $E_7$, and five for $E_8$. The computation of the corresponding Weyl groups and their actions on the universal groups yields a set of invariants that allow us to distinguish the isomorphism classes.

math.RA

Direct limits of graded matrix algebras

The direct limit of finite-dimensional semisimple associative algebras arises as a purely algebraic counterpart to important $C^\ast$-algebras. In this paper, we classify direct limits of matrix algebras endowed with a grading by a finite abelian group over an algebraically closed field. In particular, we give an explicit description of the graded $K_0$ group of the direct limit of matrix algebras, and we provide conditions under which this limit absorbs graded-division algebras.

math.RA

Group gradings on classical Lie superalgebras

We classify, up to isomorphism, the group gradings on the non-exceptional classical simple Lie superalgebras, except for type A(1,1), over an algebraically closed field of characteristic zero. To this end, we study graded-simple and graded-superinvolution-simple associative superalgebras satisfying the descending chain condition on graded left superideals, which allows us to classify abelian group gradings on finite-dimensional simple and superinvolution-simple associative superalgebras over an algebraically closed field of characteristic different from 2.

math.RA

Almost fine gradings on algebras and classification of gradings up to isomorphism

We consider the problem of classifying gradings by groups on a finite-dimensional algebra $A$ (with any number of multilinear operations) over an algebraically closed field. We introduce a class of gradings, which we call almost fine, such that every $G$-grading on $A$ is obtained from an almost fine grading on $A$ in an essentially unique way, which is not the case with fine gradings. For abelian groups, we give a method of obtaining all almost fine gradings if fine gradings are known. We apply these ideas to the case of semisimple Lie algebras in characteristic $0$: to any abelian group grading with nonzero identity component, we attach a (possibly nonreduced) root system and, in the simple case, construct an adapted grading by this root system.

math.RA

Group gradings on exceptional simple Lie superalgebras

We classify up to isomorphism the gradings by arbitrary groups on the exceptional classical simple Lie superalgebras $G(3)$, $F(4)$ and $D(2,1;α)$ over an algebraically closed field of characteristic $0$. To achieve this, we apply the recent method developed by A. Elduque and M. Kochetov to the known classification of fine gradings up to equivalence on the same superalgebras, which was obtained by C. Draper et al. in 2011. We also classify gradings on the simple Lie superalgebra $A(1,1)$, whose automorphism group is different from the other members of the $A$ series.

math.RA

Gradings on associative algebras with involution and real forms of classical simple Lie algebras

We study gradings by abelian groups on associative algebras with involution over an arbitrary field. Of particular importance are the fine gradings (that is, those that do not admit a proper refinement), because any grading on a finite-dimensional algebra can be obtained from them via a group homomorphism (although not in a unique way). We classify up to equivalence the fine gradings on simple associative algebras with involution over the field of real numbers (or any real closed field) and, as a consequence, on the real forms of classical simple Lie algebras.

math.RA

Graded-division algebras and Galois extensions

Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division algebras. On the other hand, given a finite abelian group G, any central simple G-graded-division algebra over a field F is determined, thanks to a result of Picco and Platzeck, by its class in the (ordinary) Brauer group of F and the isomorphism class of a G-Galois extension of F. This connection is used to classify the simple G-Galois extensions of F in terms of a Galois field extension L/F with Galois group isomorphic to a quotient G/K and the class of a 2-cocycle of K with values in the multiplicative group of L modulo a 2-coboundary with values in the multiplicative group of F, subject to certain conditions. Non-simple G-Galois extensions are induced from simple T-Galois extensions for a subgroup T of G. We also classify finite-dimensional G-graded-division algebras and, as an application, finite G-graded-division rings.

math.RA

Graded-division algebras over arbitrary fields

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a classification of finite-dimensional graded-central graded-division algebras over an arbitrary field $\mathbb{F}$ can be reduced to the following three classifications, for each finite Galois extension $\mathbb{L}$ of $\mathbb{F}$: (1) finite-dimensional central division algebras over $\mathbb{L}$, up to isomorphism; (2) twisted group algebras of finite groups over $\mathbb{L}$, up to graded-isomorphism; (3) $\mathbb{F}$-forms of certain graded matrix algebras with coefficients in $Δ\otimes_{\mathbb{L}}\mathcal{C}$ where $Δ$ is as in (1) and $\mathcal{C}$ is as in (2). As an application, we classify, up to graded-isomorphism, the finite-dimensional graded-division algebras over the field of real numbers (or any real closed field) with an abelian grading group. We also discuss group gradings on fields.

math.RA

Group gradings on the Lie and Jordan algebras of block-triangular matrices

We classify up to isomorphism all gradings by an arbitrary group $G$ on the Lie algebras of zero-trace upper block-triangular matrices over an algebraically closed field of characteristic $0$. It turns out that the support of such a grading always generates an abelian subgroup of $G$. Assuming that $G$ is abelian, our technique also works to obtain the classification of $G$-gradings on the upper block-triangular matrices as an associative algebra, over any algebraically closed field. These gradings were originally described by A. Valenti and M. Zaicev in 2012 (assuming characteristic $0$ and $G$ finite abelian) and classified up to isomorphism by A. Borges et al. in 2018. Finally, still assuming that $G$ is abelian, we classify $G$-gradings on the upper block-triangular matrices as a Jordan algebra, over an algebraically closed field of characteristic $0$. It turns out that, under these assumptions, the Jordan case is equivalent to the Lie case.

math.RA

On nonassociative graded-simple algebras over the field of real numbers

We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple alternative (nonassociative) algebras and graded-simple finite-dimensional Jordan algebras of degree 2. We also classify the graded-division alternative (nonassociative) algebras up to equivalence.

math.RA

Group gradings on the superalgebras M(m,n), A(m,n) and P(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n \geq 2$, and on the simple associative superalgebras $M(m,n)$, $m, n \geq 1$, over an algebraically closed field: fine gradings up to equivalence and $G$-gradings, for a fixed group $G$, up to isomorphism. As a corollary, we also classify up to isomorphism the $G$-gradings on the classical Lie superalgebra $A(m,n)$ that are induced from $G$-gradings on $M(m+1,n+1)$. In the case of Lie superalgebras, the characteristic is assumed to be $0$.

math.RA

Gradings on modules over Lie algebras of E types

For any grading by an abelian group $G$ on the exceptional simple Lie algebra $\mathcal{L}$ of type $E_6$ or $E_7$ over an algebraically closed field of characteristic zero, we compute the graded Brauer invariants of simple finite-dimensional modules, thus completing the computation of these invariants for simple finite-dimensional Lie algebras. This yields the classification of $G$-graded simple $\mathcal{L}$-modules, as well as necessary and sufficient conditions for an $\mathcal{L}$-module to admit a $G$-grading compatible with the given $G$-grading on $\mathcal{L}$.

math.RT

Graded simple modules and loop modules

Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be isomorphic to each other. Under some restrictions, these loop modules are completely reducible (as ungraded modules), and some of their invariants --- inertia group, graded Brauer invariant and Schur index --- which were previously defined for simple modules over graded finite-dimensional semisimple Lie algebras over an algebraically closed field of characteristic zero, are now considered in a more general and natural setting.

math.RT

Group gradings on the Lie and Jordan superalgebras $Q(n)$

We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras $Q(n)$, $n \geq 2$, over an algebraically closed field of characteristic different from $2$ (and not dividing $n+1$ in the Lie case): fine gradings up to equivalence and $G$-gradings, for a fixed group $G$, up to isomorphism.

math.RA