相关论文: On Hrushovski's proof of the Manin-Mumford conject…

We present a new proof of the bi-Lipschitz model theorem, which occupies the main part of the Ending Lamination Conjecture proved by Minsky and Brock-Canary-Minsky. Our proof is done by using techniques of standard hyperbolic geometry as…

The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the…

We apply methods of derived and non-commutative algebraic geometry to understand ramification phenomena on arithmetic schemes. As an application, we prove the Deligne-Milnor conjecture and, in the pure characteristic case, a generalization…

We prove the geometric Bombieri-Lang conjecture for projective varieties which have finite maps to abelian varieties over function fields of characteristic 0. This generalizes the recent results of Xie-Yuan, which require either the…

The Theorem on Invariance of Domain due to L.E.J. Brouwer states that one connected, compact (Hausdorff) m-dimensional manifold embedded into another actually realizes a homeomorphism. This fundamental result is relevant to Functional…

We give a short proof of Manin-Mumford in the multiplicative group based on the pigeon-hole principle and the so-called structure theorem for anomalous subvarieties. The arguments appear to be new and perhaps applicable in other situations.

In this paper, we prove the geometric Bombieri-Lang conjecture for projective varieties which have finite morphisms to abelian varieties of trivial traces over function fields of characteristic 0. The proof is based on the idea of…

Using recent work of the first author~\cite{Bet}, we prove a strong version of the Manin-Peyre's conjectures with a full asymptotic and a power-saving error term for the two varieties respectively in $\mathbb{P}^2 \times \mathbb{P}^2$ with…

Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$,…

We prove and conjecture results which show that Castelnuovo theory in projective space has a close analogue for abelian varieties. This is related to the geometric Schottky problem: our main result is that a principally polarized abelian…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

The work of Chatzidakis and Hrushovski on the model theory of difference fields in characteristic zero showed that groups defined by difference equations have a very restricted structure. Recent work of Chatzidakis, Hrushovski and Peterzil…

Recently, it is well known that the conjectural integral identity is of crucial importance in the motivic Donaldson-Thomas invariants theory for non-commutative Calabi-Yau threefolds. The purpose of this article is to consider different…

In this paper, we prove the Geometric Arveson-Douglas Conjecture for a special case which allow some singularity on $\partial{\mathbb{B}_n}$. More precisely, we show that if a variety can be decomposed into two varieties, each having nice…

Moens proved that a finite-dimensional Lie algebra over field of characteristic zero is nilpotent if and only if it has an invertible Leibniz-derivation. In this article we prove the analogous results for finite-dimensional Malcev, Jordan,…

Geometric Manin's conjecture for complex Fano varieties describes the structure of the moduli space of curves. We propose a version of this conjecture in characteristic $p$ and describe its connection to the Batyrev--Manin--Peyre--Tschinkel…

We relate Fubini's theorem for Euler characteristics to Riemann-Hurwtiz formulae, and reprove a classical result of Iversen. The techniques used include algebraic geometry, complex geometry, and model theory. Possible applications to the…

E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…

A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way…

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…