Related papers: Level structures on abelian varieties and Vojta's …
Let $S$ be the polynomial ring over a field $K$ in a finite set of variables, and let $ \mathfrak{m}$ be the graded maximal ideal of $S$. It is known that for a finitely generated graded $S$-module $M$ and all integers $k\gg 0$, the module…
For every prime $p$ and integer $n\ge 3$ we explicitly construct an abelian variety $A/\F_{p^n}$ of dimension $n$ such that for a suitable prime $l$ the group of quasi-isogenies of $A/\F_{p^n}$ of $l$-power degree is canonically a dense…
Using original ideas from J.-B. Bost and S. David, we provide an explicit comparison between the Theta height and the stable Faltings height of a principally polarized abelian variety. We also give as an application an explicit upper bound…
For a smooth manifold $X$ equipped with a volume form, let $\dL$ be the Lie algebra of volume preserving smooth vector fields on $X$. A. Lichnerowicz proved that the abelianization of $\dL$ is a finite-dimensional vector space, and that its…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational…
We formulate a positivity conjecture relating the Verlinde ring associated with an untwisted affine Lie algebra at a positive integer level and a subcategory of finite-dimensional representations over the corresponding quantum affine…
Let g be a finite dimensional simple Lie algebra over an algebraically closed field of characteristic zero. We show that if the Gelfand-Kirillov conjecture holds for g, then g has type A_n, C_n or G_2.
In this paper, we study the affine Deligne--Lusztig variety $X(\mu,b)_K$ and classify all quadruples $(\mathbf{G}, \mu, b, K)$ with $\dim X(\mu, b)_K=0$. This question was first asked by Rapoport in 2005, who also made an explicit…
We consider the moduli space $A_{pol}(n)$ of (non-principally) polarised abelian varieties of genus $g\geq3$ with coprime polarisation and full level-$n$ structure. Based upon the analysis of the Tits building in math/0405321, we give an…
We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent…
We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we…
Consider a very general abelian variety $A$ of dimension at least $3$ and an integer $0<d\leq \dim A$. We show that if the map $A^k\to CH_0(A)$ has a $d$-dimensional fiber then $k\geq d+(\dim A+1)/2$. This extends results of the…
We establish a structure result for the universal abelian variety over the moduli space A_5, in terms of discriminant curves of conic bundles over a del Pezzo surface. In particular, this gives a very simple unirational parametrization of…
In this paper we prove a special case of the Andr\'e-Oort conjecture for Kuga varieties. If $M$ is a Kuga variety fibred over a pure Shimura variety $S$ as an abelian scheme, and $(M_n)$ is a sequence of special subvarieties in $M$ which…
We prove that the moduli space ${\mathcal A}_{g,\Gamma_0(p)}\otimes \bar {\mathbb F}_p$ of principally polarized abelian varieties of dimension $g$ with a $\Gamma_0(p)$-level structure in characteristic $p$ has $2^g$ irreducible…
In this note, we prove that for any abelian variety defined over $\overline{\mathbb{Q}}$, its de Rham-Betti (dRB) group necessarily contains $\mathbb{G}_{m}$ as the group of homotheties. Consequently, this rules out the existence of…
We study the Mumford--Tate conjecture for hyperk\"{a}hler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional…
Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety. Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on $X$ come from…
The Colmez conjecture relates the Faltings height of an abelian variety with complex multiplication by the ring of integers of a CM field $E$ to logarithmic derivatives of certain Artin $L$--functions at $s=0$. In this paper, we prove that…