Related papers: Canonical subgroups of Barsotti-Tate groups
Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of…
Let $G$ be a locally profinite group and let $k$ be a field of positive characteristic $p$. Let $Z(G)$ denote the center of $G$ and let $\mathfrak{Z}(G)$ denote the Bernstein center of $G$, that is, the $k$-algebra of natural endomorphisms…
We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…
Let $\mathcal{A}(q)$ be a finite-dimensional nilpotent algebra over a finite field $\mathbb{F}_{q}$ with $q$ elements, and let $G(q) = 1+\mathcal{A}(q)$. On the other hand, let $\Bbbk$ denote the algebraic closure of $\mathbb{F}_{q}$, and…
We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate…
Let $G$ be an infinite simple group of finite Morley rank and $\alpha$ a supertight automorphism of $G$ so that the fixed point subgroup $P_n:=C_G(\alpha^n)$ is pseudofinite for all $n\in \mathbb{N}\setminus\{0\}$. It is know (using CFSG)…
Let $C \langle t_1, \dots t_l\rangle$ be the differential field generated by $l$ differential indeterminates $\boldsymbol{t}=(t_1, \dots ,t_l)$ over an algebraically closed field $C$ of characteristic zero. We develop a lower bound…
Let G be a simple algebraic group over an algebraically closed field k of bad characteristic. We classify the spherical unipotent conjugacy classes of G. We also show that if the characteristic of k is 2, then the fixed point subgroup of…
We explore the topological full group [[G]] of an essentially principal etale groupoid G on a Cantor set. When G is minimal, we show that [[G]] (and its certain normal subgroup) is a complete invariant for the isomorphism class of the etale…
For every finite quasisimple group of Lie type $G$, every irreducible character $\chi$ of $G$, and every element $g$ of $G$, we give an exponential upper bound for the character ratio $|\chi(g)|/\chi(1)$ with exponent linear in $\log_{|G|}…
Let $p$ be a prime number and let $F$ be a field containing a root of unity of order $p$. We prove that a certain very small canonical Galois group $(G_F)_{[3]}$ over $F$ encodes the valuations on $F$ whose value group is not $p$-divisible…
We study the tensor-triangular geometry of the category of rational $G$-spectra for a compact Lie group $G$. In particular, we prove that this category can be naturally decomposed into local factors supported on individual subgroups, each…
Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of…
Let G be a finite abelian subgroup of SL(n,C), and suppose there exists a toric crepant resolution phi: X -- > C^n/G. We prove that for each component E of the exceptional set of phi there exists an open subset U of X that contains E and is…
Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…
We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth…
The Griffiths group $\Gr^r(X)$ of a smooth projective variety $X$ over an algebraically closed field is defined to be the group of homologically trivial algebraic cycles of codimension $r$ on $X$ modulo the subgroup of algebraically trivial…
Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…
For a finite group $G$ and an arbitrary commutative ring $R$, Brou\'e has placed a Frobenius exact structure on the category of finitely generated $RG$-modules by taking the exact sequences to be those that split upon restriction to the…
If H is a flat group of automorphisms of finite rank n of a totally disconnected, locally compact group G, then each orbit of H in the metric space B(G) of compact, open subgroups of G is quasi-isometric to n-dimensional euclidean space. In…