Search

We rework the Mori-Mukai classification of Fano 3-folds, by describing each of the 105 families via biregular models as zero loci of general global sections of homogeneous vector bundles over products of Grassmannians., Comment: Minor changes. To appear in Rev. Mat. Complut

Consider a very general abelian variety $A$ of dimension at least $3$ and an integer $0, Comment: 9 pages

We discuss the birational geometry and the Kodaira dimension of certain varieties previously constructed by Schreieder, proving that in any dimension they admit an elliptic fibration and they are not of general type. The $l$-dimensional variety $Y_{(n)}^{(l)}$, which is the quotient of the product of a certain curve $C_{(n)}$ by itself $l$ times by a group $G\simeq \left ({\mathbb{Z}}/n{\mathbb{Z}}\right )^{l-1}$ of automorphisms, was constructed by Schreieder to obtain varieties with prescribed Hodge numbers. If $n=3^c$ Schreieder constructed an explicit smooth birational model of it, and Flapan proved that the Kodaira dimension of this smooth model is 1, if $c>1$; if $l=2$ it is a modular elliptic surface; if $l=3$ it admits a fibration in K3 surfaces. In this paper we generalize these results: without any assumption on $n$ and $l$ we prove that $Y_{(n)}^{(l)}$ admits many elliptic fibrations and its Kodaira dimension is at most 1. Moreover, if $l=2$, its minimal resolution is a modular elliptic surface, obtained by a base change of order $n$ on a specific extremal rational elliptic surface; if $l\geq 3$ it has a birational model that admits a fibration in K3 surfaces and a fibration in $(l-1)$-dimensional varieties of Kodaira dimension at most 0.

Consider the blow-up $X$ of $\mathbb{P}^3$ at 6 points in very general position and the 15 lines through the 6 points. We construct an infinite-order pseudo-automorphism $\phi_X$ on $X$, induced by the complete linear system of a divisor of degree 13. The effective cone of $X$ has infinitely many extremal rays and hence, $X$ is not a Mori Dream Space. The threefold $X$ has a unique anticanonical section which is a Jacobian K3 Kummer surface $S$ of Picard number 17. The restriction of $\phi_X$ on $S$ realizes one of Keum's 192 infinite-order automorphisms of Jacobian K3 Kummer surfaces. In general, we show the blow-up of $\mathbb{P}^n$ ($n\geq 3$) at $(n+3)$ very general points and certain 9 lines through them is not Mori Dream, with infinitely many extremal effective divisors. As an application, for $n\geq 7$, the blow-up of $\overline{M}_{0,n}$ at a very general point has infinitely many extremal effective divisors., Comment: We added the omitted part of the proof of Prop. 12.1. To appear in IMRN

We study (smooth, complex) Fano 4-folds X having a rational contraction of fiber type, that is, a rational map X-->Y that factors as a sequence of flips followed by a contraction of fiber type. The existence of such a map is equivalent to the existence of a non-zero, non-big movable divisor on X. Our main result is that if Y is not P^1 or P^2, then the Picard number rho(X) of X is at most 18, with equality only if X is a product of surfaces. We also show that if a Fano 4-fold X has a dominant rational map X-->Z, regular and proper on an open subset of X, with dim(Z)=3, then either X is a product of surfaces, or rho(X) is at most 12. These results are part of a program to study Fano 4-folds with large Picard number via birational geometry., 25 pages. Minor changes. To appear in Algebra & Number Theory

Let $X$ be a very general hypersurface of degree $d$ in $\mathbb{P}^n$. We investigate positivity properties of the spaces $R_e(X)$ of degree $e$ rational curves in $X$. We show that for small $e$, $R_e(X)$ has no rational curves meeting the locus of smooth embedded curves. We show that for $n \leq d$, there are no rational curves in the locus $Y \subset X$ swept out by lines. And we exhibit differential forms on a smooth compactification of $R_e(X)$ for every $e$ and $n-2 \geq d \geq \frac{n+1}{2}$., Comment: revised version

