History of tag 04R2
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-08-31 |
54af804 |
Get rid of mathematics in item "labels"
This is ugly...
|
|
changed the proof
|
2011-06-09 |
c7bfa9c |
unramfied -> unramified
|
|
changed the proof
|
2011-05-30 |
562e8bb |
Smooth local source-and-target
Only a few properties are actually smooth local on the source
and target. Sofar we have:
flat
loc fin pres
loc fin type
univ open
syntomic
smooth
I'm guessing that we could add pseudo-coherent, perfect, and lci
but I haven't checked the details. Any others?
|
|
changed the statement and the proof
|
2010-10-09 |
97a5c76 |
Begin translating etale to \'etale or \acute{e}tale (in Math mode).
|
|
changed the proof
|
2010-09-07 |
2b53940 |
Excise "etale neighbourhood" from descent.tex
Because etale neighbourhoods are defined later. This is a bit
clumsy...
|
|
assigned tag 04R2
|
2010-06-07 |
fe09745
|
Added new tags
|
|
changed the proof
|
2010-06-07 |
221f6b9 |
Locality of properties of (morphisms of) germs
Any result of this type should be moved into descent,tex or
earlier. These results can be stated and proved without knowing
about algebraic spaces after all.
|
|
created statement with label lemma-etale-local-source-target in descent.tex
|
2010-06-06 |
b504204 |
Etale local on the source-and-target
Absurdly detailed discussion of three different notions of what
it can mean for a property of morphisms of schemes to be etale
local on the source and target. We choose the strongest of the
three to avoid confusion that will inevitably arise when picking
one of the other two. Moreover, it will be nicely compatible
with the notion (to be introduced in the next commit) of what it
means for a property of morphisms of germs to be etale local on
the source and target.
|