Related papers: Grothendieck-Serre Conjecture for Quasi-split Redu…
An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras.…
Let G be a connected reductive linear algebraic group. The aim of this note is to settle a question of J-P. Serre concerning the behaviour of his notion of G-complete reducibility under separable field extensions. Part of our proof relies…
We give a short proof of a Grothendieck-Lefschetz Theorem for equivariant Picard groups of nonsingular varieties with the action of an affine algebraic group.
We introduce the notion of splitting subgroups of quasireducitve supergroups, and explain their significance. For $GL(m|n)$, $Q(n)$, and defect one basic classical supergroups, we give explicit splitting subgroups. We further prove they are…
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…
For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…
A linear algebraic group G defined over a field k is called special if every G-torsor over every field extension of k is trivial. In 1958 Grothendieck classified special groups in the case where the base field is algebraically closed. In…
We study the compatibility of the formal degree conjecture and the parabolic induction process in the simplest nontrivial case for quasi-split $p$-adic groups. For a generic discrete series $\pi$ induced from an irreducible supercuspidal…
We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be…
We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case.
We consider a class of second order ordinary differential equations describing one-dimensional systems with a quasi-periodic analytic forcing term and in the presence of damping. As a physical application one can think of a…
In this paper we use families of finite subgroups to study Grothendieck rings associated to certain discrete groups, such as the arithmetic ones.
We use Grothendieck theorem to prove a structure theorem for multicorrelation sequences of length two, associated with two (not necessarily commuting) measure preserving actions on a probability space. We use this to deduce a multiple…
Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H^1(R, S) --> H^1(R, G) is…
Motivated by the Farrell-Jones Conjecture for group rings, we formulate the $\mathcal{C}$op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups…
For a valuation ring $V$, a smooth $V$-algebra $A$, and a reductive $V$-group scheme $G$ satisfying a certain natural isotropicity condition, we prove that every Nisnevich $G$-torsor on $\mathbb{A}^N_A$ descends to a $G$-torsor on $A$. As a…
This paper continues the study of the homotopy theory of algebras over polynomial monads initiated by the first author and Clemens Berger. We introduce the notion of a quasi-tame polynomial monad (generalizing tame ones) and produce…
Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.
For a split quasireductive supergroup $G$ defined over a field, we study structure and representation of Frobenius kernels $G_r$ of $G$ and we give a necessary and sufficient condition for $G_r$ to be unimodular in terms of the root system…
We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively…