Searcharxiv⌕ Search

arXiv subjects

Brian Lehmann

Publications and source records attributed to Brian Lehmann.

At least 37 records · Page 2Linked to original sources

Classifying sections of del Pezzo fibrations, II

Let $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.

math.AG↗

Restricted tangent bundles for general free rational curves

Suppose that $X$ is a smooth projective variety and that $C$ is a general member of a family of free rational curves on $X$. We prove several statements showing that the Harder-Narasimhan filtration of $T_{X}|_{C}$ is approximately the same as the restriction of the Harder-Narasimhan filtration of $T_{X}$ with respect to the class of $C$. When $X$ is a Fano variety, we prove that the set of all restricted tangent bundles for general free rational curves is controlled by a finite set of data. We then apply our work to analyze Peyre's "freeness" formulation of Manin's Conjecture in the setting of rational curves.

math.AG↗

Rational curves on prime Fano threefolds of index 1

We study the moduli spaces of rational curves on prime Fano threefolds of index 1. For general threefolds of most genera we compute the dimension and the number of irreducible components of these moduli spaces. Our results confirm Geometric Manin's Conjecture in these examples and show the enumerativity of certain Gromov-Witten invariants.

math.AG↗

Geometric Manin's Conjecture and rational curves

Let $X$ be a smooth projective Fano variety over the complex numbers. We study the moduli spaces of rational curves on $X$ using the perspective of Manin's Conjecture. In particular, we bound the dimension and number of components of spaces of rational curves on $X$. We propose a Geometric Manin's Conjecture predicting the growth rate of a counting function associated to the irreducible components of these moduli spaces.

math.AG↗

On exceptional sets in Manin's Conjecture

In this survey paper we study Manin's Conjecture from a geometric perspective. The focus of the paper is the recent conjectural description of the exceptional set in Manin's Conjecture due to Lehmann-Sengupta-Tanimoto. After giving an extensive background, we give a precise description of this set and compute it in many examples.

math.AG↗

Iitaka dimension for cycles

We define the Iitaka dimension of a numerical cycle class and develop its theory. We conjecture that the Iitaka dimension is integer-valued, and give some evidence in this direction. We focus on two cases of geometric interest: Schubert cycles on Grassmannians and cycles contracted by morphisms.

math.AG↗

Positivity of the diagonal

We study how the geometry of a projective variety $X$ is reflected in the positivity properties of the diagonal $Δ_X$ considered as a cycle on $X \times X$. We analyze when the diagonal is big, when it is nef, and when it is rigid. In each case, we give several implications for the geometric properties of $X$. For example, when the diagonal is big, we prove that the Hodge groups $H^{k,0}(X)$ vanish for $k>0$. We also classify varieties of low dimension where the diagonal is nef and big.

math.AG↗

Correspondences between convex geometry and complex geometry

We present several analogies between convex geometry and the theory of holomorphic line bundles on smooth projective varieties or Kähler manifolds. We study the relation between positive products and mixed volumes. We define and study a Blaschke addition for divisor classes and mixed divisor classes, and prove new geometric inequalities for divisor classes. We also reinterpret several classical convex geometry results in the context of algebraic geometry: the Alexandrov body construction is the convex geometry version of divisorial Zariski decomposition; Minkowski's existence theorem is the convex geometry version of the duality between the pseudo-effective cone of divisors and the movable cone of curves.

math.AG↗

Convexity and Zariski decomposition structure

This is the first part of our work on Zariski decomposition structures, where we study Zariski decompositions using Legendre-Fenchel type transforms. In this way we define a Zariski decomposition for curve classes. This decomposition enables us to develop the theory of the volume function for curves defined by the second named author, yielding some fundamental positivity results for curve classes. For varieties with special structures, the Zariski decomposition for curve classes admits an interesting geometric interpretation.

math.AG↗

Positivity functions for curves on algebraic varieties

This is the second part of our work on Zariski decomposition structures, where we compare two different volume type functions for curve classes. The first function is the polar transform of the volume for ample divisor classes. The second function captures the asymptotic geometry of curves analogously to the volume function for divisors. We prove that the two functions coincide, generalizing Zariski's classical result for surfaces to all varieties. Our result confirms the log concavity conjecture of the first named author for weighted mobility of curve classes in an unexpected way, via Legendre-Fenchel type transforms. We also give a number of applications to birational geometry, including a refined structure theorem for the movable cone of curves.

math.AG↗

Asymptotic behavior of the dimension of the Chow variety

We analyze the asymptotics of the dimension of components of the Chow variety as degree increases. By analogy with the divisor case, the main goal is to relate the asymptotic behavior with the positivity of the corresponding cycle classes. We also compute the dimension of the Chow variety of projective space.

math.AG↗

Zariski decompositions of numerical cycle classes

We construct a Zariski decomposition for cycle classes of arbitrary codimension. This decomposition is an analogue of well-known constructions for divisors. Examples illustrate how Zariski decompositions of cycle classes reflect the geometry of the underlying space. We also analyze the birational behavior of Zariski decompositions, leading to a Fujita approximation-type result for curve classes.

math.AG↗

Kernels of numerical pushforwards

Let $π: X \to Y$ be a morphism of projective varieties and consider the pushforward map $π_*: N_k(X) \to N_k(Y)$ of numerical cycle classes. We show that when the Chow groups of points of the fibers are as simple as they can be, then the kernel of $π_*$ is spanned by k-cycles contracted by $π$.

math.AG↗

Positive cones of dual cycle classes

We study generalizations for higher codimension cycles of several well-known definitions of the nef cone of divisors on a projective variety. These generalizations fix some of the pathologies exhibited by the classical nef cone of higher codimension classes. As an application, we recover the expected properties of the pseudoeffective cones $\overline{Eff}_{k}(X)$ for all k.

math.AG↗

Morphisms and faces of pseudo-effective cones

Let $π: X \to Y$ be a morphism of projective varieties and suppose that $α$ is a pseudo-effective numerical cycle class satisfying $π_*α= 0$. A conjecture of Debarre, Jiang, and Voisin predicts that $α$ is a limit of classes of effective cycles contracted by $π$. We establish new cases of the conjecture for higher codimension cycles. In particular we prove a strong version when $X$ is a fourfold and $π$ has relative dimension one.

math.AG↗

Volume-type functions for numerical cycle classes

A numerical equivalence class of k-cycles is said to be big if it lies in the interior of the closed cone generated by effective classes. We construct analogues for arbitrary cycle classes of the volume function for divisors which distinguishes big classes from boundary classes.

math.AG↗

Comparing numerical dimensions

The numerical dimension is a numerical measure of the positivity of a pseudo-effective divisor $L$. There are several proposed definitions of the numerical dimension due to Nakayama (2004) and Boucksom et al. (2004). We prove the equality of these notions and give several additional characterizations. We also prove some new properties of the numerical dimension.

math.AG↗