Let G be either a finite cyclic group of prime order or S^1. We find new relations between cohomology of a manifold (or a Poincare duality space) M with a G-action on it and cohomology of the fixed point set, M^G. Our main tool is the notion of Poincare duality on the Leray spectral sequence of the map M_G -> BG. We apply our results to study group actions on 3-manifolds.
In 2006 Masuda and Suh asked if two compact non-singular toric varieties having isomorphic cohomology rings are homeomorphic. In the first part of this paper we discuss this question for topological generalizations of toric varieties, so-called torus manifolds. For example we show that there are homotopy equivalent torus manifolds which are not homeomorphic. Moreover, we characterize those groups which appear as the fundamental groups of locally standard torus manifolds. In the second part we give a classification of quasitoric manifolds and certain six-dimensional torus manifolds up to equiva…
A 2-torus manifold is a closed smooth manifold of dimension $n$ with an effective action of a 2-torus group $(\Z_2)^n$ of rank $n$, and it is said to be locally standard if it is locally isomorphic to a faithful representation of $(\Z_2)^n$ on $\R^n$. This paper studies the equivariant classification of locally standard 2-torus manifolds.
We introduce an elementary way of constructing principal (Z_2)^m-bundles over compact smooth manifolds. In addition, we will define a general notion of locally standard (Z_2)^m-actions on closed manifolds for all m>0, and then give a general way to construct all such (Z_2)^m-actions from the orbit space. Some related topology problems are also studied.
Each closed oriented 3-manifold $M$ is naturally associated with a set of integers $D(M)$, the degrees of all self-maps on $M$. $D(M)$ is determined for each torus bundle and torus semi-bundle $M$. The structure of torus semi-bundle is studied in detail. The paper is a part of a project to determine $D(M)$ for all 3-manifolds in Thurston's picture.
In this note we define a lifting of a local torus action modeled on the standard representation (we call it a local torus action for simplicity) to a principal torus bundle, and show that there is an obstruction class for the existence of liftings in the first cohomology of the fundamental group of the orbit space with coefficients in a certain module.
Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.
A connected combinatorial 2-manifold is called degree-regular if each of its vertices have the same degree. A connected combinatorial 2-manifold is called weakly regular if it has a vertex-transitive automorphism group. Clearly, a weakly regular combinatorial 2-manifold is degree-regular and a degree-regular combinatorial 2-manifold of Euler characteristic - 2 must contain 12 vertices. In 1982, McMullen et al. constructed a 12-vertex geometrically realized triangulation of the double-torus in $\RR^3$. As an abstract simplicial complex, this triangulation is a weakly regular combinatorial 2-man…
We restrict geometric tangential equivariant complex $T^n$-bordism to torus manifolds and provide a complete combinatorial description of the appropriate non-commutative ring. We discover, using equivariant $K$-theory characteristic numbers, that the information encoded in the oriented torus graph associated to a stably complex torus manifold completely describes its equivariant bordism class. We also consider the role of omnioriented quasitoric manifolds in this description.
We associate a root system to a finite set in a free abelian group and prove that its irreducible subsystem is of type A, B or D. We apply this general result to a torus manifold, where a torus manifold is a $2n$-dimensional connected closed smooth manifold with a smooth effective action of an $n$-dimensional compact torus having a fixed point, and show that if the torus action extends to a smooth action of a connected compact Lie group $G$, then a simple factor of the Lie algebra of $G$ is of type A, B or D. This gives an alternative proof to Wiemeler's theorem. We also discuss a similar prob…
A toric manifold is a compact non-singular toric variety equipped with a natural half-dimensional compact torus action. A torus manifold is an oriented, closed, smooth manifold of dimension $2n$ with an effective action of a compact torus $T^{n}$ having a non-empty fixed point set. Hence, a torus manifold can be thought of as a generalization of a toric manifold. In the present paper, we focus on a certain class $\mM$ in the family of torus manifolds with codimension one extended actions, and we give a topological classification of $\mM$. As a result, their topological types are completely det…
The aim of this paper is to classify simply connected 6-dimensional torus manifolds with vanishing odd degree cohomology. It is shown that there is a one-to-one correspondence between equivariant diffeomorphism types of these manifolds and 3-valent labelled graphs, called torus graphs introduced by Maeda-Masuda-Panov. Using this correspondence and combinatorial arguments, we prove that a simply connected 6-dimensional torus manifold with vanishing odd degree cohomology is equivariantly diffeomorphic to the 6-dimensional sphere or an equivariant connected sum of copies of 6-dimensional quasitor…
We show that every set of numbers that occurs as the set of Chern numbers of an almost complex manifold $M^{2n}$, $n\geqslant 3$, may be realized as the set of Chern numbers of a connected almost complex manifold with an almost complex action of two-dimensional compact torus.
The equivariant bordism classification of manifolds with group actions is an essential subject in the study of transformation groups. We are interesting in the action of 2-torus group $\mathbb{Z}_2^n$ and torus group $T^n$, and study the equivariant bordism of 2-torus manifolds and unitary toric manifolds. In this paper, we give a new description of the group $\mathcal{Z}_n(\mathbb{Z}_2^n)$ of 2-torus manifolds, and determine the dimention of $\mathcal{Z}_n(\mathbb{Z}_2^n)$ as a $\mathbb{Z}_2$-vector space. With the help of toric topology, Lü and Tan proved that the bordism groups $\mathcal{Z}…
We give a necessary and sufficient condition for the orientability of a locally standard 2-torus manifold with a fixed point which generalizes previous results of Nakayama-Nishimura in 2005 and Soprunova-Sottile in 2013. We construct manifolds with boundary where the boundary is a disjoint union of locally standard 2-torus manifolds. We discuss equivariant oriented cobordism class of locally standard 2-torus manifolds.
A torus manifold is a closed smooth manifold of dimension $2n$ having an effective smooth $T^n = (S^1)^n$-action with non-empty fixed points. Petrie \cite{petrie:1973} has shown that any homotopy equivalence between a complex projective space $\CP^n$ and a torus manifold homotopy equivalent to $\CP^n$ preserves their Pontrjagin classes. A \emph{generalized Bott manifold} is a closed smooth manifold obtained as the total space of an iterated complex projective space bundles over a point, where each fibration is a projectivization of the Whitney sum of a finite many complex line bundles. For ins…
The {\it torus manifolds} have been defined and studied by M. Masuda and T. Panov (arXiv:math.AT/0306100) who in particular describe its cohomology ring structure. In this note we shall describe the topological $K$-ring of a class of torus manifolds (those for which the orbit space under the action of the compact torus is a {\it homology polytope} whose {\it nerve} is a {shellable} simplicial complex) in terms of generators and relations. Since these torus manifolds include the class of quasi-toric manifolds this is a generalisation of earlier results due to the author and P. Sankaran (arXiv: …
In this paper, we prove that the Todd genus of a compact complex manifold $X$ of complex dimension $n$ with vanishing odd degree cohomology is one if the automorphism group of $X$ contains a compact $n$-dimensional torus $\Tn$ as a subgroup. This implies that if a quasitoric manifold admits an invariant complex structure, then it is equivariantly homeomorphic to a compact smooth toric variety, which gives a negative answer to a problem posed by Buchstaber-Panov.
In this article the generic torus orbit closure in a flag Bott manifold is shown to be a non-singular toric variety, and its fan structure is explicitly calculated.
In this short note, we study the bordism problem for group actions on the torus and give examples of groups acting on the torus by diffeomorphisms isotopic to the identity that cannot be extended to an action on a bounding 3-manifold. This solves a question raised in the previous work of the authors.
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
In this paper, it is shown that some of the results of torus actions on Poincaré duality spaces, Borel's dimension formula and topological splitting principle to local weights, hold if `torus' is replaced by `pro-torus'.
We consider an effective action of a compact (n-1)-torus on a smooth 2n-manifold with isolated fixed points. We prove that under certain conditions the orbit space is a closed topological manifold. In particular, this holds for certain torus actions with disconnected stabilizers. There is a filtration of the orbit manifold by orbit dimensions. The subset of orbits of dimensions less than n-1 has a specific topology which we axiomatize in the notion of a sponge. In many cases the original manifold can be recovered from its orbit manifold, the sponge, and the weights of tangent representations a…
A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is…
We confirm the Halperin-Carlsson Conjecture for free $Z_p$-torus actions (p is a prime) on 2-dimensional finite CW-complexes and free $Z_2$-torus actions on compact 3-manifolds.
In this paper, we show how to construct graph theoretical models of n-dimensional continuous objects and manifolds. These models retain topological properties of their continuous counterparts. An LCL collection of n-cells in Euclidean space is introduced and investigated. If an LCL collection of n-cells is a cover of a continuous n-dimensional manifold then the intersection graph of this cover is a digital closed n-dimensional manifold with the same topology as its continuous counterpart. As an example, we prove that the digital model of a continuous n-dimensional sphere is a digital n-sphere …
We study cohomological obstructions to extending group actions on the boundary $\partial M$ of a $3$-manifold to a $C^0$-action on $M$ when $\partial M$ is diffeomorphic to a torus or a sphere. In particular, we show that for a $3$-manifold $M$ with torus boundary which is not diffeomorphic to a solid torus, the torus action on the boundary does not extend to a $C^0$-action on $M$.
Let a torus $T$ act smoothly on a compact smooth manifold $M$. If the rational equivariant cohomology $H^*_T(M)$ is a free $H^*_T(pt)$-module, then according to the Chang-Skjelbred Lemma, it can be determined by the $1$-skeleton consisting of the $T$-fixed points and $1$-dimensional $T$-orbits of $M$. When $M$ is an even-dimensional, orientable manifold with 2-dimensional 1-skeleton, Goresky, Kottwitz and MacPherson gave a graphic description of the equivariant cohomology. In this paper, first we revisit the even-dimensional GKM theory and introduce a notion of GKM covering, then we consider t…
We describe the basic Dolbealut cohomology algebra of the canonical foliation on a class of complex manifolds with a torus symmetry group. This class includes complex moment-angle manifolds, LVM- and LVMB-manifolds and, in most generality, complex manifolds with a maximal holomorphic torus action. We also provide a dga model for the ordinary Dolbeault cohomology algebra. The Hodge decomposition for the basic Dolbeault cohomology is proved by reducing to the transversely Kaehler (equivalently, polytopal) case using a foliated analogue of toric blow-up.
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
We construct a model for cohomology of a space $X$ equipped with a torus $T$ action, whose homotopy orbit space $X_{T}$ is formal. This model represents Koszul complex of its equivariant cohomology. Studying homological properties of modules over polynomial ring we derive new bounds on homological rank (dimension of cohomology ring) of $X$ equipped with almost free torus action. We give a proof of toral rank conjecture for spaces with formal quotient in the case of torus dimension $\le5$.
Let $M^{2n}$ be a unitary torus $(2n)$-manifold, i.e., a $(2n)$-dimensional oriented stable complex connected closed $T^n$-manifold having a nonempty fixed set. In this paper we show that $M$ bounds equivariantly if and only if the equivariant Chern numbers $< (c_1^{T^n})^i(c_2^{T^n})^j, [M]>=0$ for all $i, j\in {\Bbb N}$, where $c_l^{T^n}$ denotes the $l$th equivariant Chern class of $M$. As a consequence, we also show that if $M$ does not bound equivariantly then the number of fixed points is at least $\lceil{n\over2}\rceil+1$.
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented …
The rigidity theorem of Witten-Bott-Taubes-Hirzebruch tells us that, if the circle group acts on a closed almost complex (or more generally unitary) manifold whose first Chern class is divisible by a positive integer N greater than 1, then its equivariant elliptic genus of level N is rigid. Applying this to a non-singular compact toric variety, we see that its elliptic genus of level N is rigid if its first Chern class is divisible by N. But, using a vanishing theorem of Hirzebruch, we can show moreover that the genus actually vanishes. In this note we shall extend this result to torus manifol…
Motivated by Buchstaber's and Terzic' work on the complex Grassmannians G(2,4) and G(2,5) we describe the moment map and the orbit space of oriented Grassmannians of planes under the action of a maximal compact torus. Our main tool is the realisation of these oriented Grassmannians as smooth complex quadric hypersurfaces and the relatively simple Geometric Invariant Theory of the corresponding algebraic torus action.
A quasitoric manifold is a smooth 2n-manifold M^{2n} with an action of the compact torus T^n such that the action is locally isomorphic to the standard action of T^n on C^n and the orbit space is diffeomorphic, as manifold with corners, to a simple polytope P^n. The name refers to the fact that topological and combinatorial properties of quasitoric manifolds are similar to that of non-singular algebraic toric varieties (or toric manifolds). Unlike toric varieties, quasitoric manifolds may fail to be complex; however, they always admit a stably (or weakly almost) complex structure, and their co…
We study the geometry of Bott towers in the context of toric geometry, describing their associated fans arising from crosspolytopes. We compute the cohomology ring of each stage of the tower, and provide all monomial identities defining related affine toric varieties.
We consider effective actions of a compact torus $T^{n-1}$ on an even-dimensional smooth manifold $M^{2n}$ with isolated fixed points. We prove that under certain conditions on weights of tangent representations, the orbit space is a manifold with corners. Given that the action is Hamiltonian, the orbit space is homeomorphic to $S^{n+1} \setminus (U_1 \sqcup \ldots \sqcup U_l)$ where $S^{n+1}$ is the $(n+1)$--sphere and $U_1, \ldots, U_l$ are open domains. We apply the results to regular Hessenberg varieties and manifolds of isospectral Hermitian matrices of staircase form.
We introduce the notion of a multi-fan. It is a generalization of that of a fan in the theory of toric variety in algebraic geometry. Roughly speaking a toric variety is an algebraic variety with an action of algebraic torus of the same dimension as that of the variety, and a fan is a combinatorial object associated with the toric variety. Algebro-geometric properties of the toric variety can be described in terms of the associated fan. We develop a combinatorial theory of multi-fans and define ``topological invariants'' of a multi-fan. A smooth manifold with an action of a compact torus of ha…
On intersection cohomology with torus action of complexity one, II
Basque Center of Applied Mathematics (BCAM)(巴斯克应用数学中心);Ruhr-Universität Bochum(鲁尔大学波鸿分校);Indian Institute of Technology Kanpur(坎普尔印度理工学院);Universidade Federal do Ceará (UFC)(塞阿拉联邦大学)
For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy with the GKM-graphs, we introduce the notion of equivariant cohomology of a torus graph, and show that it is isomorphic to the face ring of the associated simplicial poset. This extends a series of previous results on the equivariant cohomology of torus manifolds. As a primary combinatorial application, we show that a simplicial poset is Cohen-Macaulay if it…