SearcharxivSearch

arXiv subjects

Alexandr N. Zubkov

Publications and source records attributed to Alexandr N. Zubkov.

18 recordsLinked to original sources

On linear equations over split-octonions

Over an algebraically closed field, we describe the affine varieties of solutions to the linear equations $a(xb)=c$ and $a(bx)=c$ over the split-octonions. We also determine the dimensions of the solution sets of arbitrary linear monomial equations in the split-octonions. Moreover, we show that if a linear monomial equation over the split-octonions with nonzero constant term has at least two solutions, then it necessarily possesses an invertible solution.

math.RA

Quasi-reductive supergroups with small even parts

We describe all supergroups with the largest even supersubgroups being isomorphic to $\mathrm{GL}_2, \mathrm{SL}_2$ or $\mathrm{PSL}_2$. These results are applied to the description of centralizers of certain tori in the quasi-reductive supergroups.

math.RT

Automorphism group functors of algebraic superschemes

The famous theorem of Matsumura-Oort states that if $X$ is a proper scheme, then the automorphism group functor $\mathfrak{Aut}(X)$ of $X$ is a locally algebraic group scheme. In this paper we generalize this theorem to the category of superschemes, that is if $\mathbb{X}$ is a proper superscheme, then the automorphism group functor $\mathfrak{Aut}(\mathbb{X})$ of $\mathbb{X}$ is a locally algebraic group superscheme. Moreover, we also show that if $H^1(X, \mathcal{T}_X)=0$, where $X$ is the geometric counterpart of $\mathbb{X}$ and $\mathcal{T}_X$ is the tangent sheaf of $X$, then $\mathfrak{Aut}(\mathbb{X})$ is a smooth group superscheme.

math.AG

Linkage for periplectic supergroups in positive characteristic

We consider the periplectic supergroup ${\bf P} (n)$ over a ground field $\Bbbk$ of characteristic $p>2$. We show that there are four blocks of ${\bf P} (n)$ of simple supermodules $L^ε(λ)$ corresponding to dominant weights $λ$ of even and odd lengths, and the even and odd parity $ε$ of their highest weight vector.

math.RT

Separating G_2-invariants of several octonions

We describe separating G_2-invariants of several copies of the algebra of octonions over an algebraically closed field of characteristic two. We also obtain a minimal separating and a minimal generating set for G_2-invariants of several copies of the algebra of octonions in case of a field of odd characteristic.

math.RA

Donkin-Koppinen filtration for GL(m|n) and generalized Schur superalgebras

The paper contains results that characterize the Donkin-Koppinen filtration of the coordinate superalgebra $K[G]$ of the general linear supergroup $G=GL(m|n)$ by its subsupermodules $C_Γ=O_Γ(K[G])$. Here, the supermodule $C_Γ$ is the largest subsupermodule of $K[G]$ whose composition factors are irreducible supermodules of highest weight $λ$, where $λ$ belongs to a finitely-generated ideal $Γ$ of the poset $X(T)^+$ of dominant weights of $G$. A decomposition of $G$ as a product of subsuperschemes $U^-\times G_{ev}\times U^+$ induces a superalgebra isomorphism $ϕ^* : K[U^-]\otimes K[G_{ev}]\otimes K[U^+]\simeq K[G]$. We show that $C_Γ=ϕ^*(K[U^-]\otimes M_Γ\otimes K[U^+])$, where $M_Γ=O_Γ(K[G_{ev}])$. Using the basis of the module $M_Γ$, given by generalized bideterminants, we describe a basis of $C_Γ$. Since each $C_Γ$ is a subsupercoalgebra of $K[G]$, its dual $C_Γ^*=S_Γ$ is a (pseudocompact) superalgebra, called the generalized Schur superalgebra. There is a natural superalgebra morphism $π_Γ:Dist(G)\to S_Γ$ such that the image of the distribution algebra $Dist(G)$ is dense in $S_Γ$. For the ideal $X(T)^+_{l}$, of all weights of fixed length $l$, the generators of the kernel of $π_{X(T)^+_{l}}$ are described.

math.RT

Central elements in the distribution algebra of a general linear supergroup and supersymmetric elements

In this paper we investigate the image of the center $Z$ of the distribution algebra $Dist(GL(m|n))$ of the general linear supergroup over a ground field of positive characteristic under the Harish-Chandra morphism $h:Z \to Dist(T)$ obtained by the restriction of the natural map $Dist(GL(m|n))\to Dist(T)$. We define supersymmetric elements in $Dist(T)$ and show that each image $h(c)$ for $c\in Z$ is supersymmetric. The central part of the paper is devoted to a description of a minimal set of generators of the algebra of supersymmetric elements over Frobenius kernels $T_r$.

math.RT

Linkage principle for ortho-symplectic supergroups

