Related papers: Elementary equivalence of Chevalley groups over fi…

The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a…

We consider \Gamma-equivariant principal G-bundles over proper \Gamma-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups…

Let $k$ be a field, $K/k$ a field extension, $X$ a connected scheme proper over $k$, $x_K\in X_K(K)$ lying over $x\in X(k)$, $\mathcal{C}_X$ and $\mathcal{C}_{X_K}$ the Tannakian categories over $X$ and $X_K$ respectively,…

In the paper, we consider the full group $[\phi]$ and topological full group $[[\phi]]$ of a Cantor minimal system $(X,\f)$. We prove that the commutator subgroups $D([\f])$ and $D([[\f]])$ are simple and show that the groups $D([\f])$ and…

This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely…

Let $F$ be a local field, let ${\mathcal O}$ be its integer ring and $\varpi$ a uniformizer of its maximal ideal. To an irreducible complex finite dimensional smooth representation $\pi$ of $GL(2,{\mathcal O})$ is associated a pair of…

The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a…

A class K of structures is controlled if for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that no pseudo-elementary class with the…

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…

Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…

Let $G$ be a connected semisimple Lie group with finite centre and $K$ be a maximal compact subgroup thereof. Given a function $u$ on $G$, we define $\mathcal{A} u$ to be the root mean square average over $K$, acting both on the left and…

Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant…

We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in…

The goal of this article is to show that the following two categories are equivalent (1) the category of filtered (phi,N,G_K)-modules (2) the category of (phi,Gamma_K)-modules over the Robba ring such that the Lie algebra of Gamma_K acts…

We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $\lambda$ such that whenever $M, N \in K$ have…

We consider and completely solve the parametrized family of Thue equations \begin{eqnarray*}X(X-Y)(X+Y)(X-\lambda Y)+Y^4=\xi,\end{eqnarray*} where the solutions $x,y$ come from the ring $\mathbb{C}[T]$, the parameter…

In this paper, we introduce the classification of equivariant principal bundles over the 2-sphere. Isotropy representations provide tools for understanding the classification of equivariant principal bundles. We consider a…