Related papers: On the birational section conjecture with strong b…

We answer an open problem raised by Chen and Zhang in 2008 and prove that, for any minimal projective 3-fold $X$ of general type with the geometric genus $\geq 5$, $X$ is birationally fibred by a pencil of $(1,2)$-surfaces (i.e. $c_1^2=1$,…

This paper is based on a talk at a conference "JDG 2017: Conference on Geometry and Topology". We survey recent progress on the DK hypothesis connecting the birational geometry and the derived categories stating that the K-equivalence of…

It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…

For X a compact Riemann surface of positive genus, the strange duality conjecture predicts that the space of sections of certain theta bundle on moduli of bundles of rank r and level k is naturally dual to a similar space of sections of…

We prove, in the context of the section conjecture, that every Selmer section over $\mathbb{Q}$ of the affine Fermat curve with exponent $\ell$ is cuspidal for $\ell\geq 7$.

Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with $T^\times = k^\times$. Then T = S.

Let $X$ be a smooth projective curve over a finite field $F_q$. Let $\rho$ be a continuous representation $\pi(X)\to GL_n(F)$, where $F=F_l((t))$ with $F_l$ being another finite field of order prime to $q$. Assume that…

We consider generalizations of Szpiro's classical discriminant conjecture to hyperelliptic curves over a number field $K$, and to smooth, projective and geometrically connected curves $X$ over $K$ of genus at least one. The main results…

Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T…

Let ${\mathcal L}/{\mathcal K}$ be a finite Galois extension and let $X$ be an affine algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides necessary and sufficient conditions for $X$ to be definable over…

It is proved that if $S\subset \mathbb P^N$ is a smooth projective surface and $f:S\to \mathbb P^2$ is a generic linear projection branched over a cuspidal curve $B\subset \mathbb P^2$, then the surface $S$ is determined uniquely up to an…

We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and…

We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot…

Geometric Invariant Theory (GIT) produces quotients of algebraic varieties by reductive groups. If the variety is projective, this quotient depends on a choice of polarisation; by work of Dolgachev-Hu and Thaddeus, it is known that two…

We show that the hessian map of quartic plane curves is a birational morphism onto its image, thus bringing new evidence for a very interesting conjecture of Ciro Ciliberto and Giorgio Ottaviani. Our new approach also yields a simpler proof…

Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's…

In a recent paper, Moshe Jarden proposed a conjecture, later named the Kuykian conjecture, which states that if A is an abelian variety defined over a Hilbertian field K, then every intermediate field of K(A_{tor})/K is Hilbertian. We prove…

Grothendieck gave two forms of his "main conjecture of anabelian geometry", i.e. the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves then they hold for…

We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over…

We prove a topological version of the section conjecture for the profinite completion of the fundamental group of finite CW-complexes equipped with the action of a group of prime order $p$ whose $p$-torsion cohomology can be killed by…