Related papers: A Weak (k,k)-Lefschetz Theorem for Projective Tori…
Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…
In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, stating that a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k [\![ t ]\!]$…
We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses…
An orbifold version of Bogomolov decomposition theorem is established for compact K\"ahler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat…
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…
We prove a Lefschetz (1,1)-Theorem for proper seminormal varieties over the complex numbers. The proof is a non-trivial geometric argument applied to the isogeny class of the Lefschetz 1-motive associated to the mixed Hodge structure on…
We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the…
We formulate a concrete geometric approximation hypothesis (Hypothesis~BB) asserting that codimension-$2$ Hodge classes on a smooth projective threefold can be realized as specializations of families whose general members are…
We prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies…
In this paper, we prove that for any smooth hypersurface $Y$ of degree $d$ in $\mathbb{P}^{n+1}_k$, the cyclic $d$-fold cover $\widetilde{Y} \to \mathbb{P}^{n+1}_k$ branched along $Y$ completely characterizes $Y$ up to projective…
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…
In recent years, there has been a development in approaching rationality problems through motivic methods (cf. [Kontsevich--Tschinkel'19], [Nicaise--Shinder'19], [Nicaise--Ottem'21]). This method requires the explicit construction of…
In this paper, we prove that: For any given finitely many distinct points $P_1,...,P_r$ and a closed subvariety $S$ of codimension $\geq 2$ in a complete toric variety over a uncountable (characteristic 0) algebraically closed field, there…
In this paper, we discuss the cycle theory on moduli spaces $\cF_h$ of $h$-polarized hyperk\"ahler manifolds. Firstly, we construct the tautological ring on $\cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological…
This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead…
A compact symplectic manifold $(M, \omega)$ is said to satisfy the hard-Lefschetz condition if it is possible to develop an analogue of Hodge theory for $(M, \omega)$. This loosely means that there is a notion of harmonicity of differential…
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3,…
We give a proof that the Riemann hypothesis for hypersurfaces over finite fields implies the result for all smooth proper varieties, by a deformation argument which does not use the theory of Lefschetz pencils or the l-adic Fourier…
It is shown that a compact $n$-dimensional K\"ahler manifold with $\frac{n}{2}$-positive Calabi curvature operator has the rational cohomology of complex projective space. For even $n,$ this is sharp in the sense that the complex quadric…
For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}.…