Re: Affine schemata
- From: bockermann <fstrunk@xxxxxx>
- Date: Sun, 17 Jun 2007 01:33:02 -0700
On 16 Jun., 22:34, Lukas-Fabian Moser <l...@xxxxxx> wrote:
Hallo Bockermann (heißt Du wirklich so!?),
On Sat, 16 Jun 2007 12:10:27 -0700, bockermann <fstr...@xxxxxx> wrote:
leider habe ich Probleme, etwas aus einem Beweis von Hartshorne zu
verstehen. Es handelt sich um Hartshorne II.3.2. (ca. seite 83), wo
steht:
"let X=Spec A be an affine scheme, which can be covered by open
subsets which are spectra of noetherian ring... Let U=Spec B be an
open subset of X with B noetherian. Then for some f in A D(f)\subset
U. Let f' be the image of f in B. Then A_f \cong B_f' ...".
Man bekommt einen Morphismus h:A --> B wenn man die Strukturgarbe auf
die Inklusion SpecB in SpecA anwendet, aber weiter...?
Tip: Sei phi: A -> B ein Ringhomomorphismus und Spec phi: Spec B ->
Spec A der zugehörige Morphismus von Schemata. Sei f e A. Dann gilt
(Spec phi)^(-1)(D(f)) = D(phi(f)).
Grüße, Lukas
Danke für die Antwort.
Leider komme ich noch nicht viel weiter: Wie kommt man nun auf A_f
\cong B_{\phi(f)}?
Dankeschön,
Bockermann
.
- Follow-Ups:
- Re: Affine schemata
- From: Lukas-Fabian Moser
- Re: Affine schemata
- References:
- Affine schemata
- From: bockermann
- Re: Affine schemata
- From: Lukas-Fabian Moser
- Affine schemata
- Prev by Date: Re: Euklid's Geometrie analytisch
- Next by Date: Re: Zweidimensionale Summen
- Previous by thread: Re: Affine schemata
- Next by thread: Re: Affine schemata
- Index(es):
Relevant Pages
|