The purpose of the paper is to derive linkage principle for modular representations of ortho-symplectic supergroups. We follow the approach of Doty and investigate in detail the representation theory of the orthosymplectic group $OSP(2|1)$ and that of its Frobenius thickening. Using the description of flags and adjacent Borel supersubgroups we derive first the strong linkage for the Frobenius thickening $G_rT$ of the orthosymplectic supergroup $G$ of type $SpO(2m|2n+1)$ and $SpO(2m|2n)$. Based on this, we derive the linkage principle for orthosymplectic supergroup $SpO(2m|2n+1)$ and $SpO(2m|2n)$.

math.RT

Minimal degrees of invariants of (super)groups - a connection to cryptology

We investigate questions related to the minimal degree of invariants of finitely generated diagonalizable groups. These questions were raised in connection to security of a public key cryptosystem based on invariants of diagonalizable groups. We derive results for minimal degrees of invariants of finite groups, abelian groups and algebraic groups. For algebraic groups we relate the minimal degree of the group to the minimal degrees of its tori. Finally, we investigate invariants of certain supergroups that are superanalogs of tori. It is interesting to note that a basis of these invariants is not given by monomials.

math.RT

Public-key cryptosystem based on invariants of diagonalizable groups

We develop a public key cryptosystem based on invariants of diagonalizable groups and investigate properties of such cryptosystem first over finite fields, then over number fields and finally over finite rings. We consider the security of these cryptosystem and show that it is necessary to restrict the set of parameters of the system to prevent various attacks (including linear algebra attacks and attacks based on Euclidean algorithm).

cs.CR

Solvability and nilpotency for algebraic supergroups

We study solvability, nilpotency and splitting property for algebraic supergroups over an arbitrary field $K$ of characteristic $\mathrm{char}\, K \ne 2$. Our first main theorem tells us that an algebraic supergroup $\mathbb{G}$ is solvable if the associated algebraic group $\mathbb{G}_{ev}$ is trigonalizable. To prove it we determine the algebraic supergroups $\mathbb{G}$ such that $\dim \mathrm{Lie}(\mathbb{G})_1=1$; their representations are studied when $\mathbb{G}_{ev}$ is diagonalizable. The second main theorem characterizes nilpotent connected algebraic supergroups. A super-analogue of the Chevalley Decomposition Theorem is proved, though it must be in a weak form. An appendix is given to characterize smooth Noetherian superalgebras as well as smooth Hopf superalgebras.

math.AG

The center of $Dist(GL(m|n))$ in positive characteristic

The purpose of this paper is to investigate central elements in distribution algebras $Dist(G)$ of general linear supergroups $G=GL(m|n)$. As an application, we compute explicitly the center of $Dist(GL(1|1))$ and its image under Harish-Chandra homomorphism.

math.RT

$GL(m|n)$-supermodules with good and Weyl filtrations

The purpose of this paper is to prove necessary and sufficient criteria for a $GL(m|n)$-supermodule to have a good or Weryl filtration. We also introduce the notion of a Steinberg supermodule analogous to the classical notion of Steinberg module. We prove that the Steinberg supermodule inherits some properties of the Steinberg module. Some new series of finite-dimensional tilting supermodules are found.

math.RA

Some homological properties of $GL(m|n)$ in arbitrary characteristic

We show that Penkov's approach to a superanalog of Borel-Bott-Weil theorem for $G=GL(m|n)$ over a field of zero characteristic can be extended for a perfect field of arbitrary odd characteristic. We also prove some partial version of Kempf's vanishing theorem and characteristic free formula for Euler characteristic $χ(B, λ^ε)$, where $B$ is a Borel subgroup of $G$.

math.RT

Solvable, reductive and quasireductive supergroups

This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of any normal supersubgroup H of G coincides with the intersection of H and G_u, where G_u is the unipotent radical of G. Both questions have affirmative answers in the category of algebraic groups (in the second case one has to assume additionally that G and H are reduced whenever char K >0). Surprisingly, using the technique of Harish-Chandra superpairs and a complete description of an action of an algebraic supergroup on an abelian supergroups by supergroup automorphisms we found out rather simple counterexamples to both questions. Besides, the second counterexample shows that the reductivity of G does not imply that G_{ev} has even finite unipotent radical. On the other hand, if G_{ev} is reductive, then it is easy to see that G_u is finite (odd) supergroup. In other words, the reductivity of an algebraic supergroup does not correspond to the reductivity of its largest even subgroup in contrast to such properties as unipotency or solvability. In the last section of our article we describe reductive algebraic supergroups in terms of sandwich pairs and give necessary and sufficient conditions for an algebraic supergroup to be quasireductive. The last result complements the recent Serganova's description of quasireductive supergroups in terms of structural properties of their Lie superalgebras. Our approach is focused on the normal subgroup structure.

math.RT

Pseudocompact algebras and highest weight categories

We develop a new approach to highest weight categories $\cal{C}$ with good (and cogood) posets of weights via pseudocompact algebras by introducing ascending (and descending) quasi-hereditary pseudocompact algebras. For $\cal{C}$ admitting a Chevalley duality, we define and investigate tilting modules and Ringel duals of the corresponding pseudocompact algebras. Finally, we illustrate all these concepts on an explicit example of the general linear supergroup $GL(1|1)$.

math.RA