Abstract
Let X be a 2n-dimensional torus manifold with a locally standard T ≅ (S1)n action whose orbit space is a homology polytope. Smooth complete complex toric varieties and quasitoric manifolds are examples of torus manifolds. Consider a principal T-bundle p : E → B and let π : E(X) → B be the associated torus manifold bundle. We give a presentation of the singular cohomology ring of E(X) as a H*(B)-algebra and the topological K-ring of E(X) as a K*(B)-algebra with generators and relations. These generalize the results in [17] and [19] when the base B = pt. These also extend the results in [20], obtained in the case of a smooth projective toric variety, to any smooth complete toric variety.
(Communicated by Július Korbaš)
Acknowledgement
The authors are grateful to Prof. P. Sankaran for drawing our attention to this problem and for his valuable comments on the initial versions of this manuscript. The first and the second author thank the Council of Scientific and Industrial Research (CSIR) for their financial support. The authors wish to thank the unknown referee for a careful reading of the manuscript and for very valuable comments and suggestions which led to improving the text. The final section has been added taking into account the referee’s suggestions. The extension of Theorem 3.3 to Theorem 6.1 was also suggested by Prof. M. Masuda in a prior email correspondence. We are grateful to him for this.
References
[1] Atiyah, M. F.—Hirzebruch, F.—Adams, J. F.—Shepherd, G. C.: Vector bundles and homogeneous spaces. London Math. Soc. Lecture Note Ser., Cambridge University Press, 1972, pp. 196–222.10.1017/CBO9780511662584.020Search in Google Scholar
[2] Atiyah, M. F.—MacDonald, I. G.: Introduction to Commutative Algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969.Search in Google Scholar
[3] Baggio, S.: Equivariant K-theory of smooth toric varieties, Tohoku Math. J. (2) 59(2) (2007), 203–231.10.2748/tmj/1182180734Search in Google Scholar
[4] Bredon, G. E.: Introduction to Compact Transformation Groups. Pure Appl. Math. 46, Academic Press, New York-London, 1972.Search in Google Scholar
[5] Buchstaber, V. M.—Panov, T. E.: Toric Topology. Math. Surveys Monogr. 204, AMS, Providence, RI, 2015.10.1090/surv/204Search in Google Scholar
[6] Danilov, V. I.: The geometry of toric varieties, Uspekhi Mat. Nauk 33(2) (1978), 85–134.10.1070/RM1978v033n02ABEH002305Search in Google Scholar
[7] Dasgupta, J.—Khan, B.—Uma, V.: Equivariant K-ring of quasitoric manifolds, arXiv:1805.11373 [math.AT] (2018).Search in Google Scholar
[8] Davis, J. F.—Kirk, P.: Lecture Notes in Algebraic Topology. Grad. Stud. Math. 35, AMS, Providence, RI, 2001.10.1090/gsm/035Search in Google Scholar
[9] Davis, M. W.—Januszkiewicz, T.: Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J. 62(2) (1991), 417–451.10.1215/S0012-7094-91-06217-4Search in Google Scholar
[10] Fulton, W.: Introduction to Toric Varieties. Ann. of Math. Stud. 131, Princeton University Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry.Search in Google Scholar
[11] Guillemin, V.—Ginzburg, V.—Karshon, Y.: Moment maps, cobordisms, and Hamiltonian group actions. Math. Surveys Monogr. 98, AMS, Providence, RI, 2002, Appendix J by Maxim Braverman.10.1090/surv/098Search in Google Scholar
[12] Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge, 2002.Search in Google Scholar
[13] Hatcher, A.: Vector bundles and K-theory, http://www.math.cornell.edu/~{}hatcher, 2003.Search in Google Scholar
[14] Hattori, A.—Masuda, M.: Theory of multi-fans, Osaka J. Math. 40(1) (2003), 1–68.Search in Google Scholar
[15] Huneke, C.—Swanson, I.: Integral Closure of Ideals, Rings, and Modules. London Math. Soc. Lecture Note Ser. 336, Cambridge University Press, Cambridge, 2006.Search in Google Scholar
[16] Karoubi, M.: K-theory. Classics in Mathematics, Springer-Verlag, Berlin, 2008. An introduction, Reprint of the 1978 edition, With a new postface by the author and a list of errata.10.1007/978-3-540-79890-3Search in Google Scholar
[17] Masuda, M.—Panov, T. On the cohomology of torus manifolds, Osaka J. Math. 43 (2006), 711–746.Search in Google Scholar
[18] Mukherjee, G. ed.: Transformation groups Hindustan Book Agency, New Delhi, 2005. Symplectic torus actions and toric manifolds, With contributions by Chris Allday, Mikiya Masuda and P. Sankaran.Search in Google Scholar
[19] Sankaran, P.: K-rings of smooth complete toric varieties and related spaces, Tohoku Math. J. 60 (2008), 459–469.10.2748/tmj/1232376162Search in Google Scholar
[20] Sankaran, P.—Uma, V.: Cohomology of toric bundles, Comment. Math. Helv. 78(4) (2003), 540–554.10.1007/s00014-003-0761-1Search in Google Scholar
[21] Sankaran, P.—Uma, V.: K-theory of quasitoric manifolds, Osaka J. Math. 44(1) (2007), 71–89.Search in Google Scholar
[22] Suyama, Y.: Examples of smooth compact toric varieties that are not quasitoric manifolds, Algebr. Geom. Topol. 14(5) (2014), 3097–3106.10.2140/agt.2014.14.3097Search in Google Scholar
[23] Uma, V.: K-theory of torus manifolds, Toric topology, Contemp. Math. 460 (2008), 85–389.10.1090/conm/460/09031Search in Google Scholar
[24] Vezzosi, G.—Vistoli, A.: Higher algebraic K-theory for actions of diagonalizable groups, Invent. Math. 153(1) (2003), 1–44.10.1007/s00222-002-0275-2Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- The life jubilee of Prof. RNDr. Sylvia Pulmannová, DrSc.
- Perfect 1-factorizations
- A topological duality for strong Boolean posets
- On the Diophantine equations x2 + 2α 3β 19γ = yn and x2 + 2α 3β 13γ = yn
- Tribonacci numbers and primes of the form p = x2 + 11y2
- Basic semirings
- A conjecture for varieties of completely regular semigroups
- Uniqueness of meromorphic function with its shift operator under the purview of two or three shared sets
- Differential subordination results for Mittag-Leffler type functions with bounded turning property
- Mittag-Leffler stability for non-instantaneous impulsive Caputo fractional differential equations with delays
- Asymptotically periodic behavior of solutions of fractional evolution equations of order 1 < α < 2
- On the polynomial entropy for morse gradient systems
- Quantitative approximation by Stancu-Durrmeyer-Choquet-Šipoš operators
- A note on non-linear ∗-Jordan derivations on ∗-algebras
- Disjoint hypercyclic weighted translations on locally compact hausdorff spaces
- Some new results on real hypersurfaces with generalized Tanaka-Webster connection
- Relative topological properties of hyperspaces
- Cohomology of torus manifold bundles
- The Menger and projective Menger properties of function spaces with the set-open topology
- Asymptotic behavior of the record values in a stationary Gaussian sequence, with applications
Articles in the same Issue
- Regular papers
- The life jubilee of Prof. RNDr. Sylvia Pulmannová, DrSc.
- Perfect 1-factorizations
- A topological duality for strong Boolean posets
- On the Diophantine equations x2 + 2α 3β 19γ = yn and x2 + 2α 3β 13γ = yn
- Tribonacci numbers and primes of the form p = x2 + 11y2
- Basic semirings
- A conjecture for varieties of completely regular semigroups
- Uniqueness of meromorphic function with its shift operator under the purview of two or three shared sets
- Differential subordination results for Mittag-Leffler type functions with bounded turning property
- Mittag-Leffler stability for non-instantaneous impulsive Caputo fractional differential equations with delays
- Asymptotically periodic behavior of solutions of fractional evolution equations of order 1 < α < 2
- On the polynomial entropy for morse gradient systems
- Quantitative approximation by Stancu-Durrmeyer-Choquet-Šipoš operators
- A note on non-linear ∗-Jordan derivations on ∗-algebras
- Disjoint hypercyclic weighted translations on locally compact hausdorff spaces
- Some new results on real hypersurfaces with generalized Tanaka-Webster connection
- Relative topological properties of hyperspaces
- Cohomology of torus manifold bundles
- The Menger and projective Menger properties of function spaces with the set-open topology
- Asymptotic behavior of the record values in a stationary Gaussian sequence, with applications