Source author record

Dusa McDuff

Dusa McDuff appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2016arXiv

Notes on Kuranishi Atlases

These notes aim to explain a joint project with Katrin Wehrheim that uses finite dimensional reductions to construct a virtual fundamental class for the Gromov--Witten moduli space of closed genus zero curves. Our method is based on work by Fukaya and Ono as well as more recent work by Fukaya, Oh, Ohta, and Ono. We reformulated their ideas in order to clarify the formal structures underlying the construction and make explicit all important choices (of tamings, shrinkings and reductions), thus creating tools with which to give an explicit proof that the virtual fundamental class is independent of these choices. After summarizing the main ideas and proofs in the arXiv preprint 1208.1340, these notes explain the modifications needed to deal with isotropy. Further sections outline the construction of a Kuranishi atlas in the genus zero case, and give some examples of their use. We also show that every finite dimensional orbifold has a Kuranishi atlas.

preprint2015arXiv

Kuranishi atlases with trivial isotropy - the 2013 state of affairs

Kuranishi structures were introduced to symplectic topology by Fukaya and Ono and recently refined by Joyce, in order to extract homological data from compactified moduli spaces of holomorphic maps in cases where geometric regularization approaches such as perturbations of the almost complex structure do not yield a smooth structure on the moduli space. We give a general survey of regularization techniques in symplectic topology, pointing to some general analytic issues, and discussing some specific topological issues of the Kuranishi approach. In the main body of the paper we provide an abstract framework of Kuranishi atlases which separates the analytic and topological issues. Throughout, we focus on the most fundamental issues, which are already present in applying virtual transversality techniques to moduli spaces of holomorphic spheres without nodes or nontrivial isotropy. This is the reinstated 2013 version of this survey and sample construction. A generalized version of the topological theory is now available under 'The topology of Kuranishi atlases' arxiv:1508.01844, with the survey parts and VMC construction updated in 'The fundamental class of smooth Kuranishi atlases with trivial isotropy' arxiv:1508.01560.

preprint2015arXiv

Strict orbifold atlases and weighted branched manifolds

This note revisits the ideas in an earlier (2007) paper on orbifolds and branched manifolds, showing how the constructions can be simplified by using a version of the Kuranishi atlases recently developed by McDuff--Wehrheim. We first show that every orbifold has such an atlas, and then use it to obtain explicit models first for the nonsingular resolution of an oriented orbifold (which is a weighted nonsingular groupoid with the same fundamental class) and second for the Euler class of an oriented orbibundle. In this approach, instead of appearing as the zero set of a multivalued section, the Euler class is the zero set of a single-valued section of the pullback bundle over the resolution, and hence has the structure of a weighted branched manifold in which the weights and branching are canonically defined by the atlas.

preprint2015arXiv

The fundamental class of smooth Kuranishi atlases with trivial isotropy

Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Their core idea was to build such a cycle by patching local finite dimensional reductions. The first sections of this paper discuss topological, algebraic and analytic challenges that arise in this program. We then develop a theory of Kuranishi atlases and cobordisms that transparently resolves these challenges, for simplicity concentrating on the case of trivial isotropy. In this case, we assign to a cobordism class of additive weak Kuranishi atlases both a virtual moduli cycle (VMC - a cobordism class of smooth manifolds) and a virtual fundamental class (VFC - a Cech homology class). We moreover show that such Kuranishi atlases exist on simple Gromov-Witten moduli spaces and develop the technical results in a manner that easily transfers to more general settings.

preprint2013arXiv

Displacing Lagrangian toric fibers by extended probes

In this paper we introduce a new way of displacing Lagrangian fibers in toric symplectic manifolds, a generalization of McDuff's original method of probes. Extended probes are formed by deflecting one probe by another auxiliary probe. Using them, we are able to displace all fibers in Hirzebruch surfaces except those already known to be nondisplaceable, and can also displace an open dense set of fibers in the weighted projective space P(1,3,5) after resolving the singularities. We also investigate the displaceability question in sectors and their resolutions. There are still many cases in which there is an open set of fibers whose displaceability status is unknown.

preprint2013arXiv

Nongeneric J-holomorphic curves and singular inflation

This paper investigates the geometry of a symplectic 4-manifold $(M,\om)$ relative to a J-holomorphic normal crossing divisor S. Extending work by Biran (in Invent. Math. 1999), we give conditions under which a homology class $A\in H_2(M;\Z)$ with nontrivial Gromov invariant has an embedded J-holomorphic representative for some S-compatible J. This holds for example if the class $A$ can be represented by an embedded sphere, or if the components of S are spheres with self-intersection -2. We also show that inflation relative to S is always possible, a result that allows one to calculate the relative symplectic cone. It also has important applications to various embedding problems, for example of ellipsoids or Lagrangian submanifolds.

preprint2013arXiv

Nongeneric J-holomorphic curves in symplectic 4-manifolds

