• ### Equivariant cohomology Chern numbers determine equivariant unitary bordism for torus groups(1408.2134)

March 16, 2019 math.AT, math.SG
This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of bordism and cobordism. Our approach heavily exploits Quillen's geometric interpretation of homotopic unitary cobordism theory. Moreover, this method can also be applied to the study of $({\Bbb Z}_2)^k$-equivariant unoriented bordism and can still derive the classical result of tom Dieck.
• ### Rigidity of powers and Kosniowski's conjecture(1702.06897)

Aug. 18, 2018 math.AT, math.CO, math.GN
In this paper we state a problem on rigidity of powers, which has a strong topological background for the rigid Hirzebruch genera and Kosniowski's conjecture of unitary circle actions. However, our statement of this problem is elementary enough and does not require any knowledge of algebraic topology. We shall give a solution of this problem for some particular cases. As a consequence, we obtain that Kosniowski's conjecture holds in the case of dimension less than 11 or equal to 14.
• ### Self-dual binary codes from small covers and simple polytopes(1510.02372)

Dec. 14, 2016 math.AT, math.CO
We explore the connection between simple polytopes and self-dual binary codes via the theory of small covers. We first show that a small cover $M^n$ over a simple $n$-polytope $P^n$ produces a self-dual code in the sense of Kreck-Puppe if and only if $P^n$ is $n$-colorable and $n$ is odd. Then we show how to describe such a self-dual binary code in terms of the combinatorial information of $P^n$. Moreover, we can define a family of binary codes $\mathfrak{B}_k(P^n)$, $0\leq k\leq n$, from an arbitrary simple $n$-polytope $P^n$. We will give some necessary and sufficient conditions for $\mathfrak{B}_k(P^n)$ to be a self-dual code. A spinoff of our study of such binary codes gives some new ways to judge whether a simple $n$-polytope $P^n$ is $n$-colorable in terms of the associated binary codes $\mathfrak{B}_k(P^n)$. In addition, we prove that the minimum distance of the self-dual binary code obtained from a $3$-colorable simple $3$-polytope is always $4$.
• ### On toric generators in the unitary and special unitary bordism rings(1412.5084)

Nov. 18, 2016 math.AT, math.GT
We construct a new family of toric manifolds generating the unitary bordism ring. Each manifold in the family is the complex projectivisation of the sum of a line bundle and a trivial bundle over a complex projective space. We also construct a family of special unitary quasitoric manifolds which contains polynomial generators of the special unitary bordism ring with 2 inverted in dimensions >8. Each manifold in the latter family is obtained from an iterated complex projectivisation of a sum of line bundles by amending the complex structure to make the first Chern class vanish.
• ### Automated Detection of Individual Micro-calcifications from Mammograms using a Multi-stage Cascade Approach(1610.02251)

Oct. 7, 2016 cs.CV
In mammography, the efficacy of computer-aided detection methods depends, in part, on the robust localisation of micro-calcifications ($\mu$C). Currently, the most effective methods are based on three steps: 1) detection of individual $\mu$C candidates, 2) clustering of individual $\mu$C candidates, and 3) classification of $\mu$C clusters. Where the second step is motivated both to reduce the number of false positive detections from the first step and on the evidence that malignancy depends on a relatively large number of $\mu$C detections within a certain area. In this paper, we propose a novel approach to $\mu$C detection, consisting of the detection \emph{and} classification of individual $\mu$C candidates, using shape and appearance features, using a cascade of boosting classifiers. The final step in our approach then clusters the remaining individual $\mu$C candidates. The main advantage of this approach lies in its ability to reject a significant number of false positive $\mu$C candidates compared to previously proposed methods. Specifically, on the INbreast dataset, we show that our approach has a true positive rate (TPR) for individual $\mu$Cs of 40\% at one false positive per image (FPI) and a TPR of 80\% at 10 FPI. These results are significantly more accurate than the current state of the art, which has a TPR of less than 1\% at one FPI and a TPR of 10\% at 10 FPI. Our results are competitive with the state of the art at the subsequent stage of detecting clusters of $\mu$Cs.
• ### Elementary symmetric polynomials in Stanley--Reisner face ring(1602.08837)

