« first day (26 days earlier)      last day (1557 days later) » 

00:01
Haha, perhaps not quite that so much as at whim. At the moment I’m getting some stuff from Bernie
what
Berhuy
Sanders?
Is it good?
So far, yeah. I’m sorta going slowly because it’s all new but I’m liking it so far. For now I’m mostly reading to see which one I’d like to make as the main thing for my summer project
Once I make a decision I’ll hopefully amp it up a good bit
I'd be keen to read some of it with you
Whichever you choose
Nice. Resource might be one of these sets of notes if I do cohomology, and either Silverman or Milne for elliptic curves
At the moment my inclinations lean toward elliptic curves
Silverman AEC I hope
I wasn't a fan of one of his elliptic curves books
00:08
Right now I’m looking at rational points, though I’m sufficiently uncomfortable with the underlying geometry that I might start using AEC
I thought both rational points and AEC are really good
So far rational points has been a lot of fun, more that the business about points at infinity is vague to me, I need to be sure how things change once you add the new variable and make it homogeneous
00:25
ah yes - you should really be viewing these guys as projective curves!
anyway one thing i like about rational points is how they can prove mordell weil with not a lot of machinery - for a special class of elliptic curves (and also tells you how to compute the ranks of some of them - which is fun)
how many subjects can we prefix "algebraic" to?
00:40
i was going to say a lot - but now that i think of it i acn only name a few
we should make more
topology, geometry, combinatorics, number theory
ok geometry is really the unexpected one
it took grothendieck to develop it
i think there's algebraic statistics
but it also shows us that it isn't impossible
that isn't maths
algebraic geometry exists before grothendieck though
00:43
the theorem about 27 lines on a smooth cubic surface was proved in 1849 by Cayley! for example
(according to wikipedia)
but i guess it really goes long way before that
e.g. people studied conic sections etc for a long long time
 
12 hours later…
12:39
If I let A be the ring of functions R->R differentiable at zero, then is m/m^2 a finite R-module?
i don't think so? intuitively if i take something like $e^{ax}-1$ they look linearly independent to me in m/m^2
jk ignore me
 
7 hours later…
20:06
@Mike acknowledge from whom u learnt that proof
 
2 hours later…
22:04
@BalarkaSen Read up, I did B)

« first day (26 days earlier)      last day (1557 days later) »