This note discusses the structure of J-holomorphic curves in symplectic 4-manifolds (M,\om) when J\in \Jj(\Ss), the set of \om-tame J for which a fixed chain \Ss of transversally intersecting embedded spheres of self-intersection \le -2 is J-holomorphic. Extending work by Biran (in Invent. Math. (1999)), it shows that when (M,\om) is the blow up of a rational or ruled symplectic 4-manifold, any homology class A\in H_2(M;\Z), with nonzero Gromov invariant and nonnegative intersection both with the spheres in \Ss and with the exceptional classes other than A, has an embedded J-holomorphic representative for some J\in \Jj(\Ss$. This result is a key step in some of the arguments in McDuff (Journ. Topology (2009)) on embedding ellipsoids, and also has applications to symplectic 4-orbifolds.

preprint2011arXiv

Displacing Lagrangian toric fibers via probes

This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano polytopes) using probes. The latter are line segments that enter the polytope at an interior point of a facet and whose direction is integrally transverse to this facet. A point inside the polytope is displaceable by a probe if it lies less than half way along it. Using a construction due to Fukaya-Oh-Ohta-Ono, we show that every rational polytope has a central point that is not displaceable by probes. In the monotone (or more generally, the reflexive) case, this central point is its unique interior integral point. In the monotone case, every other point is displaceable by probes if and only if the polytope satisfies the star Ewald condition. (This is a strong version of the Ewald conjecture concerning the integral symmetric points in the polytope.) Further, in dimensions up to and including three every monotone polytope is star Ewald. These results are closely related to the Fukaya-Oh-Ohta-Ono calculations of the Floer homology of the Lagrangian fibers of a toric symplectic manifold, and have applications to questions introduced by Entov-Polterovich about the displaceability of these fibers.

preprint2011arXiv

Polytopes with mass linear functions II: the 4-dimensional case

This paper continues the analysis begun in {\it Polytopes with mass linear functions, Part I} of the structure of smooth moment polytopes $Δ\subset \ft^*$ that support a mass linear function $H \in \ft$. As explained there, besides its purely combinatorial interest, this question is relevant to the study of the homomorphism $π_1(T^n)\to π_1(\Symp(M_Δ, ω_Δ))$ from the fundamental group of the torus $T^n$ to that of the group of symplectomorphisms of the $2n$-dimensional symplectic toric manifold $(M_Δ, ω_Δ)$ associated to $Δ$. In Part I, we made a general investigation of this question and classified all mass linear pairs $(Δ, H)$ in dimensions up to three. The main result of the current paper is a classification of all 4-dimensional examples. Along the way, we investigate the properties of general constructions such as fibrations, blowups and expansions (or wedges), describing their effect both on moment polytopes and on mass linear functions. We end by discussing the relation of mass linearity to Shelukhin's notion of full mass linearity. The two concepts agree in dimensions up to and including 4. However full mass linearity may be the more natural concept when considering the question of which blow ups preserve mass linearity.

preprint2011arXiv

The Hofer conjecture on embedding symplectic ellipsoids

In this note we show that one open four dimensional ellipsoid embeds symplectically into another if and only the ECH capacities of the first are no larger than those of the second. This proves a conjecture due to Hofer. The argument uses the equivalence of the ellipsoidal embedding problem with a ball embedding problem that was recently established by McDuff. Its method is inspired by Hutchings' recent results on embedded contact homology (ECH) capacities but does not use them.

preprint2010arXiv

Monodromy in Hamiltonian Floer theory

Schwarz showed that when a closed symplectic manifold (M,\om) is symplectically aspherical (i.e. the symplectic form and the first Chern class vanish on π_2(M)) then the spectral invariants, which are initially defined on the universal cover of the Hamiltonian group, descend to the Hamiltonian group Ham (M,\om). In this note we describe less stringent conditions on the Chern class and quantum homology of M under which the (asymptotic) spectral invariants descend to Ham (M,\om). For example, they descend if the quantum multiplication of M is undeformed and H_2(M) has rank >1, or if the minimal Chern number is at least n+1 (where \dim M=2n) and the even cohomology of M is generated by divisors. The proofs are based on certain calculations of genus zero Gromov--Witten invariants. As an application, we show that the Hamiltonian group of the one point blow up of T^4 admits a Calabi quasimorphism. Moreover, whenever the (asymptotic) spectral invariants descend it is easy to see that Ham (M,\om) has infinite diameter in the Hofer norm. Hence our results establish the infinite diameter of Ham in many new cases. We also show that the area pseudonorm -- a geometric version of the Hofer norm -- is nontrivial on the (compactly supported) Hamiltonian group for all noncompact manifolds as well as for a large class of closed manifolds.

preprint2010arXiv

The embedding capacity of 4-dimensional symplectic ellipsoids

