Related papers: Bessel $F$-isocrystals for reductive groups
If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…
Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo…
For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…
Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $\phi:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^{\phi}\!M$ be the abelian group $M$ with…
We prove that Claas R\"over's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing two complexes on which $V\mathcal{G}$ acts: a simplicial complex analogous to the Stein complex for $V$, and…
Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…
Let $k$ be any field, $G$ be a finite group acting on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g:g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…
Let $G$ be a simple algebraic group defined over a finite field of good characteristic, with associated Frobenius endomorphism $F$. In this article we extend an observation of Lusztig, (which gives a numerical relationship between an…
Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < \omega$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every…
In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the…
This paper extends the Bernstein-Gelfand-Gelfand (BGG) framework to the construction of finite element conformal Hessian complexes and conformal elasticity complexes in three dimensions involving conformal tensors (i.e., symmetric and…
Let $G$ be a split connected reductive group over a non-archimedan local field $F$. The depth zero stable Bernstein conjecture asserts that there is an algebra isomorphism between the depth zero stable Bernstein center of $G(F)$ and the…
A theorem of A.A. Brudno says that the Kolmogorov-Sinai entropy of a subshift X over $\mathbb{N}$ with respect to an ergodic measure $\mu$ equals the asymptotic Kolmogorov complexity of almost every word $\omega$ in X. The purpose of this…
Let (R,m) be a local ring that contains a field. We show that, when R has equal characteristic p>0 and when H_m^i(R) has finite length for all i<dimR, then R is F-injective if and only if every ideal generated by a system of parameters is…
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…
In 1983 Feingold-Frenkel studied the structure of a rank 3 hyperbolic Kac-Moody algebra $\mathcal{F}$ containing the affine KM algebra $A^{(1)}_1$. In 2004 Feingold-Nicolai showed that $\mathcal{F}$ contains all rank 2 hyperbolic KM…
We investigate strictly developable simple complexes of groups with arbitrary local groups, or equivalently, group actions admitting a strict fundamental domain. We introduce a new method for computing the cohomology of such groups. We also…
In this paper, we apply stack theoretic ideas to the classification problem in Dieudonn\'e theory. First, we use crystalline cohomology of classifying stacks to directly reconstruct the classical Dieudonn\'e module of a finite, $p$-power…
Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in…
We demonstrate that the ring of invariants for the natural action of a subgroup G of GL_n(F_q) on a polynomial ring R=K[X_1,...,X_n] need not be F-pure. In these examples G is the symplectic group over a finite field, and the invariant…