Feb. 29, 2016 math.AT, math.CO, math.AC
Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary symmetric polynomial influences on the combinatorics of $P$ and the topology and geometry of toric spaces over $P$. We give algebraic criterions of detecting the decomposability of $P$ and determining when $P$ is $n$-colorable in terms of the $n$-th elementary symmetric polynomial. In addition, we define the Stanley--Reisner {\em exterior} face ring $\mathcal{E}(K_P)$ of $P$, which is non-commutative in the case of ${\Bbb Z}$ coefficients, where $K_P$ is the boundary complex of dual of $P$. Then we obtain a criterion for the (real) Buchstaber invariant of $P$ to be $m-n$ in terms of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$. Our results as above can directly associate with the topology and geometry of toric spaces over $P$. In particular, we show that the decomposability of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$ with ${\Bbb Z}$ coefficients can detect the existence of the almost complex structures of quasitoric manifolds over $P$, and if the (real) Buchstaber invariant of $P$ is $m-n$, then there exists an essential relation between the $n$-th equivariant characteristic class of the (real) moment-angle manifold over $P$ in $\mathcal{E}(K_P)$ and the characteristic functions of $P$.
• ### Examples of quasitoric manifolds as special unitary manifolds(1310.3933)

March 3, 2015 math.AT
This note shows that for each $n\geq 5$ with only $n\not= 6$, there exists a $2n$-dimensional specially omnioriented quasitoric manifold $M^{2n}$ which represents a nonzero element in $\Omega_*^U$. This provides the counterexamples of Buchstaber--Panov--Ray conjecture.
• ### Projective bundles over small covers and topological triviality problem(1401.4759)

Jan. 20, 2014 math.AT, math.GT
This paper investigates the projectivization of real vector bundles over small covers. We first give a necessary and sufficient condition for such a projectivization to be a small cover. Then associated with moment-angle manifolds, we further study the structure of such a projectivization as a small cover. As an application, we characterize the real projective bundles over 2-dimensional small covers by interpreting the fibre sum operation to some combinatorial operation. Finally, we study when the projectivization of Whitney sum of the tautological line bundle and the tangent bundle over real projective space is diffeomorphic to the product of two real projective spaces.
• ### Equivariant bordism of 2-torus manifolds and unitary toric manifolds--a survey(1401.3052)

Sept. 8, 2019 math.AT
In this paper we survey results and recent progresses on the equivariant bordism classification of 2-torus manifolds and unitary toric manifolds.
• ### Small covers and the equivariant bordism classification of 2-torus manifolds(1008.2166)

Aug. 5, 2013 math.AT, math.CO, math.RT, math.RA
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 bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
• ### Orbit configuration spaces of small covers and quasi-toric manifolds(1111.6699)

Nov. 5, 2012 math.AT
In this article, we investigate the orbit configuration spaces of some equivariant closed manifolds over simple convex polytopes in toric topology, such as small covers, quasi-toric manifolds and (real) moment-angle manifolds; especially for the cases of small covers and quasi-toric manifolds. These kinds of orbit configuration spaces are all non-free and noncompact, but still built via simple convex polytopes. We obtain an explicit formula of Euler characteristic for orbit configuration spaces of small covers and quasi-toric manifolds in terms of the $h$-vector of a simple convex polytope. As a by-product of our method, we also obtain a formula of Euler characteristic for the classical configuration space, which generalizes the F\'elix-Thomas formula. In addition, we also study the homotopy type of such orbit configuration spaces. In particular, we determine an equivariant strong deformation retract of the orbit configuration space of 2 distinct orbit-points in a small cover or a quasi-toric manifold, which turns out that we are able to further study the algebraic topology of such an orbit configuration space by using the Mayer-Vietoris spectral sequence.
• ### Moment-angle complexes from simplicial posets(0912.2219)

April 28, 2011 math.AT, math.AC
We extend the construction of moment-angle complexes to simplicial posets by associating a certain T^m-space Z_S to an arbitrary simplicial poset S on m vertices. Face rings Z[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen--Macaulay rings. Our primary motivation is to study the face rings Z[S] by topological methods. The space Z_S has many important topological properties of the original moment-angle complex Z_K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z_S is isomorphic to the Tor-algebra of the face ring Z[S]. This leads directly to a generalisation of Hochster's theorem, expressing the algebraic Betti numbers of the ring Z[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of Z_S from below by proving the toral rank conjecture for the moment-angle complexes Z_S.
• ### Equivariant Chern numbers and the number of fixed points for unitary torus manifolds(1103.6173)

March 31, 2011 math.DG, math.AT
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$.
• ### Cohomological rigidity and the number of homeomorphism types for small covers over prisms(0903.3653)

Feb. 20, 2011 math.AT, math.CO, math.GT
In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) \cite[Chapter 8, \S 2 Gluing Manifolds Together]{h}, we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimensional prism $P^3(m)$ with $m\geq 3$. We introduce two invariants from colored prisms and other two invariants from ordinary cohomology rings with ${\Bbb Z}_2$-coefficients of small covers. These invariants can form a complete invariant system of homeomorphism types of all small covers over a prism in most cases. Then we show that the cohomological rigidity holds for all small covers over a prism $P^3(m)$ (i.e., cohomology rings with ${\Bbb Z}_2$-coefficients of all small covers over a $P^3(m)$ determine their homeomorphism types). In addition, we also calculate the number of homeomorphism types of all small covers over $P^3(m)$.
• ### Graphs and $({\Bbb Z}_2)^k$-actions(math/0508643)

