Showing 1–35 of 35 results for author: Tolman, S

Connectedness of level sets for non-degenerate integrable systems that extend complexity one torus actions

Authors: Daniele Sepe, Susan Tolman

Abstract: In this paper we study the connectedness of the level sets of integrable systems that have only non-degenerate singular points and extend complexity one $T$-spaces with proper moment maps. Our main result states that if there are no singular points with a hyperbolic block and connected $T$-stabilizer, then each level set is connected. Moreover, we prove that the above condition is necessary if eit… ▽ More In this paper we study the connectedness of the level sets of integrable systems that have only non-degenerate singular points and extend complexity one $T$-spaces with proper moment maps. Our main result states that if there are no singular points with a hyperbolic block and connected $T$-stabilizer, then each level set is connected. Moreover, we prove that the above condition is necessary if either some reduced space is simply connected or the moment map for the integrable system is generic in a natural sense. △ Less

Submitted 16 February, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: 30 pages, minor changes. Comments are welcome

MSC Class: Primary 37J35; 53D20. Secondary 37J39; 53D35

Shape Analysis for Pediatric Upper Body Motor Function Assessment

Authors: Shashwat Kumar, Robert Gutierez, Debajyoti Datta, Sarah Tolman, Allison McCrady, Silvia Blemker, Rebecca J. Scharf, Laura Barnes

Abstract: Neuromuscular disorders, such as Spinal Muscular Atrophy (SMA) and Duchenne Muscular Dystrophy (DMD), cause progressive muscular degeneration and loss of motor function for 1 in 6,000 children. Traditional upper limb motor function assessments do not quantitatively measure patient-performed motions, which makes it difficult to track progress for incremental changes. Assessing motor function in chi… ▽ More Neuromuscular disorders, such as Spinal Muscular Atrophy (SMA) and Duchenne Muscular Dystrophy (DMD), cause progressive muscular degeneration and loss of motor function for 1 in 6,000 children. Traditional upper limb motor function assessments do not quantitatively measure patient-performed motions, which makes it difficult to track progress for incremental changes. Assessing motor function in children with neuromuscular disorders is particularly challenging because they can be nervous or excited during experiments, or simply be too young to follow precise instructions. These challenges translate to confounding factors such as performing different parts of the arm curl slower or faster (phase variability) which affects the assessed motion quality. This paper uses curve registration and shape analysis to temporally align trajectories while simultaneously extracting a mean reference shape. Distances from this mean shape are used to assess the quality of motion. The proposed metric is invariant to confounding factors, such as phase variability, while suggesting several clinically relevant insights. First, there are statistically significant differences between functional scores for the control and patient populations (p$=$0.0213$\le$0.05). Next, several patients in the patient cohort are able to perform motion on par with the healthy cohort and vice versa. Our metric, which is computed based on wearables, is related to the Brooke's score ((p$=$0.00063$\le$0.05)), as well as motor function assessments based on dynamometry ((p$=$0.0006$\le$0.05)). These results show promise towards ubiquitous motion quality assessment in daily life. △ Less

Submitted 10 September, 2022; originally announced September 2022.

Comments: ISWC 22

Non-Hamiltonian actions with fewer isolated fixed points

Authors: Donghoon Jang, Susan Tolman

Abstract: In an earlier paper, the second author resolved a question of McDuff by constructing a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points. In this paper, we improve on this example by reducing the number of fixed points. More concretely, we construct a non-Hamiltonian symplectic circle action on a closed, connected six-d… ▽ More In an earlier paper, the second author resolved a question of McDuff by constructing a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points. In this paper, we improve on this example by reducing the number of fixed points. More concretely, we construct a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly $2k$ fixed points for any $k \geq 5$. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Journal ref: International Mathematics Research Notices, Volume 2023, Issue 7, March 2023, Pages 6045-6077

Symplectic cohomological rigidity via toric degnerations

Authors: Milena Pabiniak, Susan Tolman

Abstract: 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 symp… ▽ More 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 rational cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Q})$ for some $n$. In particular, we classify such manifolds up to symplectomorphism. Moreover, we prove that any symplectic toric manifold with rational symplectic form whose integral cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Z})$ is symplectomorphic to $(\mathbb{CP}^1)^n$ with a product symplectic structure. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 24 pages

MSC Class: 53D20; 53D35; 37J15

