Reference request: Grassmannian and Plucker coordinates in type B, C, D The Next CEO of Stack OverflowInfinite Grassmannians and their coordinate ringsReference request: representation of type G2 Lie algebras.Borel–Weil theorem - reference requestRelations between affine Grassmannian and GrassmannianSubspaces of Grassmannian under Plucker embeddingLattice model for Affine Grassmannians of non type ADo we have super Plucker relations for a super Grassmannian?Reference request: type C, D Catalan numbersReference request: Catalan number of type BDecomposition of product of two Plucker coordinates

Reference request: Grassmannian and Plucker coordinates in type B, C, D



The Next CEO of Stack OverflowInfinite Grassmannians and their coordinate ringsReference request: representation of type G2 Lie algebras.Borel–Weil theorem - reference requestRelations between affine Grassmannian and GrassmannianSubspaces of Grassmannian under Plucker embeddingLattice model for Affine Grassmannians of non type ADo we have super Plucker relations for a super Grassmannian?Reference request: type C, D Catalan numbersReference request: Catalan number of type BDecomposition of product of two Plucker coordinates










10












$begingroup$


Grassmannian $Gr(k,n)$ is the set of $k$-dimensional subspace of an $n$-dimensional vector space. What are the Grassmannian in types B, C, D? What are the analog of Plucker coordinates and Plucker relations in these cases? Are there some references about this? Thank you very much.










share|cite|improve this question









