Related papers: N\'eron-Severi group of a general hypersurface

A detailed study is made of super elliptic curves, namely super Riemann surfaces of genus one considered as algebraic varieties, particularly their relation with their Picard groups. This is the simplest setting in which to study the…

We study the stack $\mathcal{H}_{r,g,n}$ of $n$-pointed smooth cyclic covers of degree $r$ between smooth curves of genus $g$ and the projective line. We give two presentations of an open substack of $\mathcal{H}_{r,g,n}$ as a quotient…

In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…

For $4 \nmid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the…

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to…

Surfaces of amplitude 1 in ordinary projective space are of general type, but this need not be the case in weighted projective spaces. Indeed, there are 4 classes of quasi-smooth weighted hypersurfaces in $\mathbf{P}(1,2,a,b)$ of amplitude…

One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…

We define the notion of generalized logarithmic sheaves on a smooth projective surface, associated to a pair consisting of a reduced curve and some fixed points on it. We then set up the study of the Torelli property in this setting,…

We show how to recover a general hypersurface in $\mathbb{P}^n$ of sufficiently large degree $d$ dividing $n+1$, from its finite order variation of Hodge structure. We also analyze the two other series of cases not covered by Donagi's…

We study the supergeometry of complex projective superspaces $\mathbb{P}^{n|m}$. First, we provide formulas for the cohomology of invertible sheaves of the form $\mathcal{O}_{\mathbb{P}^{n|m}} (\ell)$, that are pull-back of ordinary…

Consider a smooth projective family of complex polarized manifolds with semi-ample canonical sheaf over a quasi-projective manifold $V$. When the associated moduli map $V\to P_h$ from the base to coarse moduli space is quasi-finite, we…

For a linear system $|C|$ on a smooth projective surface $S$, whose general element is a smooth, irreducible curve, the Severi variety $V_{|C|, \delta}$ is the locally closed subscheme of $|C|$ which parametrizes irreducible curves with…

We use our extension of the Noether-Lefschetz theorem to describe generators of the class groups at the local rings of singularities of very general hypersurfaces containing a fixed base locus. We give several applications, including (1)…

For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber…

We calculate the automorphism group of certain Enriques surfaces. The Enriques surfaces that we investigate include very general $n$-nodal Enriques surfaces and very general cuspidal Enriques surfaces. We also describe the action of the…

We discuss the Picard group of moduli space $\mathcal{K}_g$ of quasi-polarized K3 surfaces of genus $g\leq 12$ and $g\neq 11$. In this range, $\mathcal{K}_g$ is unirational and a general element in $\mathcal{K}_g$ is a complete intersection…

A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is…

Assuming the Tate conjecture and the computability of \'etale cohomology with finite coefficients, we give an algorithm that computes the N\'eron-Severi group of any smooth projective geometrically integral variety, and also the rank of the…

In this work we study smooth complex quasi-projective surfaces whose fundamental group is a free product of cyclic groups. In particular, we prove the existence of an admissible map from the quasi-projective surface to a smooth complex…

This article grew out of an effort to understand the smooth mapping class groups of certain 4-manifolds in a geometric manner. We prove a smooth analog of the Birman-Hilden theorem for manifolds that admit a hyperk\"ahler structure. This…