| Blogs > mieda |
|
mieda
United States85 Posts
 ) If you just look at the max spectra for the points and complex manifold topology on varieties over C it really isn't true at all. For example, take any complex torus, which has nontrivial fundamental groups and is a complex curve (in fact an elliptic curve). Which explains why topologically Zariski space isn't so interesting from topological point of view. This is why we use etale fundamental groups instead. Edit: Probably should assume that X is irreducible also ;p  | ||
|
incnone
17 Posts
+ Show Spoiler + The mSpec-Zariski topology on the torus T has it that a set is open iff it is cofinite (or empty). So if X is a topological space, then f: X -> T is continuous iff the preimage of every point is closed. So suppose I have a continuous map f from [0,1] into T with f(0) = f(1). I'm going to extend it to a homotopy F : [0,1] x [0,1] -> T with F( *, 1) = pt. Choose any injection G of [0,1] x (0, 1) into T, and define F to be equal to G on [0,1] x (0, 1), and to be some point p on [0, 1] x {1}. Then the preimage of any point q of T is the union of some closed subset f^{-1}(q) of [0,1] x {0} along with possibly a single point of [0,1] x (0,1), and also (if q = p) the line [0,1] x {1} and is therefore certainly closed. So F is continuous and f is nulhomotopic. | ||
|
mieda
United States85 Posts
Edit: OP is Edited to clarify this. | ||
|
spoolinoveryou
United States503 Posts
| ||
|
Terranlisk
Singapore1404 Posts
| ||
|
mieda
United States85 Posts
On September 10 2010 21:39 MyHeroNoob wrote: Is this something they asked you at your interview too? No, it's more something you might try on the side as you read SGA 1 . The question is just for trivia interest, since no one considers traditional fundamental groups on algebraic varieties anyway (especially for positive characteristic case). | ||
|
mieda
United States85 Posts
The solution is quite simple / silly in a way: Suppose S^n -> X is any continuous map. Send the interior, D^{n+1} (without the boundary), to the generic point of X. This is continuous and extends the map S^n -> X to D^{n+1} -> X and the latter clearly homotopic to a constant map. | ||
|
Muirhead
United States557 Posts
 | ||
|
mieda
United States85 Posts
On September 11 2010 07:16 Muirhead wrote: Where do you go to school mieda? I think the fact that Zariski topology isn't Hausdorff is enough to show you shouldn't be applying methods better suited to CW complexes Sure, as I keep repeating, no one considers these fundamental groups on these spaces anyway. That's why it's a "trivia" :p , just to see what happens when one does :p | ||
| ||
StarCraft 2 StarCraft: Brood War Dota 2 Counter-Strike Heroes of the Storm Other Games tarik_tv4997 Grubby2255 FrodaN902 XaKoH  187PiGStarcraft166 byalli164 ODPixel162 Pyrionflax154 syndereN153 monkeys_forever138 KnowMe123 C9.Mang0121 ArmadaUGS100 Fuzer  95QueenE84 NeuroSwarm69 420jenkins62 shahzam60 Mew2King49 ViBE26 capcasts22 Railgan20 JuggernautJason18 |
|
OSC
IntoTheTV X SOOP
Reynor vs Solar
ByuN vs SHIN
Clem vs MaxPax
herO vs Rogue
IPSL
WorsT vs nOmaD
Dewalt vs andersOn
AI Arena Tournament
IntoTheTV X SOOP
IPSL
Azhi_Dahaki vs ggnore13
Double vs WIZARD
Replay Cast
Replay Cast
Sparkling Tuna Cup
WardiTV Invitational
YoungYakov vs Lambo
SHIN vs TBD
Percival vs Shameless
Solar vs TBD
[ Show More ] |
|
|
EPT
