Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 141600

The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1). It was finalized by Alexandre Grothendieck, during the 1950s and the 1960s.

2 votes
Accepted

Proving the representability of a functor that is covered by open subfunctors

I found another way to prove this Theorem, which then also shows that this map is injective. Consider two Zariski sheaves $F,G:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ and for each sheaf a cover b …
BenediktK's user avatar
  • 215
3 votes
1 answer
737 views

Proving the representability of a functor that is covered by open subfunctors

A cover by open subfunctors means, that for every scheme $T$ and for every morphism $h_T\rightarrow F$, the pullback $F_i\times_F h_T$ is representable, say by $Y_i$ and the morphism of schemes $Y_i\rightarrow …
BenediktK's user avatar
  • 215
4 votes
0 answers
96 views

Finding a cover of the Hilbert functor, that corresponds to a cover of the Grassmannian

Let $\mathrm{Grass}_{k+1,n+1}:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ be the Grassmann functor, which maps a scheme $S$ to the set: $$\left\{\mathscr{U}\subseteq\mathscr{O}_S^{n+1}:\,\,\mathscr{ …
BenediktK's user avatar
  • 215