Related papers: Perfectoid Shimura varieties and the Calegari-Emer…
In this note, we prove the Zilber--Pink conjecture for subvarieties of mixed Shimura varieties, which are not defined over~$\overline{\mathbb Q}$ in a strong sense. We prove similar results for general variations of mixed Hodge structure of…
Serre and Abelson have produced examples of non-homeomorphic conjugate varieties. We show that if the field of definition of a polarized projective variety coincides with its field of moduli then all of its conjugates have the same…
In this note, we discuss several forms of the Eichler-Shimura relation for the compactly supported cohomology of local Shimura varieties, using the work of Fargues-Scholze.
In this article we construct the quotient M_1/P(K) of the infinite-level Lubin-Tate space M_1 by the parabolic subgroup P(K) of GL(n,K) of block form (n-1,1) as a perfectoid space, generalizing results of one of the authors (JL) to…
This paper has two parts. First, we complete the proof of the Kolmogorov extension theorem for unbounded random variables using compactness theorem of integral logic which was proved for bounded case in [8]. Second, we give a proof of the…
Given a polarized abelian scheme with action by a ring, and a projective finitely presented module over that ring, Serre's tensor construction produces a new abelian scheme. We show that to equip these abelian schemes with polarizations…
We prove that the cohomology class of any curve on a very general principally polarized abelian variety of dimension at least 4 is an even multiple of the minimal class. The same holds for the intermediate Jacobian of a very general cubic…
The Torsion Anomalous Conjecture states that an irreducible variety $V$ embedded in a semi-abelian variety contains only finitely many maximal $V$-torsion anomalous varieties. In this paper we consider an irreducible variety embedded in a…
This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct…
In this work, a tensor completion problem is studied, which aims to perfectly recover the tensor from partial observations. The existing theoretical guarantee requires the involved transform to be orthogonal, which hinders its applications.…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
The de Rham comparison theorem for varieties, first proved by Faltings, gives the de Rham cohomology of a variety in terms of its p-adic etale cohomology. We extend this theorem to proper, smooth Deligne-Mumford stacks. Two approaches are…
In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…
We formulate an analogue of the archimedean motivic action conjecture of Prasanna--Venkatesh for irregular cohomological automorphic forms on Shimura varieties, which appear on multiple degrees of coherent cohomology of Shimura varieties.…
The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such…
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…
In 1983, C. McGibbon and J. Neisendorfer have given a proof for one conjecture in J.-P. Serre's famous paper (1953). In 1985, another proof was given by J. Lannes and L. Schwartz. Since then, one considers a more general conjecture: if the…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We characterize perfectoid towers in terms of conormal cones rather than torsion parts. This result is deduced from a refined study of the relationship between torsion with respect to a principal ideal and the associated conormal cone,…
In this note we discuss some examples of non torsion and non algebraic cohomology classes for varieties over finite fields. The approach follows the construction of Atiyah-Hirzebruch and Totaro.