Baohua Fu
We prove the conjecture that two projective symplectic resolutions for a symplectic variety $W$ are related by Mukai's elementary transformations over $W$ in codimension 2 in the following cases: (i). nilpotent orbit closures in a classical simple complex Lie algebra; (ii). some quotient symplectic varieties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove that in the parameter space of $M$-dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $\frac12 (M-9)(M-10)-1$.
We determine birational superrigidity for a quasi-smooth prime Fano 3-fold of codimension 4 with no projection centers. In particular we prove birational superrigidity for Fano 3-folds of codimension 4 with no projection centers which are recently constructed by Coughlan and Ducat. We also pose some questions and a conjecture regarding the classification of birationally superrigid Fano 3-folds.
In this paper we analyse the birational geometry of O'Grady ten dimensional manifolds, giving a characterisation of Kaehler classes and lagrangian fibrations. Moreover, we study symplectic compactifications of intermediate jacobian fibrations of smooth cubic fourfolds.
We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.
There is two group actions on the Fano scheme of lines such that the quotient becomes an irreducible symplectic manifold. We showed that both quotients are birational to the generalized Kummer variety or the 2-points Hilbert scheme of a K3 surface.
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational transformations of a projective irreducible holomorphic symplectic manifold is finitely generated.
Symplectic birational transformations of finite order on O'Grady's sixfolds
本文证明了OG6型流形上的有限阶辛自同构和双有理变换分别在BBF格与判别群上作用平凡，并分类了所有可能的不变与余不变子格。
Unfortunately, some proofs in the first version of this paper were incorrect. In this revised version, some minor gaps are fixed, one serious mistake found. The main theorem is now claimed only under a restrictive technical assumption. This invalidates the application to quotient singularities by the Weyl group of type $G_2$. Everything else still stands (in particular, the claim that every symplectic resolution is semismall).
Finite order symplectic birational self-maps on Kummer-type manifolds
研究Kummer型射影超kähler manifold 的有限阶辛理性自映射性质，证明除某些Picard rank 3情况外，此类映射均属于扭曲模形式，且通过Néron-Severi lattices完全刻画例外情况。
On the birational geometry of the parameter space for codimension 2 complete intersections
本文研究了2阶完全交集参数空间\bar{H}的理化几何，证明了其MMP收缩的存在性，并在特定情况下完成了MMP，进而证明了点Hilbert方案中存在完整曲线。
In this paper we prove the birational superrigidity of Fano-Mori fibre spaces $π\colon V\to S$, every fibre of which is a complete intersection of type $d_1\cdot d_2$ in the projective space ${\mathbb P}^{d_1+d_2}$, satisfying certain conditions of general position, under the assumption that the fibration $V/S$ is sufficiently twisted over the base (in particular, under the assumption that the $K$-condition holds). The condition of general position for every fibre guarantees that the global log canonical threshold is equal to one. This condition bounds the dimension of the base $S$ by a consta…
Classification of Symplectic Birational Involutions of Manifolds of $OG10$ type
本文通过三种技术（Leech格、三次四维流形、改进的Kneser邻域算法）完整分类了$OG10$型流形的辛双有理对合，得到三个几何实现的对合和三个例外对合。
On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type
本文证明了容许非平凡有限阶辛双有理自映射的K3$^{[n]}$型射影超kähler流形必同构于K3曲面上稳定（扭曲）凝聚层的模空间，并进一步刻画了层模空间可移动锥上由双有理对合产生的反射。
For a birational analogue of minimal elliptic surfaces X/Y, the singularities of the fibers define a log structure in codimension one on Y. Via base change, we have a log structure in codimension one on Y', for any birational model Y' of Y. We show that these codimension one log structures glue to a unique log structure, defined on some birational model of Y (Shokurov's BP Conjecture). We have three applications: inverse of adjunction for the above mentioned fiber spaces, the invariance of Shokurov's FGA-algebras under restriction to exceptional lc centers, and a remark on the moduli part of p…
In this paper we shall study symplectic resolutions of a nilpotent orbit closure of a complex simple Lie algebra \g. We shall introduce an equivalence relation in the set of parabolic subgroups of $G$ in terms of marked Dynkin diagrams. We start with a nilpotent orbit closure which admits a Springer resolution with a parabolic subgroup $P_0$ of $G$. Then we prove that all symplectic resolution of the nilpotent closure are Springer resolutions with $P$ which are equivalent to $P_0$. Here all symplectic resolutions are connected by Mukai flops. We need three types of Mukai flops (types A, D and …
We study the birational geometry of irreducible holomorphic symplectic varieties arising as varieties of lines of general cubic fourfolds containing a cubic scroll. We compute the ample and moving cones, and exhibit a birational automorphism of infinite order explaining the chamber decomposition of the moving cone.
Footnotes to the birational geometry of primitive symplectic varieties
本文将不可约全纯辛流形双有理几何的若干结果推广至奇异情形，补充了原始辛簇研究的相关注记。
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
We classify the group of birational automorphisms of Hilbert schemes of points on algebraic K3 surfaces of Picard rank one. We study whether these automorphisms are symplectic or non-symplectic and if there exists a hyperkähler birational model on which they become biregular. We also present new geometrical constructions of these automorphisms.
Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's reconstruction theorem and the fact that two varieties are birational if and only if they have the same function field.
The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic) manifolds always define non-separated points in the moduli space of marked manifolds. An affirmative answer is given for the cases of Mukai's elementary transformations and birational correspondences which are isomorphic in codimension two. The techniques are applied to show that the moduli spaces of rank two sheaves on a K3 surface are deformation equivalent …
A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symplectic manifold together with a symplectic submanifold. A direct consequence is that symplectic uniruledness is a symplectic birational invariant. Here we use Guillemin and Sternberg's notion of cobordism as the symplectic analogue of the birational equivalence.
We prove that any smooth complex projective variety with generic vanishing index bigger or equal than 2 has birational bicanonical map. Therefore, if X is a smooth complex projective variety X with maximal Albanese dimension and non-birational bicanonical map, then the Albanese image of X is fibered by subvarieties of codimension at most 1 of an abelian subvariety of Alb X.
This is a survey on symplectic birational geometry. In arbitrary dimension, this subject is centered around the notion of uniruledness. In low dimensions, we will also discuss Kodaira dimension and minimality.
We prove that the cone of mobile divisors and the cone of curves birationally movable in codimension 1 are dual in the $(K+B)$-negative part for a klt pair $(X/Z,B)$. We also prove the structure theorem and the contraction theorem for the expanded cone of curves birationally movable in codimension 1. The duality of the cones gives a partial answer to the problem posed by Sam Payne.
Let $f\colon X\dashrightarrow X$ be a bimeromorphic transformation of a complex irreducible symplectic manifold $X$. Some important dynamical properties of $f$ are encoded by the induced linear automorphism $f^*$ of $H^2(X,\mathbb Z)$. Our main result is that a bimeromorphic transformation such that $f^*$ has at least one eigenvalue with modulus $>1$ doesn't admit any invariant fibration (in particular its generic orbit is Zariski-dense).
Following Bayer and Macrì, we study the birational geometry of singular moduli spaces $M$ of sheaves on a K3 surface $X$ which admit symplectic resolutions. More precisely, we use the Bayer-Macrì map from the space of Bridgeland stability conditions $\mathrm{Stab}(X)$ to the cone of movable divisors on $M$ to relate wall-crossing in $\mathrm{Stab}(X)$ to birational transformations of $M$. We give a complete classification of walls in $\mathrm{Stab}(X)$ and show that every birational model of $M$ obtained by performing a finite sequence of flops from $M$ appears as a moduli space of Bridgeland …
We study the group of symplectic birational transformations of the plane. It is proved that this group is generated by $\mathrm{SL}(2,\mathbb{Z})$, the torus and a special map of order $5$, as it was conjectured by A. Usnich. Then we consider a special subgroup $H$, of finite type, defined over any field which admits a surjective morphism to the Thompson group of piecewise linear automorphisms of $\mathbb{Z}^2$. We prove that the presentation for this group conjectured by Usnich is correct.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
Extending some results of Crauder and Katz, and Ein and Shepherd-Barron on special Cremona transformations, we study birational transformations of the complex projective spaces onto prime Fano manifolds such that the base locus X of the transformations is smooth, irreducible and reduced. We get a complete classification when X has dimension 1, or dimension 2, or codimension 2. We also get partial results when X has dimension 3.
We investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli spaces of stable sheaves, and proving birational versions of Matsusaka's big theorem for holomorphic symplectic varieties. As a consequence of these results, we give a new geometric proof of the Tate conjecture for $K3$ surfaces over finite fields of characteristic at least $5$, and a simple proof of the Tate conjecture for $K3$ surfaces with Picard number a…
In this paper we shall prove that the singular locus of a symplectic singularity has no codimension 3 irreducible components. As a corollary, a symplectic singularity is terminal if and only if its singular locus has codimension $\geq 4$. It is hoped that a symplectic singularity has much stronger properties.
In this paper we describe the birational geometry of Fano double spaces $V\stackrelσ{\to}{\mathbb P}^{M+1}$ of index 2 and dimension $\geqslant 8$ with at mostquadratic singularities of rank $\geqslant 8$, satisfying certain additional conditions of general position: we prove that these varieties have no structures of a rationally connected fibre space over a base of dimension $\geqslant 2$, that every birational map $χ\colon V\dashrightarrow V'$ onto the total space of a Mori fibre space $V'/{\mathbb P}^1$ induces an isomorphism $V^+\cong V'$ of the blow up $V^+$ of the variety $V$ along $σ^{…
We prove birational superrigidity of Fano double hypersurfaces of index one with quadratic and multi-quadratic singularities, satisfying certain regularity conditions, and give an effective explicit lower bound for the codimension of the set of non-rigid varieties in the natural parameter space of the family. The lower bound is quadratic in the dimension of the variety. The proof is based on the techniques of hypertangent divisors combined with the recently discovered $4n^2$-inequality for complete intersection singularities.
In this paper, we shall prove that any two (projective) symplectic resolutions of a nilpotent orbit closure in a classical simple Lie algebra are connected by a finite sequence of diagrams which are locally trivial families of Mukai flops of type A or of type D. A Mukai flop of type A is the same as a stratified Mukai flop in our previous paper "Mukai flops and derived categories II". On the other hand, a Mukai flop of type D comes from a nilpotent orbit in so(2k). Let G^+ and G^- be two connected components of the orthogonal Grassmannian G_{iso}(k,2k). Then the closure of this orbit has two S…
We develop the quadratic technique of proving birational rigidity of Fano-Mori fibre spaces over a higher-dimensional base. As an application, we prove birational rigidity of generic fibrations into Fano double spaces of dimension $M\geqslant 4$ and index one over a rationally connected base of dimension at most $\frac12 (M-2)(M-1)$. An estimate for the codimension of the subset of hypersurfaces of a given degree in the projective space with a positive-dimensional singular set is obtained, which is close to the optimal one.
Two birational subvarieties of P^n are called Cremona equivalent if there is a Cremona modification of P^n mapping one to the other. If the codimension of the varieties is at least 2 then they are always Cremona Equivalent. For divisors the question is much more subtle and a general answer is unknown. In this paper I study the case of rational quartic surfaces and prove that they are all Cremona equivalent to a plane.
In this paper we prove birational superrigidity of finite covers of degree $d$ of the $M$-dimensional projective space of index 1, where $d\geqslant 5$ and $M\geqslant 10$, with at most quadratic singularities of rank $\geqslant 7$, satisfying certain regularity conditions. Up to now, only cyclic covers were studied in this respect. The set of varieties with worse singularities or not satisfying the regularity conditions is of codimension $\geqslant\frac12(M-4)(M-5)+1$ in the natural parameter space of the family.
We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. It turns out that this category has homological dimension c. As an application of this, we will describe the space of stability conditions on its derived category in the case c=1. Moreover, we describe all exact equivalences between these quotient categories in this particular case which is closely related to classification problems in birational geometry.
Birational rigidity of quartic three-folds with a double point of rank 3
本文证明复射影空间中仅含秩3二重点的一般四次三重流形具有双有理刚性，其双有理自映射群为25个2阶循环群的自由积，并由此推出刚性阶乘四次流形补集的余维数至少为3。
Factoriality and birational rigidity of two families of singular quartic three-folds
本文研究两个三维四次折面家族的阶乘性和双射刚性，分析其双射自映射群。
On birational automorphisms of double EPW-cubes
本文分类了 K3^[3]-型流形上的有限辛双有理自同构群，描述了光滑 double EPW-cube 的极化自同构群，并据此构造了具有大群辛作用且 Picard 秩极大的射影 hyperkaehler 流形实例。
Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type
本文分类了 $OG10$ 型 IHS 流形上忠实辛双有理变换的有限群，证明其作用共轭于 375 个等距群的子群，并给出由三次四重体自同构决定的准则，结果经计算机辅助验证并公开于 Zenodo。
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
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 na…
Let $f \colon X \to Y$ be the blow-up of a smooth projective variety $Y$ along its codimension two smooth closed subvariety. In this paper, we show that the moduli space of stable sheaves on $X$ and $Y$ are connected by a sequence of flip-like diagrams. The result is a higher dimensional generalization of the result of Nakajima and Yoshioka, which is the case of $\dim Y=2$. As an application of our general result, we study the birational geometry of the Hilbert scheme of two points.
Bloch's conjecture for (anti-)autoequivalences on K3 surfaces
本文通过引入扭曲K3曲面的反射自等价性概念并利用Cartan-Dieudonné型分解，证明了皮卡数至少为3的K3曲面上所有（反）辛自等价性的布洛赫猜想，并将其推广到超凯勒簇的双有理自同构及反辛对合情形。
Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with coefficients in $\mathbb Q$. Assume $X$ is birationally equivalent to another threefold $X'$ admitting a fibration over an integral curve $C$ whose generic fiber $X'_{\bar η}$, where $\bar η=Spec(\bar {k(C)})$, satisfies the following three conditions: (i) the motive $M(X'_{\bar η})$ is finite-dimensional, (ii) $H^1_{et}(X_{\bar η},\mathbb Q_l)=0$ and (iii) $H^2_{et}…
We give a construction of completely integrable 4-dimensional Hamiltonian systems with cubic Hamilton functions. Applying to the corresponding pairs of commuting quadratic Hamiltonian vector fields the so called Kahan-Hirota-Kimura discretization scheme, we arrive at pairs of birational 4-dimensional maps. We show that these maps are symplectic with respect to a symplectic structure that is a perturbation of the standard symplectic structure on $\mathbb R^4$, and possess two independent integrals of motion, which are perturbations of the original Hamilton functions. Thus, these maps are comple…
A birational map from a projective space onto a not too much singular projective variety with a single irreducible non-singular base locus scheme (special birational transformation) is a rare enough phenomenon to allow meaningful and concise classification results. We shall concentrate on transformations defined by quadratic equations onto some varieties (especially projective hypersurfaces of small degree), where quite surprisingly the base loci are interesting projective manifolds appearing in other contexts; for example, exceptions for adjunction theory, small degree or small codimensional …
We prove that there are finitely many families, up to isomorphism in codimension one, of elliptic Calabi-Yau manifolds $Y\rightarrow X$ with a rational section, provided that $\dim(Y)\leq 5$ and $Y$ is not of product-type. As a consequence, we obtain that there are finitely many possibilities for the Hodge diamond of such manifolds. The result follows from log birational boundedness of klt pairs $(X, Δ)$ with $K_X+Δ$ numerically trivial and not of product-type, in dimension at most $4$.
The notion of a holomorphically symplectic manifold can be generalized to the singular one. This paper studies the birational contraction maps between symplectic varieties, and then describes the deformation of a symplectic variety which has a symplectic resolution. Some examples are also included.
Similarly to our papers I and II on the subject (see arXiv:1403.6061 and arXiv:1504.00326), we classify degenerations of codimension 2 and higher of Kahlerian K3 surfaces with finite symplectic automorphism groups. In parts I and II, it was done for the codimension one.
We prove that every projectively normal Fano manifold in $\mathbb{P}^{n+r}$ of index $1$, codimension $r$ and dimension $n\geq 10r$ is birationally superrigid and K-stable. This result was previously proved by Zhuang under the complete intersection assumption.
We construct a finite dimensional Kaehler manifold with a holomorphic, symplectic circle action whose symplectic reduced spaces may be identified with the tau-vortex moduli spaces (or tau-stable pairs). The Morse theory of the circle action induces natural birational maps between the reduced spaces for different values of tau which in the case of rank two bundles can be canonically resolved in a sequence of blow-ups and blow-downs.
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.
The notion of d-critical loci was introduced by Joyce in order to give classical shadows of $(-1)$-shifted symplectic derived schemes. In this paper, we discuss birational geometry for d-critical loci, by introducing notions such as `d-critical flips', `d-critical flops', etc. They are not birational maps of the underlying spaces, but rather should be understood as virtual birational maps. We show that several wall-crossing phenomena of moduli spaces of stable objects on Calabi-Yau 3-folds are described in terms of d-critical birational geometry. Among them, we show that wall-crossing diagrams…
We give a construction of completely integrable ($2n$)-dimensional Hamiltonian systems with symplectic brackets of the Lie-Poisson type (linear in coordinates) and with quadratic Hamilton functions. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational ($2n$)-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of the original symplectic structure on $\mathbb R^{2n}$, and possesses $n$ independent integrals of motion, which are perturbations of the original Hamilton functions …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。