Topology of complexity one quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We describe of the topology of the geometric quotients of 2n dimensional compact connected symplectic manifolds with n-1 dimensional torus actions. When the isotropy weights at each fixed point are in general position, the quotient is homeomorphic to a sphere. We describe of the topology of the geometric quotients of 2n dimensional compact connected symplectic manifolds with n-1 dimensional torus actions. When the isotropy weights at each fixed point are in general position, the quotient is homeomorphic to a sphere. △ Less

Submitted 2 June, 2020; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 12 pages, 1 table. v2: minor changes in response to referee report. To appear in Pacific J. Math

MSC Class: 53D20

Journal ref: Pacific J. Math. 308 (2020) 333-346

Non-Hamiltonian actions with isolated fixed points

Authors: Susan Tolman

Abstract: We construct a non-Hamiltonian symplectic circle action on a closed, connected, six-dimensional symplectic manifold with exactly 32 fixed points. We construct a non-Hamiltonian symplectic circle action on a closed, connected, six-dimensional symplectic manifold with exactly 32 fixed points. △ Less

Submitted 9 October, 2015; originally announced October 2015.

MSC Class: Primary: 53D20; 53D35; 37J15 Secondary: 14J28; 57S15

Tame Circle Actions

Authors: Susan Tolman, Jordan Watts

Abstract: In this paper, we consider Sjamaar's holomorphic slice theorem, the birational equivalence theorem of Guillemin and Sternberg, and a number of important standard constructions that work for Hamiltonian circle actions in both the symplectic category and the Kähler category: reduction, cutting, and blow-up. In each case, we show that the theory extends to Hamiltonian circle actions on complex manifo… ▽ More In this paper, we consider Sjamaar's holomorphic slice theorem, the birational equivalence theorem of Guillemin and Sternberg, and a number of important standard constructions that work for Hamiltonian circle actions in both the symplectic category and the Kähler category: reduction, cutting, and blow-up. In each case, we show that the theory extends to Hamiltonian circle actions on complex manifolds with tamed symplectic forms. (At least, the theory extends if the fixed points are isolated.) Our main motivation for this paper is that the first author needs the machinery that we develop here to construct a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points; this answers an open question in symplectic geometry. However, we also believe that the setting we work in is intrinsically interesting, and elucidates the key role played by the following fact: the moment image of $e^t \cdot x$ increases as $t \in \mathbb{R}$ increases. △ Less

Submitted 7 September, 2017; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: 25 pages

MSC Class: 53D20 (Primary) 53D05; 53B35 (Secondary)

Journal ref: Trans. Amer. Math. Soc., Vol. 369 (2017), 7443-7467

Hamiltonian circle actions on eight dimensional manifolds with minimal fixed sets

Authors: Donghoon Jang, Susan Tolman

