Related papers: Noether-Severi inequality and equality for irregul…
Let $D$ be a big integral divisor on a smooth projective surface $X$. In this paper, we study Noether-type inequalities for $D$. The key ingredient is the introduction of a numerical invariant $\mathfrak{e}(D)$, which depends only on the…
We prove that the canonical volume $K^3\geq {1/30}$ for all projective 3-folds of general type with $\chi(\mathcal{O})\leq 0$. This bound is sharp.
By improving the analysis developed in the study of $\s_k$-Yamabe problem, we prove in this paper that the De Lellis-Topping inequality is true on 3-dimensional Riemannian manifolds of nonnegative scalar curvature. More precisely, if $(M^3,…
We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any…
Let $X$ be a minimal surface of general type over an algebraically closed field $\mathbf{k}$ of $\mathrm{char}.(\mathbf{k})=p\ge 0$. If the Albanese morphism $a_X:X\to \mathrm{Alb}_X$ is generically finite onto its image, we formulate a…
We show that Kov\'acs' result on the cone of curves of a K3 surface generalizes to any projective irreducible holomorphic symplectic manifold $X$. In particular, we show that if $\rho(X)\geq 3$, the pseudo-effective cone…
Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V)>0$ and $P_{24}(V)>1$ (which answers an open problem of J. Kollar and S. Mori). We also prove that the canonical volume has an universal lower bound…
Let V be a smooth projective 3-fold of general type. Denote by $K^3$, a rational number, the self-intersection of the canonical sheaf of any minimal model of V. One defines $K^3$ as the canonical volume of $V$. Assume $p_g\ge 2$. We show…
We introduce a framework to prove integral rigidity results for the Seiberg-Witten invariants of a closed $4$-manifold $X$ containing a non-separating hypersurface $Y$ satisfying suitable (chain-level) Floer theoretic conditions. As a…
We prove that the moduli space of stable sheaves of rank 2 with a certain Chern classes on a smooth quadric $Q$ in $\PP_3$, is isomorphic to $\PP_3$. Using this identification, we give a new proof that a certain Brill-Noether locus on a…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
Max Noether's Theorem asserts that if $\omega$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. The result was…
We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of…
Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $\rho$-invariants associated to arbitrary regular covers. We present a proof of the existence of…
We conjecture the equality of the numerical and Kodaira dimensions $\nu_1^*(X)$ and $\kappa_1^*(X)$ for the cotangent bundle of compact K\"ahler manifolds $X$, generalising the classical case of the canonical bundle. We show or reduce it to…
Hyperideal tetrahedra are the fundamental building blocks of hyperbolic 3-manifolds with geodesic boundary. The study of their geometric properties (in particular, of their volume) has applications also in other areas of low-dimensional…
Let $B_2(p)$ be an $n$-dimensional smooth geodesic ball with Ricci curvature $\geq-(n-1)\kappa^2$ for some $\kappa\geq0$. We establish the Sobolev inequality and the uniform Neumann-Poincar\'e inequality on each minimal graph over $B_1(p)$…
We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…
Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the…
We prove that if $X$ is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus $g$ on $X$ with maximal, i.e., $g$-dimensional, variation in moduli. In particular every K3 surface…