DOCSLIB.ORG

Quantum Cohomology of Slices of the Affine Grassmannian

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quantum Cohomology of Slices of the Affine Grassmannian Quantum Cohomology of Slices of the Affine Grassmannian Ivan Danilenko Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2020 c 2020 Ivan Danilenko All Rights Reserved Abstract Quantum Cohomology of Slices of the Affine Grassmannian Ivan Danilenko The affine Grassmannian associated to a reductive group G is an affine analogue of the usual flag varieties. It is a rich source of Poisson varieties and their symplectic resolutions. These spaces are examples of conical symplectic resolutions dual to the Nakajima quiver varieties. In this work, we study their quantum connection. We use the stable envelopes of D. Maulik and A. Okounkov[MO2] to write an explicit formula for this connection. In order to do this, we construct a recursive relation for the stable envelopes in the G = PSL2 case and compute the first-order correction in the general case. The computation of the purely quantum part of the multiplication is done based on the deformation approach of A. Braverman, D. Maulik and A. Okounkov[BMO]. For the case of simply-laced G, we identify the quantum connection with the trigonometric Knizhnik-Zamolodchikov equation for the Langlands dual group G_. Contents List of Figuresv Acknowledgments vi 1 Introduction1 1.1 Overview...................................1 1.2 Overview of the main result........................3 1.2.1 Stable basis and purely quantum multiplication.........3 1.2.2 Classical multiplication.......................6 1.2.3 Identification............................7 1.3 Structure of the thesis...........................9 2 Slices of the affine Grassmannian 10 2.1 Representation-theoretic notation..................... 10 2.2 Classical constructions........................... 11 2.2.1 Affine Grassmannian........................ 11 2.2.2 Transversal slices.......................... 15 2.3 Poisson structures and symplectic resolutions............... 16 2.3.1 Poisson structure.......................... 16 2.3.2 Symplectic resolutions....................... 19 2.3.3 Resolutions of slices......................... 22 2.4 Group action on resolutions........................ 24 i 2.5 Beilinson-Drinfeld Grassmannian..................... 25 2.6 Homology of resolutions.......................... 31 3 T-equivariant geometry 36 3.1 T-fixed points................................ 36 3.2 Tangent weights at T-fixed points..................... 38 3.2.1 Tangent spaces of the affine Grassmannian............ 38 3.2.2 Tangent spaces of the G (O)-orbits of the affine Grassmannian. 40 3.2.3 Tangent spaces of the resolutions of slices............. 41 3.2.4 Classical examples......................... 49 3.2.5 Combinatorial descripltion of weight multiplicities........ 53 3.3 Behavior on walls in T ........................... 58 3.3.1 Walls................................. 58 3.3.2 Affine root subgroups........................ 60 3.3.3 Invariant curves in Gr........................ 61 3.3.4 Some T-invariant curves in the resolutions of slices....... 62 3.3.5 All T-invariant curves in the resolutions of slices......... 65 3.4 T-equivariant line bundles......................... 67 3.5 More on Beilinson-Drinfeld Grassmannian................ 77 3.6 Behavior on walls in A ........................... 79 4 Stable Envelopes 84 4.1 Preliminaries on Equivariant Cohomology................ 84 4.2 Stable Envelopes.............................. 86 4.2.1 Assumptions............................. 86 4.2.2 Chambers.............................. 87 4.2.3 Attracting manifolds........................ 87 4.2.4 Partial order............................. 88 4.2.5 Support and degree in A ...................... 88 ii 4.2.6 Polarizations............................ 89 4.2.7 Definition of stable envelopes................... 90 4.2.8 First properties........................... 91 4.2.9 Steinberg correspondences..................... 92 4.2.10 Torus restriction.......................... 94 2 4.3 Stable Envelopes restrictions modulo ~ : A1 type............ 95 4.3.1 Steinberg correspondences in type A1 ............... 95 4.3.2 Recursion.............................. 101 4.3.3 Formulas for stable envelopes restrictions: type A1 ........ 104 4.4 Stable Envelopes restrictions modulo ~2: general case.......... 110 4.4.1 Wall-crossing for stable envelopes................. 110 4.4.2 Formulas for stable envelopes restrictions: general case..... 113 4.5 Classical Multiplication........................... 115 4.5.1 Stable envelopes and classical multiplication........... 115 4.5.2 Main result on classical multiplication.............. 118 5 Quantum Cohomology 123 5.1 Preliminaries on quantum cohomology.................. 124 5.2 Reduction to Picard rank 1........................ 126 5.2.1 Two approaches to the reduced virtual class........... 126 5.2.2 Choice of basis........................... 129 5.2.3 Reduction to walls......................... 132 5.3 Computation of wall contributions..................... 136 5.3.1 Wall deformations.......................... 136 5.3.2 Unbroken maps........................... 138 5.3.3 Off-diagonal case.......................... 140 5.3.4 Diagonal case............................ 150 5.3.5 Quantum multiplication...................... 154 iii 6 Representation-Theoretic Reformulation 158 6.1 Trigonometric Knizhnik-Zamolodchikov connection........... 158 6.2 Quantum connection............................ 163 6.3 Identification................................ 165 iv List of Figures 3.1 A typical path associated to a fixed point................. 38 3.2 Tangent spaces............................... 47 3.3 Left and Right Conditions......................... 48 3.4 Incidence conditions on T α_ and T α_ ................... 49 Σi Σi+1 α_ 3.5 A typical picture of Tp X at a fixed point p................ 49 α_ −α_ 3.6 A typical picture of Tp X ⊕ Tp X at a fixed point p.......... 50 3.7 Tangent spaces at the T-fixed points of the resolution of type A4 .... 51 ∗ − 3.8 Tangent spaces at the T-fixed points of T G=Pν ............ 52 3.9 Tangent spaces at the T-fixed points of T ∗G=B ............. 53 1 _ 3.10 Typical pictures for four possible cases of k = n + intersecting with Γα . 54 2 p 3.11 Weight multiplicities in TpX for p represented by the red path...... 57 3.12 An example of two T-fixed points connected by a curve......... 64 v Acknowledgments First of all, I would like to thank my advisor Andrei Okounkov for his guidance in the last five years. He was the center of an incredible group of students and postdocs at Columbia, and his enthusiasm and knowledge was the driving force for our community. I would like to thank my fellow students at Columbia Noah Arbesfeld, Micah Gay, Yakov Kononov, Dmitrii Korb, Henry Liu, Renata Picciotto, Dmitrii Pirozhkov, Petr Pushkar, Andrey Smirnov, Shuai Wang and many others. I can't overestimate the impact of such a welcoming environment on my life. My deepest gratitude goes to all people whose support and guidance helped me to love mathematics and go to a graduate school, especially Natalia Soprunova, Elena Bunina, Petr Sergeev, Evgeni Vyrodov, Alexei Morozov and Ivan Cherednik. I am thankful to Mina Aganagic, Joel Kamnitzer, Davesh Maulik, Andrei Negut, Alex Weekes and Changjian Su for the discussions related to this work. Last but not least, I would like to thank my family for being supportive. vi to my son Kirill vii Chapter 1 Introduction 1.1 Overview The central object in this work is the moduli space called the affine Grassmannian Gr. It is associated to a complex connected reductive group G, and one can think of it as an analogue of flag varieties for a corresponding Kac-Moody group. It is known to have deep connections with representation theory and Langlands duality [G, MV1, MV2]. More precisely, the geometric objects we study are transversal slices in affine Grass- mannians. To give an idea of what these slices are, recall that the affine Grassmannian Gr has a cell structure similar to the Schubert cells in the ordinary flag variety. A λ λ transversal slice Grµ describes how one orbit is attached to another. The slices Grµ first appeared in mathematical physics as Coulomb branches in supersymmetic theo- ries [SW]. They are naturally algebraic Poisson varieties and, in some cases, admit a λ λ smooth symplectic resolution Grµ ! Grµ, which is a notion of independent mathemat- ical interest [K2,K3,BK]. The goal of this work is to study the quantum cohomologies of these resolutions. One of our motivations is 3d mirror symmetry. It is known to exchange the Coulomb (X) and the Higgs branch (X_) of vacuua in a 3d supersymmetric field theory [IS,SW]. In [MO2] D. Maulik and A. Okounkov studied the quantum cohomology for Nakajima quiver varieties [N2,N1,N3], symplectic resolutions which naturally arise as the Higgs 1 branch of vacua X_. Mirror symmetry is a source of conjectural relations between the enumerative geometry of X and X_, and understanding the Coulomb side makes it possible to verify this relation directly. In this project the main algebraic structure which captures the enumerative geom- ∗ etry of X is the (equivariant) quantum cohomology QHT (X). It is a deformation of usual (equivariant) cohomology by curve counts called Gromov-Witten invariants. The ∗ work of Maulik and Okounkov [MO2] showed that QHT (X) of Nakajima quiver vari- eties admit a natural action of a quantum group called the Yangian. The crucial step in this construction is a special basis of geometric origin in the equivariant cohomology ∗ HT (X), called stable envelopes. It is defined for
Load more

