Researcher profile

Dusa McDuff

Dusa McDuff contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

13 published item(s)

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.

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.