May 20, 2010 math.AT, math.CO, math.RT
Let $\mathcal{A}_n^k$ denote all nonbounding effective smooth $({\Bbb Z}_2)^k$-actions on $n$-dimensional smooth closed connected manifolds, each of which is cobordant to one with finite fixed set. Motivated by GKM theory, one can associate to each action of $\mathcal{A}_n^k$ a $({\Bbb Z}_2)^k$-colored regular graph of valence $n$. Together with the combinatorics of colored graphs, equivariant cobordism and the tom Dieck-Kosniowski-Stong localization theorem, we give a lower bound for the number of fixed points of an action in $\mathcal{A}_n^k$, which can become the best possible in some cases; we determine the existence and the equivariant cobordism classification of all actions in $\mathcal{A}_n^k(h)$ with $h=3,4$, where $\mathcal{A}_n^k(h)$ is the subset of $\mathcal{A}_n^k$, each of which is equivariantly cobordant to an effective $({\Bbb Z}_2)^k$-action fixing just $h$ isolated points, and it is well-known that $\mathcal{A}_n^k(h)$ is empty if $h=1,2$; we characterize the explicit relationships among tangent representations at fixed points of each action in $\mathcal{A}_n^k(h)$ with $h=3,4$, which actually give the explicit solution of the Smith problem in such cases. As an application, we also study the minimum number of fixed points of all actions in $\mathcal{A}_n^k$.
• ### M\"obius transform, moment-angle complexes and Halperin-Carlsson conjecture(0908.3174)

Sept. 12, 2009 math.AT, math.CO, math.AC
In this paper, we give an algebra-combinatorics formula of the M\"obius transform for an abstract simplicial complex $K$ on $[m]=\{1, ..., m\}$ in terms of the Betti numbers of the Stanley-Reisner face ring of $K$. Furthermore, we employ a way of compressing $K$ to estimate the lower bound of the sum of those Betti numbers by using this formula. As an application, associating with the moment-angle complex $\mathcal{Z}_K$ (resp. real moment-angle complex ${\Bbb R}\mathcal{Z}_K$) of $K$, we show that the Halperin-Carlsson conjecture holds for $\mathcal{Z}_K$ (resp. ${\Bbb R}\mathcal{Z}_K$) under the restriction of the natural $T^m$-action on $\mathcal{Z}_K$ (resp. $({\Bbb Z}_2)^m$-action on ${\Bbb R}\mathcal{Z}_K$).
• ### Topological types of 3-dimensional small covers(0710.4496)

April 16, 2009 math.AT, math.CO, math.GT
In this paper we study the (equivariant) topological types of a class of 3-dimensional closed manifolds (i.e., 3-dimensional small covers), each of which admits a locally standard $(\mathbb{Z}_2)^3$-action such that its orbit space is a simple convex 3-polytope. We introduce six equivariant operations on 3-dimensional small covers. These six operations are interesting because of their combinatorial natures. Then we show that each 3-dimensional small cover can be obtained from $\mathbb{R}P^3$ and $S^1\times\mathbb{R}P^2$ with certain $(\mathbb{Z}_2)^3$-actions under these six operations. As an application, we classify all 3-dimensional small covers up to $({\Bbb Z}_2)^3$-equivariant unoriented cobordism.
• ### On 3-manifolds with locally-standard (Z_2)^3-actions(0807.3062)

