DOCSLIB.ORG

Arxiv:1510.02207V1 [Math.AT] 8 Oct 2015 S Eti Ulda Pcs(F Hoe .,Term43.Ou 4.3)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1510.02207V1 [Math.AT] 8 Oct 2015 S Eti Ulda Pcs(F Hoe .,Term43.Ou 4.3) TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS SAMIK BASU AND B. SUBHASH Abstract. We compute the cohomology of the right generalised pro- jective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomol- ogy computations are also used to find bounds on the span and on the immersibility of the manifolds in certain cases. 1. Introduction The study of Stiefel manifolds and their quotients have a long history. Their topology have played a fundamental role in solving many problems such as the celebrated solution of the vector field problem on the sphere by Adams. The cohomology of projective Stiefel manifolds over the field of real numbers was computed in [3] and [5]. These were used to prove immersion results for real projective spaces in [4]. In the complex case, projective Stiefel manifolds were studied in [1], their cohomology was computed and a universal property was associated to these manifolds. As consequences the authors conclude non existence of certain sections to appropriate bundles over projective spaces and lens spaces. Fol- lowing this the question of parallelizability of projective Stiefel manifolds was considered in [2]. This paper deals with right generalised projective Stiefel manifolds which were studied in [6]. These are obtained as quotients of Stiefel manifolds Wn,k (the space of k orthonormal frames in Cn) under an action of the circle group 1 l1 l S . The action is given by the formula z · (v1, · · · , vk) 7→ (z v1, · · · , z k vk) k for a fixed primitive tuple (l1, · · · , lk) ∈ Z . The corresponding quotient space is called a right generalised projective Stiefel manifold PℓWn,k. This can be realised as the homogeneous space U(n)/S1 × U(n − k). In this paper we are motivated by the computations for projective Stiefel arXiv:1510.02207v1 [math.AT] 8 Oct 2015 manifolds and attempt to search similar relations for the right generalised projective Stiefel manifolds. We compute the cohomology of these manifolds (cf. Theorem 2.3) and observe that they carry a universal property for complementary bundles of a certain sum of line bundles (cf. Theorem 2.6). Using these theorems we deduce some implications for line bundles over projective and lens spaces. The vector field problem on Stiefel manifolds and their quotients has been a subject of considerable interest. For the projective Stiefel manifold over R a number of results and conjectures are mentioned in [7]. We approach this question for right generalised Stiefel manifolds by computing Pontrja- gin classes. A similar argument also yields results on non-immersibility in certain Euclidean spaces (cf. Theorem 4.1, Theorem 4.3). Our methods 1 2 SAMIKBASUANDB.SUBHASH improve the results in [6] where the parallelizability question is settled and the span is related to the stable span. The paper is organised as follows. In section 2, we describe the cohomol- ogy of the manifolds PℓWn,k and introduce an universal property of these spaces. In section 3, we consider applications to the rank of complimentary bundles. In section 4, we obtain applications to the vector field problem and the immersion problem in the case that k = 2. 2. Some cohomology computations In this section we compute the cohomology of the manifolds PℓWn,k. Our method involves an interplay between Serre spectral sequences of var- ious fibrations and enables us to conclude a universal property for PℓWn,k. Throughout we assume that the gcd of (l1, · · · , lk) is 1. Recall that the cohomology of the unitary group U(n) is an exterior alge- bra in generators in degrees 1, 3, · · · , 2n − 1. We denote this expression by ∗ H (U(n)) = Λ(y1, · · · ,yn) where the class yj lies in the degree 2j − 1. The Stiefel manifold Wn,k is homeomorphic to U(n)/U(n−k) and its cohomology is given by Λ(yn−k+1, · · · ,yn). 1 Recall that the principal S fibration Wn,k → PℓWn,k yields a fibration 1 ∞ Wn,k → PℓWn,k → BS the latter space being CP . Note that the Stiefel manifold Wn,k also fibres over the flag manifold F (1, · · · , 1,n − k) of se- quences of flags of k subspaces with dimensions increasing by 1 in each step. 1 k 1 This fits into a principal (S ) fibration Wn,k → F (1,..., 1, k). The S ac- 1 tion whose orbits are the manifold PℓWn,k comes from the inclusion of S in 1 k l1 l (S ) given by Φℓ : z 7→ (z , · · · , z k ). This induces a commutative sequence of fibrations Φ S1 ℓ / (S1)k Wn,k Wn,k / PℓWn,k / F (1, · · · , 1,n − k) φ CP ∞ ℓ / (CP ∞)k n These fibre sequences extend one step further. Consider Grk(C ) the Grass- mann manifold of k planes in Cn which is the quotient U(n)/U(k)×U(n−k). n 1 k One has a principal U(k) bundle Wn,k → Grk(C ) and the map (S ) → U(k) given by the inclusion of diagonal matrices forms a similar diagram of principal fibrations as above. Putting all this together one obtains a TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS 3 commutative diagram S1 / (S1)k / U(k) Wn,k Wn,k Wn,k / / n PℓWn,k / F (1, · · · , 1,n − k) / Gk(C ) CP ∞ / (CP ∞)k / BU(k) In the diagram above the bottom left square and the bottom right squares are pullback squares of fibrations. Hence the composite / n (1) PℓWn,k / Gk(C ) CP ∞ / BU(k) is also a pullback. These fibrations induce Serre spectral sequences p,q p q p+q Cn (2) E2 = H (BU(k)) ⊗ H (Wn,k) =⇒ H (Gk( )) p,q p C ∞ q p+q (3) E2 = H ( P ) ⊗ H (Wn,k) =⇒ H (PℓWn,k) The pullback diagram (1) induces a map between the two spectral sequences that commutes with the differentials. Recall that the cohomology of BU(k) is a polynomial algebra on the classes c1, · · · , ck where ci = ci(ξk), ξk being the universal k-plane bundle. ∗ Proposition 2.1. In the spectral sequence (2) the classes yj ∈ H (Wn,k) ′ ′ are transgressive and support the differential d(yj) = −cj (the classes cj ′ satisfy the equation (1 + c1 + · · · )(1 + c1 + · · · + ck) = 1). Proof. In the Serre spectral sequence for the fibration n U(n) → Grk(C ) → B(U(k) × U(n − k)) the differentials are given by d(yi)= ci(ξk ⊕ ξn−k). We have the diagram of fibrations q / (4) U(n) / Wn,k n n Gk(C ) Gk(C ) B(U(k) × U(n − k)) / BU(k) and hence a morphism of the associated Serre spectral sequences. Note that 2j−1 2j+1 for j ≥ n−k+1 the classes yj ∈ H (Wn,k) pullback to yj ∈ H (U(n)). 4 SAMIKBASUANDB.SUBHASH We try to read off the expression for d(yj) in the spectral sequence for the right column from the one on the left. p,q Denote by E∗ (l) the spectral sequence corresponding to the left vertical ∗ column in (4). The classes y1, · · · ,yn−k are not in the image of q . Let ci = ci(ξk) andc ˜i = ci(ξn−k). The formula d(yj)= cj(ξk ⊕ ξn−k) imply that ′ in the page E2(n−k)+1(l),c ˜i is equivalent to ci for i ≤ n − k. Hence ′ ′ d2(n−k)+2(yn−k+1)= cn−k+1(ξk ⊕ ξn−k)= cicj = −cn−k+1 i+j=Xn−k+1 in E2(n−k)+2(l). ′ We observe that the equation d2j (yj) = −cj holds for all j ≥ n − k + 1 in the page E2j(l). Proceeding by induction we have in the page E2j−1(l), ′ ′ c˜i = ci for i ≤ n − k and ci = 0 for n − k + 1 ≤ i ≤ j − 1. Then in the page E2j(l) we have the equation d(y2j−1) = cj(ξk ⊕ ξn−k) = cpc˜q p+Xq=j ′ = cpcq p+q=j, pX≤k, q≤n−k ′ = cpcq p+q=Xj, p≤k ′ = −cj p,q Denote by E∗ (r) the spectral sequence for the right column of (4). For degree reasons the differentials dj are 0 if j < 2(n − k)+ 2. The morphism from the spectral sequence of the right column to the left column implies ′ that the differentials on yj for j>n − k are given by d(yi)= −ci. Next we translate the Proposition 2.1 to obtain differentials in the spectral sequence (3). For a tuple ℓ = (l1, · · · , lk) and integers I = (i1,...,ik) denote I ij |I| = ij and ℓ = lj . We prove Xj Yj Proposition 2.2. In the spectral sequence (3) the classes yj (for j>n − k) j I j are transgressive and the differentials are given by d(yj)= − (−1) ℓ x . |XI|=j ∞ Proof. In the diagram (1) the map φℓ : CP → BU(k) classifies the k-plane bundle ξl1 ⊕···⊕ ξlk . The chern classes of this bundle are computed by lj c(⊕jξ )= (1 + ljx) Yj ′ ′ ′ ′ For the classes cj define c =1+ c1 + · · · so that cc = 1. This implies the pullback of c′ to CP ∞ is given by the equation ∗ ′ −1 φℓ c = (1 + ljx) Yj ∗ ′ j I j Thus φℓ (cj)= (−1) ℓ x . The result follows. |XI|=j TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS 5 Using the formulas above we may compute the cohomology of PℓWn,k. Theorem 2.3. For an odd prime p, ∗ ∼ N H (PℓWn,k; Z/p) = Z/p[x]/(x ) ⊗ Λ(yn−k+1, · · · ,yN−1,yN+1, · · · ,yn), I where N = minr>n−k{ ℓ 6= 0(mod p)}.
Load more

