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 yesterday









      Jianrong LiJianrong Li

      2,52521319




      2,52521319




















          3 Answers
          3






          active

          oldest

          votes


















          11












          $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$




















            10












            $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$




















              7












              $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









                11












                $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$

















                  11












                  $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$















                    11












                    11








                    11





                    $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 yesterday









                    SashaSasha

                    21.2k22756




                    21.2k22756





















                        10












                        $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$

















                          10












                          $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$















                            10












                            10








                            10





                            $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 yesterday









                            Allen KnutsonAllen Knutson

                            21.4k445129




                            21.4k445129





















                                7












                                $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$

















                                  7












                                  $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$















                                    7












                                    7








                                    7





                                    $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 yesterday









                                    Sam HopkinsSam Hopkins

                                    4,95212557




                                    4,95212557



























                                        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

                                        RemoteApp sporadic failureWindows 2008 RemoteAPP client disconnects within a matter of minutesWhat is the minimum version of RDP supported by Server 2012 RDS?How to configure a Remoteapp server to increase stabilityMicrosoft RemoteApp Active SessionRDWeb TS connection broken for some users post RemoteApp certificate changeRemote Desktop Licensing, RemoteAPPRDS 2012 R2 some users are not able to logon after changed date and time on Connection BrokersWhat happens during Remote Desktop logon, and is there any logging?After installing RDS on WinServer 2016 I still can only connect with two users?RD Connection via RDGW to Session host is not connecting

                                        How to write a 12-bar blues melodyI-IV-V blues progressionHow to play the bridges in a standard blues progressionHow does Gdim7 fit in C# minor?question on a certain chord progressionMusicology of Melody12 bar blues, spread rhythm: alternative to 6th chord to avoid finger stretchChord progressions/ Root key/ MelodiesHow to put chords (POP-EDM) under a given lead vocal melody (starting from a good knowledge in music theory)Are there “rules” for improvising with the minor pentatonic scale over 12-bar shuffle?Confusion about blues scale and chords

                                        Esgonzo ibérico Índice Descrición Distribución Hábitat Ameazas Notas Véxase tamén "Acerca dos nomes dos anfibios e réptiles galegos""Chalcides bedriagai"Chalcides bedriagai en Carrascal, L. M. Salvador, A. (Eds). Enciclopedia virtual de los vertebrados españoles. Museo Nacional de Ciencias Naturales, Madrid. España.Fotos