Impact
~38k
people reached
- 0 posts edited
- 0 helpful flags
- 180 votes cast
Apr
11 |
awarded | Popular Question |
Mar
12 |
awarded | Popular Question |
Feb
12 |
awarded | Good Question |
Sep
28 |
awarded | Yearling |
Sep
23 |
awarded | Nice Question |
Jun
24 |
awarded | Citizen Patrol |
Jun
24 |
comment |
Properties of schemes determined by field valued points
I have edited the question to address the comments thus far. Is the phrasing still problematic? Can it be considered for re-opening? |
Jun
16 |
comment |
Properties of schemes determined by field valued points
@WillSawin I have made edits to state the question more precisely. Mostly I want to consider $X(K)$ as just a topological space. Is there other structure of $X(K)$ from a functorial point of view that come to mind? |
Jun
16 |
revised |
Properties of schemes determined by field valued points
added 858 characters in body |
Jun
15 |
asked | Properties of schemes determined by field valued points |
Feb
9 |
awarded | Nice Question |
Jan
9 |
awarded | Notable Question |
Oct
15 |
awarded | Notable Question |
Sep
28 |
awarded | Yearling |
Sep
26 |
comment |
Conceptual algebraic proof that Grassmannian is closed in Plucker embedding
Both of the previous claims can be boiled down to a Lie algebra calculation using that $Gr_{k,n} = GL_n/P$. Factor $P = GL_k\times GL_{n-k}\times U$. Let $U^-$ be the transpose of $U$. Then tangent space of $GL_n/P$ is naturally $Lie(U^-)$ and can check tangent map is injective because $Lie(U^-)$ acts non trivially on highest wt. vector. |
Sep
26 |
comment |
Conceptual algebraic proof that Grassmannian is closed in Plucker embedding
Closed immersion? The map $GL_n\to \mathbb{P}(\wedge^k \mathbb{C}^n)$ is not even injective so cannot be an immersion. It is a submersion; since $GL_n$ acts transitively on the image so its enough to check map on tangent spaces is surjective at identity. Similarly, the map from $Gr_{k,n} \to \mathbb{P}(\wedge^k \mathbb{C})$ is a closed embedding again because map on tangent spaces is injective in this case. |
Aug
16 |
awarded | Nice Question |
Aug
14 |
comment |
vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$
The idea is that if $P$ is a nontrivial $G$ bundle on $U$ and $W$ is any etale neighborhood of $(u^k,v^k,u v)$ then $P$ restricted to $W \cap U$ remains nontrivial. |
Aug
14 |
comment |
vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$
I believe this argument can be adapted to show that on $Spec\ A$ every principal $G$ bundle is trivial whenever $G$ is a split reductive group. |
Aug
13 |
accepted | vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$ |