Abstract: Consider a Hamiltonian circle action on a closed $8$-dimensional symplectic manifold $M$ with exactly five fixed points, which is the smallest possible fixed set. In their paper, L. Godinho and S. Sabatini show that if $M$ satisfies an extra "positivity condition" then the isotropy weights at the fixed points of $M$ agree with those of some linear action on $\mathbb{CP}^4$. Therefore, the (equivar… ▽ More Consider a Hamiltonian circle action on a closed $8$-dimensional symplectic manifold $M$ with exactly five fixed points, which is the smallest possible fixed set. In their paper, L. Godinho and S. Sabatini show that if $M$ satisfies an extra "positivity condition" then the isotropy weights at the fixed points of $M$ agree with those of some linear action on $\mathbb{CP}^4$. Therefore, the (equivariant) cohomology rings and the (equivariant) Chern classes of $M$ and $\mathbb{CP}^4$ agree; in particular, $H^*(M;\mathbb{Z}) \simeq \mathbb{Z}[y]/y^5$ and $c(TM) = (1+y)^5$. In this paper, we prove that this positivity condition always holds for these manifolds. This completes the proof of the "symplectic Petrie conjecture" for Hamiltonian circle actions on on 8-dimensional closed symplectic manifolds with minimal fixed sets. △ Less

Submitted 11 February, 2016; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: To appear in Transformation Groups

Journal ref: Transformation Groups, Volume 22, (2017), 353-359

Classification of Hamiltonian torus actions with two dimensional quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces. We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces. △ Less

Submitted 9 May, 2012; v1 submitted 30 September, 2011; originally announced September 2011.

Comments: 46 pages, 2 figures. v2: added a reference

MSC Class: 53D20; 53D35; 37J15 (Primary) 57S15; 52B20; 14M25 (Secondary)

Journal ref: Geom. Topol. 18 (2014) 669-716

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

Authors: Dusa McDuff, Susan Tolman

Abstract: 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… ▽ More 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. △ Less

Submitted 8 June, 2011; originally announced June 2011.

Comments: 69 parges, 4 figures

MSC Class: 53D20

Toric integrable geodesic flows in odd dimensions

Authors: Christopher R. Lee, Susan Tolman

Abstract: Let $Q$ be a compact, connected $n$-dimensional Riemannian manifold, and assume that the geodesic flow is toric integrable. If $n \neq 3$ is odd, or if $π_1(Q)$ is infinite, we show that the cosphere bundle of $Q$ is equivariantly contactomorphic to the cosphere bundle of the torus $\T^n$. As a consequence, $Q$ is homeomorphic to $\T^n$. Let $Q$ be a compact, connected $n$-dimensional Riemannian manifold, and assume that the geodesic flow is toric integrable. If $n \neq 3$ is odd, or if $π_1(Q)$ is infinite, we show that the cosphere bundle of $Q$ is equivariantly contactomorphic to the cosphere bundle of the torus $\T^n$. As a consequence, $Q$ is homeomorphic to $\T^n$. △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: 8 pages

New Techniques for obtaining Schubert-type formulas for Hamiltonian manifolds

Authors: Silvia Sabatini, Susan Tolman

Abstract: In [GT], Goldin and the second author extend some ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. (See also [Kn99] and [Kn08].) The main goal of this paper is to build on this work by finding more effective formulas. More explicitly, given a generic component of the moment map, they define a canonical… ▽ More In [GT], Goldin and the second author extend some ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. (See also [Kn99] and [Kn08].) The main goal of this paper is to build on this work by finding more effective formulas. More explicitly, given a generic component of the moment map, they define a canonical class $α_p$ in the equivariant cohomology of the manifold $M$ for each fixed point $p \in M$. When they exist, canonical classes form a natural basis of the equivariant cohomology of $M$. In particular, when $M$ is a flag variety, these classes are the equivariant Schubert classes. It is a long standing problem in combinatorics to find positive integral formulas for the equivariant structure constants associated to this basis. Since computing the restriction of the canonical classes to the fixed points determines these structure constants, it is important to find effective formulas for these restrictions. In this paper, we introduce new techniques for calculating the restrictions of a canonical class $α_p$ to a fixed point $q$. Our formulas are nearly always simpler, in the sense that they count the contributions over fewer paths. Moreover, our formula is manifestly positive and integral in certain important special cases. △ Less

Submitted 27 July, 2012; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: v2; Significant revision. 52 pages, 1 figure. To appear in Journal of Symplectic Geometry

Fixed points of symplectic periodic flows

Authors: Alvaro Pelayo, Susan Tolman

Abstract: The study of fixed points is a classical subject in geometry and dynamics. If the circle acts in a Hamiltonian fashion on a compact symplectic manifold M, then it is classically known that there are at least 1 + dim(M)/2 fixed points; this follows from Morse theory for the momentum map of the action. In this paper we use Atiyah-Bott-Berline-Vergne (ABBV) localization in equivariant cohomology to p… ▽ More The study of fixed points is a classical subject in geometry and dynamics. If the circle acts in a Hamiltonian fashion on a compact symplectic manifold M, then it is classically known that there are at least 1 + dim(M)/2 fixed points; this follows from Morse theory for the momentum map of the action. In this paper we use Atiyah-Bott-Berline-Vergne (ABBV) localization in equivariant cohomology to prove that this conclusion also holds for symplectic circle actions with non-empty fixed sets, as long as the Chern class map is somewhere injective -- the Chern class map assigns to a fixed point the sum of the action weights at the point. We complement this result with less sharp lower bounds on the number of fixed points, under no assumptions; from a dynamical systems viewpoint, our results imply that there is no symplectic periodic flow with exactly one or two equilibrium points on a compact manifold of dimension at least eight. △ Less

Submitted 24 March, 2010; originally announced March 2010.

Comments: To appear in Ergodic Theory and Dynamical Systems

Hamiltonian circle actions with minimal fixed sets

Authors: Hui Li, Susan Tolman

Abstract: Consider an effective Hamiltonian circle action on a compact symplectic $2n$-dimensional manifold $(M, ω)$. Assume that the fixed set $M^{S^1}$ is {\em minimal}, in two senses: it has exactly two components, $X$ and $Y$, and $\dim(X) + \dim(Y) = \dim(M) - 2$. We prove that the integral cohomology ring and Chern classes of $M$ are isomorphic to either those of $\CP^n$ or (if $n \neq 1$ is odd) to… ▽ More Consider an effective Hamiltonian circle action on a compact symplectic $2n$-dimensional manifold $(M, ω)$. Assume that the fixed set $M^{S^1}$ is {\em minimal}, in two senses: it has exactly two components, $X$ and $Y$, and $\dim(X) + \dim(Y) = \dim(M) - 2$. We prove that the integral cohomology ring and Chern classes of $M$ are isomorphic to either those of $\CP^n$ or (if $n \neq 1$ is odd) to those of $\Gt_2(\R^{n+2})$, the Grassmannian of oriented two-planes in $\R^{n+2}$. In particular, $H^i(M;\Z) = H^i(\CP^n;\Z)$ for all $i$, and the Chern classes of $M$ are determined by the integral cohomology {\em ring}. We also prove that the fixed set data of $M$ agrees exactly with the fixed set data for one of the standard circle actions on one of these two manifolds. In particular, we show that there are no points with stabilizer $\Z_k$ for any $k > 2$. The same conclusions hold when $M^{S^1}$ has exactly two components and the even Betti numbers of $M$ are minimal, that is, $b_{2i}(M) = 1$ for all $i \in \{0,...,1/2\dim(M)\}$. This provides additional evidence that very few symplectic manifolds with minimal even Betti numbers admit Hamiltonian actions. △ Less

Submitted 4 November, 2012; v1 submitted 25 May, 2009; originally announced May 2009.

MSC Class: 53D05 (Primary); 53D20; 55Q05 (Secondary); 57R19

Towards Generalizing Schubert Calculus in the Symplectic Category

Authors: R. F. Goldin, S. Tolman

Abstract: The main purpose of this article is to extend some of the ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. Given a generic component of the moment map, we define a canonical class α_p in the equivariant cohomology of the manifold M for each fixed point p of M. When they exist, canonical classes form… ▽ More The main purpose of this article is to extend some of the ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. Given a generic component of the moment map, we define a canonical class α_p in the equivariant cohomology of the manifold M for each fixed point p of M. When they exist, canonical classes form a natural basis of the equivariant cohomology of M; in particular, when M is a flag variety, these classes are the equivariant Schubert classes. We show that the restriction of a canonical class α_p to a fixed point q can be calculated by a rational function which depends only on the value of the moment map, and the restriction of other canonical classes to points of index exactly two higher. Therefore, the structure constants can be calculated by a similar rational function. Our restriction formula is manifestly positive in many cases, including when M is a flag manifold. Finally, we prove the existence of integral canonical classes in the case that M is a GKM manifold the moment map component is index increasing. In this case, our restriction formula specializes to an easily computable rational sum which depends only on the GKM graph. △ Less

Submitted 8 April, 2009; originally announced April 2009.

Comments: 20 pages, 1 figure. To appear in Journal of Symplectic Geometry

Journal ref: Journal of Symplectic Geometry, Volume 7 (2009), no. 4, pp. 1-25.

On a symplectic generalization of Petrie's conjecture

Authors: Susan Tolman

Abstract: Motivated by the Petrie conjecture, we consider the following questions: Let a circle act in a Hamiltonian fashion on a compact symplectic manifold $(M,ω)$ which satisfies $H^{2i}(M;\R) = H^{2i}(\CP^n,\R)$ for all $i$. Is $H^j(M;\Z) = H^j(\CP^n;\Z)$ for all $j$? Is the total Chern class of $M$ determined by the cohomology ring $H^*(M;\Z)$? We answer these questions in the six dimensional case by… ▽ More Motivated by the Petrie conjecture, we consider the following questions: Let a circle act in a Hamiltonian fashion on a compact symplectic manifold $(M,ω)$ which satisfies $H^{2i}(M;\R) = H^{2i}(\CP^n,\R)$ for all $i$. Is $H^j(M;\Z) = H^j(\CP^n;\Z)$ for all $j$? Is the total Chern class of $M$ determined by the cohomology ring $H^*(M;\Z)$? We answer these questions in the six dimensional case by showing that $H^j(M;\Z)$ is equal to $H^j(\CP^3;\Z)$ for all $j$, by proving that only four cohomology rings can arise, and by computing the total Chern class in each case. We also prove that there are no exotic actions. More precisely, if $H^*(M;\Z)$ is isomorphic to $H^*(\CP^3;\Z)$ or $H^*(\Tilde{G}_2(\R^5);\Z)$, then the representations at the fixed components are compatible with one of the standard actions; in the remaining two case, the representation is strictly determined by the cohomology ring. Finally, our results suggest a natural question: do the remaining two cohomology rings actually arise? This question is closely related to some interesting problems in symplectic topology, such as embeddings of ellipsoids. △ Less

Submitted 27 March, 2009; originally announced March 2009.

Comments: 34 pages; accepted to Transactions of the AMS

MSC Class: 53D20; 55N91

Polytopes with mass linear functions, part I

Authors: Dusa McDuff, Susan Tolman

Abstract: We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show… ▽ More We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H)\to π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) \to π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T)\to \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M))\to pi_1(\Symp(M,\om)$ is injective. △ Less

Submitted 11 November, 2009; v1 submitted 6 July, 2008; originally announced July 2008.

Comments: 51 pages, 3 figures; v2 some statements clarified and proof details added, to appear in IMRN; v3 more small corrections

MSC Class: 14M25; 52B20; 53D99; 57S05

Reduction of twisted generalized Kähler structure

Authors: Yi Lin, Susan Tolman

Abstract: We show that our earlier work in \cite{LT05} extends to the twisted case, that is, we defined a notion of moment map and reduction in both twisted generalized complex geometry and twisted generalized Kähler geometry. We show that our earlier work in \cite{LT05} extends to the twisted case, that is, we defined a notion of moment map and reduction in both twisted generalized complex geometry and twisted generalized Kähler geometry. △ Less

Submitted 11 October, 2005; v1 submitted 30 September, 2005; originally announced October 2005.

Comments: 7 pages. Some statements in the introduction are made more precise in this new version

MSC Class: 53C15; 53D20

Symmetries in generalized Kähler geometry

Authors: Yi Lin, Susan Tolman

Abstract: We define the notion of a moment map and reduction in both generalized complex geometry and generalized Kähler geometry. As an application, we give very simple explicit constructions of bi-Hermitian structures on $\C¶^n$, Hirzebruch surfaces, the blow up of $\CP^2$ at arbitrarily many points, and other toric varieties, as well as complex Grassmannians. We define the notion of a moment map and reduction in both generalized complex geometry and generalized Kähler geometry. As an application, we give very simple explicit constructions of bi-Hermitian structures on $\C¶^n$, Hirzebruch surfaces, the blow up of $\CP^2$ at arbitrarily many points, and other toric varieties, as well as complex Grassmannians. △ Less

Submitted 3 September, 2005; originally announced September 2005.

Comments: 21 pages

MSC Class: 53C55; 53D17

On nearly semifree circle actions

Authors: Dusa McDuff, Susan Tolman

Abstract: Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if $(M, \om)$ is a coadjoint orbit of a compact Lie group $G$ then every element of $π_1(G)$ may be represented by a semifree $S^1$-action. A theorem of McDuff--Slimowitz then implies that $π_1(G)$ injects into $π_1(\Ham(M, \om))$, which answers a question raised by Weinstein. W… ▽ More Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if $(M, \om)$ is a coadjoint orbit of a compact Lie group $G$ then every element of $π_1(G)$ may be represented by a semifree $S^1$-action. A theorem of McDuff--Slimowitz then implies that $π_1(G)$ injects into $π_1(\Ham(M, \om))$, which answers a question raised by Weinstein. We also show that a circle action on a manifold $M$ which is semifree near a fixed point $x$ cannot contract in a compact Lie subgroup $G$ of the diffeomorphism group unless the action is reversed by an element of $G$ that fixes the point $x$. Similarly, if a circle acts in a Hamiltonian fashion on a manifold $(M,ω)$ and the stabilizer of every point has at most two components, then the circle cannot contract in a compact Lie subgroup of the group of Hamiltonian symplectomorphism unless the circle is reversed by an element of $G$ △ Less

Submitted 22 March, 2005; originally announced March 2005.

Comments: This paper used to be part of SG/0404338

MSC Class: Primary 53D05; Secondary 22E46

The Gromov width of complex Grassmannians

Authors: Yael Karshon, Susan Tolman

Abstract: We show that the Gromov width of the Grassmannian of complex k-planes in C^n is equal to one when the symplectic form is normalized so that it generates the integral cohomology in degree 2. We deduce the lower bound from more general results. For example, if a compact manifold N with an integral symplectic form omega admits a Hamiltonian circle action with a fixed point p such that all the isotr… ▽ More We show that the Gromov width of the Grassmannian of complex k-planes in C^n is equal to one when the symplectic form is normalized so that it generates the integral cohomology in degree 2. We deduce the lower bound from more general results. For example, if a compact manifold N with an integral symplectic form omega admits a Hamiltonian circle action with a fixed point p such that all the isotropy weights at p are equal to one, then the Gromov width of (N,omega) is at least one. We use holomorphic techniques to prove the upper bound. △ Less

Submitted 24 August, 2005; v1 submitted 20 May, 2004; originally announced May 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-38.abs.html

MSC Class: 53D20; 53D45

Journal ref: Algebr. Geom. Topol. 5 (2005) 911-922

Topological properties of Hamiltonian circle actions

Authors: Dusa McDuff, Susan Tolman

Abstract: This paper studies Hamiltonian circle actions, i.e. circle subgroups of the group Ham(M,\om) of Hamiltonian symplectomorphisms of a closed symplectic manifold (M,\om). Our main tool is the Seidel representation of π_1(\Ham(M,\om)) in the units of the quantum homology ring. We show that if the weights of the action at the points at which the moment map is a maximum are sufficiently small then the… ▽ More This paper studies Hamiltonian circle actions, i.e. circle subgroups of the group Ham(M,\om) of Hamiltonian symplectomorphisms of a closed symplectic manifold (M,\om). Our main tool is the Seidel representation of π_1(\Ham(M,\om)) in the units of the quantum homology ring. We show that if the weights of the action at the points at which the moment map is a maximum are sufficiently small then the circle represents a nonzero element of π_1(\Ham(M,\om)). Further, if the isotropy has order at most two and the circle contracts in \Ham(M,\om) then the homology of M is invariant under an involution. For example, the image of the normalized moment map is a symmetric interval [-a,a]. If the action is semifree (i.e. the isotropy weights are 0 or +/- 1) then we calculate the leading order term in the Seidel representation, an important technical tool in understanding the quantum cohomology of manifolds that admit semifree Hamiltonian circle actions. If the manifold is toric, we use our results about this representation to describe the basic multiplicative structure of the quantum cohomology ring of an arbitrary toric manifold. There are two important technical ingredients; one relates the equivariant cohomology of $M$ to the Morse flow of the moment map, and the other is a version of the localization principle for calculating Gromov--Witten invariants on symplectic manifolds with S^1-actions. △ Less

Submitted 12 May, 2005; v1 submitted 19 April, 2004; originally announced April 2004.

Comments: significantly revised, some new results added, others moved to SG/0503467, 56 pages, no figures

MSC Class: 53D20; 53D45; 57S05

Surjectivity for Hamiltonian Loop Group Spacees

Authors: Raoul Bott, Susan Tolman, Jonathan Weitsman

Abstract: Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,ω)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,ω)$, and assume that the moment map $μ: X \to L\fg^*$ is proper. We consider the function $|μ|^2: X \to \R$, and use a version of Morse theory to show that the inclusion map $j:μ^{-1}(0)\to X$ induces a surjection… ▽ More Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,ω)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,ω)$, and assume that the moment map $μ: X \to L\fg^*$ is proper. We consider the function $|μ|^2: X \to \R$, and use a version of Morse theory to show that the inclusion map $j:μ^{-1}(0)\to X$ induces a surjection $j^*:H_G^*(X) \to H_G^*(μ^{-1}(0))$, in analogy with Kirwan's surjectivity theorem in the finite-dimensional case. We also prove a version of this surjectivity theorem for quasi-Hamiltonian $G$-spaces. △ Less

