Piecewise morphisms of birational foliated varieties

Birational morphisms and Poisson moduli spaces

We study birational morphisms between smooth projective surfaces that respect a given Poisson structure, with particular attention to induced birational maps between the (Poisson) moduli spaces of sheaves on those surfaces. In particular, to any birational morphism, we associate a corresponding "minimal lift" operation on sheaves of homological dimension <=1, and study its properties. In particular, we show that minimal lift induces a stratification of the moduli space of simple sheaves on the codomain by open subspaces of the moduli space of simple sheaves on the domain, compatibly with the i…

Numerical properties of exceptional divisors of birational morphisms of smooth surfaces

We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality on the number of canonical singularities on a projective normal surface with non-negative Kodaira dimension to the non minimal case, obtaining a slightly better result than known extensions by Megyesi and Langer.

Poisson structures and birational morphisms associated with bundles on elliptic curves

In this paper we define a Poisson structure on some moduli spaces related to principal G-bundles on elliptic curves, the simplest example being the moduli space of stable pairs: a vector bundle and its global section. We also study birational morphisms between projective spaces appearing as such moduli spaces.

$F$-signature under birational morphisms

We study $F$-signature under proper birational morphisms $π: Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq π^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature dropping and Hilbert-Kunz multiplicity increasing under birational maps without these hypotheses.

关于叶状曲面的模空间

On moduli of foliated surfaces

该研究给出叶状结构稳定族的定义，证明叶状曲面的模函子可由德利涅-芒福德叠层表示，解决叶状曲面模空间的表示问题。

Birational morphisms of the plane

Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings ϕof the polynomial algebra K[x,y] such that for the quotient fields, one has K(ϕ(x), ϕ(y)) = K(x,y). Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping τ_x given by x \to x, y \to xy. For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of τ_x. This question was answered in the negative by P. Russell (in an informal communication)…

潜在klt簇上代数可积叶状结构之间的翻转变换

Flop between algebraically integrable foliations on potentially klt varieties

该研究证明潜在klt簇上lc代数可积叶状三元组的极小模型可经翻转变换连接，还探讨了三维非代数可积叶状结构极小模型的联系。

On a vanishing theorem for birational morphisms of threefolds in positive and mixed characteristics

We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue characteristic p greater than five. In large enough residue characteristics, we prove a Grauert Riemenschneider theorem over threefold log canonical singularities with standard coefficients. These vanishing theorems can also be used to study the depth of log canonical singularities at non log canonical centers, as well as the singularities of the log canonical centers…

Toric Fano varieties and birational morphisms

In this paper we study smooth toric Fano varieties using primitive relations and toric Mori theory. We show that for any irreducible invariant divisor D in a toric Fano variety X, we have $0\leqρ_X-ρ_D\leq 3$, for the difference of the Picard numbers of X and D. Moreover, if $ρ_X-ρ_D>0$ (with some additional hypotheses if $ρ_X-ρ_D=1$), we give an explicit birational description of X. Using this result, we show that when dim X=5, we have $ρ_X\leq 9$. In the second part of the paper, we study equivariant birational morphisms f whose source is Fano. We give some general results, and in dimension …

有理奇点与 $q$-双有理态射

Rational singularities and $q$-birational morphism

本文推广了任意秩为1的反射层的奇点概念，将其与[Kov11]中的有理奇点联系起来，并证明了有理奇点标准事实的推广；通过定义非有理点集，引入$(B_{q+1})$作为Serre的$(S_{q+1})$的对偶概念，并证明了关于$q$-双有理态射的定理。

关于带有环面作用的log Calabi-Yau对的Albanese映射的birational isotrivial性

On the birational isotriviality of the Albanese morphism of a log Calabi-Yau pair with a torus action

本文研究了带有环面作用的log Calabi-Yau对的Albanese映射的birational isotrivial性，证明了在特定条件下，Albanese映射的两个一般纤维是birationally等价的。

On the birational geometry of toric Fano 4-folds

We announce a factorization result for equivariant birational morphisms between toric 4-folds whose source is Fano: such a morphism is always a composite of blow-ups along smooth invariant centers. Moreover, we show with a counterexample that, differently from the 3-dimensional case, even if both source and target are Fano, the intermediate varieties can not be chosen Fano.