Recommended publications
  • The Leray-Serre Spectral Sequence
    THE LERAY-SERRE SPECTRAL SEQUENCE REUBEN STERN Abstract. Spectral sequences are a powerful bookkeeping tool, used to handle large amounts of information. As such, they have become nearly ubiquitous in algebraic topology and algebraic geometry. In this paper, we take a few results on faith (i.e., without proof, pointing to books in which proof may be found) in order to streamline and simplify the exposition. From the exact couple formulation of spectral sequences, we ∗ n introduce a special case of the Leray-Serre spectral sequence and use it to compute H (CP ; Z). Contents 1. Spectral Sequences 1 2. Fibrations and the Leray-Serre Spectral Sequence 4 3. The Gysin Sequence and the Cohomology Ring H∗(CPn; R) 6 References 8 1. Spectral Sequences The modus operandi of algebraic topology is that \algebra is easy; topology is hard." By associating to n a space X an algebraic invariant (the (co)homology groups Hn(X) or H (X), and the homotopy groups πn(X)), with which it is more straightforward to prove theorems and explore structure. For certain com- putations, often involving (co)homology, it is perhaps difficult to determine an invariant directly; one may side-step this computation by approximating it to increasing degrees of accuracy. This approximation is bundled into an object (or a series of objects) known as a spectral sequence. Although spectral sequences often appear formidable to the uninitiated, they provide an invaluable tool to the working topologist, and show their faces throughout algebraic geometry and beyond. ∗;∗ ∗;∗ Loosely speaking, a spectral sequence fEr ; drg is a collection of bigraded modules or vector spaces Er , equipped with a differential map dr (i.e., dr ◦ dr = 0), such that ∗;∗ ∗;∗ Er+1 = H(Er ; dr): That is, a bigraded module in the sequence comes from the previous one by taking homology.
    [Show full text]
  • Spectral Sequences: Friend Or Foe?
    SPECTRAL SEQUENCES: FRIEND OR FOE? RAVI VAKIL Spectral sequences are a powerful book-keeping tool for proving things involving com- plicated commutative diagrams. They were introduced by Leray in the 1940's at the same time as he introduced sheaves. They have a reputation for being abstruse and difficult. It has been suggested that the name `spectral' was given because, like spectres, spectral sequences are terrifying, evil, and dangerous. I have heard no one disagree with this interpretation, which is perhaps not surprising since I just made it up. Nonetheless, the goal of this note is to tell you enough that you can use spectral se- quences without hesitation or fear, and why you shouldn't be frightened when they come up in a seminar. What is different in this presentation is that we will use spectral sequence to prove things that you may have already seen, and that you can prove easily in other ways. This will allow you to get some hands-on experience for how to use them. We will also see them only in a “special case” of double complexes (which is the version by far the most often used in algebraic geometry), and not in the general form usually presented (filtered complexes, exact couples, etc.). See chapter 5 of Weibel's marvelous book for more detailed information if you wish. If you want to become comfortable with spectral sequences, you must try the exercises. For concreteness, we work in the category vector spaces over a given field. However, everything we say will apply in any abelian category, such as the category ModA of A- modules.
    [Show full text]
  • The Grassmann Manifold
    The Grassmann Manifold 1. For vector spaces V and W denote by L(V; W ) the vector space of linear maps from V to W . Thus L(Rk; Rn) may be identified with the space Rk£n of k £ n matrices. An injective linear map u : Rk ! V is called a k-frame in V . The set k n GFk;n = fu 2 L(R ; R ): rank(u) = kg of k-frames in Rn is called the Stiefel manifold. Note that the special case k = n is the general linear group: k k GLk = fa 2 L(R ; R ) : det(a) 6= 0g: The set of all k-dimensional (vector) subspaces ¸ ½ Rn is called the Grassmann n manifold of k-planes in R and denoted by GRk;n or sometimes GRk;n(R) or n GRk(R ). Let k ¼ : GFk;n ! GRk;n; ¼(u) = u(R ) denote the map which assigns to each k-frame u the subspace u(Rk) it spans. ¡1 For ¸ 2 GRk;n the fiber (preimage) ¼ (¸) consists of those k-frames which form a basis for the subspace ¸, i.e. for any u 2 ¼¡1(¸) we have ¡1 ¼ (¸) = fu ± a : a 2 GLkg: Hence we can (and will) view GRk;n as the orbit space of the group action GFk;n £ GLk ! GFk;n :(u; a) 7! u ± a: The exercises below will prove the following n£k Theorem 2. The Stiefel manifold GFk;n is an open subset of the set R of all n £ k matrices. There is a unique differentiable structure on the Grassmann manifold GRk;n such that the map ¼ is a submersion.
    [Show full text]
  • Cheap Orthogonal Constraints in Neural Networks: a Simple Parametrization of the Orthogonal and Unitary Group
    Cheap Orthogonal Constraints in Neural Networks: A Simple Parametrization of the Orthogonal and Unitary Group Mario Lezcano-Casado 1 David Mart´ınez-Rubio 2 Abstract Recurrent Neural Networks (RNNs). In RNNs the eigenval- ues of the gradient of the recurrent kernel explode or vanish We introduce a novel approach to perform first- exponentially fast with the number of time-steps whenever order optimization with orthogonal and uni- the recurrent kernel does not have unitary eigenvalues (Ar- tary constraints. This approach is based on a jovsky et al., 2016). This behavior is the same as the one parametrization stemming from Lie group theory encountered when computing the powers of a matrix, and through the exponential map. The parametrization results in very slow convergence (vanishing gradient) or a transforms the constrained optimization problem lack of convergence (exploding gradient). into an unconstrained one over a Euclidean space, for which common first-order optimization meth- In the seminal paper (Arjovsky et al., 2016), they note that ods can be used. The theoretical results presented unitary matrices have properties that would solve the ex- are general enough to cover the special orthogo- ploding and vanishing gradient problems. These matrices nal group, the unitary group and, in general, any form a group called the unitary group and they have been connected compact Lie group. We discuss how studied extensively in the fields of Lie group theory and Rie- this and other parametrizations can be computed mannian geometry. Optimization methods over the unitary efficiently through an implementation trick, mak- and orthogonal group have found rather fruitful applications ing numerically complex parametrizations usable in RNNs in recent years (cf.
    [Show full text]
  • Some Extremely Brief Notes on the Leray Spectral Sequence Greg Friedman
    Some extremely brief notes on the Leray spectral sequence Greg Friedman Intro. As a motivating example, consider the long exact homology sequence. We know that if we have a short exact sequence of chain complexes 0 ! C∗ ! D∗ ! E∗ ! 0; then this gives rise to a long exact sequence of homology groups @∗ ! Hi(C∗) ! Hi(D∗) ! Hi(E∗) ! Hi−1(C∗) ! : While we may learn the proof of this, including the definition of the boundary map @∗ in beginning algebraic topology and while this may be useful to know from time to time, we are often happy just to know that there is an exact homology sequence. Also, in many cases the long exact sequence might not be very useful because the interactions from one group to the next might be fairly complicated. However, in especially nice circumstances, we will have reason to know that certain homology groups vanish, or we might be able to compute some of the maps here or there, and then we can derive some consequences. For example, if ∼ we have reason to know that H∗(D∗) = 0, then we learn that H∗(E∗) = H∗−1(C∗). Similarly, to preserve sanity, it is usually worth treating spectral sequences as \black boxes" without looking much under the hood. While the exact details do sometimes come in handy to specialists, spectral sequences can be remarkably useful even without knowing much about how they work. What spectral sequences look like. In long exact sequence above, we have homology groups Hi(C∗) (of course there are other ways to get exact sequences).
    [Show full text]
  • The Grothendieck Spectral Sequence (Minicourse on Spectral Sequences, UT Austin, May 2017)
    The Grothendieck Spectral Sequence (Minicourse on Spectral Sequences, UT Austin, May 2017) Richard Hughes May 12, 2017 1 Preliminaries on derived functors. 1.1 A computational definition of right derived functors. We begin by recalling that a functor between abelian categories F : A!B is called left exact if it takes short exact sequences (SES) in A 0 ! A ! B ! C ! 0 to exact sequences 0 ! FA ! FB ! FC in B. If in fact F takes SES in A to SES in B, we say that F is exact. Question. Can we measure the \failure of exactness" of a left exact functor? The answer to such an obviously leading question is, of course, yes: the right derived functors RpF , which we will define below, are in a precise sense the unique extension of F to an exact functor. Recall that an object I 2 A is called injective if the functor op HomA(−;I): A ! Ab is exact. An injective resolution of A 2 A is a quasi-isomorphism in Ch(A) A ! I• = (I0 ! I1 ! I2 !··· ) where all of the Ii are injective, and where we think of A as a complex concentrated in degree zero. If every A 2 A embeds into some injective object, we say that A has enough injectives { in this situation it is a theorem that every object admits an injective resolution. So, for A 2 A choose an injective resolution A ! I• and define the pth right derived functor of F applied to A by RpF (A) := Hp(F (I•)): Remark • You might worry about whether or not this depends upon our choice of injective resolution for A { it does not, up to canonical isomorphism.
    [Show full text]
  • Building Deep Networks on Grassmann Manifolds
    Building Deep Networks on Grassmann Manifolds Zhiwu Huangy, Jiqing Wuy, Luc Van Goolyz yComputer Vision Lab, ETH Zurich, Switzerland zVISICS, KU Leuven, Belgium fzhiwu.huang, jiqing.wu, [email protected] Abstract The popular applications of Grassmannian data motivate Learning representations on Grassmann manifolds is popular us to build a deep neural network architecture for Grassman- in quite a few visual recognition tasks. In order to enable deep nian representation learning. To this end, the new network learning on Grassmann manifolds, this paper proposes a deep architecture is designed to accept Grassmannian data di- network architecture by generalizing the Euclidean network rectly as input, and learns new favorable Grassmannian rep- paradigm to Grassmann manifolds. In particular, we design resentations that are able to improve the final visual recog- full rank mapping layers to transform input Grassmannian nition tasks. In other words, the new network aims to deeply data to more desirable ones, exploit re-orthonormalization learn Grassmannian features on their underlying Rieman- layers to normalize the resulting matrices, study projection nian manifolds in an end-to-end learning architecture. In pooling layers to reduce the model complexity in the Grass- summary, two main contributions are made by this paper: mannian context, and devise projection mapping layers to re- spect Grassmannian geometry and meanwhile achieve Eu- • We explore a novel deep network architecture in the con- clidean forms for regular output layers. To train the Grass- text of Grassmann manifolds, where it has not been possi- mann networks, we exploit a stochastic gradient descent set- ble to apply deep neural networks.
    [Show full text]
  • A Users Guide to K-Theory Spectral Sequences
    A users guide to K-theory Spectral sequences Alexander Kahle [email protected] Mathematics Department, Ruhr-Universt¨at Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 A. Kahle A users guide to K-theory The Atiyah-Hirzebruch spectral sequence In the last lecture we have learnt that there is a wonderful connection between topology and analysis on manifolds: K-theory. This begs the question: how does one calculate the K-groups? A. Kahle A users guide to K-theory From CW-complexes to K-theory We saw that a CW-decomposition makes calculating cohomology easy(er). It's natural to wonder whether one can somehow use a CW-decomposition to help calculate K-theory. We begin with a simple observation. A simple observation Let X have a CW-decomposition: ? ⊆ Σ0 ⊆ Σ1 · · · ⊆ Σn = X : Define K • (X ) = ker i ∗ : K •(X ) ! K •(Σ ): ZPk k This gives a filtration of K •(X ): K •(X ) ⊇ K • (X ) ⊇ · · · ⊇ K • (X ) = 0: ZP0 ZPn A. Kahle A users guide to K-theory One might hope that one can calculate the K-theory of a space inductively, with each step moving up one stage in the filtration. This is what the Atiyah-Hirzebruch spectral sequence does: it computes the groups K • (X ): ZPq=q+1 What then remains is to solve the extension problem: given that one knows K • (X ) and K • (X ), one must ZPq=q+1 q+1 somehow determine K • (X ), which fits into ZPq 1 ! K • (X ) ! K • (X ) ! K • (X ) ! 1: ZPq=q+1 ZPq ZPq+1 A.
    [Show full text]
  • Finite Order Vinogradov's C-Spectral Sequence
    Finite order formulation of Vinogradov’s C-spectral sequence Raffaele Vitolo Dept. of Mathematics “E. De Giorgi”, University of Lecce via per Arnesano, 73100 Lecce, Italy and Diffiety Institute, Russia email: Raff[email protected] Abstract The C-spectral sequence was introduced by Vinogradov in the late Seventies as a fundamental tool for the study of algebro-geometric properties of jet spaces and differential equations. A spectral sequence arise from the contact filtration of the modules of forms on jet spaces of a fibring (or on a differential equation). In order to avoid serious technical difficulties, the order of the jet space is not fixed, i.e., computations are performed on spaces containing forms on jet spaces of any order. In this paper we show that there exists a formulation of Vinogradov’s C- spectral sequence in the case of finite order jet spaces of a fibred manifold. We compute all cohomology groups of the finite order C-spectral sequence. We obtain a finite order variational sequence which is shown to be naturally isomorphic with Krupka’s finite order variational sequence. Key words: Fibred manifold, jet space, variational bicomplex, variational se- quence, spectral sequence. 2000 MSC: 58A12, 58A20, 58E99, 58J10. Introduction arXiv:math/0111161v1 [math.DG] 13 Nov 2001 The framework of this paper is that of the algebro-geometric formalism for differential equations. This branch of mathematics started with early works by Ehresmann and Spencer (mainly inspired by Lie), and was carried out by several people. One funda- mental aspect is that a natural setting for dealing with global properties of differential equations (such as symmetries, integrability and calculus of variations) is that of jet spaces (see [17, 18, 21] for jets of fibrings and [13, 26, 27] for jets of submanifolds).
    [Show full text]
  • Stiefel Manifolds and Polygons
    Stiefel Manifolds and Polygons Clayton Shonkwiler Department of Mathematics, Colorado State University; [email protected] Abstract Polygons are compound geometric objects, but when trying to understand the expected behavior of a large collection of random polygons – or even to formalize what a random polygon is – it is convenient to interpret each polygon as a point in some parameter space, essentially trading the complexity of the object for the complexity of the space. In this paper I describe such an interpretation where the parameter space is an abstract but very nice space called a Stiefel manifold and show how to exploit the geometry of the Stiefel manifold both to generate random polygons and to morph one polygon into another. Introduction The goal is to describe an identification of polygons with points in certain nice parameter spaces. For example, every triangle in the plane can be identified with a pair of orthonormal vectors in 3-dimensional 3 3 space R , and hence planar triangle shapes correspond to points in the space St2(R ) of all such pairs, which is an example of a Stiefel manifold. While this space is defined somewhat abstractly and is hard to visualize – for example, it cannot be embedded in Euclidean space of fewer than 5 dimensions [9] – it is easy to visualize and manipulate points in it: they’re just pairs of perpendicular unit vectors. Moreover, this is a familiar and well-understood space in the setting of differential geometry. For example, the group SO(3) of rotations of 3-space acts transitively on it, meaning that there is a rotation of space which transforms any triangle into any other triangle.
    [Show full text]
  • The Biflag Manifold and the Fixed Points of a Unipotent Transformation on the Flag Manifold* Uwe Helmke Department of Mathematic
    The Biflag Manifold and the Fixed Points of a Unipotent Transformation on the Flag Manifold* Uwe Helmke Department of Mathematics Regensburg University 8400 Regensburg, Federal Republic of Germany and Mark A. Shaymanf Electrical Engineering Department and Systems Research Center University of Mayland College Park, Maryland 20742 Submitted by Paul A. Fuhrmann ‘, ABSTRACT We investigate the topology of the submanifold of the partial flag manifold consisting of those flags S, c . c S,, in___@ (.F = R or C) that are fixed by a given unipotent A E SL,(.F) and for which the restrictions AIS, have prescribed Jordan type. It is shown that this submanifold has a compact nonsingular projective variety as a strong deformation retract. This variety, the b&g manifold, consists of rectangular arrays of subspaces which are nested along each row and column. It is proven that the biflag manifold has the homology type (mod 2 for F = R) of a product of Grassmannians. A partition of the biflag manifold into a finite union of affine spaces is also given. In the special case when the biflag manifold is a flag manifold, this partition coincides with the Bruhat cell decomposition. *Presented at the 824th meeting of the American Mathematical Society, Claremont, California, November 1985. ‘Research partially supported by the National Science Foundation under Grant ECS- 8301015. LINEAR ALGEBRA AND ITS APPLlCATlONS 92:125-159 (1987) 125 0 Elsevier Science Publishing Co., Inc., 1987 52 Vanderbilt Ave., New York, NY 10017 0024-3795/87/$3.50 126 UWE HELMKE AND MARK A. SHAYMAN 1. INTRODUCTION Let n be a positive integer, and let k = (k,, .
    [Show full text]
  • Notes on Spectral Sequence
    Notes on spectral sequence He Wang Long exact sequence coming from short exact sequence of (co)chain com- plex in (co)homology is a fundamental tool for computing (co)homology. Instead of considering short exact sequence coming from pair (X; A), one can consider filtered chain complexes coming from a increasing of subspaces X0 ⊂ X1 ⊂ · · · ⊂ X. We can see it as many pairs (Xp; Xp+1): There is a natural generalization of a long exact sequence, called spectral sequence, which is more complicated and powerful algebraic tool in computation in the (co)homology of the chain complex. Nothing is original in this notes. Contents 1 Homological Algebra 1 1.1 Definition of spectral sequence . 1 1.2 Construction of spectral sequence . 6 2 Spectral sequence in Topology 12 2.1 General method . 12 2.2 Leray-Serre spectral sequence . 15 2.3 Application of Leray-Serre spectral sequence . 18 1 Homological Algebra 1.1 Definition of spectral sequence Definition 1.1. A differential bigraded module over a ring R, is a collec- tion of R-modules, fEp;qg, where p, q 2 Z, together with a R-linear mapping, 1 H.Wang Notes on spectral Sequence 2 d : E∗;∗ ! E∗+s;∗+t, satisfying d◦d = 0: d is called the differential of bidegree (s; t). Definition 1.2. A spectral sequence is a collection of differential bigraded p;q R-modules fEr ; drg, where r = 1; 2; ··· and p;q ∼ p;q ∗;∗ ∼ p;q ∗;∗ ∗;∗ p;q Er+1 = H (Er ) = ker(dr : Er ! Er )=im(dr : Er ! Er ): In practice, we have the differential dr of bidegree (r; 1 − r) (for a spec- tral sequence of cohomology type) or (−r; r − 1) (for a spectral sequence of homology type).
    [Show full text]