By work of Looijenga and others, one understands the relationship between Geometric Invariant Theory (GIT) and Baily–Borel compactifications for the moduli spaces of degree-$2$ $K3$ surfaces, cubic fourfolds, and a few other related examples. The similar-looking cases of degree-$4$ $K3$ surfaces and double Eisenbud–Popescu–Walter (EPW) sextics turn out to be much more complicated for arithmetic reasons. In this paper, we refine work of Looijenga in order to handle these cases. Specifically, in analogy with the so-called Hassett–Keel program for the moduli space of curves, we study the variation of log canonical models for locally symmetric varieties of Type IV associated to $D$-lattices. In particular, for the $19$-dimensional case, we conjecturally obtain a continuous one-parameter interpolation between the GIT and Baily–Borel compactifications for the moduli of degree-$4$ $K3$ surfaces. The analogous $18$-dimensional case, which corresponds to hyperelliptic degree-$4$ $K3$ surfaces, can be verified by means of Variation of Geometric Invariant Theory (VGIT) quotients.

We solve the infinitesimal Torelli problem for $3$-dimensional quasi-smooth ${\mathbb{Q}}$-Fano hypersurfaces with at worst terminal singularities. We also find infinite chains of double coverings of increasing dimension which alternatively distribute themselves in examples and counterexamples for the infinitesimal Torelli claim and which share the analogue, and in some cases the same, Hodge-diagram properties as the length $3$ Gushel-Mukai chain of prime smooth Fanos of coindex $3$ and degree $10$., Comment: Final version, to appear in Journal of Geometry and Physics

Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the stack. In particular, semistable sheaves exist if and only if the Harder-Narasimhan filtration has length one. We then study sharp Bogomolov inequalities $\Delta \geq \delta_H(c_1/r)$ for the discriminants of stable sheaves which take the polarization and slope into account; these inequalities essentially completely describe the characters of stable sheaves. The function $\delta_H(c_1/r)$ can be computed to arbitrary precision by a limiting procedure. In the case of an anticanonically polarized del Pezzo surface, exceptional bundles are always stable and $\delta_H(c_1/r)$ is computed by exceptional bundles. More generally, we show that for an arbitrary polarization there are further necessary conditions for the existence of stable sheaves beyond those provided by stable exceptional bundles. We compute $\delta_H(c_1/r)$ exactly in some of these cases. Finally, solutions to the existence problem have immediate applications to the birational geometry of moduli spaces of sheaves., Comment: 70 pages, 9 figures, comments welcome! v2: minor corrections

In this paper we study the geometry of GIT configurations of $n$ ordered points on $\mathbb{P}^1$ both from the the birational and the biregular viewpoint. In particular, we prove that any extremal ray of the Mori cone of effective curves of the quotient $(\mathbb{P}^1)^n//PGL(2)$, taken with the symmetric polarization, is generated by a one dimensional boundary stratum of the moduli space. Furthermore, we develop some technical machinery that we use to compute the canonical divisor and the Hilbert polynomial of $(\mathbb{P}^1)^n//PGL(2)$ in its natural embedding, and its group of automorphisms., Comment: 22 pages (fixed one small inaccuracy)

The three-dimensional McKay correspondence seeks to relate the geometry of crepant resolutions of Gorenstein $3$-fold quotient singularities $\mathbb{A}^3/G$ with the representation theory of the group $G$. The first crepant resolution studied in depth was the $G$-Hilbert scheme $G\text{-Hilb}\,\mathbb{A}^3$, which is also a moduli space of $\theta$-stable representations of the McKay quiver associated to $G$. As the stability parameter $\theta$ varies, we obtain many other crepant resolutions. In this paper we focus on the case where $G$ is abelian, and compute explicit inequalities for the chamber of the stability space defining $G\text{-Hilb}\,\mathbb{A}^3$ in terms of a marking of exceptional subvarieties of $G\text{-Hilb}\,\mathbb{A}^3$ called Reid's recipe. We further show which of these inequalities define walls. This procedure depends only on the combinatorics of the exceptional fibre and has applications to the birational geometry of other crepant resolutions.

We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group., 41 pages

