-
Smooth manifolds in $G_{n,2}$ and $\mathbb{C} P^{N}$ defined by symplectic reductions of $T^n$-action
Authors:
Victor M. Buchstaber,
Svjetlana Terzić
Abstract:
Plücker coordinates define the $T^n$-equivariant embedding $p : G_{n,2}\to \mathbb{C} P^{N}$ of a complex Grassmann manifold $G_{n,2}$ into the complex projective space $\mathbb{C} P^{N}$, $N=\binom{n}{2}-1$ for the canonical $T^n$-action on $G_{n,2}$ and the $T^n$-action on $\mathbb{C} P^{N}$ given by the second symmetric power representation $T^n\to T^{N}$ and the standard $T^{N}$-action. Let…
▽ More
Plücker coordinates define the $T^n$-equivariant embedding $p : G_{n,2}\to \mathbb{C} P^{N}$ of a complex Grassmann manifold $G_{n,2}$ into the complex projective space $\mathbb{C} P^{N}$, $N=\binom{n}{2}-1$ for the canonical $T^n$-action on $G_{n,2}$ and the $T^n$-action on $\mathbb{C} P^{N}$ given by the second symmetric power representation $T^n\to T^{N}$ and the standard $T^{N}$-action. Let $μ: G_{n,2}\to Δ_{n,2}\subset \mathbb{R} ^{n}$ and $\tildeμ: \mathbb{C} P^{N}\to Δ_{n,2}\subset \mathbb{R}^n$ be the moment maps for the $T^n$-actions on $G_{n,2}$ and $\mathbb{C} P^{N}$ respectively, such that $\tildeμ \circ p=μ$. The preimages $μ^{-1}({\bf x})$ and $\tildeμ ^{-1}({\bf y})$ are smooth submanifolds in $G_{n, 2}$ and $\mathbb{C} P^{N}$, for any regular values ${\bf x}, {\bf y} \in Δ_{n,2}$ for these maps, respectively. The orbit spaces $μ^{-1}({\bf x})/T^n$ and $\tildeμ^{-1}({\bf y})/T^n$ are symplectic manifolds, which are known as symplectic reduction.
The regular values for $μ$ and $\tildeμ$ coincide for $n=4$ and we prove that $μ^{-1}({\bf x})$ and $\tildeμ^{-1}({\bf x}) $ do not depend on a regular value ${\bf x}\in Δ_{4,2}$. We provide their explicit topological description, that is we prove $μ^{-1}({\bf x})\cong S^3\times T^2$ and $\tildeμ ^{-1}({\bf x})\cong S^5\times T^2$.
In addition, we discuss, from the point of view of symplectic reduction, our results on description of the orbit space $G_{n,2}/T^n$, which are related to the Deligne-Mumford and Losev-Manin compactifications.
△ Less
Submitted 6 July, 2025;
originally announced July 2025.
-
Moduli space of weighted pointed stable curves and toric topology of Grassmann manifolds
Authors:
Victor M. Buchstaber,
Svjetlana Terzić
Abstract:
We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus $T^n$. We prove that all spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ can be isomorphically or up to birational morphisms embedded in $G_{n,2}/T^n$ . The crucial…
▽ More
We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus $T^n$. We prove that all spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ can be isomorphically or up to birational morphisms embedded in $G_{n,2}/T^n$ . The crucial role for proving this result play the chamber decomposition of the hypersimplex $Δ_{n,2}$ which corresponds to $(\mathbb{C} ^{\ast})^{n}$-stratification of $G_{n,2}$ and the spaces of parameters over the chambers, which are subspaces in $G_{n,2}/T^n$. We show that the points of these moduli spaces $\overline{\mathcal{M}}_{0, \mathcal{A}}$ have the geometric realization as the points of the spaces of parameters over the chambers. We single out the characteristic categories among such moduli spaces. The morphisms in these categories correspond to the natural projections between the universal space of parameters and the spaces of parameters over the chambers. As a corollary, we obtain the realization of the orbit space $G_{n,2}/T^n$ as an universal object for the introduced categories. As one of our main results we describe the structure of the canonical projection from the Deligne-Mumford compactification to the Losev-Manin compactification of $\mathcal{M}_{0,n}$, using the embedding of $\mathcal{M}_{0, n}\subset \bar{L}_{0, n, 2}$ in $(\mathbb{C} P^{1})^{N}$, $N=\binom{n-2}{2}$, the action of the algebraic torus $(\mathbb{C} ^{\ast})^{n-3}$ on $(\mathbb{C} P^{1})^{N}$ for which $\bar{L}_{0, n, 2}$ is invariant, and the realization of the Losev-Manin compactification as the corresponding permutohedral toric variety.
△ Less
Submitted 1 October, 2024;
originally announced October 2024.
-
$ \mathbb{Z}_{2} $- homology of the orbit spaces $ G_{n,2}/ T^{n} $
Authors:
Vladimir Ivanović,
Svjetlana Terzić
Abstract:
We study the $\mathbb{Z}_2$-homology groups of the orbit space $X_n = G_{n,2}/T^n$ for the canonical action of the compact torus $T^n$ on a complex Grassmann manifold $G_{n,2}$. Our starting point is the model $(U_n, p_n)$ for $X_n$ constructed by Buchstaber and Terzić (2020), where $U_n = Δ_{n,2}\times \mathcal{F}_{n}$ for a hypersimplex $Δ_{n,2}$ and an universal space of parameters…
▽ More
We study the $\mathbb{Z}_2$-homology groups of the orbit space $X_n = G_{n,2}/T^n$ for the canonical action of the compact torus $T^n$ on a complex Grassmann manifold $G_{n,2}$. Our starting point is the model $(U_n, p_n)$ for $X_n$ constructed by Buchstaber and Terzić (2020), where $U_n = Δ_{n,2}\times \mathcal{F}_{n}$ for a hypersimplex $Δ_{n,2}$ and an universal space of parameters $\mathcal{F}_{n}$ defined in Buchstaber and Terzić (2019), (2020). It is proved by Buchstaber and Terzić (2021) that $\mathcal{F}_{n}$ is diffeomorphic to the moduli space $\mathcal{M}_{0,n}$ of stable $n$-pointed genus zero curves. We exploit the results from Keel (1992) and Ceyhan (2009) on homology groups of $\mathcal{M}_{0,n}$ and express them in terms of the stratification of $\mathcal{F}_{n}$ which are incorporated in the model $(U_n, p_n)$. In the result we provide the description of cycles in $X_n$, inductively on $ n. $ We obtain as well explicit formulas for $\mathbb{Z}_2$-homology groups for $X_5$ and $X_6$. The results for $X_5$ recover by different method the results from Buchstaber and Terzić (2021) and Süss (2020). The results for $X_6$ we consider to be new.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
The orbit spaces $G_{n,2}/T^n$ and the Chow quotients $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$ of the Grassmann manifolds $G_{n,2}$
Authors:
Victor M. Buchstaber,
Svjetlana Terzić
Abstract:
The focus of our paper is on the complex Grassmann manifolds $G_{n,2}$ which appear as one of the fundamental objects in developing the interaction between algebraic geometry and algebraic topology. In his well-known paper Kapranov has proved that the Deligne-Mumford compactification $\overline{\mathcal{M}}(0,n)$ of $n$-pointed curves of genus zero can be realized as the Chow quotient…
▽ More
The focus of our paper is on the complex Grassmann manifolds $G_{n,2}$ which appear as one of the fundamental objects in developing the interaction between algebraic geometry and algebraic topology. In his well-known paper Kapranov has proved that the Deligne-Mumford compactification $\overline{\mathcal{M}}(0,n)$ of $n$-pointed curves of genus zero can be realized as the Chow quotient $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$. In our recent papers, the constructive description of the orbit space $G_{n,2}/T^n$ has been obtained. In getting this result our notions of the CW-complex of the admissible polytopes and the universal space of parameters $\mathcal{F}_{n}$ for $T^n$-action on $G_{n,2}$ were of essential use. Using technique of the wonderful compactification, in this paper it is given an explicit construction of the space $\mathcal{F}_{n}$. Together with Keel's description of $\overline{\mathcal{M}}(0,n)$, this construction enabled us to obtain an explicit diffeomorphism between $\mathcal{F}_{n}$ and $\overline{\mathcal{M}}(0,n)$. Thus, we showed that the space $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$ can be realized as our universal space of parameters $\mathcal{F}_{n}$. In this way, we give description of the structure in $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$, that is $\overline{\mathcal{M}}(0,n)$ in terms of the CW-complex of the admissible polytopes for $G_{n,2}$ and their spaces of parameters.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
A resolution of singularities for the orbit spaces $G_{n,2}/T^n$
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
The problem of the description of the orbit space $X_{n} = G_{n,2}/T^n$ for the standard action of the torus $T^n$ on a complex Grassmann manifold $G_{n,2}$ is widely known and it appears in diversity of mathematical questions. A point $x\in X_{n}$ is said to be a critical point if the stabilizer of its corresponding orbit is nontrivial. In this paper, the notion of singular points of $X_n$ is int…
▽ More
The problem of the description of the orbit space $X_{n} = G_{n,2}/T^n$ for the standard action of the torus $T^n$ on a complex Grassmann manifold $G_{n,2}$ is widely known and it appears in diversity of mathematical questions. A point $x\in X_{n}$ is said to be a critical point if the stabilizer of its corresponding orbit is nontrivial. In this paper, the notion of singular points of $X_n$ is introduced which opened the new approach to this problem. It is showed that for $n>4$ the set of critical points $\text{Crit}X_n$ belongs to our set of singular points $\text{Sing}X_{n}$, while the case $n=4$ is somewhat special for which $\text{Sing}X_4\subset \text{Crit}X_4$, but there are critical points which are not singular.
The central result of this paper is the construction of the smooth manifold $U_n$ with corners, $\dim U_n = \dim X_n$ and an explicit description of the projection $p_{n} : U_{n}\to X_{n}$ which in the defined sense resolve all singular points of the space $X_n$. Thus, we obtain the description of the orbit space $G_{n,2}/T^n$ combinatorial structure. Moreover, the $T^n$-action on $G_{n,2}$ is a seminal example of complexity $(n-3)$ - action. Our results demonstrate the method for general description of orbit spaces for torus actions of positive complexity.
△ Less
Submitted 3 September, 2020;
originally announced September 2020.
-
The foundations of $(2n,k)$-manifolds
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
In the focus of our paper is a system of axioms that serves as a basis for introducing structural data for $(2n,k)$-manifolds $M^{2n}$, where $M^{2n}$ is a smooth, compact $2n$-dimensional manifold with a smooth effective action of the $k$-dimensional torus $T^k$. In terms of these data a construction of the model space $\mathfrak{E}$ with an action of the torus $T^k$ is given, such that there exi…
▽ More
In the focus of our paper is a system of axioms that serves as a basis for introducing structural data for $(2n,k)$-manifolds $M^{2n}$, where $M^{2n}$ is a smooth, compact $2n$-dimensional manifold with a smooth effective action of the $k$-dimensional torus $T^k$. In terms of these data a construction of the model space $\mathfrak{E}$ with an action of the torus $T^k$ is given, such that there exists a $T^k$-equivariant homeomorphism $\mathfrak{E}\to M^{2n}$. This homeomorphism induces a homeomorphism $\mathfrak{E}/T^k\to M^{2n}/T^k$. The number $d=n-k$ is called the complexity of an $(2n,k)$-manifold. Our theory comprises toric geometry and toric topology, where $d=0$. It is shown that the class of homogeneous spaces $G/H$ of compact Lie groups, where rk$G=$rk$H$, contains $(2n,k)$-manifolds that have non zero complexity. The results are demonstrated on the complex Grassmann manifolds $G_{k+1,q}$ with an effective action of the torus $T^k$.
△ Less
Submitted 2 April, 2019; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Toric topology of the complex Grassmann manifolds
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
The family of the complex Grassmann manifolds $G_{n,k}$ with a canonical action of the torus $T^n=\mathbb{T}^{n}$ and the analogue of the moment map $μ: G_{n,k}\to Δ_{n,k}$ for the hypersimplex $Δ_{n,k}$, is well known. In this paper we study the structure of the orbit space $G_{n,k}/T^n$ by developing the methods of toric geometry and toric topology. We use a subdivision of $G_{n,k}$ into the str…
▽ More
The family of the complex Grassmann manifolds $G_{n,k}$ with a canonical action of the torus $T^n=\mathbb{T}^{n}$ and the analogue of the moment map $μ: G_{n,k}\to Δ_{n,k}$ for the hypersimplex $Δ_{n,k}$, is well known. In this paper we study the structure of the orbit space $G_{n,k}/T^n$ by developing the methods of toric geometry and toric topology. We use a subdivision of $G_{n,k}$ into the strata $W_σ$ and determine all regular and singular points of the moment map $μ$, introduce the notion of the admissible polytopes $P_σ$ such that $μ(W_σ) = \stackrel{\circ}{P_σ}$ and the notion of the spaces of parameters $F_σ$, which together describe $W_σ/T^{n}$ as the product $\stackrel{\circ}{P_σ} \times F_σ$. To find the appropriate topology for the set $\cup _σ \stackrel{\circ}{P_σ} \times F_σ$ we introduce the notions of the universal space of parameters $\tilde{\mathcal{F}}$ and the virtual spaces of parameters $\tilde{F}_σ\subset \tilde{\mathcal{F}}$ such that there exist the projections $\tilde{F}_σ\to F_σ$. Hence, we propose a method for the description of the orbit space $G_{n,k}/T^n$. Earlier we proved that the orbit space $G_{4,2}/T^4$, defined by the canonical $T^4$-action of complexity $1$, is homeomorphic to $\partial Δ_{4,2}\ast \mathbb{C} P^1$. We prove here that the orbit space $G_{5,2}/T^5$, defined by the canonical $T^5$-action of complexity $2$, is homotopy equivalent to the space obtained by attaching the disc $D^8$ to the space $Σ^{4}\mathbb{R} P^2$ by the generator of the group $π_{7}(Σ^{4}\mathbb{R} P^2)=\mathbb{Z} _{4}$. In particular, $(G_{5,2}/G_{4,2})/T^5$ is homotopy equivalent to $\partial Δ_{5,2}\ast \mathbb{C} P^2$. The methods and the results of this paper are fundaments for our theory of $(2l,q)$-manifolds.
△ Less
Submitted 14 July, 2019; v1 submitted 18 February, 2018;
originally announced February 2018.
-
On geometric formality of rationally elliitic manifolds in dimensions $6$ and $7$
Authors:
Svjetlana Terzic
Abstract:
We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and $b_3=0$ can not be geometrically formal. As it follows from their real homotopy…
▽ More
We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and $b_3=0$ can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well.
△ Less
Submitted 1 October, 2017; v1 submitted 16 January, 2017;
originally announced January 2017.
-
The rational homology ring of the based loop space of the gauge groups and the spaces of connections on a four-manifold
Authors:
Svjetlana Terzic
Abstract:
We provide the rational-homotopic proof that the ranks of the homotopy groups of a simply connected four-manifold depend only on its second Betti number. We also consider the based loop spaces of the gauge groups and the spaces of connections of a simply connected four-manifold and, appealing to~\cite{TI} and using the models from the rational homotopy theory, we obtain the explicit formulas for t…
▽ More
We provide the rational-homotopic proof that the ranks of the homotopy groups of a simply connected four-manifold depend only on its second Betti number. We also consider the based loop spaces of the gauge groups and the spaces of connections of a simply connected four-manifold and, appealing to~\cite{TI} and using the models from the rational homotopy theory, we obtain the explicit formulas for their rational Pontrjagin homology rings.
△ Less
Submitted 16 January, 2017; v1 submitted 26 March, 2016;
originally announced March 2016.
-
Geometric formality of rationally elliptic manifolds in small dimensions
Authors:
Svjetlana Terzic
Abstract:
We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rational cohomology $S^2\times {\mathbb C}P^2$. An infinite family of six-dimension…
▽ More
We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rational cohomology $S^2\times {\mathbb C}P^2$. An infinite family of six-dimensional simply connected biquotients whose second Betti number is three, different from Totaro's biquotients, is considered and it is proved that none of biquotient from this family is geometrically formal.
△ Less
Submitted 21 January, 2016;
originally announced January 2016.
-
Topology and geometry of the canonical action of $T^4$ on the complex Grassmannian $G_{4,2}$ and the complex projective space $CP^{5}$
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
We consider the canonical action of the compact torus $T^4$ on the Grassmann manifold $G_{4,2}$ and prove that the orbit space $G_{4,2}/T^4$ is homeomorphic to the sphere $S^5$. We prove that the induced differentiable structure on $S^5$ is not the smooth one and describe the smooth and the singular points. We also consider the action of $T^4$ on $CP^5$ induced by the composition of the second sym…
▽ More
We consider the canonical action of the compact torus $T^4$ on the Grassmann manifold $G_{4,2}$ and prove that the orbit space $G_{4,2}/T^4$ is homeomorphic to the sphere $S^5$. We prove that the induced differentiable structure on $S^5$ is not the smooth one and describe the smooth and the singular points. We also consider the action of $T^4$ on $CP^5$ induced by the composition of the second symmetric power $T^4\subset T^6$ and the standard action of $T^6$ on $CP^5$ and prove that the orbit space $CP^5/T^4$ is homeomorphic to the join $CP^2\ast S^2$. The Plücker embedding $G_{4,2}\subset CP^5$ is equivariant for these actions and induces embedding $CP^1\ast S^2 \subset CP^2 \ast S^2$ for the standard embedding $CP^1 \subset CP^2$. All our constructions are compatible with the involution given by the complex conjugation and give the corresponding results for the real Grassmannian $G_{4,2}(R)$ and the real projective space $RP^5$ for the action of the group $Z _{2}^{4}$. We prove that the orbit space $G_{4,2}(R)/Z _{2}^{4}$ is homeomorphic to the sphere $S^4$ and that the orbit space $RP^{5}/Z _{2}^{4}$ is homeomorphic to the join $RP^2\ast S^2$.
△ Less
Submitted 20 January, 2016; v1 submitted 9 October, 2014;
originally announced October 2014.
-
The integral homology ring of the based loop space on some generalised symmetric spaces
Authors:
Jelena Grbic,
Svjetlana Terzic
Abstract:
In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well.
In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well.
△ Less
Submitted 6 February, 2012; v1 submitted 12 May, 2011;
originally announced May 2011.
-
Toric genera of homogeneous spaces and their fibrations
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
The aim of this paper is to study further the universal toric genus of compact homogeneous spaces and their homogeneous fibrations. We consider the homogeneous spaces with positive Euler characteristic. It is well known that such spaces carry many stable complex structures equivariant under the canonical action of the maximal torus $T^k$. As the torus action in this case has only isolated fixed po…
▽ More
The aim of this paper is to study further the universal toric genus of compact homogeneous spaces and their homogeneous fibrations. We consider the homogeneous spaces with positive Euler characteristic. It is well known that such spaces carry many stable complex structures equivariant under the canonical action of the maximal torus $T^k$. As the torus action in this case has only isolated fixed points it is possible to effectively apply localization formula for the universal toric genus. Using this we prove that the famous topological results related to rigidity and multiplicativity of a Hirzebruch genus can be obtained on homogeneous spaces just using representation theory. In that context for homogeneous $SU$-spaces we prove the well known result about rigidity of the Krichever genus. We also prove that for a large class of stable complex homogeneous spaces any $T^k$-equivariant Hirzebruch genus given by an odd power series vanishes. Related to the problem of multiplicativity we provide construction of stable complex $T^k$-fibrations for which the universal toric genus is twistedly multiplicative. We prove that it is always twistedly multiplicative for almost complex homogeneous fibrations and describe those fibrations for which it is multiplicative. As a consequence for such fibrations the strong relations between rigidity and multiplicativity for an equivariant Hirzebruch genus is established. The universal toric genus of the fibrations for which the base does not admit any stable complex structure is also considered. The main examples here for which we compute the universal toric genus are the homogeneous fibrations over quaternionic projective spaces.
△ Less
Submitted 1 February, 2012; v1 submitted 21 February, 2011;
originally announced February 2011.
-
Geometric formality of homogeneous spaces and of biquotients
Authors:
D. Kotschick,
S. Terzic
Abstract:
We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric formality to some new classes of homogeneous spaces and of biquotients, and to certain sphere bundles.
We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric formality to some new classes of homogeneous spaces and of biquotients, and to certain sphere bundles.
△ Less
Submitted 15 January, 2009;
originally announced January 2009.
-
Equivariant complex structures on homogeneous spaces and their cobordism classes
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
We consider compact homogeneous spaces G/H, where G is a compact connected Lie group and H is its closed connected subgroup of maximal rank. The aim of this paper is to provide an effective computation of the universal toric genus for the complex, almost complex and stable complex structures which are invariant under the canonical left action of the maximal torus T^k on G/H. As it is known, on G…
▽ More
We consider compact homogeneous spaces G/H, where G is a compact connected Lie group and H is its closed connected subgroup of maximal rank. The aim of this paper is to provide an effective computation of the universal toric genus for the complex, almost complex and stable complex structures which are invariant under the canonical left action of the maximal torus T^k on G/H. As it is known, on G/H we may have many such structures and the computations of their toric genus in terms of fixed points for the same torus action give the constraints on possible collections of weights for the corresponding representations of T^k in the tangent spaces at the fixed points, as well as on the signs at these points. In that context, the effectiveness is also approached due to an explicit description of the relations between the weights and signs for an arbitrary couple of such structures. Special attention is devoted to the structures which are invariant under the canonical action of the group G. Using classical results, we obtain an explicit description of the weights and signs in this case. We consequently obtain an expression for the cobordism classes of such structures in terms of coefficients of the formal group law in cobordisms, as well as in terms of Chern numbers in cohomology. These computations require no information on the cohomology ring of the manifold G/H, but, on their own, give important relations in this ring. As an application we provide an explicit formula for the cobordism classes and characteristic numbers of the flag manifolds U(n)/T^n, Grassmann manifolds G_{n,k}=U(n)/(U(k)\times U(n-k)) and some particular interesting examples.
△ Less
Submitted 20 January, 2008;
originally announced January 2008.
-
Chern numbers and the geometry of partial flag manifolds
Authors:
D. Kotschick,
S. Terzic
Abstract:
We calculate the Chern classes and Chern numbers for the natural almost Hermitian structures of the partial flag manifolds F_n=SU(n+2)/S(U(n)\times U(1)\times U(1)). For all n>1 there are two invariant complex algebraic structures, which arise from the projectivizations of the holomorphic tangent and cotangent bundles of complex projective spaces. The projectivization of the cotangent bundle is…
▽ More
We calculate the Chern classes and Chern numbers for the natural almost Hermitian structures of the partial flag manifolds F_n=SU(n+2)/S(U(n)\times U(1)\times U(1)). For all n>1 there are two invariant complex algebraic structures, which arise from the projectivizations of the holomorphic tangent and cotangent bundles of complex projective spaces. The projectivization of the cotangent bundle is the twistor space of a Grassmannian considered as a quaternionic Kähler manifold. There is also an invariant nearly Kähler structure, because F_n is a 3-symmetric space. We explain the relations between the different structures and their Chern classes, and we prove that F_n is not geometrically formal.
△ Less
Submitted 27 February, 2008; v1 submitted 19 September, 2007;
originally announced September 2007.
-
Complex cobordism classes of homogeneous spaces
Authors:
Victor M. Buchstaber,
Svjetlana Terzic
Abstract:
We consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action θof the maximal torus T ^{k} on G/H. We obtain explicit formula for the cobordism class of such manifold through the weights of the action θat the identity fixed point eH by an action of the quotient group W_G/W_H of the Weyl groups for G and H…
▽ More
We consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action θof the maximal torus T ^{k} on G/H. We obtain explicit formula for the cobordism class of such manifold through the weights of the action θat the identity fixed point eH by an action of the quotient group W_G/W_H of the Weyl groups for G and H. In this way we show that the cobordism class for such manifolds can be computed explicitly without information on their cohomology. We also show that formula for cobordism class provides an explicit way for computing the classical Chern numbers for (G/H, J). As a consequence we obtain that the Chern numbers for (G/H, J) can be computed without information on cohomology for G/H. As an application we provide an explicit formula for cobordism classes and characteristic numbers of the flag manifolds U(n)/T^n, Grassmann manifolds G_{n,k}=U(n)/(U(k)\times U(n-k)) and some particular interesting examples.
△ Less
Submitted 3 September, 2007; v1 submitted 15 August, 2007;
originally announced August 2007.
-
The integral Pontrjagin homology of the based loop space on a flag manifold
Authors:
Jelena Grbic,
Svjetlana Terzic
Abstract:
The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a descri…
▽ More
The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a description of the integral homology. In addition, the integral Pontrjagin structure is determined.
△ Less
Submitted 23 April, 2009; v1 submitted 5 February, 2007;
originally announced February 2007.
-
The rational topology of gauge groups and of spaces of connections
Authors:
Svjetlana Terzic
Abstract:
Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the gauge group and of the space of (irreducible) connections modulo gauge transformations for any such bundle.
Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the gauge group and of the space of (irreducible) connections modulo gauge transformations for any such bundle.
△ Less
Submitted 18 November, 2003;
originally announced November 2003.
-
On rational homotopy of four-manifolds
Authors:
S. Terzic
Abstract:
We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds is classified by their rank and signature.
We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds is classified by their rank and signature.
△ Less
Submitted 4 September, 2003;
originally announced September 2003.
-
Rational homotopy groups of generalised symmetric spaces
Authors:
S. Terzic
Abstract:
We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces.
We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces.
△ Less
Submitted 30 May, 2002;
originally announced May 2002.
-
On formality of generalised symmetric spaces
Authors:
D. Kotschick,
S. Terzic
Abstract:
We prove that all generalised symmetric spaces of compact simple Lie groups are formal in the sense of Sullivan. Nevertheless, many of them, including all the non-symmetric flag manifolds, do not admit Riemannian metrics for which all products of harmonic forms are harmonic.
We prove that all generalised symmetric spaces of compact simple Lie groups are formal in the sense of Sullivan. Nevertheless, many of them, including all the non-symmetric flag manifolds, do not admit Riemannian metrics for which all products of harmonic forms are harmonic.
△ Less
Submitted 12 November, 2001; v1 submitted 15 June, 2001;
originally announced June 2001.
