Related papers: The Diophantine problem in Chevalley groups

In this paper we prove that if $G(R)=G_\pi (\Phi,R)$ $(E(R)=E_{\pi}(\Phi, R))$ is an (elementary) Chevalley group of rank $> 1$, $R$ is a local ring (with $\frac{1}{2}$ for the root systems ${\mathbf A}_2, {\mathbf B}_l, {\mathbf C}_l,…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

We study systems of polynomial equations in infinite finitely generated commutative associative rings with an identity element. For each such ring $R$ we obtain an interpretation by systems of equations of a ring of integers $O$ of a finite…

We begin to study model-theoretic properties of non-split isotropic reductive group schemes. In this paper we show that the base ring $K$ is e-interpretable in the point group $G(K)$ of every sufficiently isotropic reductive group scheme…

We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural…

In this paper we establish a definitive result which almost completely closes the problem of bounded elementary generation for Chevalley groups of rank $\ge 2$ over arbitrary Dedekind rings $R$ of arithmetic type, with uniform bounds.…

Let $R$ be a commutative ring with unity. Consider the twisted Chevalley group $G_{\pi, \sigma} (\Phi, R)$ of type $\phi$ over $R$ and its elementary subgroup $E'_{\pi, \sigma} (\Phi, R)$. This paper investigates the normalizers of…

We prove the centrality of $\mathrm{K}_2 (\mathsf{F}_4, \,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of $\mathrm K_2(\Phi,\, R)$ for any root system $\Phi$ of rank $\geq 3$. Our proof uses only…

In this paper we consider Chevalley groups over commutative rings with~$1$, constructed by irreducible root systems of rank $>1$. We always suppose that for the systems $A_2, B_\ell, C_\ell, F_4, G_2$ our rings contain $1/2$ and for the…

In the present paper, which is a direct sequel of our paper [12] joint with Roozbeh Hazrat, we prove unrelativised version of the standard commutator formula in the setting of Chevalley groups. Namely, let $\Phi$ be a reduced irreducible…

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

This thesis investigates certain structural properties of twisted Chevalley groups over commutative rings, focusing on three key problems. Let $R$ be a commutative ring satisfying mild conditions. Let $G_{\pi,\sigma} (\Phi, R)$ denote a…

Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary…

In the present paper, which is a direct sequel of our papers [10,11,35] joint with Roozbeh Hazrat, we achieve a further dramatic reduction of the generating sets for commutators of relative elementary subgroups in Chevalley groups. Namely,…

The current article continues a series of papers on decomposition of unipotents and its applications. Let $G(\Phi,R)$ be a Chevalley group with a reduced irreducible root system $\Phi$ over a commutative ring $R$. Fix $h\in G(\Phi,R)$. Call…

In this paper we investigate computational properties of the Diophantine problem for spherical equations in some classes of finite groups. We classify the complexity of different variations of the problem, e.g., when $G$ is fixed and when…

In this paper we prove that every automorphism of (elementary) adjoint Chevalley group with root system of rank $>1$ over a commutative ring (with 1/2 for the systems $A_2$, $F_4$, $B_l$, $C_l$; with 1/2 and 1/3 for the system $G_2$) is…

We show that for Chevalley groups G(R) of rank at least 2 over a ring R the root subgroups are essentially (nearly always) the double centralizers of corresponding root elements. In very many cases this implies that R and G(R) are…

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

We study Diophantine equations of type f(x)=g(y), where both f and g have at least two distinct critical points and equal critical values at at most two distinct critical points. Some classical families of polynomials (f_n)_n are such that…