Submitted 2 October, 2002; originally announced October 2002.

MSC Class: 53D20; 22E67

Maximal Hamiltonian tori for polygon spaces

Authors: Jean-Claude Hausmann, Susan Tolman

Abstract: We study the poset of Hamiltonian tori for polygon spaces. We determine some maximal elements and give examples where maximal Hamiltonian tori are not all of the same dimension. We study the poset of Hamiltonian tori for polygon spaces. We determine some maximal elements and give examples where maximal Hamiltonian tori are not all of the same dimension. △ Less

Submitted 6 July, 2002; originally announced July 2002.

Comments: 15 pages, Latex, 1 figure

MSC Class: 53D20;53D35

Complete invariants for Hamiltonian torus actions with two dimensional quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces. We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces. △ Less

Submitted 13 December, 2003; v1 submitted 18 February, 2002; originally announced February 2002.

Comments: Final version, to appear in the Journal of Symplectic Geometry. Previous title: Tall complexity one Hamiltonian torus actions. Revisions: improved exposition

MSC Class: 53D20;53D35

Centered complexity one Hamiltonian torus actions

Authors: Yael Karshon, Susan Tolman

Abstract: We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In particular, this classifies the moment map preimages of all sufficiently small open… ▽ More We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In particular, this classifies the moment map preimages of all sufficiently small open sets, which is an important step towards global classification. As an application, we construct a full packing of each of the Grassmanians Gr^+(2,R^5) and Gr^+(2,R^6) by two equal symplectic balls. △ Less