Let $R_4$ be the space of rational plane curves of degree $4$. In this paper, we obtain a sheaf theoretic compactification of $R_4$ via the space of $\alpha$-semistable pairs on $\mathbb{P}^2$ and its birational relations through wall-crossings of semistable pairs. We obtain the Poincar\'e polynomial of the compactified space., Comment: Comments are welcome

We show that any two birational projective Calabi-Yau manifolds have isomorphic small quantum cohomology algebras after a certain change of Novikov rings. The key tool used is a version of an algebra called symplectic cohomology, which is constructed using Hamiltonian Floer cohomology. Morally, the idea of the proof is to show that both small quantum products are identical deformations of symplectic cohomology of some common open affine subspace. Part of the proof uses the fact that subvarieties of positive codimension are stably displaceable., Comment: 111 pages, 23 figures. Improved exposition and added a few more figures

In this paper, we prove that the moduli space of stable pairs (or sheaves) on del Pezzo surface S is isomorphic to the Maruyama type transformation of a projective bundle of a quiver representation...

For a Zariski general (regular) hypersurface $V$ of degree $M$ in the $(M+1)$-dimensional projective space, where $M$ is at least 16, with at most quadratic singularities of rank at least 13, we give a complete description of the structures of rationally connected (or Fano-Mori) fibre space: every such structure over a positive-dimensional base is a pencil of hyperplane sections. This implies, in particular, that $V$ is non-rational and its groups of birational and biregular automorphisms coincide. The set of non-regular hypersurfaces has codimension at least $\frac12(M-11)(M-10)-10$ in the natural parameter space., Comment: 39 pages

Building on the work of Mukai, we explore the birational geometry of the moduli spaces $$M_{S,L}$$ of semistable rank two torsion-free sheaves, with $$c_1=-K_S$$ and $$c_2=2$$ , on a polarized degree one del Pezzo surface (S, L); this is related to the birational geometry of the blow-up X of $$\mathbb {P}^4$$ in 8 points. Our analysis is explicit and is obtained by looking at the variation of stability conditions. Then we provide a careful investigation of the blow-up X and of the moduli space $$Y=M_{S,-K_S}$$ , which is a remarkable family of smooth Fano fourfolds. In particular we describe the relevant cones of divisors of Y, the group of automorphisms, and the base loci of the anticanonical and bianticanonical linear systems.

We use a recent advance in birational geometry to prove new lower bounds on the essential dimension of some finite groups.

In this paper, we consider the class of first-order algebraic ordinary differential equations (AODEs), and study their rational general solutions. A rational general solution contains an arbitrary constant. We give a decision algorithm for finding a rational general solution, in which the arbitrary constant appears rationally, of the whole class of first-order AODEs. As a byproduct, this leads to an algorithm for determining a rational general solution of a class of first-order AODE which covers almost all first-order AODEs from Kamke's collection. The method is based intrinsically on the consideration of the AODE from a geometric point of view. In particular, parametrizations of algebraic curves play an important role for a transformation of a parametrizable first-order AODE to a quasi-linear differential equation.

Assuming Lang's conjecture, we prove that for a fixed prime $p$, number field $K$, and positive integer $g$, there is an integer $r$ such that no principally polarized abelian variety $A/K$ of dimension $g$ has full level $p^r$ structure. To this end, we use a result of Zuo to prove that for each closed subvariety $X$ in the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$, there exists a level $m_X$ such that the irreducible components of the preimage of $X$ in $\mathcal{A}_g^{[m]}$ are of general type for $m > m_X$., 17 pages. References to new work of Brunebarbe added; discussion of implications arising from Lang's geometric conjecture suppressed in light of Brunebarbe's new results. Section 4 recast in more general terms; see Proposition 4.3 and Theorem 1.13

We prove that the moduli spaces of rational curves of degree at most 3 in linear sections of the Grassmannian G r ( 2 , 5 ) are all rational varieties. We also study their compactifications and birational geometry.

Hassett constructed a class of modular compactifications of Mg,n by adding weights to the marked points. This leads to a natural wall and chamber decomposition of the domain of admissible weights D...

