Related papers: On codimension two subvarieties of P6

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

If X is a symplectic variety emedded in an affine space as a complete intersection of homogeneous polynomials, then X coincides with the nilpotent variety of a semisimple Lie algebra.

Quotients $Y=X/conj$ by the complex conjugation $conj\: X\to X$ for complex surfaces $X$ defined over $\R$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums $\#_n CP^2\#_m\barCP^2$ if…

Let $\mathcal{P}$ be a proper smooth formal $\mathcal{V}$-scheme, $X$ a closed subscheme of the special fiber of $\mathcal{P}$, $\mathcal{E} \in F\text{-}D ^\mathrm{b}_\mathrm{coh} (\D ^\dag_{\mathcal{P},\mathbb{Q}})$ with support in $X$.…

We construct a linear system on a general curve in a totally geodesic subvariety of the moduli space of curves. As a consequence, we obtain rank bounds for totally geodesic subvarieties of dimension at least two. Furthermore, we classify…

In this article we derive a complete classification of all submanifolds in space forms with codimension two for which the Gauss map is homothetic.

We prove that a smooth well formed Picard rank one Fano complete intersection of dimension at least 2 in a toric variety is a weighted complete intersection.

Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove…

To find all two-dimensional equivariant symplectic submanifolds in symplectic toric manifolds, we combine the convex geometry of Delzant polytopes with local equivariant symplectic models and obtain a criterion for determining when a…

Let X be a smooth cubic hypersurface. We prove that a general cubic surface is isomorphic to a hyperplane section of X .

This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms…

R. Beheshti showed that, for a smooth Fano hypersurface $X$ of degree $\leq 8$ over the complex number field $\mathbb{C}$, the dimension of the space of lines lying in $X$ is equal to the expected dimension. We study the space of conics on…

Let $X$ be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space ${\mathbb{P}}^n$. Bertini's Theorem states that a general hyperplane $H$ intersects…

We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to…

Let V be a nonsingular projective algebraic variety of dimension n. Suppose there exists a very ample divisor D such that D^n=6 and dim H^0(V, O(D))=n+3. Then, (V, D) defines a D_6-Galois embedding if and only if it is a Galois closure…

We show that if $X$ is a smooth uniruled projective variety and $L$ a big and semiample $\mathbb{Q}$-divisor on $X$, then there exists a proper closed subset $W\subset X$ such that every subvariety $Y$ satisfying $a(Y,L)> a(X,L)$ is…

Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we…

We give the diffeomorphism classification of complete intersections with S^1-symmetry in dimension less than or equal to 6. In particular, we show that a 6-dimensional complete intersection admits a smooth non-trivial S^1-action if and only…

A well-known conjecture asserts that smooth threefolds $X\subset\{\mathbb P}^5$ are quadratically normal with the only exception of the Palatini scroll. As a corollary of a more general statement we obtain the following result, which is…

We show that a real K\"ahler submanifold in codimension $6$ is essentially a holomorphic submanifold of another real K\"ahler submanifold in lower codimension if the second fundamental form is not sufficiently degenerated. We also give a…