Related papers: General hyperplane sections of nonsingular flops i…
In this paper, we prove a Second Main Theorem for holomorphic mappings in a disk whose image intersects some families of nonlinear hypersurfaces (totally geodesic hypersurfaces with respect to a meromorphic connection) in the complex…
We compute the three-loop form factors for $gg\to HH$ in the limit of vanishing transverse momentum of the Higgs boson which provides a reasonable approximation of the cross section. In our calculations we adopt the large-$N_c$ limit, which…
We construct smooth complex projective varieties of dimension 3 to 6 with variations of Hodge structure, by generalizing an example of J. Carlson and C. Simpson in dimension 2. Then, we study some of their properties, in particular their…
We study the geometry and topology of Riemannian 3-orbifolds which are locally volume collapsed with respect to a curvature scale. We show that a sufficiently collapsed closed 3-orbifold without bad 2-suborbifolds either admits a metric of…
We discuss the role of K3 surfaces in the context of Mercat's conjecture in higher rank Brill-Noether theory. Using liftings of Koszul classes, we show that Mercat's conjecture in rank 2 fails for any number of sections and for any gonality…
Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets…
We prove that every compact K\"ahler threefold has arbitrarily small deformations to some projective manifolds, thereby solving the Kodaira problem in dimension 3.
We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
We prove the existence of Gysin morphisms for hyperplane sections that may not satisfy the usual hypotheses of the Lefschetz hyperplane theorem. As an application, we show the triviality of the Alexander polynomial of a particular class of…
The purpose of the present note is to provide a new proof ot the well-known result due to Hartshorne and Hirschowitz to the effect that general lines in projective spaces have good postulation. Our approach uses specialization to a…
We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
In this paper we show that the Hausdorff dimension of the set of singular pairs is 4/3. We also show that the action of diag(e^t,e^t,e^{-2t}) on SL(3,R)/SL(3,Z) admits divergent trajectories that exit to infinity at arbitrarily slow…
The explicit McKay correspondence, as formulated by Gonzalez-Sprinberg and Verdier, associates to each exceptional divisor in the minimal resolution of a rational double point a matrix factorization of the equation of the rational double…
We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the…
We conjecture that the automorphism group of a topological parallelism on real projective 3-space is compact. We prove that at least the identity component of this group is, indeed, compact.
We prove that for some universal $c$, a non-collinear set of $N>\frac{1}{c}$ points in the Euclidean plane determines at least $c \frac{N}{\log N}$ distinct areas of triangles with one vertex at the origin, as well as at least $c…
As argued in arXiv:2104.10172, introducing a non-minimally coupled scalar field, three-dimensional Einstein gravity can be extended by infinite families of theories which admit simple analytic generalizations of the charged BTZ black hole.…
We prove some finiteness results on the movable cone for mildly singular 3-folds with semiample anticanonical bundle, giving some evidence for the Morrison--Kawamata cone conjecture for klt pairs.