On relative birational geometry and Nagata's compactification

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.

Three-dimensional toric morphisms with anti-nef canonical divisors

In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.

光滑仿射二次三维簇的一些有趣双有理态射

Some interesting birational morphisms of smooth affine quadric $3$-folds

本文研究复光滑仿射二次三维簇上一族多项式诱导的双有理映射，揭示其上同调双曲性、非代数整数的第二动力学度及周期点增长与代数熵的差异，并结合 Bertini 实验验证。

Birational characterization of abelian varieties and ordinary abelian varieties in characteristic p>0

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 $κ_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 $κ(X)=0$, and the Albanese morphism $a: X \to A$ is generically finite. Along the way, we also show that if $κ_S (X)=0$ (or if $κ(X)=0$ and $a$ is generically finite) then the A…

Cox rings of morphisms and resolution of singularities

We extend the Cox-Hu-Keel construction of the Cox rings to any proper birational morphisms of normal noetherian schemes. It allows the representation of any proper birational morphism by a map of schemes with mild singularities with torus actions. In a particular case, the notion generalizes the combinatorial construction of Satriano and the recent construction of multiple weighted blow-ups on Artin-stacks by Abramovich-Quek. The latter can be viewed as an extension of stack theoretic blow-ups by Abramovich, Temkin, and Wlodarczyk, a similar construction of McQuillan and the author's recent co…

Birational contraction of genus two tails in the moduli space of genus four curves I

We show that for $α\in (2/3, 7/10)$, the log canonical model $\bar M_4(α)$ of the pair $(\bar M_4, αδ)$ is isomorphic to the moduli space $\bar M_4^{hs}$ of h-semistable curves, and that there is a birational morphism $Ξ: \bar M_4^{hs} \to \bar M_4(2/3)$ that contracts the locus of curves $C_1\cup_p C_2$ consisting of genus two curves meeting in a node $p$ such that $p$ is a Weierstrass point of $C_1$ or $C_2$. To obtain this morphism, we construct a compact moduli space $\bar M_{2,1}^{hs}$ of pointed genus two curves that have nodes, ordinary cusps and tacnodes as singularity, and prove that …

Blowups and fibers of morphisms

Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is b…

On the birational geometry of varieties of maximal Albanese dimension

We study the birational geometry of varieties of maximal Albanese dimension. In particular we discuss criteria for a generically finite morphism of varieties of maximal Albanese dimension to be birational; we give a new characterization of Theta divisors; we study the Albanese map and refine some of the results of Kollár; finally we use these results to birationally classify varieties with $P_3(X)=2$ and $q(X)=dim (X)$. Our method combines the generic vanishing theorems of Green and Lazarsfeld, the theory of Fourier Mukai transforms and the results of Kollàr on higher direct images of dualizin…

非交换沙漏 II 1/2：具有良构奇点的双有理联络的导出范畴

Noncommutative Hourglasses II 1/2: Derived Category of Birational Linkage with Well-Formed Singularities

本文针对奇点为环面上奇点内完全交的良构簇，将有界凝聚层导出范畴的经典公式推广到奇异情形，并讨论终复三维簇及其栈间态射的Bondal-Orlov局部化问题。

On Picard bundles over Prym varieties

We study the birationality (onto its image) of the Abel-Prym morphism associated with a Prym-Tuyrin variety. We use such result to prove that Picard bundles over Prym varieties are simple and moreover they are stable when the Abel-Prym morphism is not birational. As a consequence we obtain that Picard bundles over moduli spaces of stable vector bundles with fixed determinant are simple. We prove that Picard bundles over moduli spaces of rank 2 vector bundles on curves of genus 2 bundles are stable.

On the exceptional locus of the birational projections of normal surface singularity into a plane

Given a normal surface singularity $(X, Q)$ and a birational morphism to a non- singular surface $π: X \to S$, we investigate the local geometry of the exceptional divisor $L$ of $π$. We prove that the dimension of the tangent space to $L$ at $Q$ equals the number of exceptional components meeting at $Q$. Consequences relative to the existence of such birational projections contracting a prescribed number of irreducible curves are deduced. A new characterization of minimal singularities is obtained in these terms.

