Related papers: The Diophantine problem in Chevalley groups

A group $G$ is called root graded if it has a family of subgroups $G_\alpha$ indexed by roots from a root system $\Phi$ satisfying natural conditions similar to Chevalley groups over commutative unital rings. For any such group there is a…

One of the main open problems regarding decidability of the existential theory of rings is the analogue of Hilbert's Tenth Problem (HTP) for the ring of entire holomorphic functions in one variable. In the direction of a negative solution,…

We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the…

We show how the theory of canonical bases in modified universal enveloping algebras can be used to develop the theory of Chevalley groups over any commutative ring with 1.

In this paper we prove that the Diophantine problem in iterated restricted wreath products $G$ of arbitrary non-trivial free abelian groups $A_1,\ldots, A_k$, $k>1$ of finite ranks is undecidable, i.e., there is no algorithm that given a…

We prove that every isomorphism of Chevalley groups of type $G_2$ over commutative local rings with 1/2 and 1/3 is standard, i. e., it is a composition of a ring isomorphism and an inner automorphism.

The main result of the present paper is bounded elementary generation of the Steinberg groups $\mathrm{St}(\Phi,R)$ for simply laced root systems $\Phi$ of rank $\ge 2$ and arbitrary Dedekind rings of arithmetic type. Also, we prove bounded…

The group $Diff$ of diffeomorphisms of the circle is an infinite dimensional analog of the real semisimple Lie groups $U(p,q)$, $Sp(2n,R)$, $SO^*(2n)$; the space $\Xi$ of univalent functions is an analog of the corresponding classical…

This paper is a generalization of a previous paper by the author to connected unipotent linear algebraic groups. The notion of an $ \alpha $-pair answers when an open $ G $-stable, affine, sub-variety $ D(H) $ is a trivial bundle over $ G…

We prove the centrality of the congruence kernel for the elementary subgroup of a Chevalley group G of rank >1 over an arbitrary noetherian ring R (under some minor restrictions on R if G is of type C_n or G_2).

We study finitely generated nilpotent groups $G$ given by full rank finite presentations $\langle A \mid R\rangle$ in the variety $\mathcal{N}_c$ of nilpotent groups of class at most $c$, where $c \geq 2$. We prove that if the deficiency…

We consider the reducibility problem of cocycles $(\alpha,A)$ on $\T^d\times U(n)$ in Gevrey classes, where $ \alpha$ is a Diophantine vector. We prove that, if a Gevrey cocycle is conjugated to a constant cocycle $(\alpha,C)$ by a suitable…

In recent years, we have seen several approaches to the graph isomorphism problem based on "generic" mathematical programming or algebraic (Gr\"obner basis) techniques. For most of these, lower bounds have been established. In fact, it has…

In this paper, we continue our study of abstract representations of elementary subgroups of Chevalley groups of rank $\geq 2.$ First, we extend our earlier methods to analyze representations of elementary groups over arbitrary associative…

We prove that every locally inner (class-preserving) endomorphism of adjoint Chevalley groups and their elementary subgroups over commutative rings is inner for the root systems A1, A2, B2 (assuming 2 is invertible in the ring), and for G2…

We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has…

Let $\Phi$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups…

The isomorphism problem for finite groups of order n (GpI) has long been known to be solvable in $n^{\log n+O(1)}$ time, but only recently were polynomial-time algorithms designed for several interesting group classes. Inspired by recent…

A long-standing conjecture of Littlewood about simultaneous Diophantine approximation has an analogous problem for a field of formal Laurent series $\mathbb{F}(\!(t^{-1})\!)$. That is, we can ask whether for any series $\Theta$, $\Phi$ and…

Let $\Phi$ be an irreducible root system (other than $G_2$) of rank at least $2$, let $\mathbb{F}$ be a finite field with $p = \operatorname{char} \mathbb{F} > 3$, and let $\mathrm{G}(\Phi,\mathbb{F})$ be the corresponding Chevalley group.…