Formal functions over Grassmannians (Q788788): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 02:15, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal functions over Grassmannians |
scientific article |
Statements
Formal functions over Grassmannians (English)
0 references
1982
0 references
The authors prove the following theorem: The field of formal-rational functions \(\hat K\) along a connected closed subscheme of positive dimension in a Grassmannian Grass(n,r) is exactly the field of rational functions on Grass(n,r). The proof uses a reduction to the special case of \({\mathbb{P}}^ 1\) in \({\mathbb{P}}^ n\) (where the result is known) and a lemma which states \(\Phi((X))\cap L(X)=\Phi(X)\) for fields \(\Phi\subset L\) and a finite set of indeterminates X.
0 references
formal-rational functions
0 references
Grassmannian
0 references