Del Pezzo fibrations appear as minimal models of rationally connected varieties. The rationality of smooth del Pezzo fibrations is a well studied question but smooth fibrations are not dense in moduli. Little is known about the rationality of the singular models. We prove birational rigidity, hence non-rationality, of del Pezzo fibrations with simple non-Gorenstein singularities satisfying the famous $K^2$-condition. We then apply this result to study embeddings of $\operatorname{PSL}_2(7)$ into the Cremona group.

Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers. In the second part we consider the example of a “web of flops” provided by the Grothendieck resolution associated to a reductive Lie algebra $$\mathfrak {g}$$ and study the corresponding schober-type diagram. For $$\mathfrak {g}={\mathfrak {s}\mathfrak {l}}_3$$ we relate this diagram to the classical space of complete triangles studied by Schubert, Semple and others.

We study the geometry of some varieties of sums of powers related to the Klein quartic. This allows us to describe the birational geometry of certain moduli spaces of abelian surfaces. In particular we show that the moduli space $\mathcal{A}_2(1,7)^{-}_{sym}$ of $(1,7)$-polarized abelian surfaces with a symmetric theta structure and an odd theta characteristic is unirational by showing that it admits a dominant morphism from a unirational conic bundle., Comment: 14 pages

A Cayley octad is a set of 8 points in P3 which are the base locus of a net of quadrics. Blowing up the points of the octad gives a morphism to P2 defined by the net; the fibres of this morphism are intersections of two quadrics in the net, hence curves of genus 1. The generic fibre therefore has a group structure, and the action of this group on itself extends to a birational action on the whole variety. In particular, if the generic fibre has a large group of rational points, the birational automorphism group, and hence the birational geometry, of the variety must be complicated. It is natural to ask whether the converse is true: if the generic fibre has only a small group of rational points, is the birational geometry of the variety correspondingly simple? In this paper we study a special Cayley octad with the property that the generic fibre has finitely many rational points. In Section 1 we find that such an octad only exists in characteristic 2, and is unique up to projective transformations. Our main results then show that the simplicity of the generic fibre is indeed reected in the simplicity of the birational geometry of our blowup. In Section 2 we show that the cones of nef and movable divisors are rational polyhedral, as predicted by the Morrison{Kawamata conjecture. Finally, in Section 3 we prove that our blowup has the \best possible" birational geometric properties: it is a Mori dream space.

We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial 5 m + 1 and c 1 = ( 2 , 3 ) . We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.

Let $\xi$ be a stable Chern character on $\mathbb{P}^1 \times \mathbb{P}^1$, and let $M(\xi)$ be the moduli space of Gieseker semistable sheaves on $\mathbb{P}^1 \times \mathbb{P}^1$ with Chern character $\xi$. In this paper, we provide an approach to computing the effective cone of $M(\xi)$ after showing that it is a Mori dream space for all $\xi$. We find Brill-Noether divisors spanning extremal rays of the effective cone using resolutions of the general elements of $M(\xi)$ which are found using the machinery of exceptional bundles. We use this approach to provide many examples of extremal rays in these effective cones. In particular, we completely compute the effective cone of the first fifteen Hilbert schemes of points on $\mathbb{P}^1 \times \mathbb{P}^1$., Comment: 42 pages

Suppose that $$f:X\rightarrow \mathrm{Spec}\,R$$ is a minimal model of a complete local Gorenstein 3-fold, where the fibres of f are at most one dimensional, so by Van den Bergh (Duke Math J 122(3):423–455, 2004) there is a noncommutative ring $$\Lambda $$ derived equivalent to X. For any collection of curves above the origin, we show that this collection contracts to a point without contracting a divisor if and only if a certain factor of $$\Lambda $$ is finite dimensional, improving a result of Donovan and Wemyss (Contractions and deformations, arXiv:1511.00406 ). We further show that the mutation functor of Iyama and Wemyss (Invent Math 197(3):521–586, 2014, §6) is functorially isomorphic to the inverse of the Bridgeland–Chen flop functor in the case when the factor of $$\Lambda $$ is finite dimensional. These results then allow us to jump between all the minimal models of $$\mathrm{Spec}\,R$$ in an algorithmic way, without having to compute the geometry at each stage. We call this process the Homological MMP. This has several applications in GIT approaches to derived categories, and also to birational geometry. First, using mutation we are able to compute the full GIT chamber structure by passing to surfaces. We say precisely which chambers give the distinct minimal models, and also say which walls give flops and which do not, enabling us to prove the Craw–Ishii conjecture in this setting. Second, we are able to precisely count the number of minimal models, and also give bounds for both the maximum and the minimum numbers of minimal models based only on the dual graph enriched with scheme theoretic multiplicity. Third, we prove a bijective correspondence between maximal modifying R-module generators and minimal models, and for each such pair in this correspondence give a further correspondence linking the endomorphism ring and the geometry. This lifts the Auslander–McKay correspondence to dimension three.

From Smyth’s classification, modular compactifications of the moduli space of pointed smooth rational curves are indexed by combinatorial data, the so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a finite union of atomic extremal assignments. We discuss a connection with the birational geometry of the moduli space of stable pointed rational curves. As applications, we study three special classes of extremal assignments: smooth, toric, and invariant with respect to the symmetric group action. We identify them with three combinatorial objects: simple intersecting families, complete multipartite graphs, and special families of integer partitions, respectively.

We describe the relation between quasi-minuscule representations, polytopes and Weyl group orbits in Picard lattices of rational surfaces. As an application, to each quasi-minuscule representation we attach a class of rational surfaces, and realize such a representation as an associated vector bundle of a principal bundle over these surfaces. Moreover, any quasi-minuscule representation can be defined by rational curves, or their disjoint unions in a rational surface, satisfying certain natural numerical conditions.

The multiplicity of a point on a variety is a fundamental invariant to estimate how the singularity is bad. It is introduced in a purely algebraic context. On the other hand, we can also attach to the singularity the log canonical threshold and the minimal log discrepancy, which are introduced in a birational theoretic context. In this paper, we show bounds of the multiplicity by functions of these birational invariants for a singularity of locally a complete intersection. As an application, we obtain the affirmative answer to Watanabe's conjecture on the multiplicity of canonical singularity of locally a complete intersection up to dimension 32.

In this paper, we study the birational geometry of the Quot schemes of trivial bundles on $\mathbb{P}^1$ by constructing small $\mathbb{Q}$-factorial modifications of the Quot schemes as suitable moduli spaces. We determine all the models which appear in the minimal model program on the Quot schemes. As a corollary, we show that the Quot schemes are Mori dream spaces and log Fano., 22 pages, Remark 5.9 in v1 replaced by Lemma 5.11. Accordingly, Theorems 1.5, 1.6 changed

Primitively polarized genus $g$ Nikulin surfaces $(S,M,H)$ are of two types, that we call standard and non-standard depending on whether the lattice embedding $\mathbb{Z}[H] \oplus_{\perp} \mathbf{N} \subset \rm{Pic}(S)$ is primitive. Here $H$ is the genus $g$ polarization and $\mathbf{N}$ is the Nikulin lattice. We concentrate on the non-standard case, which only occurs in odd genus. In particular, we study the birational geometry of the moduli space of non-standard Nikulin surfaces of genus $g$ and prove its rationality for $g=7,11$ and the existence of a rational double cover of it when $g=9$. Furthermore, if $(S,M,H)$ is general in the above moduli space and $(C,M|_C)$ is a general Prym curve in $|H|$, we determine the dimension of the family of non-standard Nikulin surfaces of genus $g$ containing $(C, M|_C)$ for $3\leq g\leq 11$; this completes the study of the Prym-Nikulin map initiated in our previous work., 20 pages, revised version with minor modifications, to appear in Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

These notes provide an overview of various notions of hyperbolicity for varieties of log general type from the viewpoint of both arithmetic and birational geometry. We begin by introducing the study of rational and integral points on curves and higher dimension varieties and pairs. We then introduce various notions of hyperbolicity and discuss their conjectural relations. The overall goal of these notes is to show how geometry influences the arithmetic of algebraic varieties and pairs using tools from birational geometry.

Let $X \subset \mathbb{P}^r$ be smooth and irreducible and for $k \ge 0$ let $\nu_k(X)$ (resp., $\delta_k(X)$) be the $k$-th contact (resp., the $k$-th secant) defect of $X$. For all $k \ge 0$ we have the inequality $\nu_k(X) \ge \delta_k(X)$ and in the case $k=1$ we characterize projective varieties $X$ for which equality holds, $\dim \mathrm{Sing}(X) \le \delta _1(X) -1$ and the generic tangential contact locus is reducible., Comment: Accepted for publication in Communications in Algebra

We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to construct a destackification functor, a variant of the main result of Bergh [Ber17], on the category of such toroidal stacks $X$. Namely, we associate to $X$ a sequence of blowings up of toroidal stacks $\widetilde{\mathcal{F}}_X\:Y\longrightarrow X$ such that $Y_{tc}$ coincides with the usual coarse moduli space $Y_{cs}$. In particular, this provides a toroidal resolution of the algebraic space $X_{cs}$. Both $X_{tcs}$ and $\widetilde{\mathcal{F}}_X$ are functorial with respect to strict inertia preserving morphisms $X'\to X$. Finally, we use coarsening morphisms to introduce a class of non-representable birational modifications of toroidal stacks called Kummer blowings up. These modifications, as well as our version of destackification, are used in our work on functorial toroidal resolution of singularities., 29 pages

We prove that the bimeromorphic class of a hyperk\"ahler manifold deformation equivalent to O'Grady's six dimensional one is determined by the Hodge structure of its Beauville-Bogomolov lattice by showing that the monodromy group is maximal. As applications, we give the structure for the K\"ahler and the birational K\"ahler cones in this deformation class and we prove that the existence of a square zero divisor implies the existence a rational lagrangian fibration with fixed fibre types., Comment: Final version, to appear in JMPA

Let $k$ be an algebraically closed field of characteristic $p>0$. We give a birational characterization of ordinary abelian varieties over $k$: a smooth projective variety $X$ is birational to an ordinary abelian variety if and only if $\kappa_S(X)=0$ and $b_1(X)=2 \dim X$. We also give a similar characterization of abelian varieties as well: a smooth projective variety $X$ is birational to an abelian variety if and only if $\kappa(X)=0$, and the Albanese morphism $a: X \to A$ is generically finite. Along the way, we also show that if $\kappa _S (X)=0$ (or if $\kappa(X)=0$ and $a$ is generically finite) then the Albanese morphism $a:X\to A$ is surjective and in particular $\dim A\leq \dim X$., Comment: This submissium supercedes the previous submission arXiv:1602.01791, 9 pages

Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende to relate the schobers to certain categories of constructible sheaves. As an application, we obtain new mirror symmetry proofs for singular varieties associated to our examples, by evaluating the categorified cohomology operators of Bondal-Kapranov-Schechtman on our mirror schobers., 38 pages, 6 figures

Let $\mathcal{H}_{a,b}^n$ denote the component of the Hilbert scheme whose general point parameterizes an $a$-plane union a $b$-plane meeting transversely in $\mathbf{P}^n$. We show that $\mathcal{H}_{a,b}^n$ is smooth and isomorphic to successive blow ups of $\mathbf{Gr}(a,n) \times \mathbf{Gr}(b,n)$ or $\text{Sym}^2 \mathbf{Gr}(a,n)$ along certain incidence correspondences. We classify the subschemes parameterized by $\mathcal{H}_{a,b}^n$ and show that this component has a unique Borel fixed point. We also study the birational geometry of this component. In particular, we describe the effective and nef cones of $\mathcal{H}_{a,b}^n$ and determine when the component is Fano. Moreover, we show that $\mathcal{H}_{a,b}^n$ is a Mori dream space for all values of $a,b,n$., 42 pages, 1 figure; To appear in Mathematische Zeitschrift

A smooth variety is called uniformly rational if every point admits a Zariski open neighborhood isomorphic to a Zariski open subset of the affine space. In this note we show that every smooth and rational affine variety endowed with an algebraic torus action such that the algebraic quotient has dimension 0 or 1 is uniformly rational., Comment: 4 pages

Using the degeneration formula for Doanldson-Thomas in- variants, we proved a formula for the change of Donaldson-Thomas in- variants of local surfaces under blowing up along points. Given a smooth projective Calabi-Yau 3-fold X, the moduli space of stable sheaves on X has virtual dimension zero. Donaldson and Thomas (D-T) defined the holomorphic Casson invariant of X which essentially counts the number of stable bundles on X. However, the moduli space has positive dimension and is singular in general. Making use of virtual cycle technique (see (B-F) and (L-T)), Thomas in (Thomas) showed that one can define a virtual moduli cycle for some X including Calabi-Yau and Fano 3-folds. As a consequence, one can define Donaldson-type invariants of X which are deformation invariant. Donaldson-Thomas invariants provide a new vehicle to study the geometry and other aspects of higher-dimensional varieties. It is important to understand these invariants. It is well-known (MNOP1, MNOP2)that there is a correspondence be- tween Donaldson-Thomas invariants and Gromov-Witten invariants. Both invariants are deformation independent. On the side of Gromov-Witten in- variants, Li and Ruan in (L-R) first established the degeneration formula of Gromov-Witten invariants in symplectic geometry. J. Li proved an algebraic geometry version of this degeneration formula. In (Hu1, Hu2), the author studied the change of Gromov-Witten invariants under the blowup. The author (Hu3) also studies the change of local Gromov-Witten invariants of Fano surfaces under the blowup. In the birational geometry of 3-folds, we have blowups and flops which are semistable degenerations. In (HL) the au- thors studied how Donaldson-Thomas invariants change under the blowup at a point, some flops and extremal transitions. Local del Pezzo surface used to play an important role in physics. Local de Pezzo surfaces are usually associated to phase transitions in the Kahler mod- uli space of various string, M-theory, and F-theory compactifications.Non- toric del Pezzo surfaces seem to be related to exotic physics in four, five and

We prove Iitaka $C_{n,m}$ conjecture for $3$-folds over the algebraic closure of finite fields. Along the way we prove some results on the birational geometry of log surfaces over nonclosed fields and apply these to existence of relative good minimal models of $3$-folds.

This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Prufer spaces and Prufer pairs of algebraic spaces that generalize spectra of Prufer rings. As a particular case of Prufer spaces we introduce valuation algebraic spaces, and use them to establish valuative criteria of separatedness and properness that sharpen the standard criteria. In a sequel paper, we introduce a version of Riemann–Zariski spaces, and prove Nagata’s compactification theorem for algebraic spaces.

We construct moduli spaces of semistable objects on an Enriques surface for generic Bridgeland stability condition and prove their projectivity. We further generalize classical results about moduli spaces of semistable sheaves on an Enriques surface to their Bridgeland counterparts. Using Bayer and Macr\`{i}'s construction of a natural nef divisor varying with the stability condition, we begin a systematic exploration of the relation between wall-crossing on the Bridgeland stability manifold and the minimal model program for these moduli spaces. We give three applications of our machinery to obtain new information about the classical moduli spaces of Gieseker-stable sheaves: 1) We obtain a region in the ample cone of the moduli space of Gieseker-stable sheaves which works for all unnodal Enriques surfaces. 2) We determine the nef cone of the Hilbert scheme of $n$ points on an unnodal Enriques surface in terms of the classical geometry of its half-pencils and the Cossec-Dolgachev $\phi$-function. 3) We recover some classical results on linear systems on Enriques surfaces and obtain some new ones about $n$-very ample line bundles., Comment: 52 pages, 1 figure. Fixed a mistake about primitive vectors of even rank and added some more explanation to the proof of Corollary 13.2. Comments Welcome! arXiv admin note: text overlap with arXiv:1203.4613 by other authors