Submitted 23 February, 2000; v1 submitted 23 November, 1999; originally announced November 1999.

Comments: 30 pages. In the revised version,as an application of our main result, we construct a full packing of each of the Grassmanians Gr^+(2,R^5) and Gr^+(2,R^6) by two equal symplectic balls

On semifree symplectic circle actions with isolated fixed points

Authors: Susan Tolman, Jonathan Weitsman

Abstract: Let $M$ be a symplectic manifold, equipped with a semifree symplectic circle action with a finite, nonempty fixed point set. We show that the circle action must be Hamiltonian, and $M$ must have the equivariant cohomology and Chern classes of $(P^1)^n$. Let $M$ be a symplectic manifold, equipped with a semifree symplectic circle action with a finite, nonempty fixed point set. We show that the circle action must be Hamiltonian, and $M$ must have the equivariant cohomology and Chern classes of $(P^1)^n$. △ Less

Submitted 1 December, 1998; originally announced December 1998.

Journal ref: Topology 39, 299-309 (2000)

On the cohomology rings of Hamiltonian T-spaces

Authors: Susan Tolman, Jonathan Weitsman

Abstract: Let $M$ be a symplectic manifold equipped with a Hamiltonian action of a torus $T$. Let $F$ denote the fixed point set of the $T$-action and let $i:F\hookrightarrow M$ denote the inclusion. By a theorem of F. Kirwan \cite{K} the induced map $i^*:H_T^*(M) \to H_T^*(F)$ in equivariant cohomology is an injection. We give a simple proof of a formula of Goresky-Kottwitz-MacPherson \cite{GKM} for the… ▽ More Let $M$ be a symplectic manifold equipped with a Hamiltonian action of a torus $T$. Let $F$ denote the fixed point set of the $T$-action and let $i:F\hookrightarrow M$ denote the inclusion. By a theorem of F. Kirwan \cite{K} the induced map $i^*:H_T^*(M) \to H_T^*(F)$ in equivariant cohomology is an injection. We give a simple proof of a formula of Goresky-Kottwitz-MacPherson \cite{GKM} for the image of the map $i^*$. △ Less

