Tori in symplectic 4-manifolds
英文摘要:
We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
Ronald Fintushel, Ronald J Stern
We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
继续探索
Almost toric manifolds form a class of singular Lagrangian fibered symplectic manifolds that is a natural generalization of toric manifolds. Notable examples include the K3 surface, the phase space of the spherical pendulum and rational balls useful for symplectic surgeries. The main result of the paper is a complete classification up to diffeomorphism of closed almost toric four-manifolds. A key step in the proof is a geometric classification of the singular affine structures that can occur on the base of a closed almost toric four-manifold.
Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber class of the rational elliptic surface E(1) (complex projective plane blown-up at nine branch points of a generic pencil of cubic curves). We also show how these tori can be non-isotopically and symplectically embedded in many other symplectic 4-manifolds.
This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connected symplectic 4-manifolds known to exhibit such property.
For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic 4-manifolds.
For each member of an infinite family of homology classes in the K3-surface E(2), we construct infinitely many non-isotopic symplectic tori representing this homology class. This family has an infinite subset of primitive classes. We also explain how these tori can be non-isotopically embedded as homologous symplectic submanifolds in many other symplectic 4-manifolds including the elliptic surfaces E(n) for n>2.
In \cite{btoric}, Guillemin et al. proved a Delzant-type theorem which classifies $b$-symplectic toric manifolds. More generally, in \cite{torus} they proved a similar convexity result for general Hamiltonian torus action on $b$-symplectic manifolds. In this paper, we provide a new way to construct $b$-symplectic toric manifolds from usual toric manifolds. Conversely, through this way, we can also decompose a $b$-symplectic toric manifolds to usual toric manifolds. Finally, we will try to prove that this kind of decomposition is useful, although the symplectic structure for our decomposition o…
Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive homology class in E(1)_K when K is any nontrivial fibred knot in S^3. We also show how these tori can be non-isotopically embedded as homologous symplectic submanifolds in other symplectic 4-manifolds.
We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.
A near-symplectic structure on a 4-manifold is a closed 2-form that is symplectic away from the 1-dimensional submanifold along which it vanishes and that satisfies a certain transversality condition along this vanishing locus. We investigate near-symplectic 4-manifolds equipped with singular Lagrangian torus fibrations which are locally induced by effective Hamiltonian torus actions. We show how such a structure is completely characterized by a singular integral affine structure on the base of the fibration whenever the vanishing locus is nonempty. The base equipped with this geometric struct…
The purpose of this note is to present a construction of an infinite family of symplectic tori T_{p} representing an arbitrary multiple of the homology class of the fiber of an elliptic surface E(n), for n > 2, such that, for i \neq j, there is no orientation-preserving diffeomorphism between (E(n),T_{i}) and (E(n),T_{j}). In particular, these tori are mutually nonisotopic. This complements previous results of Fintushel and Stern, showing in particular the existence of such phenomenon for a primitive class.
Two-dimensional equivariant symplectic submanifolds in toric manifolds
本文通过结合凸几何与局部模型,研究二维等价辛子流形在toric流形中的判定准则。
Product Lagrangian tori in standard symplectic space $R^{2n}$ were classified up to symplectomorphism in [Che96]. We extend this classification to tame symplectically aspherical symplectic manifolds. We show by examples that the asphericity assumption cannot be omitted.
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be chosen to be Lagrangian outside of a disc.
On the topology of real Lagrangians in toric symplectic manifolds
本文研究环面辛流形中由矩多面体对合对称性产生的实拉格朗日子流形,建立Delzant构造的实类比,证明其微分同胚类型由组合数据决定,并实现环面辛del Pezzo曲面上所有可能的连通实拉格朗日微分同胚类型。
The goal of this paper is to classify symplectic toric stratified spaces with isolated singularities. This extends a result of Burns, Guillemin, and Lerman which carries out this classification in the compact connected case. In making this classification, it is necessary to classify symplectic toric cones. Via a well-known equivalence between symplectic toric cones and contact toric manifolds, this allows for the classification of contact toric manifolds as well, extending Lerman's classification of compact connected contact toric manifolds.
Mixed tori in contact surgery diagrams
本研究提出将辛JSJ分解应用于三维切触流形切触手术图的图示框架,可推导原流形的恰当/弱辛填充,既重现已知分类结果,又给出大类配边三维流形的填充分类算法。
Concave symplectic toric fillings
本文研究了接触toric3维流形的凹型辛填充结构,证明了其存在无限多个互不equivariant辛同构且不通过吹胀操作相关的填充。
Given a fibration of a symplectic manifold by lagrangian tori, we show that each symplectic vector field splits into two parts : the first is Hamiltonian and the second is symplectic and preserves the fibration. We then show an application of this result in the study of the regular deformations of completely integrable systems.
Like (co)homology group theory of formal Hamiltonian vector fields on symplectic vector spaces, we try studying homology group theory on symplecit tori introducing the notion of weight.
We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two.
In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symplectomorphisms necessary to answer this question. As a consequence we prove that symplectic cohomological rigidity holds for the family of symplectic Bott manifolds with rational symplectic form whose…
We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W.
In this paper we give concrete estimations for the pseudo symplectic capacities of toric manifolds in combinatorial data. Some examples are given to show that our estimates can compute their pseudo symplectic capacities. As applications we also estimate the symplectic capacities of the polygon spaces. Other related results are impacts of symplectic blow-up on symplectic capacities, symplectic packings in symplectic toric manifolds, the Seshadri constant of an ample line bundle on toric manifolds, and symplectic capacities of symplectic manifolds with $S^1$-action.
An effective class in a closed symplectic four-manifold $(X, ω)$ is a two-dimensional homology class which is realized by a $J$-holomorphic cycle for every tamed almost complex structure $J$. We prove that effective classes are orthogonal to Lagrangian tori in $H_2 (X ; \Bbb{Z})$.
We define new Hamiltonian isotopy invariants for a monotone Lagrangian torus embedded in a symplectic 4-manifold. We show that, in the standard symplectic 4-space, these invariants distinguish a monotone Clifford torus from a Chekanov torus.
We compute the semiclassical formulas for the partition functions obtained using two different Lagrangians: the Chern-Simons functional and the symplectic action functional.
Folded Symplectic Toric Four-Manifolds
本文证明了在轨道空间二阶整系数上同调平凡且存在保持轨道矩映射的带角流形微分同胚时,两个可定向四维折叠辛环面流形同构。
We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to a weakly convex good cone by the cutting construction. (Note that these toric contact manifolds can not be constructed by Delzant construction.) We further prove there are no toric Sasakian structures on these contact manifolds. From this, contact toric manifolds of toric K-cont…
Given two $2n$--dimensional symplectic ellipsoids whose symplectic sizes satisfy certain inequalities, we show that a certain map from the $n$--torus to the space of symplectic embeddings from one ellipsoid to the other induces an injective map on singular homology with mod $2$ coefficients. The proof uses parametrized moduli spaces of $J$--holomorphic cylinders in completed symplectic cobordisms.
This paper introduces two-dimensional diagrams that are slight generalizations of moment map images for toric four-manifolds and catalogs techniques for reading topological and symplectic properties of a symplectic four-manifold from these diagrams. The paper offers a purely topological approach to toric manifolds as well as methods for visualizing other manifolds, including the K3 surface, and for visualizing certain surgeries. Most of the techniques extend to higher dimensions.
According to Lerman, compact connected toric contact 3-manifolds with a non-free toric action whose moment cone spans an angle greater than $π$ are overtwisted, thus non-fillable. In contrast, we show that all compact connected toric contact manifolds in dimension greater than three are weakly symplectically fillable and most of them are strongly symplectically fillable. The proof is based on the Lerman's classification of toric contact manifolds and on our observation that the only contact manifolds in higher dimensions that admit free toric action are the cosphere bundle of $T^d, d\geq3$ $(T…
We prove a version of Sandon's conjecture on the number of translated points of contactomorphisms for the case of prequantization bundles over certain closed monotone symplectic toric manifolds. Namely we show that any contactomorphism of such a prequantization bundle lying in the identity component of the contactomorphism group possesses at least $N$ translated points, where $N$ is the minimal Chern number of the symplectic toric manifold. The proof relies on the theory of generating functions coupled with equivariant cohomology, whereby we adapt Givental's approach to the Arnold conjecture f…
Delzant's theorem for symplectic toric manifolds says that there is a one-to-one correspondence between certain convex polytopes in $\mathbb{R}^n$ and symplectic toric $2n$-manifolds, realized by the image of the moment map. I review proofs of this theorem and the convexity theorem of Atiyah-Guillemin-Sternberg on which it relies. Then, I describe Honda's results on the local structure of near-symplectic 4-manifolds, and inspired by recent work of Gay-Symington, I describe a generalization of Delzant's theorem to near-symplectic toric 4-manifolds. One interesting feature of the generalization …
We consider two natural Lagrangian intersection problems in the context of symplectic toric manifolds: displaceability of torus orbits and of a torus orbit with the real part of the toric manifold. Our remarks address the fact that one can use simple cartesian product and symplectic reduction considerations to go from basic examples to much more sophisticated ones. We show in particular how rigidity results for the above Lagrangian intersection problems in weighted projective spaces can be combined with these considerations to prove analogous results for all monotone toric symplectic manifolds…
We give an explicit formula for the Gromov width for a class of symplectic toric manifolds constructed from simple graphs. As a corollary, we show a version of non-squeezing theorem with respect to the inclusion of connected graphs.
Let M be a symplectic-toric manifold of dimension at least four. This paper investigates the so called symplectic ball packing problem in the toral equivariant setting. We show that the set of toric symplectic ball packings of M admits the structure of a convex polytope. Previous work of the first author shows that up to equivalence, only CP^1 x CP^1 and CP^2 admit density one packings when n=2 and only CP^n admits density one packings when n>2. In contrast, we show that for a fixed n>=2 and each r in (0, 1), there are uncountably many inequivalent 2n-dimensional symplectic-toric manifolds wit…
A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant's classification to non-compact symplectic toric manifolds. For a non-compact symplectic toric manifold the image of the moment map nee…
Symplectic mapping class groups of blowups of tori
该研究针对满足可经任意小扰动实现的无理性条件的实4维环面T⁴上的Kaehler形式ω,证明其单点辛爆破的光滑平凡辛映射类群是无限生成的。
Given a symplectic manifold, we ask in how many different ways can a torus act on it. Classification theorems in equivariant symplectic geometry can sometimes tell that two Hamiltonian torus actions are inequivalent, but often they do not tell whether the underlying symplectic manifolds are (non-equivariantly) symplectomorphic. For two dimensional torus actions on closed symplectic four-manifolds, we reduce the counting question to combinatorics, by expressing the manifold as a symplectic blowup in a way that is compatible with all the torus actions simultaneously. For this we use the theory o…
Symplectic capacities of disc cotangent bundles of flat tori
本文证明了平坦Riemannian环面及Finsler环面单位圆盘余切丛上的归一化容量等于2倍systole。
We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
Recently, extending work by Karshon, Kessler and Pinsonnault, Borisov and McDuff showed that a given symplectic manifold $(M,ω)$ has a finite number of distinct toric structures. Moreover, McDuff also showed a product of two projective spaces $\bC P^r\times \bC P^s$ with any given symplectic form has a unique toric structure provided that $r,s\geq 2$. In contrast, the product $\bC P^r \times \bC P^1$ can be given infinitely many distinct toric structures, though only a finite number of these are compatible with each given symplectic form $ω$. In this paper we extend these results by considerin…
Given a $G$-toric, folded-symplectic manifold with co-orientable folding hypersurface, we show that its orbit space is naturally a manifold with corners $W$ equipped with a smooth map $ψ: W \to \frak{g}^*$, where $\frak{g}^*$ is the dual of the Lie algebra of the torus, $G$. The map $ψ$ has fold singularities at points in the image of the folding hypersurface under the quotient map to $W$ and it is a unimodular local embedding away from these points. Thus, to every $G$-toric, folded-symplectic manifold we can associate its orbit space data $ψ:W \to \frak{g}^*$, a unimodular map with folds. We …
We derive constraints on Lagrangian embeddings in completions of certain stable symplectic fillings with semisimple symplectic cohomologies. Manifolds with these properties can be constructed by generalizing the boundary connected sum operation to our setting, and are related to certain birational surgeries like blow-downs and flips. As a consequence, there are many non-toric (non-compact) monotone symplectic manifolds whose wrapped Fukaya categories are proper.
We discuss the construction of toric Kaehler metrics on symplectic 2n-manifolds with a hamiltonian n-torus action and present a simple derivation of the Guillemin formula for a distinguished Kaehler metric on any such manifold. The results also apply to orbifolds.
We set up a topological framework for degenerations of symplectic manifolds into singular spaces paying a special attention to the behavior of Lagrangian manifolds and their (holomorphic) membranes. We show that degenerations into singular toric varieties provide a source of exotic Lagrangian tori.
This is a collection of results on the topology of toric symplectic manifolds. Using an idea of Borisov, we show that a closed symplectic manifold supports at most a finite number of toric structures. Further, the product of two projective spaces of complex dimension at least two (and with a standard product symplectic form) has a unique toric structure. We then discuss various constructions, using wedging to build a monotone toric symplectic manifold whose center is not the unique point displaceable by probes, and bundles and blow ups to form manifolds with more than one toric structure. The …
We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of the torus action and of the symplectic form. We construct explicit models of such symplectic manifolds with torus actions, defined in terms of these invariants. We also classify, up to equivariant symplectomorphisms, symplectic actions of (2n-2)-dimensional tori on 2n-dimensional s…
In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$.
Exact Lagrangian tori in symplectic Milnor fibers constructed with fillings
本文利用精确拉格朗日填充和 Weinstein 把体图,在正模数孤立超曲面奇点的 4 维 Milnor 纤维中构造了无限多个不同的精确拉格朗日环面,并推广了判断 Weinstein 4-流形辛同调非零的准则。
We study Hamiltonian actions on $b$-symplectic manifolds with a focus on the effective case of half the dimension of the manifold. In particular, we prove a Delzant-type theorem that classifies these manifolds using polytopes that reside in a certain enlarged and decorated version of the dual of the Lie algebra of the torus.
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
In the same way that a contact manifold determines and is determined by a symplectic cone, a Sasaki manifold determines and is determined by a suitable Kahler cone. Kahler-Sasaki geometry is the geometry of these cones. This paper presents a symplectic action-angle coordinates approach to toric Kahler geometry and how it was recently generalized, by Burns-Guillemin-Lerman and Martelli-Sparks-Yau, to toric Kahler-Sasaki geometry. It also describes, as an application, how this approach can be used to relate a recent new family of Sasaki-Einstein metrics constructed by Gauntlett-Martelli-Sparks-W…
In a recent paper Donaldson explains how to use an older construction of Joyce to obtain four dimensional local models for scalar-flat Kahler metrics with a 2-torus symmetry. Using this idea, he recovers and generalizes the Taub-NUT metric by including it in a new family of complete scalar-flat toric Kahler metrics. In this paper we generalize Donaldson's method and construct complete scalar-flat toric Kahler metrics on any symplectic toric 4-manifold with "strictly unbounded" moment polygon. These include the asymptotic locally Euclidean scalar-flat Kahler metrics previously constructed by Ca…
We define an simple invariant of an embedded nullhomologous Lagrangian torus and use this invariant to show that many symplectic 4-manifolds have infinitely many pairwise symplectically inequivalent nullhomologous Lagrangian tori. We further show that for a large class of examples that lambda(T) is actually a C-infinity invariant. In addition, this invariant is used to show that many symplectic 4-manifolds have nontrivial homology classes which are represented by infinitely many pairwise inequivalent Lagrangian tori, a result first proved by S Vidussi for the homotopy K3-surface obtained from …
Can a given Lagrangian submanifold be realized as the fixed point set of an anti-symplectic involution? If so, it is called \emph{real}. We give an obstruction for a closed Lagrangian submanifold to be real in terms of the displacement energy of nearby Lagrangians. Applying this obstruction to toric fibres, we obtain that the central fibre of many (and probably all) toric monotone symplectic manifolds is real only if the corresponding moment polytope is centrally symmetric. Furthermore, we embed the Chekanov torus in all toric monotone symplectic manifolds and show that it is exotic and not re…
We compute the Lagrangian Floer cohomology groups of certain tori in closed simply connected symplectic 4-manifolds arising from Fintushel-Stern knot surgery. These manifolds are usually not symplectically aspherical. As a result of the computation we observe examples where $HF(L_0)\cong HF(L_1)$ and $L_0$ and $L_1$ are smoothly isotopic but $L_0,L_1$ are not symplectically isotopic and are distinguished by $HF(L_0,L_1)$.
We classify weakly exact, rational Lagrangian tori in $T^* \mathbb{T}^2- 0_{\mathbb{T}^2}$ up to Hamiltonian isotopy. This result is related to the classification theory of closed $1$-forms on $\mathbb{T}^n$ and also has applications to symplectic topology. As a first corollary, we strengthen a result due independently to Eliashberg-Polterovich and to Giroux describing Lagrangian tori in $T^* \mathbb{T}^2-0_{\mathbb{T}^2}$ which are homologous to the zero section. As a second corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic…
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
We prove that the group of Hamiltonian automorphisms of a symplectic 4-manifold contains only finitely many conjugacy classes of maximal compact tori with respect to the action of the full symplectomorphism group. We also extend to rational and ruled manifolds a result of Kedra which asserts that, if $M$ is a simply connected symplectic 4-manifold with $b_{2}\geq 3$, and if $\widetilde{M}_δ$ denotes a blow-up of $M$ of small enough capacity $δ$, then the rational cohomology algebra of the Hamiltonian group of $\widetilde{M}_δ)$ is not finitely generated. Both results are based on the fact that…
扫码添加微信好友,提出您的宝贵建议 👇
💡 备注请填写:网站反馈
发表机构由 AI 从论文文本抽取,如发现错误,欢迎反馈修正建议。