Polynomial as a multiple of a polynomial with shared zeros
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
I came across this presentation on the Grassmannian, Plücker coordinates and Plücker relations (https://sites.math.washington.edu/~morrow/papers/matt-masters.pdf). It states that
where $X$ denotes the image of the Grassmannian $Gr(k,n)$ under the Plücker embedding and for some vectorspace $S_k in Gr(k,n)$ and corresponding matrix $A$, $P_L$ denotes the determinant of the submatrix of $A$ obtained by only considering the columns indexed by a set $L$ (gives a $k times k$ matrix). Moreover, the following definition is given:
So, I wanted to prove this Theorem, but I'm having some trouble. I know that for some $p in X$, $F_I,J(p)=0$. Then I tried to argue along the lines of showing $V(G)=V(P_I,J)$ by showing both inclusions, but having this result does not necessarily mean that $G$ is a multiple of $F_I,J$.
So, I have no idea how to show this. I'm sure this has to hold even for a more general setting (i.e. not necessarily Plücker coordinates etc.). Thank you for any suggestions.
algebraic-geometry polynomials grassmannian
add a comment |Â
up vote
0
down vote
favorite
I came across this presentation on the Grassmannian, Plücker coordinates and Plücker relations (https://sites.math.washington.edu/~morrow/papers/matt-masters.pdf). It states that
where $X$ denotes the image of the Grassmannian $Gr(k,n)$ under the Plücker embedding and for some vectorspace $S_k in Gr(k,n)$ and corresponding matrix $A$, $P_L$ denotes the determinant of the submatrix of $A$ obtained by only considering the columns indexed by a set $L$ (gives a $k times k$ matrix). Moreover, the following definition is given:
So, I wanted to prove this Theorem, but I'm having some trouble. I know that for some $p in X$, $F_I,J(p)=0$. Then I tried to argue along the lines of showing $V(G)=V(P_I,J)$ by showing both inclusions, but having this result does not necessarily mean that $G$ is a multiple of $F_I,J$.
So, I have no idea how to show this. I'm sure this has to hold even for a more general setting (i.e. not necessarily Plücker coordinates etc.). Thank you for any suggestions.
algebraic-geometry polynomials grassmannian
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I came across this presentation on the Grassmannian, Plücker coordinates and Plücker relations (https://sites.math.washington.edu/~morrow/papers/matt-masters.pdf). It states that
where $X$ denotes the image of the Grassmannian $Gr(k,n)$ under the Plücker embedding and for some vectorspace $S_k in Gr(k,n)$ and corresponding matrix $A$, $P_L$ denotes the determinant of the submatrix of $A$ obtained by only considering the columns indexed by a set $L$ (gives a $k times k$ matrix). Moreover, the following definition is given:
So, I wanted to prove this Theorem, but I'm having some trouble. I know that for some $p in X$, $F_I,J(p)=0$. Then I tried to argue along the lines of showing $V(G)=V(P_I,J)$ by showing both inclusions, but having this result does not necessarily mean that $G$ is a multiple of $F_I,J$.
So, I have no idea how to show this. I'm sure this has to hold even for a more general setting (i.e. not necessarily Plücker coordinates etc.). Thank you for any suggestions.
algebraic-geometry polynomials grassmannian
I came across this presentation on the Grassmannian, Plücker coordinates and Plücker relations (https://sites.math.washington.edu/~morrow/papers/matt-masters.pdf). It states that
where $X$ denotes the image of the Grassmannian $Gr(k,n)$ under the Plücker embedding and for some vectorspace $S_k in Gr(k,n)$ and corresponding matrix $A$, $P_L$ denotes the determinant of the submatrix of $A$ obtained by only considering the columns indexed by a set $L$ (gives a $k times k$ matrix). Moreover, the following definition is given:
So, I wanted to prove this Theorem, but I'm having some trouble. I know that for some $p in X$, $F_I,J(p)=0$. Then I tried to argue along the lines of showing $V(G)=V(P_I,J)$ by showing both inclusions, but having this result does not necessarily mean that $G$ is a multiple of $F_I,J$.
So, I have no idea how to show this. I'm sure this has to hold even for a more general setting (i.e. not necessarily Plücker coordinates etc.). Thank you for any suggestions.
algebraic-geometry polynomials grassmannian
algebraic-geometry polynomials grassmannian
asked Sep 4 at 9:40
SallyOwens
284210
284210
add a comment |Â
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2904845%2fpolynomial-as-a-multiple-of-a-polynomial-with-shared-zeros%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password