Submitted 2 December, 1998; v1 submitted 1 December, 1998; originally announced December 1998.

Comments: correction to references

Intersection cohomology of $S^1$ symplectic quotients and small resolutions

Authors: Eugene Lerman, Susan Tolman

Abstract: We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient. We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient. △ Less

Submitted 7 October, 1998; originally announced October 1998.

Comments: 17 pages, LaTeX 2e

MSC Class: 58F05 (Primary) 32C42 (Secondary)

The cohomology rings of abelian symplectic quotients

Authors: Susan Tolman, Jonathan Weitsman

Abstract: Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space… ▽ More Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free. △ Less

Submitted 30 July, 1998; originally announced July 1998.

Journal ref: The cohomology rings of symplectic quotients. Communications in Analysis and Geometry 11, 751-774 (2003) (Includes the case of quotients by nonabelian groups)

Quantization of Presymplectic Manifolds and Circle Actions

Authors: Ana Canas da Silva, Yael Karshon, Susan Tolman

Abstract: We prove several versions of "quantization commutes with reduction" for circle actions on manifolds that are not symplectic. Instead, these manifolds possess a weaker structure, such as a spin^c structure. Our theorems work whenever the quantization data and the reduction data are compatible; this condition always holds if we start from a presymplectic (in particular, symplectic) manifold. We prove several versions of "quantization commutes with reduction" for circle actions on manifolds that are not symplectic. Instead, these manifolds possess a weaker structure, such as a spin^c structure. Our theorems work whenever the quantization data and the reduction data are compatible; this condition always holds if we start from a presymplectic (in particular, symplectic) manifold. △ Less

