Related papers: Canonical key formula for projective abelian schem…

The matrix of canonical differential equations consists of the 1-$\mathrm{d}\log$-form coefficients obtained by projecting ($n$+1)-$\mathrm{d}\log$-forms onto $n$-$\mathrm{d}\log$-form master integrands. With dual form in relative…

Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative,…

As announced "Intrinsic mirror symmetry and punctured invariants" in 2016, we construct and prove consistency of the canonical wall structure. This construction starts with a log Calabi-Yau pair (X,D) and produces a wall structure, as…

Consider a family f:A --> U of g-dimensional abelian varieties over a quasiprojective manifold U. Suppose that the induced map from U to the moduli scheme of polarized abelian varieties is generically finite and that there is a projective…

Graph Isomorphism (GI) is a fundamental algorithmic problem. Amongst graph classes for which the computational complexity of GI has been resolved, trees are arguably the most fundamental. Tree Isomorphism is complete for deterministic…

If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This…

Let X be a smooth variety and Y a closed subscheme of X. By comparing motivic integrals on X and on a log resolution of (X,Y), we prove the following formula for the log canonical threshold of (X,Y): c(X,Y)=dim X-sup_m{(dim Y_m}/(m+1)},…

We establish the Miyaoka-Yau inequality in terms of orbifold Chern classes for the tangent sheaf of any complex projective variety of general type with klt singularities and nef canonical divisor. In case equality is attained for a variety…

Let G be a simple linear algebraic group defined over the complex numbers. Fix a proper parabolic subgroup P of G and a nontrivial antidominant character \chi of P. We prove that a holomorphic principal G-bundle E over a connected complex…

Let A be the N\'eron model of an abelian variety A_K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing, there is a functorial way to prolong the universal extension of A_K by a vector group to a smooth…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…

We give new contributions to the existence problem of canonical surfaces of high degree. We construct several families (indeed, connected components of the moduli space) of surfaces $S$ of general type with $p_g=5,6$ whose canonical map has…

Let $f: X \to Z$ be a fibration from a normal projective variety $X$ of dimension $n$ onto a normal curve $Z$ over a perfect field of characteristic $p>2$. Let $(X, B)$ be a dlt pair such that the induced pair on a general fibre is log…

The canonical degree $C.K_X$ of an integral curve on a smooth projective surface $X$ is conjecturally bounded from above by an expression of the form $A(g-1)+B$, where $g$ is the geometric genus of $C$ and $A$, $B$ are constants depending…

We give a criterion for the projectivisation of a reflexive sheaf on a klt space to be induced by a projective representation of the fundamental group of the smooth locus. This criterion is then applied to give a characterisation of finite…

Let X and Y be complex smooth projective varieties, and D^b(X) and D^b(Y) the associated bounded derived categories of coherent sheaves. Assume the existence of a triangulated category T which is admissible both in D^b(X) as in D^b(Y).…

Given a family of abelian varieties over a quasiprojective smooth curve $T^0$ over a global field and a point $P$ on the generic fiber, we show that the N\'eron-Tate canonical height $h_{X_t}(P_t)$ of $P_t$ along each fiber is exactly equal…

Let $S\subset\text{GL}_n(\mathbb Z)$ be a finite symmetric set. We show that if the Zariski closure of $\Gamma=\langle S\rangle$ is a product of $\text{SL}_d$ or a special affine linear group, then the diameter of the Cayley graph…

In this article, we consider singular equivariant arithmetic schemes whose generic fibres are smooth. For such schemes, we prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. This formula is an…

Motivated by the work of Esnault-Hai, one has the notion of de Rham $K(\pi,1)$ schemes, defined as follows. Given a smooth proper geometrically connected scheme $X$ over a field $k$ of characteristic 0 and a base point $x \in X (k)$, one…