SearcharxivSearch

arXiv subjects

Herbert Clemens

Publications and source records attributed to Herbert Clemens.

16 recordsLinked to original sources

Hodge Numbers of Arbitrary Sections from Linear Sections

Let $Y$ be a projective submanifold of the total space of the inverse of a very ample line bundle $π:L^{-1}\rightarrow B$ over a projective manifold $B$. Any section of $L^{-1}\rightarrow B$ is isomorphic to $B$ and the Hodge numbers of any proper smooth multisection are determined by the degree $d$ of that multi-section as are the Hodge numbers of any smooth complete intersection of multi-sections of degrees $\left(d_{1},\ldots,d_{r}\right)$. In this paper recursive formulae are given for those Hodge numbers in terms of the integers $\left\{ d_{1},\ldots,d_{r}\right\} $ and the Hodge numbers of the linear sections. The recursion proceeds by induction on dimension and degree. Its proof relies on the theory of asymptotic mixed Hodge structures. An interesting corollary is that the Lefschetz hyperplane property is weakened by one degree in this setting. That is, relative vanishing does not reach the middle degree of the hyperplane section but only to degree one less than the middle degree. As an application, in an Appendix, we calculate closed formulae for all Hodge numbers of all smooth complete intersections for the case $\dim B=3$.

math.AG

F-theory over a Fano threefold built from $A_{4}$-roots

In a previous paper, the authors showed the advantages of building a $\mathbb{Z}_{2}$-action into an $F$-theory model $W_{4}/B_{3}$, namely the action of complex conjugation on the complex algebraic group with compact real form $E_{8}$. The goal of this paper is to construct the Fano threefold $B_{3}$ directly from the roots of $SU\left(5\right)$ in such a way that the action of complex conjugation is exactly the desired $\mathbb{Z}_{2}$-action and the quotient of this action on $W_{4}/B_{3}$ and its Heterotic dual have the phenomenologically correct invariants.

hep-th

Heterotic/$F$-theory Duality and Narasimhan-Seshadri Equivalence

Finding the $F$-theory dual of a Heterotic model with Wilson-line symmetry breaking presents the challenge of achieving the dual $\mathbb{Z}_{2}$-action on the $F$-theory model in such a way that the $\mathbb{Z}_{2}$-quotient is Calabi-Yau with an Enriques $\mathrm{GUT}$ surface over which $SU\left(5\right)_{gauge}$ symmetry is maintained. We propose a new way to approach this problem by taking advantage of a little-noticed choice in the application of Narasimhan-Seshadri equivalence between real $E_{8}$-bundles with Yang-Mills connection and their associated complex holomorphic $E_{8}^{\mathbb{C}}$-bundles, namely the one given by the real outer automorphism of $E_{8}^{\mathbb{C}}$ by complex conjugation. The triviality of the restriction on the compact real form $E_{8}$ allows one to introduce it into the $\mathbb{Z}_{2}$-action, thereby restoring $E_{8}$- and hence $SU\left(5\right)_{gauge}$- symmetry on which the Wilson line can be wrapped.

hep-th

Heterotic-$\mathbf{F}$-theory Duality with Wilson Line Symmetry-breaking

We begin with an $E_{8}\times E_{8}$ Heterotic model broken to an $SU(5)_{gauge}$ and a mirror $SU(5)_{gauge}$, where one $SU(5)$ and its spectrum is identified as the visible sector while the other can be identified as a hidden mirror world. In both cases we obtain the minimal supersymmetric standard model spectrum after Wilson-line symmetry-breaking enhanced by a low energy R-parity enforced by a local (or global) $U(1)_{X}$-symmetry. Using Heterotic/$F$-theory duality, we show how to eliminate the vector-like exotics which were obtained in previous constructions. In these constructions, the Calabi-Yau {[}CY{]} four-fold was defined by an elliptic fibration with section over a base $B_{3}$ and a GUT surface given by $K3/\mathbb{Z}_{2}=$ Enriques surface. In the present paper we construct a quotient CY four-fold fibered by tori with two elliptic structures given by a a pair of sections fibered over the Enriques surface. Using Heterotic/$F$-theory duality we are able to define the cohomologies used to derive the massless spectrum. Our model for the 'correct' $F$-theory dual of a Heterotic model with Wilson-line symmetry-breaking builds on prior literature but employs the stack-theoretic version of the dictionary between the Heterotic semi-stable $E_{8}$-bundles with Yang-Mills connection and the $dP_{9}$-fibrations used to construct the $F$-theory dual.

hep-th

Topological versions of Abel-Jacobi, the height pairing, and the Poincaré bundle

We extend to the topological setting the classical constructions of the Abel-Jacobi mapping on homologically trivial algebraic cycles and the height pairing between two such cycles. We further interpret the height pairing between homologically trivial topological cycles (with disjoint support) as giving a lifting of their Abel-Jacobi images to the fiber of the Poincaré bundle, extending work of R. Hain in the algebraic setting. Part II of the current revision further explores the relationship between the topological height pairing and the classical height pairing in the case of algebraic cycles.

math.AG

Bounding the genus of subvarieties of generic hypersurfaces from below

A second-order invariant of C. Voisin gives a powerful method for bounding from below the geometric genus of a k-dimensional subvariety of a degree-d hypersurface in complex projective n-space. This work uses the Voisin method to establish a general bound, which lies behind recent results of G. Pacienza and Z. Ran.

math.AG

An analogue of Abel's theorem

This work makes a parallel construction for curves on threefolds to a ``current-theoretic'' proof of Abel's theorem giving the rational equivalence of divisors P and Q on a Riemann surface when Q - P is (equivalent to) zero in the Jacobian variety of the Riemann surface. The parallel construction is made for homologous ''sub-canonical'' curves P and Q on a general class of threefolds. If P and Q are algebraically equivalent and Q - P is zero in the (intermediate) Jacobian of a threefold, the construction ''almost'' gives rational equivalence.

math.AG

Cohomology and Obstructions II: Curves on K-trivial threefolds

On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the exterior derivative of a holomorphic function on a (finite-dimensional) polydisk. (The corresponding fact in an infinite dimensional setting was long ago discovered by physicists.) An analogous algebro-geometric construction for the holomorphic Chern-Simons functional is presented giving the local analytic moduli scheme of a vector bundle. An analogous gradient scheme construction for Brill-Noether loci on ample divisors is also given. Finally, using a structure theorem of Donagi-Markman, we present a new formulation of the Abel-Jacobi mapping into the intermediate Jacobian of a threefold with trivial canonical bundle.

math.AG

Cohomology and Obstructions I: Geometry of formal Kuranishi theory

The principle "ambient cohomology of a Kaehler manifold annihilates obstructions" has been known and exploited since pioneering work of Kodaira. This paper extends and unifies many known results in two contexts, abstract deformations of compact Kaehler manifolds and deformations of submanifolds within a given deformation of the ambient manifold.

math.AG

Cohomology and Obstructions III: A variational form of the generalized Hodge conjecture on K-trivial threefolds

This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.

math.AG

On the geometric genus of subvarieties of generic hypersurfaces

We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.

math.AG

On rational curves in n-space with given normal bundle

The stable rationality of components of the moduli space of (unparametrized) rational curves in projective $n$-space with fixed normal bundle is proved, provided these components dominate the moduli space of immersed rational curves in the plane.

math.AG

Counting curves which move with threefolds

Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the corresponding virtual number of curves, that is, the number of curves on a generic deformation of X "contributed by" the continuous family on X.

math.AG