Submitted 16 May, 1997; originally announced May 1997.

Comments: LaTeX 2e, 28 pages

Report number: MSRI 1997-058

Non-abelian convexity by symplectic cuts

Authors: Eugene Lerman, Eckhard Meinrenken, Sue Tolman, Chris Woodward

Abstract: In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds. Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an o… ▽ More In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds. Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an orbifold. Second, our proof is conceptually very simple since it reduces the non-abelian case to the abelian case. △ Less

Submitted 26 March, 1996; originally announced March 1996.

Comments: 19 pages, LaTeX

Hamiltonian torus actions on symplectic orbifolds and toric varieties

Authors: Eugene Lerman, Susan Tolman

Abstract: In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integ… ▽ More In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integer attached to each facet and that all such orbifolds are algebraic toric varieties. △ Less

Submitted 17 November, 1995; originally announced November 1995.

Comments: AMSLaTeX using pb-diagram, lamsarrow, pb-lams, epic, eepic, amssymb, amscd, fullpage; 25pp. The source and dvi files are also available at http://www.math.uiuc.edu/~lerman/research.html . This paper is a substantial revision of "Symplectic toric orbifolds," dg-ga/9412005

Examples of non-Kaehler Hamiltonian torus actions

Authors: Susan Tolman

Abstract: An important question with a rich history is the extent to which the symplectic category is larger than the Kaehler category. Many interesting examples of non-Kaehler symplectic manifolds have been constructed. However, sufficiently large symmetries can force a symplectic manifold to be Kaehler. In this paper, we solve several outstanding problems by constructing the first symplectic manifold wi… ▽ More An important question with a rich history is the extent to which the symplectic category is larger than the Kaehler category. Many interesting examples of non-Kaehler symplectic manifolds have been constructed. However, sufficiently large symmetries can force a symplectic manifold to be Kaehler. In this paper, we solve several outstanding problems by constructing the first symplectic manifold with large non-trivial symmetries which does not admit an invariant Kaehler structure. The proof that it is not Kaehler is based on the Atiyah-Guillemin-Sternberg convexity theorem. Using the ideas of this paper, C. Woodward shows that even the symplectic analogue of spherical varieties need not be Kaehler. △ Less

Submitted 16 November, 1995; originally announced November 1995.

Comments: This document is tarred, uuecoded, and compressed. It contains one amslatex program, tolman.tex, and two style files, epic.sty and eepic.sty. Please untar in its own directory, as it will not create one

Symplectic toric orbifolds

Authors: Eugene Lerman, Susan Tolman

Abstract: A symplectic toric orbifold is a compact connected orbifold $M$, a symplectic form $ω$ on $M$, and an effective Hamiltonian action of a torus $T$ on $M$, where the dimension of $T$ is half the dimension of $M$. We prove that there is a one-to-one correspondence between symplectic toric orbifolds and convex rational simple polytopes with positive integers attached to each facet. A symplectic toric orbifold is a compact connected orbifold $M$, a symplectic form $ω$ on $M$, and an effective Hamiltonian action of a torus $T$ on $M$, where the dimension of $T$ is half the dimension of $M$. We prove that there is a one-to-one correspondence between symplectic toric orbifolds and convex rational simple polytopes with positive integers attached to each facet. △ Less

Submitted 23 December, 1994; originally announced December 1994.

Comments: AMSLaTeX using eepic,amssymb and amscd; 18pp