Related papers: The smooth classification of 4-dimensional complet…

The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van…

For a large class of possibly singular complete intersections we prove a formula for their Chern-Schwartz-MacPherson classes in terms of a single blowup along a scheme supported on the singular loci of such varieties. In the hypersurface…

In an earlier paper (math.SG/0110169), we introduced absolute gradings on the three-manifold invariants developed in math.SG/0101206 and math.SG/0105202. Coupled with the surgery long exact sequences, we obtain a number of three- and…

We prove that the Novikov conjecture holds for any discrete group admitting an isometric and metrically proper action on an admissible Hilbert-Hadamard space. Admissible Hilbert-Hadamard spaces are a class of (possibly infinite-dimensional)…

Let $\{D_i\}_{i=1}^{n+1}$ be $n+1$ hypersurfaces in $\mathbb{P}^n(\mathbb{C})$ with total degrees $\sum_{i=1}^{n+1} \deg D_i\geqslant n+2$, in general position and satisfying a generic geometric condition: every $n$ hypersurfaces intersect…

We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…

We study irreducible subvarieties of the universal hypersurface $\mathcal{X}/B$ of degree $d$ and dimension $n$. We prove that when $d$ is sufficiently large, a degree $kd$ subvariety $Z$ which dominates $B$ comes from intersection with a…

Let f: C --> P^3 be a general curve of genus g, mapped to P^3 via a general linear series of degree d; and let Q be a general (and thus smooth) quadric. In this paper, we show that the points of intersection f(C) \cap Q give a general…

We discuss what topological data must be provided to define topologically twisted partition functions of four-dimensional $\mathcal{N}=2$ supersymmetric field theories. The original example of Donaldson-Witten theory depends only on the…

Let $X$ be a smooth projective variety defined on a finite field $\mathbb{F}_q$. On $X$ there is a special morphism $Fr_X$, which raises coordinates to exponent $q$: $t\mapsto t^q$. The two main results in this paper are: Result 1: If…

Let $\Gamma$ be the fundamental group of a closed orientable surface of genus at least two. Consider the composition of a uniformly random element of $\mathrm{Hom}(\Gamma,S_n)$ with the $(n-1)$-dimensional irreducible representation of…

For a vertex $x$ of a digraph, $d^+(x)$ ($d^-(x)$, resp.) is the number of vertices at distance 1 from (to, resp.) $x$ and $d^{++}(x)$ is the number of vertices at distance 2 from $x$. In 1995, Seymour conjectured that for any oriented…

In this paper, we study the compactness of a boundary value problem for hyperkaehler 4-manifolds. We show that under certain topological conditions and the positive mean curvature condition on the boundary, a sequence of hyperkaehler…

We show that whenever a closed symplectic manifold admits a Hamiltonian diffeomorphism with finitely many simple periodic orbits, the manifold has a spherical homology class of degree two with positive symplectic area and positive integral…

We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth…

We consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections.…

The symplectic isotopy conjecture states that every smooth symplectic surface in $CP^2$ is symplectically isotopic to a complex algebraic curve. Progress began with Gromov's pseudoholomorphic curves [Gro85], and progressed further…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product $Y \times Y'$ and…