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.
Let G be a cyclic group of order 3, 5 or 7, and X=E(n) be the relatively minimal elliptic surface with rational base. In this paper, we prove that under certain conditions on n, there exists a locally linear G-action on X which is nonsmoothable with respect to infinitely many smooth structures on X. This extends the main result of our previous paper.
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.
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.
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 ch…
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 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.
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.
Consider a circle action on an 8-dimensional compact almost complex manifold with 4 fixed points. To the author's knowledge, $S^2 \times S^6$ is the only known example of such a manifold. In this paper, we prove that if the circle acts on an 8-dimensional compact almost complex manifold $M$ with 4 fixed points, all the Chern numbers and the Hirzebruch $χ_y$-genus of $M$ agree with those of $S^2 \times S^6$. In particular, $M$ is unitary cobordant to $S^2 \times S^6$.
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.
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 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.
This note is an addendum to our earlier work \cite{humi}. In \cite{humi}, we studied a Hamiltonian action for a generalized Calabi-Yau manifold and showed that the Duistermaat-Heckman theorem holds. The purpose of this note is to show that the density function of the Duistermaa-Heckman measure is a piecewise polynomial. We also prove that the localization formula holds.
We investigate conformal actions of cocompact lattices in higher-rank simple Lie groups on compact pseudo-Riemannian manifolds. Our main result gives a general bound on the real-rank of the lattice, which was already known for the action of the full Lie group by a result of Zimmer. When the real-rank is maximal, we prove that the manifold is conformally flat. This indicates that a global conclusion similar to that of anterior works of Bader, Nevo and Frances, Zeghib in the case of a Lie group action might be obtained. We also give better estimates for actions of cocompact lattices in exception…
We obtain general formulae expressing Hirzebruch genera of a manifold with Z/p-action in terms of invariants of this action (the sets of weights of fixed points). As an illustration, we consider numerous particular cases of well-known genera, in particular, the elliptic genus. We also describe the connection with the so-called Conner-Floyd equations for the weights of fixed points.
We consider compact manifolds $M$ with a cohomogeneity one action of a compact Lie group $G$ such that the orbit space $M/G$ is a closed interval. For $T$ a maximal torus of $G$, we find necessary and sufficient conditions on the group diagram of $M$ such that the $T$-action on $M$ is of GKM type, and describe its GKM graph. The general results are illustrated on explicit examples.
This paper contains some more results on the topology of a nondegenerate action of $\mathbb{R}^n$ on a compact connected $n$-manifold $M$ when the action is totally hyperbolic (i.e. its toric degree is zero). We study the $\mathbb{R}$-action generated by a fixed vector of $\mathbb{R}^n$, that provides some results on the number of hyperbolic domains and the number of fixed points of the action. We study with more details the case of the 2-sphere, in particular we investigate some combinatorial properties of the associated 4-valent graph embedded in $S^2$. We also construct hyperbolic actions i…
We study discrete, cocompact, isometric actions of groups on Hadamard spaces, and the induced actions on ideal boundaries. For a class of groups generalizing fundamental groups of three-dimensional graph manifolds, we find a set of invariants for the action which determine the boundary action up to equivariant homeomorphism. This work was inspired by (and answers) a question of Gromov from "Asymptotic invariants of infinite groups."
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.
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.