« first day (924 days earlier)      last day (2479 days later) » 

Dedalus
Dedalus
16:02
Hm, if I have an algebraic variety over a field k and a curve X, is there a nice description of what the picard scheme is?
I'm sure this is standard
Saul Glasman
Saul Glasman
the picard scheme of a smooth curve is the jacobian, right?
or is that not what you're asking?
Dedalus
Dedalus
that was the word I'm looking for, thanks!
 
1 hour later…
Qiaochu Yuan
Qiaochu Yuan
17:19
isn't the jacobian just the connected component?
Saul Glasman
Saul Glasman
17:34
oh, right
there's another name for the component group
the Neron-Severi group, that's it
so it's an extension of the Neron-Severi group by the Jacobian
 
5 hours later…
Jon Beardsley
Jon Beardsley
22:29
☠
Saul Glasman
Saul Glasman
are you trying to summon skullpatrol?
Jon Beardsley
Jon Beardsley
hahaha no
interesting idea though.
SAUL! Are you in New Jersey now?
☣☣☣☣
Saul Glasman
Saul Glasman
I am in New Jersey right the hell now
Jon Beardsley
Jon Beardsley
NICE.
I should come visit you.
Or you could come here. Either way.
Saul Glasman
Saul Glasman
agreed
things are busy, I'll be there for the mid-atlantic at least
Jon Beardsley
Jon Beardsley
22:36
Do you have topologists to talk to there?
Oh yah! Great.
Saul Glasman
Saul Glasman
Dan Grayson was here last term, but now he's gone back to Illinois
so it's just the univalent people, who I don't have that much common ground with
Jon Beardsley
Jon Beardsley
Aha.
Just a bunch of people who remain unpaired during meiosis?
Saul Glasman
Saul Glasman
ha, I guess the word univalent is actually not univalent
Jon Beardsley
Jon Beardsley
Haha.
Zhen Lin
Zhen Lin
23:11
people? I got the impression it was just Voevodsky...
Jon Beardsley
Jon Beardsley
I got the impression he was actually out of that game?
Saul Glasman
Saul Glasman
he's the only faculty member, but there are several postdocs
Jon Beardsley
Jon Beardsley
Oh.
Saul Glasman
Saul Glasman
23:30
Dan Grayson contributes to the univalent stuff too, even though he's originally a K-theorist

« first day (924 days earlier)      last day (2479 days later) »