This paper calculates the function $c(a)$ whose value at $a$ is the infimum of the size of a ball that contains a symplectic image of the ellipsoid $E(1,a)$. (Here $a \ge 1$ is the ratio of the area of the large axis to that of the smaller axis.) The structure of the graph of $c(a)$ is surprisingly rich. The volume constraint implies that $c(a)$ is always greater than or equal to the square root of $a$, and it is not hard to see that this is equality for large $a$. However, for $a$ less than the fourth power $τ^4$ of the golden ratio, $c(a)$ is piecewise linear, with graph that alternately lies on a line through the origin and is horizontal. We prove this by showing that there are exceptional curves in blow ups of the complex projective plane whose homology classes are given by the continued fraction expansions of ratios of Fibonacci numbers. On the interval $[τ^4,7]$ we find $c(a)=(a+1)/3$. For $a \ge 7$, the function $c(a)$ coincides with the square root except on a finite number of intervals where it is again piecewise linear. The embedding constraints coming from embedded contact homology give rise to another capacity function $c_{ECH}$ which may be computed by counting lattice points in appropriate right angled triangles. According to Hutchings and Taubes, the functorial properties of embedded contact homology imply that $c_{ECH}(a) \le c(a)$ for all $a$. We show here that $c_{ECH}(a) \ge c(a)$ for all $a$.

preprint2010arXiv

The topology of toric symplectic manifolds

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 bundle construction uses the McDuff--Tolman concept of mass linear function. Using Timorin's description of the cohomology ring via the volume function we develop a cohomological criterion for a function to be mass linear, and explain its relation to Shelukhin's higher codimension barycenters.

preprint2009arXiv

Some 6-dimensional Hamiltonian S^1 manifolds

In an earlier paper we explained how to convert the problem of symplectically embedding one 4-dimensional ellipsoid into another into the problem of embedding a certain set of disjoint balls into \CP^2 by using a new way to desingularize orbifold blow ups Z of the weighted projective space \CP^2_{1,m,n}. We now use a related method to construct symplectomorphisms of these spaces Z. This allows us to construct some well known Fano 3-folds (including the Mukai--Umemura 3-fold) in purely symplectic terms, using a classification by Tolman of a particular class of Hamiltonian S^1-manifolds. We also show that these manifolds are uniquely determined by their fixed point data up to equivariant symplectomorphism. As part of this argument we show that the symplectomorphism group of a certain weighted blow up of a weighted projective plane is connected.

preprint2006arXiv

Enlarging the Hamiltonian group

This paper investigates ways to enlarge the Hamiltonian subgroup Ham of the symplectomorphism group Symp(M) of the symplectic manifold (M, ω) to a group that both intersects every connected component of Symp(M) and characterizes symplectic bundles with fiber M and closed connection form. As a consequence, it is shown that bundles with closed connection form are stable under appropriate small perturbations of the symplectic form. Further, the manifold (M,ω) has the property that every symplectic M-bundle has a closed connection form if and only if the flux group vanishes and the flux homomorphism extends to a crossed homomorphism defined on the whole group Symp(M). The latter condition is equivalent to saying that a connected component of the commutator subgroup [Symp,Symp] intersects the identity component of Symp only if it also intersects Ham. It is not yet clear when this condition is satisfied. We show that if the symplectic form vanishes on 2-tori the flux homomorphism extends to the subgroup of Symp acting trivially on π_1(M). We also give an explicit formula for the Kotschick--Morita extension of Flux in the monotone case. The results in this paper belong to the realm of soft symplectic topology, but raise some questions that may need hard methods to answer.

preprint2005arXiv

Homotopy properties of Hamiltonian group actions

Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational homology induced by the classifying map BH --> BG are injective. For example, we extend Reznikov's result for complex projective space CP^n to show that both in this case and the case of generalized flag manifolds the natural map H_*(BSU(n+1)) --> H_*(BG) is injective, where G denotes the group of all diffeomorphisms that act trivially on cohomology. We also show that if lambda is a Hamiltonian circle action that contracts in G = Ham(M,w) then there is an associated nonzero element in pi_3(G) that deloops to a nonzero element of H_4(BG). This result (as well as many others) extends to c-symplectic manifolds (M,a), ie, 2n-manifolds with a class a in H^2(M) such that a^n is nonzero. The proofs are based on calculations of certain characteristic classes and elementary homotopy theory.

preprint2001arXiv

Hofer-Zehnder capacity and length minimizing Hamiltonian paths

We use the criteria of Lalonde and McDuff to show that a path that is generated by a generic autonomous Hamiltonian is length minimizing with respect to the Hofer norm among all homotopic paths provided that it induces no non-constant closed trajectories in M. This generalizes a result of Hofer for symplectomorphisms of Euclidean space. The proof for general M uses Liu-Tian's construction of S^1-invariant virtual moduli cycles. As a corollary, we find that any semifree action of S^1 on M gives rise to a nontrivial element in the fundamental group of the symplectomorphism group of M. We also establish a version of the area-capacity inequality for quasicylinders.