Searcharxiv⌕ Search

arXiv subjects

Mikiya Masuda

Publications and source records attributed to Mikiya Masuda.

70 records · Page 4Linked to original sources
arXiv2008

Classification of real Bott manifolds

A real Bott manifold is the total space of a sequence of $\R P^1$ bundles starting with a point, where each $\R P^1$ bundle is projectivization of a Whitney sum of two real line bundles. A real Bott manifold is a real toric manifold which admits a flat riemannian metric. An upper triangular $(0,1)$ matrix with zero diagonal entries uniquely determines such a sequence of $\R P^1$ bundles but different matrices may produce diffeomorphic real Bott manifolds. In this paper we determine when two such matrices produce diffeomorphic real Bott manifolds. The argument also proves that any graded ring isomorphism between the cohomology rings of real Bott manifolds with $\Z/2$ coefficients is induced by an affine diffeomorphism between the real Bott manifolds. In particular, this implies the main theorem of \cite{ka-ma08} which asserts that two real Bott manifolds are diffeomorphic if and only of their cohomology rings with $\Z/2$ coefficients are isomorphic as graded rings. We also prove that the decomposition of a real Bott manifold into a product of indecomposable real Bott manifolds is unique up to permutations of the indecomposable factors.

math.AT↗
arXiv2008

Cohomological non-rigidity of generalized real Bott manifolds of height 2

We investigate when two generalized real Bott manifolds of height 2 have isomorphic cohomology rings with Z/2 coefficients and also when they are diffeomorphic. It turns out that cohomology rings with Z/2 coefficients do not distinguish those manifolds up to diffeomorphism in general. This gives a counterexample to the cohomological rigidity problem for real toric manifolds posed in \cite{ka-ma08}. We also prove that generalized real Bott manifolds of height 2 are diffeomorphic if they are homotopy equivalent.

math.AT↗
arXiv2008

Topological classification of generalized Bott towers

If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.

math.AT↗
arXiv2008

Cohomological rigidity of real Bott manifolds

A real Bott manifold is the total space of iterated RP^1 bundles starting with a point, where each RP^1 bundle is projectivization of a Whitney sum of two real line bundles. We prove that two real Bott manifolds are diffeomorphic if their cohomology rings with Z/2 coefficients are isomorphic. A real Bott manifold is a real toric manifold and admits a flat riemannian metric invariant under the natural action of an elementary abelian 2-group. We also prove that the converse is true, namely a real toric manifold which admits a flat riemannian metric invariant under the action of an elementary abelian 2-group is a real Bott manifold.

math.AT↗
arXiv2008

Equivariant classification of 2-torus manifolds

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.

math.GT↗
arXiv2007

Semifree circle actions, Bott towers, and quasitoric manifolds

A Bott tower is the total space of a tower of fibre bundles with base CP^1 and fibres CP^1. Every Bott tower of height n is a smooth projective toric variety whose moment polytope is combinatorially equivalent to an n-cube. A circle action is semifree if it is free on the complement to fixed points. We show that a (quasi)toric manifold (in the sense of Davis-Januszkiewicz) over an n-cube with a semifree circle action and isolated fixed points is a Bott tower. Then we show that every Bott tower obtained in this way is topologically trivial, that is, homeomorphic to a product of 2-spheres. This extends a recent result of Ilinskii, who showed that a smooth compact toric variety with a semifree circle action and isolated fixed points is homeomorphic to a product of 2-spheres, and makes a further step towards our understanding of a problem motivated by Hattori's work on semifree circle actions. Finally, we show that if the cohomology ring of a quasitoric manifold (or Bott tower) is isomorphic to that of a product of 2-spheres, then the manifold is homeomorphic to the product.

math.AT↗
arXiv2007

Equivariant cohomology distinguishes toric manifolds

The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are weakly isomorphic. We also prove that quasitoric manifolds, which can be thought of as a topological counterpart to toric manifolds, are equivariantly homeomorphic if and only if their equivariant cohomology algebras are isomorphic.

math.AT↗
arXiv2006

On the cohomology of torus manifolds

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 generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.

math.AT↗
arXiv2006

Torus graphs and simplicial posets

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 its face ring is Cohen-Macaulay. This completes the algebraic characterisation of Cohen-Macaulay posets initiated by Stanley. We also study blow-ups of torus graphs and manifolds from both the algebraic and the topological points of view.

math.AT↗
arXiv2004

Elliptic genera, torus manifolds and multi-fans

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 manifolds. In fact, a non-singular complete multi-fan is associated with a torus manifold, and rigidity and vanishing of elliptic genus of level N can be formulated and proved for non-singular complete multi-fans. Some applications on compact non-singular toric varieties with the first Chern class divisible by a large positive integer are given.

math.SG↗
arXiv2004

h-vectors of Gorenstein* simplicial posets

As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial posets and h-vectors are defined for simplicial posets. It is known that h-vectors of Gorenstein* simplicial posets must satisfy Dehn-Sommerville equations and that every component in the h-vectors must be non-negative. In this paper we will show that h-vectors of Gorenstein* simplicial posets must satisfy one more subtle condition conjectured by R. Stanley and complete characterization of those h-vectors. Our proof is purely algebraic but the idea of the proof stems from topology.

math.CO↗
arXiv2003

Theory of multi-fans

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 half the dimension of the manifold and with some orientation data is called a torus manifold. We associate a multi-fan with a torus manifold, and apply the combinatorial theory to describe topological invariants of the torus manifold. A similar theory is also given for torus orbifolds. As a related subject a generalization of the Ehrhart polynomial concerning the number of lattice points in a convex polytope is discussed.

math.SG↗
arXiv2000

Equivariant K-groups of spheres with actions of involutions

We calculate the R(G)-algebra structure on the reduced equivariant K-groups of two-dimensional spheres on which a compact Lie group G acts as involutions. In particular, the reduced equivariant K-groups are trivial if G is abelian, which shows that the previous Y. Yang's calculation in [Yan95] is not true.

math.KT↗
arXiv2000

Classification of equivariant real vector bundles over a circle

This is a continuation of the authors' previous work [math.AT/9910001] on classification of equivariant complex vector bundles over a circle. In this paper we classify equivariant real vector bundles over a circle with a compact Lie group action, by characterizing the fiber representations of them, and by using the result of the complex case. We also treat the triviality of them. The basic phenomenon is similar to the complex case but more complicated here.

math.AT↗
arXiv1999

Classification of Equivariant Complex Vector Bundles over a Circle

In this paper we characterize the fiber representations of equivariant complex vector bundles over a circle and classify these bundles. We also treat the triviality of equivariant complex vector bundles over a circle by investigating the extensions of representations. As a corollary of our results, we calculate the reduced equivariant K-group of a circle for any compact Lie group.

math.AT↗