• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 02:50
CEST 08:50
KST 15:50
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Maestros of the Game: Week 1/Play-in Preview12[ASL20] Ro24 Preview Pt2: Take-Off7[ASL20] Ro24 Preview Pt1: Runway132v2 & SC: Evo Complete: Weekend Double Feature4Team Liquid Map Contest #21 - Presented by Monster Energy14
Community News
LiuLi Cup - September 2025 Tournaments2Weekly Cups (August 25-31): Clem's Last Straw?39Weekly Cups (Aug 18-24): herO dethrones MaxPax6Maestros of The Game—$20k event w/ live finals in Paris54Weekly Cups (Aug 11-17): MaxPax triples again!15
StarCraft 2
General
#1: Maru - Greatest Players of All Time Team Liquid Map Contest #21 - Presented by Monster Energy Production Quality - Maestros of the Game Vs RSL 2 Geoff 'iNcontroL' Robinson has passed away Heaven's Balance Suggestions (roast me)
Tourneys
Maestros of The Game—$20k event w/ live finals in Paris RSL: Revival, a new crowdfunded tournament series Chzzk MurlocKing SC1 vs SC2 Cup Sea Duckling Open (Global, Bronze-Diamond) LiuLi Cup - September 2025 Tournaments
Strategy
Custom Maps
External Content
Mutation # 489 Bannable Offense Mutation # 488 What Goes Around Mutation # 487 Think Fast Mutation # 486 Watch the Skies
Brood War
General
The Korean Terminology Thread Pros React To: herO's Baffling Game ASL20 General Discussion BGH Auto Balance -> http://bghmmr.eu/ BW General Discussion
Tourneys
[Megathread] Daily Proleagues [IPSL] ISPL Season 1 Winter Qualis and Info! Is there English video for group selection for ASL Small VOD Thread 2.0
Strategy
Simple Questions, Simple Answers Muta micro map competition Fighting Spirit mining rates [G] Mineral Boosting
Other Games
General Games
Stormgate/Frost Giant Megathread General RTS Discussion Thread Nintendo Switch Thread Path of Exile Warcraft III: The Frozen Throne
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
Things Aren’t Peaceful in Palestine US Politics Mega-thread The Games Industry And ATVI Russo-Ukrainian War Thread Canadian Politics Mega-thread
Fan Clubs
The Happy Fan Club!
Media & Entertainment
[Manga] One Piece Anime Discussion Thread Movie Discussion! [\m/] Heavy Metal Thread
Sports
MLB/Baseball 2023 2024 - 2026 Football Thread Formula 1 Discussion TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread High temperatures on bridge(s)
TL Community
The Automated Ban List TeamLiquid Team Shirt On Sale
Blogs
Collective Intelligence: Tea…
TrAiDoS
A very expensive lesson on ma…
Garnet
hello world
radishsoup
Lemme tell you a thing o…
JoinTheRain
RTS Design in Hypercoven
a11
Evil Gacha Games and the…
ffswowsucks
INDEPENDIENTE LA CTM
XenOsky
Customize Sidebar...

Website Feedback

Closed Threads



Active: 813 users

An algebraic geometry trivia (Math Puzzle #3?)

Blogs > mieda
Post a Reply
mieda
Profile Blog Joined February 2010
United States85 Posts
Last Edited: 2010-09-10 19:23:38
September 10 2010 07:16 GMT
#1
Take any scheme X and consider its Zariski topology with non-closed points so we're looking at all of the prime spectra, not just the max spectra. Prove that X is simply connected. In fact, pi_n(X) is trivial for all n >= 1. (it's not hard once you see the trick! )

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
Profile Joined July 2009
17 Posts
Last Edited: 2010-09-10 08:48:33
September 10 2010 08:44 GMT
#2
I don't think I buy into this example that a complex torus is not simply connected in the classical (mSpec) Zariski topology. I'm going to attempt to prove that the torus (or any one-dimensional complex variety) is simply connected:

+ 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
Profile Blog Joined February 2010
United States85 Posts
Last Edited: 2010-09-10 09:19:39
September 10 2010 09:15 GMT
#3
I should've been careful there. I meant for the topology of complex manifold structure on torus. When I said max spectra I should've said just the points, and the topology was of complex manifold.

Edit: OP is Edited to clarify this.

spoolinoveryou
Profile Blog Joined October 2007
United States503 Posts
September 10 2010 10:33 GMT
#4
holy crap i think my head just exploded... i wish i could understand what you guys were talking about hahahaha.
whats good?
Terranlisk
Profile Blog Joined February 2007
Singapore1404 Posts
September 10 2010 12:39 GMT
#5
Is this something they asked you at your interview too?
aka myheronoob
mieda
Profile Blog Joined February 2010
United States85 Posts
Last Edited: 2010-09-10 15:21:47
September 10 2010 15:20 GMT
#6
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
Profile Blog Joined February 2010
United States85 Posts
September 10 2010 21:22 GMT
#7
I'm going to throw this away.

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
Profile Blog Joined October 2007
United States556 Posts
September 10 2010 22:16 GMT
#8
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
starleague.mit.edu
mieda
Profile Blog Joined February 2010
United States85 Posts
Last Edited: 2010-09-10 23:50:31
September 10 2010 23:22 GMT
#9
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
Please log in or register to reply.
Live Events Refresh
OSC
22:00
OSC Elite Rising Star #16
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft: Brood War
Shuttle 2084
JulyZerg 712
Larva 293
ToSsGirL 64
sSak 55
Dota 2
NeuroSwarm102
League of Legends
JimRising 785
febbydoto16
Counter-Strike
Stewie2K1074
Super Smash Bros
Mew2King69
Heroes of the Storm
Khaldor151
Other Games
summit1g6681
WinterStarcraft610
ViBE229
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Berry_CruncH351
• practicex 47
• Sammyuel 38
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Jankos506
• Stunt468
Other Games
• Scarra1143
Upcoming Events
RSL Revival
3h 10m
Cure vs Bunny
Creator vs Zoun
Maestros of the Game
10h 10m
Maru vs Lambo
herO vs ShoWTimE
BSL Team Wars
12h 10m
Team Hawk vs Team Sziky
Sparkling Tuna Cup
1d 3h
Monday Night Weeklies
1d 9h
The PondCast
4 days
Online Event
5 days
BSL Team Wars
5 days
Team Bonyth vs Team Dewalt
BSL Team Wars
5 days
Maestros of the Game
6 days
[ Show More ]
Cosmonarchy
6 days
Bonyth vs Dewalt
[BSL 2025] Weekly
6 days
Liquipedia Results

Completed

Proleague 2025-09-02
SEL Season 2 Championship
HCC Europe

Ongoing

Copa Latinoamericana 4
BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21: BSL Points
ASL Season 20
CSL 2025 AUTUMN (S18)
LASL Season 20
RSL Revival: Season 2
Maestros of the Game
Chzzk MurlocKing SC1 vs SC2 Cup #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1

Upcoming

2025 Chongqing Offline CUP
BSL Polish World Championship 2025
BSL Season 21
BSL 21 Team A
EC S1
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
MESA Nomadic Masters Fall
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.