arXiv subjects

James Tao

Publications and source records attributed to James Tao.

10 recordsLinked to original sources

arXiv2022

Surjectivity of Galois Representations in Rational Families of Abelian Varieties

In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension $g \geq 3$, there are infinitely many abelian varieties over $\mathbb Q$ with adelic Galois representation having image equal to all of $\operatorname{GSp}_{2g}(\widehat{\mathbb Z})$.

math.NT↗

arXiv2022

Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians

In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.

math.NT↗

arXiv2022

Equivariant Vector Bundles on Varieties with Codimension-one Orbits

Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild technical hypothesis. We deduce simpler classifications in the special cases of line bundles and vector bundles which are generically local systems. We apply our results to the study of admissible representations of semisimple Lie groups. Our main result gives a new set of constraints on the associated cycles of unipotent representations.

math.AG↗

arXiv2021

A colimit presentation of $\mathcal{D}(G(K))$ via the Bott-Samelson hypercover

Let $G$ be a semisimple, simply connected algebraic group over an algebraically closed field of characteristic zero. We prove that the $\infty$-category of D-modules on the loop group of $G$ is equivalent to the monoidal colimit of the $\infty$-categories of D-modules on the standard parahoric subgroups. This also follows from arXiv:2009.10998, but the present paper gives a simpler proof. The idea is to develop a combinatorial model for the path space of a simplicial complex, in which 'paths' are sequences of adjacent simplices, and to use a generalized version of hyperdescent for D-modules. We also give two more applications of this hyperdescent theorem: triviality of D-modules on the 'schematic Bruhat-Tits building,' which was first established by Varshavsky using a different method, and triviality of D-modules on the `simplicial affine Springer resolution.'

math.RT↗

arXiv2021

Homotopical presentations of braid groups via reduced lifts

In 1997, Deligne showed that the reduced lift presentation of a finite type generalized braid group remains correct if it is (suitably) interpreted as a presentation of a topological monoid. In this expository paper, we point out that Deligne's argument does not require the 'finite type' hypothesis, so it gives a different proof of a theorem proved by Dobrinskaya in 2006. We also review how to use this result to construct an action of the braid group on the finite or affine Hecke $\infty$-category via intertwining functors.

math.RT↗

arXiv2021

$\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced

Let $k$ be a field of characteristic zero. Fix a smooth algebraic curve $X$ and a split reductive group $G$ over $k$. We show that the Beilinson--Drinfeld affine Grassmannian $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is the presheaf colimit of the reduced ind-schemes $(\mathrm{Gr}_{G, X^I})^{\mathrm{red}}$ for finite sets $I$. This implies that every map from an affine $k$-scheme to $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ factors through a reduced quasi-projective $k$-scheme. In the course of the proof, we generalize the notion of 'reduction of a scheme' to apply to any presheaf, and we show that this notion is well-behaved on any pseudo-ind-scheme which admits a colimit presentation whose indexing category satisfies the amalgamation property.

math.AG↗

arXiv2020

The affine Hecke category is a monoidal colimit

Let $G$ be a semisimple simply-connected algebraic group over an algebraically closed field of characteristic zero. We prove that the affine Hecke category associated to the loop group of $G$ is equivalent to the colimit, evaluated in the $\infty$-category of monoidal stable $\infty$-categories, of the finite type Hecke subcategories associated to standard parahoric subgroups. The main ingredient is an inductive characterization of colimits indexed by (sufficiently nice) bistratified categories. Our method is very general and can be used to prove a number of analogous 'colimit theorems,' e.g. for D-modules on the loop group.

math.RT↗

arXiv2020

Extensions by $\mathbf K_2$ and factorization line bundles

Let $X$ be a smooth, geometrically connected curve over a perfect field $k$. Given a connected, reductive group $G$, we prove that central extensions of $G$ by the sheaf $\mathbf K_2$ on the big Zariski site of $X$, studied by J.-L. Brylinski and P. Deligne, are equivalent to factorization line bundles on the Beilinson-Drinfeld affine Grassmannian $\operatorname{Gr}_G$. Our result affirms a conjecture of D. Gaitsgory and S. Lysenko and classifies factorization line bundles on $\operatorname{Gr}_G$.

math.AG↗

arXiv2019

$n$-excisive functors, canonical connections, and line bundles on the Ran space

Let $X$ be a smooth algebraic variety over $k$. We prove that any flat quasicoherent sheaf on $\operatorname{Ran}(X)$ canonically acquires a D-module structure. In addition, we prove that, if the geometric fiber $X_{\overline{k}}$ is connected and admits a smooth compactification, then any line bundle on $S \times \operatorname{Ran}(X)$ is pulled back from $S$, for any locally Noetherian $k$-scheme $S$. Both theorems rely on a family of results which state that the (partial) limit of an $n$-excisive functor defined on the category of pointed finite sets is trivial.

math.AG↗

arXiv2017

Lifting Subgroups of Symplectic Groups over $\mathbb{Z} / \ell \mathbb{Z}$

For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The result and the method of proof are both motivated by group-theoretic considerations that arise in the study of Galois representations associated to abelian varieties.

math.GR↗