A group action is called polar if there exists an immersed submanifold (a section) which intersects all orbits orthogonally. Such group actions have been studied extensively on symmetric spaces. We show how to construct a manifold admitting a polar group action by prescribing their isotropy groups along a fundamental domain, generalizing the classical construction for cohomogeneity manifolds. We give many examples showing the richness of this class of group actions. We also relate the topology of the section to the topology of the manifold.
This is a replacement of an earlier version. Small changes, and a correction in Lemma 2.4.
The main result of this paper is that a polar action on a compact irreducible homogeneous Kaehler manifold is coisotropic. This is then used to give new examples of polar actions and to classify coisotropic and polar actions on quadrics.
Landweber and Stong prove that if a closed spin manifold $M$ admits a smooth $S^1$-action of odd type, then its signature $\mathrm{sign}(M)$ vanishes. In this paper, we extend the result to a torus action on a closed oriented manifold with generalized odd type.
We construct some nonsmoothable actions of Z2 * Z2 on spin four-manifolds by using an equivariant version of Furuta' s 10/8inequality. The examples satisfy following property: any proper subgroup of Z2 * Z2 is smoothable for some smooth structure.
In this article we study properly discontinuous actions on Hilbert manifolds giving new examples of complete Hilbert manifolds with nonnegative, respectively nonpositive, sectional curvature with infinite fundamental group. We also get examples of complete infinite dimensional Kähler manifolds with positive holomorphic sectional curvature and infinite fundamental group in contrast with the finite dimensional case and we classify abelian groups acting linearly, isometrically and properly discontinuously on Stiefel manifolds. Finally, we classify homogeneous Hilbert manifolds with constant secti…
In the present paper, we prove that no infinite group acts isometrically, effectively, and properly discontinuously on a certain class of Lorentzian manifolds that are not necessarily homogeneous.
Let $M^n$, $n \in \{4,5,6\}$, be a compact, simply connected $n$-manifold which admits some Riemannian metric with non-negative curvature and an isometry group of maximal possible rank. Then any smooth, effective action on $M^n$ by a torus $T^{n-2}$ is equivariantly diffeomorphic to an isometric action on a normal biquotient. Furthermore, it follows that any effective, isometric circle action on a compact, simply connected, non-negatively curved four-dimensional manifold is equivariantly diffeomorphic to an effective, isometric action on a normal biquotient.
We point out that a 4-dimensional topological manifold with an Alexandrov metric (of curvature bounded below) and with an effective, isometric action of the circle or the 2-torus is locally smooth. This observation implies that the topological and equivariant classifications of compact, simply connected Riemannian 4-manifolds with positive or nonnegative sectional curvature and an effective isometric action of a circle or a 2-torus also hold if we consider Alexandrov manifolds instead of Riemannian manifolds.
In this work, we (partially) generalize two classical tools in study of collapsed manifolds with bounded sectional curvature: a (singular) fibration theorem by Fukaya (1987) and Cheeger-Fukaya-Gromov (1992), and the stability for isometric compact Lie group actions on manifolds by Palais (1961) and Grove-Karcher (1973), to manifolds with local bounded Ricci covering geometry. Our two generalized results have been used in a recent work of Xiaochun Rong in generalizing Gromov's almost flat manifolds theorem to maximally collapsed manifolds with local bounded Ricci covering geometry.
This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric circle-action admits an approximation in Gromov-Hausdorff topology by smooth, positively curved Riemannian 3-manifolds. In the second main part we show that a compact, nonnegatively curved and fixed point homogeneous manifold is diffeomorphic to the unit normal bundles of two smooth closed submanifolds glued together along their boundaries. As a corollary we show that a…
We show that simply connected Riemannian homogeneous spaces of compact semisimple Lie groups with polar isotropy actions are symmetric, generalizing results of Fabio Podesta and the third named author. Without assuming compactness, we give a classification of Riemannian homogeneous spaces of semisimple Lie groups whose linear isotropy representations are polar. We show for various such spaces that they do not have polar isotropy actions. Moreover, we prove that Heisenberg groups and non-symmetric Damek-Ricci spaces have non-polar isotropy actions.
We prove results toward classifying compact Lorentz manifolds on which Heisenberg groups act isometrically. We give a general construction, leading to a new example, of codimension-one actions--those for which the dimension of the Heisenberg group is one less than the dimension of the manifold. The main result is a classification of codimension-one actions, under the assumption they are real-analytic.
The main result is a classification of smooth actions of $SL(n,{\bf R})$, $n \geq 3$, or connected groups locally isomorphic to it, on closed $n$-manifolds, extending a theorem of Uchida. We construct new exotic actions of $SL(n,{\bf Z})$ on the $n$-torus and connected sums of $n$-tori, and we formulate a conjectural classification of actions of lattices in $SL(n,{\bf R})$ on closed $n$-manifolds. We prove some results about invariant rigid geometric structures for $SL(n,{\bf R})$-actions.
We classify the polar actions on the complex hyperbolic plane up to orbit equivalence. Apart from the trivial and transitive polar actions, there are five polar actions of cohomogeneity one and four polar actions of cohomogeneity two.
In this paper, we study a circle action on a compact oriented manifold with a discrete fixed point set. The fixed point data consists of the weights of the $S^1$-representations at the fixed points. We prove various results and properties of the action, in terms of the fixed point data. We show that the manifold can be described by a multigraph associated to it. Specializing into the case of dimension 4, we classify the fixed point data. Moreover, we prove that there exist oriented $S^1$-manifolds with these fixed point data. Finally, we show that a certain multigraph behaves like a manifold.
Let $M$ be a Riemannian manifold with a polar action by the Lie group $G$, with section $Σ\subset M$ and generalized Weyl group $W$. We show that restriction to $Σ$ is a surjective map from the set of smooth $G$-invariant tensors on $M$ onto the set of smooth $W$-invariant tensors on $Σ$. Moreover, we show that every smooth $W$-invariant Riemannian metric on $Σ$ can be extended to a smooth $G$-invariant Riemannian metric on $M$ with respect to which the $G$-action remains polar with the same section $Σ$.
We present some methods to construct smooth circle actions on symplectic manifolds with non-symplectic fixed point sets or non-symplectic cyclic isotropy point sets. All such actions are not compatible with any symplectic form.
We prove that any real-analytic, volume-preserving action of a lattice $Γ$ in a simple Lie group with $\Qrank(Γ)\geq 7$ on a closed 4-manifold of nonzero Euler characteristic factors through a finite group action.
We establish an S^1-equivariant index theorem for Dirac operators on Z/k-manifolds. As an application, we generalize the Atiyah-Hirzebruch vanishing theorem for S^1-actions on closed spin manifolds to the case of Z/k-manifolds.
This paper presents the theory of non-smooth Lie group actions on chains of Banach manifolds. The rigorous functional analytic spaces are given to deal with quotients of such actions. A hydrodynamical example is studied in detail.
We prove rigidity and vanishing theorems for several holomorphic Euler characteristics on complex contact manifolds admitting holomorphic circle actions preserving the contact structure. Such vanishings are reminiscent of those of LeBrun and Salamon on Fano contact manifolds but under a symmetry assumption instead of a curvature condition.
In this paper, we study smooth, semi-free actions on closed, smooth, simply connected manifolds, such that the orbit space is a smoothable manifold. We show that the only simply connected $5$-manifolds admitting a smooth, semi-free circle action with fixed-point components of codimension $4$ are connected sums of $S^3$-bundles over $S^2$. Furthermore, the Betti numbers of the $5$-manifolds and of the quotient $4$-manifolds are related by a simple formula involving the number of fixed-point components. We also investigate semi-free $S^3$ actions on simply connected $8$-manifolds with quotient a…
We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field.
The aim of this paper is to study compact 5--manifolds which admit fixed point free circle actions. The first result implies that the torsion in the second homology and the second Stiefel--Whitney class have to satisfy strong restrictions. We then show that for simply connected 5--manifolds these restrictions are necessary and sufficient.
The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the main theorem is a formula for the 3-dimensional Seiberg-Witten invariants of the total space of a circle bundle over a surface.
If $X$ is a connected complex manifold with $d_X = 2$ that admits the holomorphic and transitive action of a (connected) Lie group $G$, then the action extends to an action of the complexification $\hat{G}$ of $G$ on $X$ except when either the unit disk or else a strictly pseudoconcave homogeneous complex manifold is involved as base or fiber in some homogeneous fibration of $X$.
An upper bound is obtained on the rank of a torus which can act smoothly and effectively on a smooth, closed, simply connected, rationally elliptic manifold. In the maximal-rank case, the manifolds admitting such actions are classified up to equivariant rational homotopy type.
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 study manifolds arising as spaces of sections of complex manifolds fibering over the projective line with normal bundle of each section isomorphic to several copies of O(k). Such manifolds provide a natural setting for certain integrable systems, "monopoles", which comprise the Bogomolny hierarchy and the self-dual hierarchy.
We apply an equivariant version of Perelman's Ricci flow with surgery to study smooth actions by finite groups on closed 3-manifolds. Our main result is that such actions on elliptic and hyperbolic 3-manifolds are conjugate to isometric actions. Combining our results with results by Meeks and Scott [17], it follows that such actions on geometric 3-manifolds (in the sense of Thurston) are always geometric, i.e. there exist invariant locally homogeneous Riemannian metrics. This answers a question posed by Thurston in [32].
In this paper I construct, using off the shelf components, a compact symplectic manifold with a non-trivial Hamiltonian circle action that admits no Kaehler structure. The non-triviality of the action is guaranteed by the existence of an isolated fixed point. The motivation for this work comes from the program of classification of Hamiltonian group actions. The Audin-Ahara-Hattori-Karshon classification of Hamiltonian circle actions on compact symplectic 4-manifolds showed that all of such manifolds are Kaehler. Delzant's classification of $2n$-dimensional symplectic manifolds with Hamiltonian…
The author proved that if the circle acts symplectically on a compact, connected symplectic manifold $M$ with three fixed points, then $M$ is equivariantly symplectomorphic to some standard action on $\mathbb{CP}^2$. In this paper, we extend the result to a circle action on an almost complex manifold; if the circle acts on a compact, connected almost complex manifold $M$ with exactly three fixed points, then $\dim M=4$. Moreover, we deal with the cases of one fixed point and two fixed points.
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…
Let $X$ be a compact strongly pseudoconvex CR manifold with a transversal CR $S^1$-action. In this paper, we establish the asymptotic expansion of Szegő kernels of positive Fourier components and by using the asymptotics, we show that $X$ can be equivariant CR embedded into some $\mathbb C^N$ equipped with a simple $S^1$-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived.
In this paper we construct a family of complex structures on a complex flag manifold that converge to the real polarization coming from the Gelfand-Cetlin integrable system, in the sense that holomorphic sections of a prequantum line bundle converge to delta-function sections supported on the Bohr-Sommerfeld fibers. Our construction is based on a toric degeneration of flag varieties and a deformation of Kähler structure on toric varieties by symplectic potentials.
We show a geometric rigidity of isometric actions of non compact (semisimple) Lie groups on Lorentz manifolds. Namely, we show that the manifold has a warped product structure of a Lorentz manifold with constant curvature by a Riemannian manifold.
We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than 2 and that no orbit is tangent to the contact distribution. This may be considered as a version of the Atiyah - Guillemin - Sternberg convexity theorem for torus actions on symplectic cones and as a direct generalization of the convexity theorem of Banyaga and Molino for completely integrable torus actions on contact manifolds.
Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n\ge 1$ with a transversal CR $S^1$-action on $X$. In this paper we introduce the Quillen metric on the determinant line of the Fourier components of the Kohn-Rossi cohomology on $X$ with respect to the $S^1$-action. We study the behavior of the Quillen metric under the change of the metrics on the manifold $X$ and on the vector bundle over $X$. We obtain an anomaly formula for the Quillen metric on $X$ with respect to the $S^1$-action.
We show that if a holomorphic $n$ dimensional compact torus action on a compact connected complex manifold of complex dimension $n$ has a fixed point then the manifold is equivariantly biholomorphic to a smooth toric variety.
We explicitly classify all pairs $(M,G)$, where $M$ is a connected complex manifold of dimension $n\ge 2$ and $G$ is a connected Lie group acting properly and effectively on $M$ by holomorphic transformations and having dimension $d_G$ satisfying $n^2+2\le d_G<n^2+2n$. These results extend -- in the complex case -- the classical description of manifolds admitting proper actions of groups of sufficiently high dimensions. They also generalize some of the author's earlier work on Kobayashi-hyperbolic manifolds with high-dimensional holomorphic automorphism group.
We consider Fano manifolds admitting an algebraic torus action with general orbit of codimension one. Using a recent result of Datar and Szekelyhidi, we effectively determine the existence of Kahler-Ricci solitons for those manifolds via the notion of equivariant K-stability. This allows us to give new examples of Kahler-Einstein Fano threefolds, and Fano threefolds admitting a non-trivial Kahler-Ricci soliton.
A recent preprint of Csikós, Pyber and Szabó (arXiv:1411.7524) proves that the diffeomorphism group of $T^2\times S^2$ is not Jordan. The purpose of this paper is to generalize the arguments of Csikós, Pyber and Szabó in order to obtain many other examples of compact manifolds whose diffeomorphism group fails to be Jordan. In particular we prove that for any $ε>0$ there exist manifolds admitting effective actions of arbitrarily large $p$-groups $Γ$ all of whose abelian subgroups have at most $|Γ|^ε$ elements. Finally, we also recover some results on nonexistence of effective actions of compact…
For a Hamiltonian, proper and free action of a Lie group $G$ on a Dirac manifold $(M,L)$, with a regular moment map $μ:M\to \mathfrak{g}^*$, the manifolds $M/G$, $μ^{-1}(0)$ and $μ^{-1}(0)/G$ all have natural induced Dirac structures. If $(M,L)$ is an integrable Dirac structure, we show that $M/G$ is always integrable, but $μ^{-1}(0)$ and $μ^{-1}(0)/G$ may fail to be integrable, and we describe the obstructions to their integrability.
Due to a previous result which states that contact varieties are isomorphic to certain varieties, the momentum polytopes of contact manifolds are convex.
Let $G$ be a complex Lie group acting on a compact complex Hermitian manifold $M$ by holomorphic isometries. We prove that the induced action on the Dolbeault cohomology and on the Bott-Chern cohomology is trivial. We also apply this result to compute the Dolbeault cohomology of Vaisman manifolds.
We show that the maximal orbit dimension of a simultaneous Lie group action on n copies of a manifold does not pseudo-stabilize when n increases. We also show that if a Lie group action is (locally) effective on subsets of a manifold, then the induced Cartesian action is locally free on an open subset of a sufficiently big (but finite) number of copies of the manifold. The latter is the analogue for the Cartesian action to Ovsiannikov's theorem on jet spaces and is an important fact relative to the moving frame method and the computation of joint invariants. Some interesting corollaries are pr…
In this paper, we prove a Kastler-Kalau-Walze type theorem for perturbations of Dirac operators on compact manifolds with or without boundary. As a corollary, we give two kinds of operator-theoretic explanations of the gravitational action on boundary. We also compute the spectral action for Dirac operators with two-form perturbations on $4$-dimensional compact manifolds.
In this paper, we introduce the notion of maximal actions of compact tori on smooth manifolds and study compact connected complex manifolds equipped with maximal actions of compact tori. We give a complete classification of such manifolds, in terms of combinatorial objects, which are triples $(Δ, \mathfrak{h}, G)$ of nonsingular complete fan $Δ$ in $\mathfrak{g}$, complex vector subspace $\mathfrak{h}$ of $\mathfrak{g}^{\mathbb{C}}$ and compact torus $G$ satisfying certain conditions. We also give an equivalence of categories with suitable definitions of morphisms in these families, like toric…
Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$-action on $X$. We introduce the Fourier components of the Ray-Singer analytic torsion on $X$ with respect to the $S^1$-action. We establish an asymptotic formula for the Fourier components of the analytic torsion with respect to the $S^1$-action. This generalizes the asymptotic formula of Bismut and Vasserot on the holomorphic Ray-Singer torsion associated with high powers of a positive line bundle to strongly pseudoconvex CR manifolds with a transversal CR $S^1$-action.
We show that a complete simply-connected hyperkaehler 4-manifold with an isometric triholomorphic circle action is obtained from the Gibbons-Hawking ansatz with some suitable harmonic function.
This paper is devoted to a systematic study of the geometry of nondegenerate $\bbR^n$-actions on $n$-manifolds. The motivations for this study come from both dynamics, where these actions form a special class of integrable dynamical systems and the understanding of their nature is important for the study of other Hamiltonian and non-Hamiltonian integrable systems, and geometry, where these actions are related to a lot of other geometric objects, including reflection groups, singular affine structures, toric and quasi-toric manifolds, monodromy phenomena, topological invariants, etc. We constru…
This paper contains several results concerning circle action on almost-complex and smooth manifolds. More precisely, we show that, for an almost-complex manifold $M^{2mn}$(resp. a smooth manifold $N^{4mn}$), if there exists a partition $λ=(λ_{1},...,λ_{u})$ of weight $m$ such that the Chern number $(c_{λ_{1}}... c_{λ_{u}})^{n}[M]$ (resp. Pontrjagin number $(p_{λ_{1}}... p_{λ_{u}})^{n}[N]$) is nonzero, then \emph{any} circle action on $M^{2mn}$ (resp. $N^{4mn}$) has at least $n+1$ fixed points. When an even-dimensional smooth manifold $N^{2n}$ admits a semi-free action with isolated fixed point…
Kawakubo and Uchida showed that, if a closed oriented $4k$-dimensional manifold $M$ admits a semi-free circle action such that the dimension of the fixed point set is less than $2k$, then the signature of $M$ vanishes. In this note, by using $G$-signature theorem and the rigidity of the signature operator, we generalize this result to more general circle actions. Combining the same idea with the remarkable Witten-Taubes-Bott rigidity theorem, we explore more vanishing results on spin manifolds admitting such circle actions. Our results are closely related to some earlier results of Conner-Floy…
