arXiv subjects
Publications and source records attributed to Michael Nakamaye.
This note points out a gap in the proof of one of the technical results in the paper "Asymptotic Invariants of Base Loci", that appeared in Ann. Inst. Fourier (Grenoble) 56 (2006), 1701-1734. We provide a correct proof of this result.
Let $G$ be a commutative algebraic group embedded in projective space and $Γ$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to multiplicity or interpolation estimates. Let $γ_1,...,γ_l$ denote a family of generators of $Γ$ and, for any $S>1$, let $Γ(S)$ be the set of elements $n_1γ_1+..+n_lγ_l$ with integers $n_j$ such that $|n_j| < S$. Then this chain of subgroups controls, for large values of $S$, the distribution of $Γ(S)$ with respect to algebraic subgroups of $G$. As an application we essentially determine (up to multiplicative constants) the locus of common zeros of all $P \in H^0(\barG ,{\cal O}(D))$ which vanish to at least some given order at all points of $Γ(S)$. When $D$ is very small this result reduces to a multiplicity estimate; when $D$ is very large it is a kind of interpolation estimate.
In this article we study interpolation estimates on a special class of compactifications of commutative algebraic groups constructed by Serre. We obtain a large quantitative improvement over previous results due to Masser and the first author and our main result has the same level of accuracy as the best known multiplicity estimates. The improvements come both from using special properties of the compactifications which we consider and from a different approach based upon Seshadri constants and vanishing theorems.
We prove the existence of Sasaki-Einstein metrics on certain simply connected 5-manifolds where until now existence was unknown. All of these manifolds have non-trivial torsion classes. On several of these we show that there are a countable infinity of deformation classes of Sasaki-Einstein structures.
We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume.
We establish an improvement of Philippon's zero estimates primarily in the multiplicity setting. The improvement is made possible by a more geometric approach and in particular the use of Seshadri constants.
The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the big cone, whose vanishing characterizes, roughly speaking, the unstable locus. We show that for toric varieties at least, there exists a polyhedral decomposition of the big cone on which these functions are polynomial.
Let X be a smooth complex projective variety of dimension d. It is classical that ample line bundles on X satisfy many beautiful geometric, cohomological, and numerical properties that render their behavior particularly tractable. By contrast, examples due to Cutkosky and others have led to the common impression that the linear series associated to non-ample divisors are in general mired in pathology. However starting with fundamental work of Fujita, Nakayama, and Tsuji, it has recently become apparent that arbitrary effective (or "big") divisors in fact display a surprising number of properties analogous to those of ample line bundles. The key is to study the properties in question from an asymptotic perspective. At the same time, many interesting questions and open problems remain. The purpose of the present expository note is to give an invitation to this circle of ideas. In the hope that this informal overview might serve as a jumping off point for the technical literature in the area, we sketch many examples but provide no proofs. We focus on one particular invariant -- the "volume" of a line bundle -- that measures the rate of growth of the number of sections of powers of the bundle in question.
This paper studies the Seshadri constant of an ample line bundle at a very general point, seeking a very slight improvement on the result of Ein, Kuchle, and Lazarsfeld. The main point is that couting jets more carefully yields a better result. We hope that with some further innovations some type of bound, independent of the dimension, will ultimately be found.
We examine how the Seshadri constant of an ample line bundle at a very general point of an algebraic surface can carry important global geometric information about the surface. In particular, we obtain a numerical criterion for when a surface admits a dominant map to an algebraic curve.
Suppose D is an effective divisor on a smooth projective algebraic variety X. For each point x of X we associate a numberical invariant called the moving Seshadri constant of D at x which is a numerical measure of positivity of the divisor D at x. We determine the base locus of a large multiple of D by studying these moving Seshadri constants-- the drawback to this method is that these moving Seshadri constants are extremely difficult to compute.
We discuss the Sasakian geometry of odd dimensional homotopy spheres. In particular, we give a completely new proof of the existence of metrics of positive Ricci curvature on exotic spheres that can be realized as the boundary of a parallelizable manifold. Furthermore, it is shown that on such homotopy spheres $\scriptstyle{Σ^{2n+1}}$ the moduli space of Sasakian structures has infinitely many positive components determined by inequivalent underlying contact structures. We also prove the existence of Sasakian metrics with positive Ricci curvature on each of the known $\scriptstyle{2^{2m}}$ distinct diffeomorphism types of homotopy real projective spaces in dimension $4m+1$.
In this paper we demonstrate the existence of Sasakian-Einstein structures on certain 2-connected rational homology 7-spheres. These appear to be the first non-regular examples of Sasakian-Einstein metrics on simply connected rational homology spheres. We also briefly describe the rational homology 7-spheres that admit regular positive Sasakian structures.
A Sasakian structure on a manifold is called {\it positive} if its basic first Chern class can be represented by a positive (1,1)-form with respect to its transverse holomorphic CR-structure. We prove a theorem that says that every positive Sasakian structure can be deformed to a Sasakian structure whose metric has positive Ricci curvature. This allows us by example to give a completely independent proof of a result of Sha and Yang [SY] that for every positive integer k the k-fold connected sum of $S^2\times S^3$ admits metrics of positive Ricci curvature.
On simply connected five manifolds Sasakian-Einstein metrics coincide with Riemannian metrics admitting real Killing spinors which are of great interest as models of near horizon geometry for three-brane solutions in superstring theory [KW]. We expand on the recent work of Demailly and Kollár [DK] and Johnson and Kollár [JK1] who give methods for constructing Kähler-Einstein metrics on log del Pezzo surfaces. By [BG1] circle V-bundles over log del Pezzo surfaces with Kähler-Einstein metrics have Sasakian-Einstein metrics on the total space of the bundle. Here these simply connected 5-manifolds arise as links of isolated hypersurface singularities which by the well known work of Smale [Sm] together with [BG3] must be diffeomorphic to $\scriptstyle{S^5#l(S^2\times S^3)}.$ More precisely, using methods from Mori theory in algebraic geometry we prove the existence of 14 inequivalent Sasakian-Einstein structures on $\scriptstyle{S^2\times S^3}$ and infinite families of such structures on $\scriptstyle{#l(S^2\times S^3)}$ with $\scriptstyle{2\leq l\leq7}$. We also discuss the moduli problem for these Sasakian-Einstein structures.
We show that $\scriptstyle{#9(S^2\times S^3)}$ admits an 8-dimensional complex family of inequivalent non-regular Sasakian-Einstein structures. These are the first known Einstein metrics on this 5-manifold. In particular, the bound $\scriptstyle{b_2(M)\leq8}$ which holds for any regular Sasakian-Einstein $\scriptstyle{M}$ does not apply to the non-regular case. We also discuss the failure of the Hitchin-Thorpe inequality in the case of 4-orbifolds and describe the orbifold version.