Sept. 1, 2008 math.AT, math.CO, math.GT
As a generalization of Davis-Januszkiewicz theory, there is an essential link between locally standard $(\Z_2)^n$-actions (or $T^n$-actions) actions and nice manifolds with corners, so that a class of nicely behaved equivariant cut-and-paste operations on locally standard actions can be carried out in step on nice manifolds with corners. Based upon this, we investigate what kinds of closed manifolds admit locally standard $(\Z_2)^n$-actions; especially for the 3-dimensional case. Suppose $M$ is an orientable closed connected 3-manifold. When $H_1(M;\Z_2)=0$, it is shown that $M$ admits a locally standard $(\Z_2)^3$-action if and only if $M$ is homeomorphic to a connected sum of 8 copies of some $\Z_2$-homology sphere $N$, and if further assuming $M$ is irreducible, then $M$ must be homeomorphic to $S^3$. In addition, the argument is extended to rational homology 3-sphere $M$ with $H_1(M;\Z_2) \cong \Z_2$ and an additional assumption that the $(\Z_2)^3$-action has a fixed point.
• ### Equivariant cohomology and analytic descriptions of ring isomorphisms(math/0703083)

March 24, 2008 math.AT
In this paper we consider a class of connected closed $G$-manifolds with a non-empty finite fixed point set, each $M$ of which is totally non-homologous to zero in $M_G$ (or $G$-equivariantly formal), where $G={\Bbb Z}_2$. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a $G$-manifold in terms of algebra, so that we can obtain analytic descriptions of ring isomorphisms among equivariant cohomology rings of such $G$-manifolds, and a necessary and sufficient condition that the equivariant cohomology rings of such two $G$-manifolds are isomorphic. This also leads us to analyze how many there are equivariant cohomology rings up to isomorphism for such $G$-manifolds in 2- and 3-dimensional cases.
• ### Equivariant classification of 2-torus manifolds(0802.2313)

Feb. 16, 2008 math.AT, math.CO, math.GT
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.
• ### Manifolds associated with $(Z_2)^n$-colored regular graphs(math/0609557)

Feb. 12, 2008 math.CO, math.GT
In this article we describe a canonical way to expand a certain kind of $(\mathbb Z_2)^{n+1}$-colored regular graphs into closed $n$-manifolds by adding cells determined by the edge-colorings inductively. We show that every closed combinatorial $n$-manifold can be obtained in this way. When $n\leq 3$, we give simple equivalent conditions for a colored graph to admit an expansion. In addition, we show that if a $(\mathbb Z_2)^{n+1}$-colored regular graph admits an $n$-skeletal expansion, then it is realizable as the moment graph of an $(n+1)$-dimensional closed $(\mathbb Z_2)^{n+1}$-manifold.
• ### Graphs of 2-torus actions(0711.3778)

Nov. 25, 2007 math.AT, math.CO
It has been known that an effective smooth $({\Bbb Z}_2)^k$-action on a smooth connected closed manifold $M^n$ fixing a finite set can be associated to a $({\Bbb Z}_2)^k$-colored regular graph. In this paper, we consider abstract graphs $(\Gamma,\alpha)$ of $({\Bbb Z}_2)^k$-actions, called abstract 1-skeletons. We study when an abstract 1-skeleton is a colored graph of some $({\Bbb Z}_2)^k$-action. We also study the existence of faces of an abstract 1-skeleton (note that faces often have certain geometric meanings if an abstract 1-skeleton is a colored graph of some $({\Bbb Z}_2)^k$-action).
• ### Smooth free involution of $H{\Bbb C}P^3$ and Smith conjecture for imbeddings of $S^3$ in $S^6$(math/0211153)

June 26, 2007 math.AT
This paper establishes an equivalence between existence of free involutions on $H{\Bbb C}P^3$ and existence of involutions on $S^6$ with fixed point set an imbedded $S^3$, then a family of counterexamples of the Smith conjecture for imbeddings of $S^3$ in $S^6$ are given by known result on $H{\Bbb C}P^3$. In addition, this paper also shows that every smooth homotopy complex projective 3-space admits no orientation preserving smooth free involution, which answers an open problem [Pe]. Moreover, the study of existence problem for smooth orientation preserving involutions on $H{\Bbb C}P^3$ is completed.
• ### Small Covers over Prisms(math/0606438)

June 3, 2007 math.DG, math.CO
In this paper we calculate the number of equivariant diffeomorphism classes of small covers over a prism.
• ### Corrections to: Involutions fixing $\Bbb{RP}^{\text{odd}}\sqcup P(h,i)$, II(math/0605195)

June 3, 2007 math.AT
The purpose of this note is to correct statements of some assertions in \cite{l}.