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

                                        រឿង រ៉ូមេអូ និង ហ្ស៊ុយលីយេ សង្ខេបរឿង តួអង្គ បញ្ជីណែនាំ

                                        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

                                        Romeo and Juliet ContentsCharactersSynopsisSourcesDate and textThemes and motifsCriticism and interpretationLegacyScene by sceneSee alsoNotes and referencesSourcesExternal linksNavigation menu"Consumer Price Index (estimate) 1800–"10.2307/28710160037-3222287101610.1093/res/II.5.31910.2307/45967845967810.2307/2869925286992510.1525/jams.1982.35.3.03a00050"Dada Masilo: South African dancer who breaks the rules"10.1093/res/os-XV.57.1610.2307/28680942868094"Sweet Sorrow: Mann-Korman's Romeo and Juliet Closes Sept. 5 at MN's Ordway"the original10.2307/45957745957710.1017/CCOL0521570476.009"Ram Leela box office collections hit massive Rs 100 crore, pulverises prediction"Archived"Broadway Revival of Romeo and Juliet, Starring Orlando Bloom and Condola Rashad, Will Close Dec. 8"Archived10.1075/jhp.7.1.04hon"Wherefore art thou, Romeo? To make us laugh at Navy Pier"the original10.1093/gmo/9781561592630.article.O006772"Ram-leela Review Roundup: Critics Hail Film as Best Adaptation of Romeo and Juliet"Archived10.2307/31946310047-77293194631"Romeo and Juliet get Twitter treatment""Juliet's Nurse by Lois Leveen""Romeo and Juliet: Orlando Bloom's Broadway Debut Released in Theaters for Valentine's Day"Archived"Romeo and Juliet Has No Balcony"10.1093/gmo/9781561592630.article.O00778110.2307/2867423286742310.1076/enst.82.2.115.959510.1080/00138380601042675"A plague o' both your houses: error in GCSE exam paper forces apology""Juliet of the Five O'Clock Shadow, and Other Wonders"10.2307/33912430027-4321339124310.2307/28487440038-7134284874410.2307/29123140149-661129123144728341M"Weekender Guide: Shakespeare on The Drive""balcony"UK public library membership"romeo"UK public library membership10.1017/CCOL9780521844291"Post-Zionist Critique on Israel and the Palestinians Part III: Popular Culture"10.2307/25379071533-86140377-919X2537907"Capulets and Montagues: UK exam board admit mixing names up in Romeo and Juliet paper"Istoria Novellamente Ritrovata di Due Nobili Amanti2027/mdp.390150822329610820-750X"GCSE exam error: Board accidentally rewrites Shakespeare"10.2307/29176390149-66112917639"Exam board apologises after error in English GCSE paper which confused characters in Shakespeare's Romeo and Juliet""From Mariotto and Ganozza to Romeo and Guilietta: Metamorphoses of a Renaissance Tale"10.2307/37323537323510.2307/2867455286745510.2307/28678912867891"10 Questions for Taylor Swift"10.2307/28680922868092"Haymarket Theatre""The Zeffirelli Way: Revealing Talk by Florentine Director""Michael Smuin: 1938-2007 / Prolific dance director had showy career"The Life and Art of Edwin BoothRomeo and JulietRomeo and JulietRomeo and JulietRomeo and JulietEasy Read Romeo and JulietRomeo and Julieteeecb12003684p(data)4099369-3n8211610759dbe00d-a9e2-41a3-b2c1-977dd692899302814385X313670221313670221