Recommended publications
  • Quantum Cohomology of Lagrangian and Orthogonal Grassmannians
    QUANTUM COHOMOLOGY OF LAGRANGIAN AND ORTHOGONAL GRASSMANNIANS HARRY TAMVAKIS Abstract. This is the written version of my talk at the Mathematische Ar- beitstagung 2001, which reported on joint work with Andrew Kresch (papers [KT2] and [KT3]). The Classical Theory For the purposes of this talk we will work over the complex numbers, and in the holomorphic (or algebraic) category. There are three kinds of Grassmannians that we will consider, depending on their Lie type: • In type A,letG(k; N)=SLN =Pk be the Grassmannian which parametrizes N k-dimensional linear subspaces of C . • In type C,letLG = LG(n; 2n)=Sp2n=Pn be the Lagrangian Grassmannian. • In types B and D,letOG = OG(n; 2n +1)=SO2n+1=Pn denote the odd or- thogonal Grassmannian, which is isomorphic to the even orthogonal Grassmannian OG(n +1; 2n +2)=SO2n+2=Pn+1. We begin by defining the Lagrangian Grassmannian LG(n; 2n), and will discuss the Grassmannians for the other types later in the talk. Let V be the vector 2n V space C , equipped with a symplectic form. A subspace Σ of is isotropic if the restriction of the form to Σ vanishes. The maximal possible dimension of an isotropic subspace is n, and in this case Σ is called a Lagrangian subspace. The Lagrangian Grassmannian LG = LG(n; 2n) is the projective complex manifold which parametrizes Lagrangian subspaces Σ in V . There is a stratification of LG by Schubert varieties Xλ, one for each strict n ` ` λ partition λ =(λ1 >λ2 > ··· >λ` > 0) with λ1 6 . The number = ( )isthe n length of λ, and we let Dn denote the set of strict partitions λ with λ1 6 .To describe Xλ more precisely, fix an isotropic flag of subspaces Fi of V : 0 ⊂ F1 ⊂ F2 ⊂···⊂Fn ⊂ V with dim(Fi)=i for each i,andFn Lagrangian.
    [Show full text]
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Classification on the Grassmannians
    GEOMETRIC FRAMEWORK SOME EMPIRICAL RESULTS COMPRESSION ON G(k, n) CONCLUSIONS Classification on the Grassmannians: Theory and Applications Jen-Mei Chang Department of Mathematics and Statistics California State University, Long Beach [email protected] AMS Fall Western Section Meeting Special Session on Metric and Riemannian Methods in Shape Analysis October 9, 2010 at UCLA GEOMETRIC FRAMEWORK SOME EMPIRICAL RESULTS COMPRESSION ON G(k, n) CONCLUSIONS Outline 1 Geometric Framework Evolution of Classification Paradigms Grassmann Framework Grassmann Separability 2 Some Empirical Results Illumination Illumination + Low Resolutions 3 Compression on G(k, n) Motivations, Definitions, and Algorithms Karcher Compression for Face Recognition GEOMETRIC FRAMEWORK SOME EMPIRICAL RESULTS COMPRESSION ON G(k, n) CONCLUSIONS Architectures Historically Currently single-to-single subspace-to-subspace )2( )3( )1( d ( P,x ) d ( P,x ) d(P,x ) ... P G , , … , x )1( x )2( x( N) single-to-many many-to-many Image Set 1 … … G … … p * P , Grassmann Manifold Image Set 2 * X )1( X )2( … X ( N) q Project Eigenfaces GEOMETRIC FRAMEWORK SOME EMPIRICAL RESULTS COMPRESSION ON G(k, n) CONCLUSIONS Some Approaches • Single-to-Single 1 Euclidean distance of feature points. 2 Correlation. • Single-to-Many 1 Subspace method [Oja, 1983]. 2 Eigenfaces (a.k.a. Principal Component Analysis, KL-transform) [Sirovich & Kirby, 1987], [Turk & Pentland, 1991]. 3 Linear/Fisher Discriminate Analysis, Fisherfaces [Belhumeur et al., 1997]. 4 Kernel PCA [Yang et al., 2000]. GEOMETRIC FRAMEWORK SOME EMPIRICAL RESULTS COMPRESSION ON G(k, n) CONCLUSIONS Some Approaches • Many-to-Many 1 Tangent Space and Tangent Distance - Tangent Distance [Simard et al., 2001], Joint Manifold Distance [Fitzgibbon & Zisserman, 2003], Subspace Distance [Chang, 2004].
    [Show full text]
  • Arxiv:1711.05949V2 [Math.RT] 27 May 2018 Mials, One Obtains a Sum Whose Summands Are Rational Functions in Ti
    RESIDUES FORMULAS FOR THE PUSH-FORWARD IN K-THEORY, THE CASE OF G2=P . ANDRZEJ WEBER AND MAGDALENA ZIELENKIEWICZ Abstract. We study residue formulas for push-forward in the equivariant K-theory of homogeneous spaces. For the classical Grassmannian the residue formula can be obtained from the cohomological formula by a substitution. We also give another proof using sym- plectic reduction and the method involving the localization theorem of Jeffrey–Kirwan. We review formulas for other classical groups, and we derive them from the formulas for the classical Grassmannian. Next we consider the homogeneous spaces for the exceptional group G2. One of them, G2=P2 corresponding to the shorter root, embeds in the Grass- mannian Gr(2; 7). We find its fundamental class in the equivariant K-theory KT(Gr(2; 7)). This allows to derive a residue formula for the push-forward. It has significantly different character comparing to the classical groups case. The factor involving the fundamen- tal class of G2=P2 depends on the equivariant variables. To perform computations more efficiently we apply the basis of K-theory consisting of Grothendieck polynomials. The residue formula for push-forward remains valid for the homogeneous space G2=B as well. 1. Introduction ∗ r Suppose an algebraic torus T = (C ) acts on a complex variety X which is smooth and complete. Let E be an equivariant complex vector bundle over X. Then E defines an element of the equivariant K-theory of X. In our setting there is no difference whether one considers the algebraic K-theory or the topological one.
    [Show full text]
  • Gromov--Witten Invariants and Quantum Cohomology
    Proc. Indian Acad. Sci. (Math. Sci.) Vol. 116, No. 4, November 2003, pp. 459–476. Printed in India Gromov–Witten invariants and quantum cohomology AMIYA MUKHERJEE Stat-Math Division, Indian Statistical Institute, 203 B.T. Road, Kolkata 700 108, India E-mail: [email protected] Dedicated to Professor K B Sinha on the occasion of his 60th birthday Abstract. This article is an elaboration of a talk given at an international confer- ence on Operator Theory, Quantum Probability, and Noncommutative Geometry held during December 20–23, 2004, at the Indian Statistical Institute, Kolkata. The lecture was meant for a general audience, and also prospective research students, the idea of the quantum cohomology based on the Gromov–Witten invariants. Of course there are many important aspects that are not discussed here. Keywords. J-holomorphic curves; moduli spaces; Gromov–Witten classes; quantum cohomology. 1. Introduction Quantum cohomology is a new mathematical discipline influenced by the string theory as a joint venture of physicists and mathematicians. The notion was first proposed by Vafa [V], and developed by Witten [W] and others [B]. The theory consists of some new approaches to the problem of constructing invariants of compact symplectic manifolds and algebraic varieties. The approaches are related to the ideas of a (1 + 1)-dimensional topological quantum field theory, which indicate that the general principle of constructing invariants should be as follows: The invariants of a manifold M should be obtained by integrating cohomology classes over certain moduli space M associated to M. In our case the manifold is a symplectic manifold (M,ω), and the moduli space M is the space of 1 certain J-holomorphic spheres σ: CP M in a given homology class A H2(M;Z).
    [Show full text]
  • Duality and Integrability in Topological String Theory
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by SISSA Digital Library International School of Advanced Studies Mathematical Physics Sector Academic Year 2008–09 PhD Thesis in Mathematical Physics Duality and integrability in topological string theory Candidate Andrea Brini Supervisors External referees Prof. Boris Dubrovin Prof. Marcos Marino˜ Dr. Alessandro Tanzini Dr. Tom Coates 2 Acknowledgements Over the past few years I have benefited from the interaction with many people. I would like to thank first of all my supervisors: Alessandro Tanzini, for introducing me to the subject of this thesis, for his support, and for the fun we had during countless discussions, and Boris Dubrovin, from whose insightful explanations I have learned a lot. It is moreover a privilege to have Marcos Mari˜no and Tom Coates as referees of this thesis, and I would like to thank them for their words and ac- tive support in various occasions. Special thanks are also due to Sara Pasquetti, for her help, suggestions and inexhaustible stress-energy transfer, to Giulio Bonelli for many stimulating and inspiring discussions, and to my collaborators Renzo Cava- lieri, Luca Griguolo and Domenico Seminara. I would finally like to acknowledge the many people I had discussions/correspondence with: Murad Alim, Francesco Benini, Marco Bertola, Vincent Bouchard ;-), Ugo Bruzzo, Mattia Cafasso, Hua-Lian Chang, Michele Cirafici, Tom Claeys, Andrea Collinucci, Emanuel Diaconescu, Bertrand Ey- nard, Jarah Evslin, Fabio Ferrari Ruffino, Barbara
    [Show full text]
  • Filtering Grassmannian Cohomology Via K-Schur Functions
    FILTERING GRASSMANNIAN COHOMOLOGY VIA K-SCHUR FUNCTIONS THE 2020 POLYMATH JR. \Q-B-AND-G" GROUPy Abstract. This paper is concerned with studying the Hilbert Series of the subalgebras of the cohomology rings of the complex Grassmannians and La- grangian Grassmannians. We build upon a previous conjecture by Reiner and Tudose for the complex Grassmannian and present an analogous conjecture for the Lagrangian Grassmannian. Additionally, we summarize several poten- tial approaches involving Gr¨obnerbases, homological algebra, and algebraic topology. Then we give a new interpretation to the conjectural expression for the complex Grassmannian by utilizing k-conjugation. This leads to two conjectural bases that would imply the original conjecture for the Grassman- nian. Finally, we comment on how this new approach foreshadows the possible existence of analogous k-Schur functions in other Lie types. Contents 1. Introduction2 2. Conjectures3 2.1. The Grassmannian3 2.2. The Lagrangian Grassmannian4 3. A Gr¨obnerBasis Approach 12 3.1. Patterns, Patterns and more Patterns 12 3.2. A Lex-greedy Approach 20 4. An Approach Using Natural Maps Between Rings 23 4.1. Maps Between Grassmannians 23 4.2. Maps Between Lagrangian Grassmannians 24 4.3. Diagrammatic Reformulation for the Two Main Conjectures 24 4.4. Approach via Coefficient-Wise Inequalities 27 4.5. Recursive Formula for Rk;` 27 4.6. A \q-Pascal Short Exact Sequence" 28 n;m 4.7. Recursive Formula for RLG 30 4.8. Doubly Filtered Basis 31 5. Schur and k-Schur Functions 35 5.1. Schur and Pieri for the Grassmannian 36 5.2. Schur and Pieri for the Lagrangian Grassmannian 37 Date: August 2020.
    [Show full text]
  • 4 Jul 2018 Is Spacetime As Physical As Is Space?
    Is spacetime as physical as is space? Mayeul Arminjon Univ. Grenoble Alpes, CNRS, Grenoble INP, 3SR, F-38000 Grenoble, France Abstract Two questions are investigated by looking successively at classical me- chanics, special relativity, and relativistic gravity: first, how is space re- lated with spacetime? The proposed answer is that each given reference fluid, that is a congruence of reference trajectories, defines a physical space. The points of that space are formally defined to be the world lines of the congruence. That space can be endowed with a natural structure of 3-D differentiable manifold, thus giving rise to a simple notion of spatial tensor — namely, a tensor on the space manifold. The second question is: does the geometric structure of the spacetime determine the physics, in particular, does it determine its relativistic or preferred- frame character? We find that it does not, for different physics (either relativistic or not) may be defined on the same spacetime structure — and also, the same physics can be implemented on different spacetime structures. MSC: 70A05 [Mechanics of particles and systems: Axiomatics, founda- tions] 70B05 [Mechanics of particles and systems: Kinematics of a particle] 83A05 [Relativity and gravitational theory: Special relativity] 83D05 [Relativity and gravitational theory: Relativistic gravitational theories other than Einstein’s] Keywords: Affine space; classical mechanics; special relativity; relativis- arXiv:1807.01997v1 [gr-qc] 4 Jul 2018 tic gravity; reference fluid. 1 Introduction and Summary What is more “physical”: space or spacetime? Today, many physicists would vote for the second one. Whereas, still in 1905, spacetime was not a known concept. It has been since realized that, even in classical mechanics, space and time are coupled: already in the minimum sense that space does not exist 1 without time and vice-versa, and also through the Galileo transformation.
    [Show full text]
  • §4 Grassmannians 73
    §4 Grassmannians 4.1 Plücker quadric and Gr(2,4). Let 푉 be 4-dimensional vector space. e set of all 2-di- mensional vector subspaces 푈 ⊂ 푉 is called the grassmannian Gr(2, 4) = Gr(2, 푉). More geomet- rically, the grassmannian Gr(2, 푉) is the set of all lines ℓ ⊂ ℙ = ℙ(푉). Sending 2-dimensional vector subspace 푈 ⊂ 푉 to 1-dimensional subspace 훬푈 ⊂ 훬푉 or, equivalently, sending a line (푎푏) ⊂ ℙ(푉) to 한 ⋅ 푎 ∧ 푏 ⊂ 훬푉 , we get the Plücker embedding 픲 ∶ Gr(2, 4) ↪ ℙ = ℙ(훬 푉). (4-1) Its image consists of all decomposable¹ grassmannian quadratic forms 휔 = 푎∧푏 , 푎, 푏 ∈ 푉. Clearly, any such a form has zero square: 휔 ∧ 휔 = 푎 ∧ 푏 ∧ 푎 ∧ 푏 = 0. Since an arbitrary form 휉 ∈ 훬푉 can be wrien¹ in appropriate basis of 푉 either as 푒 ∧ 푒 or as 푒 ∧ 푒 + 푒 ∧ 푒 and in the laer case 휉 is not decomposable, because of 휉 ∧ 휉 = 2 푒 ∧ 푒 ∧ 푒 ∧ 푒 ≠ 0, we conclude that 휔 ∈ 훬 푉 is decomposable if an only if 휔 ∧ 휔 = 0. us, the image of (4-1) is the Plücker quadric 푃 ≝ { 휔 ∈ 훬푉 | 휔 ∧ 휔 = 0 } (4-2) If we choose a basis 푒, 푒, 푒, 푒 ∈ 푉, the monomial basis 푒 = 푒 ∧ 푒 in 훬 푉, and write 푥 for the homogeneous coordinates along 푒, then straightforward computation 푥 ⋅ 푒 ∧ 푒 ∧ 푥 ⋅ 푒 ∧ 푒 = 2 푥 푥 − 푥 푥 + 푥 푥 ⋅ 푒 ∧ 푒 ∧ 푒 ∧ 푒 < < implies that 푃 is given by the non-degenerated quadratic equation 푥푥 = 푥푥 + 푥푥 .
    [Show full text]
  • Affine and Euclidean Geometry Affine and Projective Geometry, E
    AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda CHAPTER II: AFFINE AND EUCLIDEAN GEOMETRY AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda 1. AFFINE SPACE 1.1 Definition of affine space A real affine space is a triple (A; V; φ) where A is a set of points, V is a real vector space and φ: A × A −! V is a map verifying: 1. 8P 2 A and 8u 2 V there exists a unique Q 2 A such that φ(P; Q) = u: 2. φ(P; Q) + φ(Q; R) = φ(P; R) for everyP; Q; R 2 A. Notation. We will write φ(P; Q) = PQ. The elements contained on the set A are called points of A and we will say that V is the vector space associated to the affine space (A; V; φ). We define the dimension of the affine space (A; V; φ) as dim A = dim V: AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda Examples 1. Every vector space V is an affine space with associated vector space V . Indeed, in the triple (A; V; φ), A =V and the map φ is given by φ: A × A −! V; φ(u; v) = v − u: 2. According to the previous example, (R2; R2; φ) is an affine space of dimension 2, (R3; R3; φ) is an affine space of dimension 3. In general (Rn; Rn; φ) is an affine space of dimension n. 1.1.1 Properties of affine spaces Let (A; V; φ) be a real affine space. The following statemens hold: 1.
    [Show full text]
  • Chapter II. Affine Spaces
    II.1. Spaces 1 Chapter II. Affine Spaces II.1. Spaces Note. In this section, we define an affine space on a set X of points and a vector space T . In particular, we use affine spaces to define a tangent space to X at point x. In Section VII.2 we define manifolds on affine spaces by mapping open sets of the manifold (taken as a Hausdorff topological space) into the affine space. Ultimately, we think of a manifold as pieces of the affine space which are “bent and pasted together” (like paper mache). We also consider subspaces of an affine space and translations of subspaces. We conclude with a discussion of coordinates and “charts” on an affine space. Definition II.1.01. An affine space with vector space T is a nonempty set X of points and a vector valued map d : X × X → T called a difference function, such that for all x, y, z ∈ X: (A i) d(x, y) + d(y, z) = d(x, z), (A ii) the restricted map dx = d|{x}×X : {x} × X → T defined as mapping (x, y) 7→ d(x, y) is a bijection. We denote both the set and the affine space as X. II.1. Spaces 2 Note. We want to think of a vector as an arrow between two points (the “head” and “tail” of the vector). So d(x, y) is the vector from point x to point y. Then we see that (A i) is just the usual “parallelogram property” of the addition of vectors.
    [Show full text]
  • 8. Grassmannians
    66 Andreas Gathmann 8. Grassmannians After having introduced (projective) varieties — the main objects of study in algebraic geometry — let us now take a break in our discussion of the general theory to construct an interesting and useful class of examples of projective varieties. The idea behind this construction is simple: since the definition of projective spaces as the sets of 1-dimensional linear subspaces of Kn turned out to be a very useful concept, let us now generalize this and consider instead the sets of k-dimensional linear subspaces of Kn for an arbitrary k = 0;:::;n. Definition 8.1 (Grassmannians). Let n 2 N>0, and let k 2 N with 0 ≤ k ≤ n. We denote by G(k;n) the set of all k-dimensional linear subspaces of Kn. It is called the Grassmannian of k-planes in Kn. Remark 8.2. By Example 6.12 (b) and Exercise 6.32 (a), the correspondence of Remark 6.17 shows that k-dimensional linear subspaces of Kn are in natural one-to-one correspondence with (k − 1)- n− dimensional linear subspaces of P 1. We can therefore consider G(k;n) alternatively as the set of such projective linear subspaces. As the dimensions k and n are reduced by 1 in this way, our Grassmannian G(k;n) of Definition 8.1 is sometimes written in the literature as G(k − 1;n − 1) instead. Of course, as in the case of projective spaces our goal must again be to make the Grassmannian G(k;n) into a variety — in fact, we will see that it is even a projective variety in a natural way.
    [Show full text]