• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 00:39
CEST 06:39
KST 13:39
  • 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
Team TLMC #5 - Finalists & Open Tournaments0[ASL20] Ro16 Preview Pt2: Turbulence10Classic Games #3: Rogue vs Serral at BlizzCon9[ASL20] Ro16 Preview Pt1: Ascent10Maestros of the Game: Week 1/Play-in Preview12
Community News
BSL 2025 Warsaw LAN + Legends Showmatch0Weekly Cups (Sept 8-14): herO & MaxPax split cups4WardiTV TL Team Map Contest #5 Tournaments1SC4ALL $6,000 Open LAN in Philadelphia8Weekly Cups (Sept 1-7): MaxPax rebounds & Clem saga continues29
StarCraft 2
General
#1: Maru - Greatest Players of All Time Weekly Cups (Sept 8-14): herO & MaxPax split cups Team Liquid Map Contest #21 - Presented by Monster Energy SpeCial on The Tasteless Podcast Team TLMC #5 - Finalists & Open Tournaments
Tourneys
Maestros of The Game—$20k event w/ live finals in Paris Sparkling Tuna Cup - Weekly Open Tournament SC4ALL $6,000 Open LAN in Philadelphia WardiTV TL Team Map Contest #5 Tournaments RSL: Revival, a new crowdfunded tournament series
Strategy
Custom Maps
External Content
Mutation # 491 Night Drive Mutation # 490 Masters of Midnight Mutation # 489 Bannable Offense Mutation # 488 What Goes Around
Brood War
General
BW General Discussion Soulkey on ASL S20 A cwal.gg Extension - Easily keep track of anyone BGH Auto Balance -> http://bghmmr.eu/ ASL20 General Discussion
Tourneys
[Megathread] Daily Proleagues BSL 2025 Warsaw LAN + Legends Showmatch [ASL20] Ro16 Group D [ASL20] Ro16 Group C
Strategy
Simple Questions, Simple Answers Muta micro map competition Fighting Spirit mining rates [G] Mineral Boosting
Other Games
General Games
Path of Exile Stormgate/Frost Giant Megathread Borderlands 3 General RTS Discussion Thread Nintendo Switch Thread
Dota 2
Official 'what is Dota anymore' discussion LiquidDota to reintegrate into TL.net
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
Community
General
US Politics Mega-thread Canadian Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread UK Politics Mega-thread
Fan Clubs
The Happy Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread Formula 1 Discussion MLB/Baseball 2023
World Cup 2022
Tech Support
Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread High temperatures on bridge(s)
TL Community
BarCraft in Tokyo Japan for ASL Season5 Final The Automated Ban List
Blogs
I <=> 9
KrillinFromwales
The Personality of a Spender…
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
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1611 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
19:00
Mid Season Playoffs
Spirit vs PercivalLIVE!
Cham vs TBD
ByuN vs Jumy
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
ProTech72
StarCraft: Brood War
PianO 331
Nal_rA 62
Bale 29
Icarus 4
Dota 2
NeuroSwarm136
League of Legends
JimRising 630
Counter-Strike
Stewie2K378
Coldzera 298
Super Smash Bros
Westballz22
Other Games
summit1g7880
C9.Mang0383
XaKoH 108
RuFF_SC251
ViBE43
Trikslyr23
Organizations
Other Games
gamesdonequick869
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Sammyuel 24
• practicex 23
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• RayReign 14
• Diggity6
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Lourlo1101
• Stunt364
Upcoming Events
RSL Revival
5h 21m
Maru vs Reynor
Cure vs TriGGeR
Map Test Tournament
6h 21m
The PondCast
8h 21m
RSL Revival
1d 5h
Zoun vs Classic
Korean StarCraft League
1d 22h
BSL Open LAN 2025 - War…
2 days
RSL Revival
2 days
BSL Open LAN 2025 - War…
3 days
RSL Revival
3 days
Online Event
3 days
[ Show More ]
Wardi Open
4 days
Monday Night Weeklies
4 days
Sparkling Tuna Cup
5 days
LiuLi Cup
6 days
Liquipedia Results

Completed

Proleague 2025-09-10
Chzzk MurlocKing SC1 vs SC2 Cup #2
HCC Europe

Ongoing

BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
LASL Season 20
RSL Revival: Season 2
Maestros of the Game
StarSeries Fall 2025
FISSURE Playground #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 World Championship of Poland 2025
IPSL Winter 2025-26
BSL Season 21
SC4ALL: Brood War
BSL 21 Team A
Stellar Fest
SC4ALL: StarCraft II
EC S1
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
MESA Nomadic Masters Fall
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
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.