Birational cobordisms and factorization of birational maps

In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally étale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties. A crucial role in the considerations is played by K^*-actions where K is the base field. This paper serves as a basis for proving the weak factorization conjecture on factorization of birational maps in characteristic zero into blow-ups and blow-downs. This is carried out in two subsequent papers, o…

基本群概形的双有理不变性

The Birational Invariance Of Fundamental Group Schemes

本文建立了Tannakian范畴间自然同态成为同构的统一准则，并证明在完美域上光滑射影簇的双有理映射下，多种基本群概形（如S、N、EN等）均自然同构。

A small resolution for triple covers in algebraic geometry

Given a triple cover p: X --> Y of varieties, we produce a new variety Z and a birational morphism f: Z --> X which is an isomorphism away from the fat-point ramification locus of p. The variety Z has a natural interpretation in terms of the data describing the triple cover, and the morphism f has an elegant geometric description.

Note on quasi-polarized canonical Calabi-Yau threefolds

Let $(X,L)$ be a quasi-polarized canonical Calabi-Yau threefold. In this note, we show that $\vert mL\vert$ is basepoint free for $m\geq 4$. Moreover, if the morphism $Φ_{\vert 4L\vert}$ is not birational onto its image and $h^0(X,L)\geq 2$, then $L^3=1$. As an application, if $Y$ is a $n$-dimensional Fano manifold such that $-K_Y=(n-3)H$ for some ample divisor $H$, then $\vert mH\vert$ is basepoint free for $m\geq 4$ and if the morphism $Φ_{\vert 4H\vert}$ is not birational onto its image, then $Y$ is either a weighted hypersurface of degree $10$ in the weighted projective space $\mathbb{P}(1…

Weak toroidalization over non-closed fields

We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously proved by the first and third author when k is algebraically closed. Moreover we show that certain additional requirements can be satisfied.

广义 Hessenberg 簇的双有理几何与广义 Shareshian-Wachs 猜想

Birational geometry of generalized Hessenberg varieties and the generalized Shareshian-Wachs conjecture

本文引入广义 Hessenberg 簇，证明对称群作用的扩展性，通过双有理几何分析给出 Shareshian-Wachs 猜想及其推广的初等证明，并提出两种计算上同调表示的算法。

关于四次曲线与三次曲面的 Hessian 映射的双有理性

On the birationality of the Hessian maps of quartic curves and cubic surfaces

本文证明四次平面曲线的 Hessian 映射是到其像的双有理态射，为 Ciliberto-Ottaviani 猜想提供新证据，并用新方法简化了三次曲面相应性质的证明。

On the birational geometry of Fano 4-folds

We study the birational geometry of a Fano 4-fold X from the point of view of Mori dream spaces; more precisely, we study rational contractions of X. Here a rational contraction is a rational map f: X-->Y, where Y is normal and projective, which factors as a finite sequence of flips, followed by a surjective morphism with connected fibers. Such f is called elementary if the difference of the Picard numbers of X and Y is 1. We first give a characterization of non-movable prime divisors in X, when X has Picard number at least 6; this is related to the study of birational and divisorial elementar…

Non-locally-free locus of O'Grady's ten dimensional example

We give a completely explicit description of the fibers of the natural birational morphism from O'Grady's ten dimensional singular moduli space of sheaves on a K3 surface to the corresponding Donaldson-Uhlenbeck compactification.

Local factorization and monomialization of morphisms

Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X and Y' to Y so that X' to Y' is a monomial mapping at the center of v. We deduce from this that a birational morphism of nonsingular varieties can be factored along a valuation by a sequence of blowups and blowdowns with nonsingular centers.

曲面上的稳定性条件与曲线收缩

Stability conditions on surfaces and contractions of curves

研究源自双有理态射的光滑曲面上的Bridgeland稳定性条件，在ADE或循环商奇点下构造预稳定性条件并证明支持性质，同时证明此类态射不能收缩正亏格的光滑曲线。

Morphisms of Projective Varieties from the viewpoint of Minimal Model Theory

In this Lecture Notes we present, in a sufficiently self contained way, our contributions and interests in the field of Minimal Model Theory. We study Fano-Mori spaces, both from the biregular and the birational point of view. For the former we recall and develop Kawamata's Base Point Free technique and some of Mori's deformation arguments. For the latter we lean on Sarkisov and #-Minimal Model Programs. In writing these notes we want to give our point of view on this area of research. We are not trying to give a treatment of the whole subject. These notes collect some topics we presented in t…

Some remarks about the Zariski topology of the Cremona group

For an algebraic variety $X$ we study the behavior of algebraic morphisms from an algebraic variety to the group $\bir(X)$ of birational maps of $X$ and obtain, as application, some insight about the relationship between the so-called Zariski topology of $\bir(X)$ and the algebraic structure of this group, where $X$ is a rational variety.

A note on semiorthogonal decompositions for Fano fibrations

Fano fibrations arise naturally in the birational classification of algebraic varieties. We show that these morphisms always induce a semiorthogonal decomposition on the derived category of the fibred space, extending classic results such as Orlov's projective bundle formula to the non-flat and singular case.

On the characterization of abelian varieties for log pairs in zero and positive characteristic

Let $(X,Δ)$ be a pair. We study how the condition $κ(K_X + Δ)=0$ causes surjectivity or birationality of the Albanese map and the Albanese morphism of $X$ in both characteristic $0$ and characteristic $p > 0$. In particular in characteristic $0$ we generalize Kawamata's result to the cases of log canonial pairs, and in characteristic $p>0$ we generalize a result of Hacon-Patakfalvi to the cases of log pairs. Moreover we show that if $X$ is a normal projective threefold in characteristic $p>0$, the coefficients of the components of $Δ$ are $\le 1$ and $-(K_X+Δ)$ is semiample, then the Albanese …

Special orbifolds and birational classification: a survey

We shall show how to decompose, by functorial and canonical fibrations, arbitrary $n$-dimensional complex projective {Although the geometric results apply to compact K\" ahler manifolds without change, we consider here for simplicity this special case only.} varieties $X$ into varieties (or rather ` geometric orbifolds\rq $)$ of one of the three \pure geometries determined by the `sign' (negative, zero, or positive) of the canonical bundle. These decompositions being birationally invariant, birational versions of these \pure geometries, based on the \canonical (or ` Kodaira\rq $)$ dimension wi…

Line bundles of type (1,,,1,2,,,2,4,,,4) on Abelian Varieties

We show birationality of the morphism associated to line bundles $L$ of type $(1,...,1,2,...,2,4,...,4)$ on a generic $g-$dimensional abelian variety into its complete linear system such that $h^0(L)=2^g$. When $g=3$, we describe the image of the abelian threefold and from the geometry of the moduli space $SU_C(2)$ in the linear system $|2θ_C|$, we obtain analogous results in $\p H^0(L)$.

普通阿贝尔簇的有效刻画及拓展研究

Effective characterization of ordinary abelian varieties, and beyond

该研究在正特征代数几何领域，证明了满足特定条件的正规真簇的Albanese态射性质及对应Albanese簇的普通性，并给出复阿贝尔簇有效双有理刻画的纯正特征新证明。

On varieties of maximal Albanese dimension

Let $f: X\to Y$ be a surjective morphism of smooth $n$-dimensional projective varieties, with $Y$ of maximal Albanese dimension. Hacon and Pardini studied the structure of $f$ assuming $P_m(X)=P_m(Y)$ for some $m\geq 2$. We extend their result by showing that, under the above assumtions, $f$ is birationally equivalent to a quotient by a finite abelian group. We also study the pluricanonical map of varieties of maximal Albanese dimesnion. The main result is that the linear series $|5K_X|$ incuces the Iitaka model of $X$.

源于对称张量代数的辛奇点

Symplectic singularities arising from algebras of symmetric tensors

本文研究射影流形对称张量代数导出的仿射化态射，证明了其双有理性与切丛丰富性的关系，并在 $\mathbb{P} T_X$ 为 Fano 型时构造出辛轨锥。