$endgroup$
















    10












    $begingroup$


    Grassmannian $Gr(k,n)$ is the set of $k$-dimensional subspace of an $n$-dimensional vector space. What are the Grassmannian in types B, C, D? What are the analog of Plucker coordinates and Plucker relations in these cases? Are there some references about this? Thank you very much.










    share|cite|improve this question









    $endgroup$














      10












      10








      10


      4



      $begingroup$


      Grassmannian $Gr(k,n)$ is the set of $k$-dimensional subspace of an $n$-dimensional vector space. What are the Grassmannian in types B, C, D? What are the analog of Plucker coordinates and Plucker relations in these cases? Are there some references about this? Thank you very much.










      share|cite|improve this question









      $endgroup$




      Grassmannian $Gr(k,n)$ is the set of $k$-dimensional subspace of an $n$-dimensional vector space. What are the Grassmannian in types B, C, D? What are the analog of Plucker coordinates and Plucker relations in these cases? Are there some references about this? Thank you very much.







      ag.algebraic-geometry co.combinatorics rt.representation-theory lie-groups






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 2 days ago









      Jianrong LiJianrong Li

      2,53021319




      2,53021319




















          3 Answers
          3






          active

          oldest

          votes


















          12












          $begingroup$

          In type $B$ and $D$ these are orthogonal isotropic Grassmannians $$OGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate quadratic form.



          In type $C$ these are symplectic isotropic Grassmannians $$SGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate symplectic form.






          share|cite|improve this answer









          $endgroup$




















            12












            $begingroup$

            What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P hookrightarrow mathbb P(V_omega)$ where $V_omega$ is a fundamental representation (the analogue of the Plücker coordinates). The two coordinate rings, of $mathbb P(V_omega)$ and $G/P$, are $Sym(V_omega^*)$ and $oplus_n V_nomega^*$ respectively. The kernel of the ring map $Sym(V_omega^*) twoheadrightarrow oplus_n V_nomega^*$ is generated in degree $2$ by Ramanathan's theorem (whose proof you can read in the unique book by Brion + Kumar), i.e. the analogue of the Plücker relations is the complement to $V_2omega^*$ inside $Sym^2(V_omega^*)$. I don't know enough about that representation theory in the specific $BCD$ cases to tell you more.






            share|cite|improve this answer









            $endgroup$




















              8












              $begingroup$

              It might also be worth mentioning that the Type A Grassmannians are minuscule varieties, meaning they are $G/P$ for a maximal parabolic $P$ corresponding to a minuscule node of the Dynkin diagram. Minuscule (and also cominuscule) varieties tend to behave a bit better than arbitrary homogeneous spaces $G/P$. At least, their combinatorics can be described quite explicitly, like with the Grassmannian: see e.g. https://arxiv.org/abs/math/0608276 or https://arxiv.org/abs/1306.5419. Note that outside of Type A not so many of the nodes of a Dynkin diagram are minuscule.






              share|cite|improve this answer









              $endgroup$













                Your Answer





                StackExchange.ifUsing("editor", function ()
                return StackExchange.using("mathjaxEditing", function ()
                StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
                StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
                );
                );
                , "mathjax-editing");

                StackExchange.ready(function()
                var channelOptions =
                tags: "".split(" "),
                id: "504"
                ;
                initTagRenderer("".split(" "), "".split(" "), channelOptions);

                StackExchange.using("externalEditor", function()
                // Have to fire editor after snippets, if snippets enabled
                if (StackExchange.settings.snippets.snippetsEnabled)
                StackExchange.using("snippets", function()
                createEditor();
                );

                else
                createEditor();

                );

                function createEditor()
                StackExchange.prepareEditor(
                heartbeatType: 'answer',
                autoActivateHeartbeat: false,
                convertImagesToLinks: true,
                noModals: true,
                showLowRepImageUploadWarning: true,
                reputationToPostImages: 10,
                bindNavPrevention: true,
                postfix: "",
                imageUploader:
                brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
                contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
                allowUrls: true
                ,
                noCode: true, onDemand: true,
                discardSelector: ".discard-answer"
                ,immediatelyShowMarkdownHelp:true
                );



                );













                draft saved

                draft discarded


















                StackExchange.ready(
                function ()
                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f326749%2freference-request-grassmannian-and-plucker-coordinates-in-type-b-c-d%23new-answer', 'question_page');

                );

                Post as a guest















                Required, but never shown

























                3 Answers
                3






                active

                oldest

                votes








                3 Answers
                3






                active

                oldest

                votes









                active

                oldest

                votes






                active

                oldest

                votes









                12












                $begingroup$

                In type $B$ and $D$ these are orthogonal isotropic Grassmannians $$OGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate quadratic form.



                In type $C$ these are symplectic isotropic Grassmannians $$SGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate symplectic form.






                share|cite|improve this answer









                $endgroup$

















                  12












                  $begingroup$

                  In type $B$ and $D$ these are orthogonal isotropic Grassmannians $$OGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate quadratic form.



                  In type $C$ these are symplectic isotropic Grassmannians $$SGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate symplectic form.






                  share|cite|improve this answer









                  $endgroup$















                    12












                    12








                    12





                    $begingroup$

                    In type $B$ and $D$ these are orthogonal isotropic Grassmannians $$OGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate quadratic form.



                    In type $C$ these are symplectic isotropic Grassmannians $$SGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate symplectic form.






                    share|cite|improve this answer









                    $endgroup$



                    In type $B$ and $D$ these are orthogonal isotropic Grassmannians $$OGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate quadratic form.



                    In type $C$ these are symplectic isotropic Grassmannians $$SGr(k,n) subset Gr(k,n),$$ that parameterize isotropic $k$-dimensional subspaces in a vector space of dimension $n$ endowed with a non-degenerate symplectic form.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 2 days ago









                    SashaSasha

                    21.2k22756




                    21.2k22756





















                        12












                        $begingroup$

                        What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P hookrightarrow mathbb P(V_omega)$ where $V_omega$ is a fundamental representation (the analogue of the Plücker coordinates). The two coordinate rings, of $mathbb P(V_omega)$ and $G/P$, are $Sym(V_omega^*)$ and $oplus_n V_nomega^*$ respectively. The kernel of the ring map $Sym(V_omega^*) twoheadrightarrow oplus_n V_nomega^*$ is generated in degree $2$ by Ramanathan's theorem (whose proof you can read in the unique book by Brion + Kumar), i.e. the analogue of the Plücker relations is the complement to $V_2omega^*$ inside $Sym^2(V_omega^*)$. I don't know enough about that representation theory in the specific $BCD$ cases to tell you more.






                        share|cite|improve this answer









                        $endgroup$

















                          12












                          $begingroup$

                          What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P hookrightarrow mathbb P(V_omega)$ where $V_omega$ is a fundamental representation (the analogue of the Plücker coordinates). The two coordinate rings, of $mathbb P(V_omega)$ and $G/P$, are $Sym(V_omega^*)$ and $oplus_n V_nomega^*$ respectively. The kernel of the ring map $Sym(V_omega^*) twoheadrightarrow oplus_n V_nomega^*$ is generated in degree $2$ by Ramanathan's theorem (whose proof you can read in the unique book by Brion + Kumar), i.e. the analogue of the Plücker relations is the complement to $V_2omega^*$ inside $Sym^2(V_omega^*)$. I don't know enough about that representation theory in the specific $BCD$ cases to tell you more.






                          share|cite|improve this answer









                          $endgroup$















                            12












                            12








                            12





                            $begingroup$

                            What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P hookrightarrow mathbb P(V_omega)$ where $V_omega$ is a fundamental representation (the analogue of the Plücker coordinates). The two coordinate rings, of $mathbb P(V_omega)$ and $G/P$, are $Sym(V_omega^*)$ and $oplus_n V_nomega^*$ respectively. The kernel of the ring map $Sym(V_omega^*) twoheadrightarrow oplus_n V_nomega^*$ is generated in degree $2$ by Ramanathan's theorem (whose proof you can read in the unique book by Brion + Kumar), i.e. the analogue of the Plücker relations is the complement to $V_2omega^*$ inside $Sym^2(V_omega^*)$. I don't know enough about that representation theory in the specific $BCD$ cases to tell you more.






                            share|cite|improve this answer









                            $endgroup$



                            What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P hookrightarrow mathbb P(V_omega)$ where $V_omega$ is a fundamental representation (the analogue of the Plücker coordinates). The two coordinate rings, of $mathbb P(V_omega)$ and $G/P$, are $Sym(V_omega^*)$ and $oplus_n V_nomega^*$ respectively. The kernel of the ring map $Sym(V_omega^*) twoheadrightarrow oplus_n V_nomega^*$ is generated in degree $2$ by Ramanathan's theorem (whose proof you can read in the unique book by Brion + Kumar), i.e. the analogue of the Plücker relations is the complement to $V_2omega^*$ inside $Sym^2(V_omega^*)$. I don't know enough about that representation theory in the specific $BCD$ cases to tell you more.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 2 days ago









                            Allen KnutsonAllen Knutson

                            21.4k445130




                            21.4k445130





















                                8












                                $begingroup$

                                It might also be worth mentioning that the Type A Grassmannians are minuscule varieties, meaning they are $G/P$ for a maximal parabolic $P$ corresponding to a minuscule node of the Dynkin diagram. Minuscule (and also cominuscule) varieties tend to behave a bit better than arbitrary homogeneous spaces $G/P$. At least, their combinatorics can be described quite explicitly, like with the Grassmannian: see e.g. https://arxiv.org/abs/math/0608276 or https://arxiv.org/abs/1306.5419. Note that outside of Type A not so many of the nodes of a Dynkin diagram are minuscule.






                                share|cite|improve this answer









                                $endgroup$

















                                  8












                                  $begingroup$

                                  It might also be worth mentioning that the Type A Grassmannians are minuscule varieties, meaning they are $G/P$ for a maximal parabolic $P$ corresponding to a minuscule node of the Dynkin diagram. Minuscule (and also cominuscule) varieties tend to behave a bit better than arbitrary homogeneous spaces $G/P$. At least, their combinatorics can be described quite explicitly, like with the Grassmannian: see e.g. https://arxiv.org/abs/math/0608276 or https://arxiv.org/abs/1306.5419. Note that outside of Type A not so many of the nodes of a Dynkin diagram are minuscule.






                                  share|cite|improve this answer









                                  $endgroup$















                                    8












                                    8








                                    8





                                    $begingroup$

                                    It might also be worth mentioning that the Type A Grassmannians are minuscule varieties, meaning they are $G/P$ for a maximal parabolic $P$ corresponding to a minuscule node of the Dynkin diagram. Minuscule (and also cominuscule) varieties tend to behave a bit better than arbitrary homogeneous spaces $G/P$. At least, their combinatorics can be described quite explicitly, like with the Grassmannian: see e.g. https://arxiv.org/abs/math/0608276 or https://arxiv.org/abs/1306.5419. Note that outside of Type A not so many of the nodes of a Dynkin diagram are minuscule.






                                    share|cite|improve this answer









                                    $endgroup$



                                    It might also be worth mentioning that the Type A Grassmannians are minuscule varieties, meaning they are $G/P$ for a maximal parabolic $P$ corresponding to a minuscule node of the Dynkin diagram. Minuscule (and also cominuscule) varieties tend to behave a bit better than arbitrary homogeneous spaces $G/P$. At least, their combinatorics can be described quite explicitly, like with the Grassmannian: see e.g. https://arxiv.org/abs/math/0608276 or https://arxiv.org/abs/1306.5419. Note that outside of Type A not so many of the nodes of a Dynkin diagram are minuscule.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered 2 days ago









                                    Sam HopkinsSam Hopkins

                                    4,96212557




                                    4,96212557



























                                        draft saved

                                        draft discarded
















































                                        Thanks for contributing an answer to MathOverflow!


                                        • Please be sure to answer the question. Provide details and share your research!

                                        But avoid


                                        • Asking for help, clarification, or responding to other answers.

                                        • Making statements based on opinion; back them up with references or personal experience.

                                        Use MathJax to format equations. MathJax reference.


                                        To learn more, see our tips on writing great answers.




                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function ()
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f326749%2freference-request-grassmannian-and-plucker-coordinates-in-type-b-c-d%23new-answer', 'question_page');

                                        );

                                        Post as a guest















                                        Required, but never shown





















































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown

































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown







                                        Popular posts from this blog

                                        Export of reprojected layer from GEE fails Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Iterate over features and years to export images for each feature-yearEarth engine reproject: why does reprojecting a pixel at 30m scale gives me pixels with an area of ~550?Exporting slope raster for entire country in GEEGEE Landsat SR year composite // mask cloud / shadow out w/ other method than quality pixel"export region contains no valid (un-masked) pixels - Google Earth EgineGoogle Earth Engine, how to distinguish between rivers/streams and ponds/lakes in a water maskPython script tool fails when processing rainfall data from Google Earth EngineGoogle Earth Engine Error: Number of pixels requested from Image.load exceeds the maximum allowedCloudfree images in small area from Sentinel-2Using Image exportToDrive in Google Earth Engine?

                                        Creating closest line along the point''s azimuth using PostgreSQL Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Drawing line between points at specific distance in PostGIS?How to efficiently find the closest point over the dateline?How to find the nearest point by using PostGIS function?PostGIS nearest point with LATERAL JOIN in PostgreSQL 9.3+Creating a table and inserting selected streets using plpgsql functionsCreating a table that stores Distances and other columnSaving select query results (year wise) from PostgreSQL/PostGIS to text filesWhat is the information behind this geometry?How to give start and end vertex ids dynamically in pgr_dijkstra?Point to Polygon nearest distance DS_distance is not using geography index & knn <-> or <#> does not give result in orderLine to point conversion with start point and end point detection?

                                        Crop image to path created in TikZ? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Crop an inserted image?TikZ pictures does not appear in posterImage behind and beyond crop marks?Tikz picture as large as possible on A4 PageTransparency vs image compression dilemmaHow to crop background from image automatically?Image does not cropTikzexternal capturing crop marks when externalizing pgfplots?How to include image path that contains a dollar signCrop image with left size given