Timeline for Computing fibre products of schemes (not affine)
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2012 at 8:30 | comment | added | Regula Krapf | Yes, that is really confusing. Let $\nu$ be the generic point, then $k[\nu] = \mathcal{O}_{X,\nu} / \mathcal{m}_{\nu}$ where $\mathcal{m}_{\nu}$ is the maximal ideal corresponding to the generic point. | |
| Jul 26, 2012 at 18:00 | comment | added | Georges Elencwajg | I find your notations quite confusing : $y$ is both an indeterminate and a generic point, k[y] is a field ? | |
| Jul 26, 2012 at 14:37 | comment | added | Steven Landsburg | If "it means to write XxRSpec(k[y])", then I'd say you're done. | |
| Jul 26, 2012 at 8:25 | comment | added | Regula Krapf | It means to write X×RSpec(k[y]). My idea was to consider the affine cover U0= {x≠0}∩X and so on and then glue. But I'm not sure how to do this concretely. | |
| Jul 26, 2012 at 7:19 | comment | added | Jesko Hüttenhain | By "computing" this fibre product, what exactly do you mean? What kind of data constitutes a computed fibre product, as opposed to writing $X\times_R\mathrm{Spec}(k[y])$? | |
| Jul 26, 2012 at 7:04 | history | asked | Regula Krapf | CC BY-SA 3.0 |