bio  website  tlovering.wordpress.com 

location  Harvard  
age  24  
visits  member for  3 years, 11 months 
seen  yesterday  
stats  profile views  1,164 
I recently completed four years of undergraduate studies at Cambridge University, and in 2012 started work as a graduate student at Harvard. I am interested in algebraic varieties over number fields, and thinking about the information stored in their associated Galois representations. I also like looking for connections between number theory and algebraic topology.
2d

comment 
Serious introduction to the Langlands program for nonspecialist
Ed Frenkel's introduction to the Geometric Langlands programme includes a cursory overview of the "classical" Langlands programme which you might find useful. In terms of understanding anything properly, I think there is just too much out there to learn and you'll have to narrow down the question a bit first. 
Jul 14 
comment 
About the restriction of a modular representation to a decomposition subgroup II
No. I originally posted saying that I wasn't sure what is known about semisimplicity in general (I had a vague idea it was known in some cases and conjectured in the rest but not sure which). Thanks to "community" for clearing it up. 
Jul 9 
comment 
Bloch Kato Exponential as formal lie group exponential
I'd assume it's the inverse (which he mentions should exist on a small enough neighbourhood) to the logarithm in the sense of section 2 of Tate's article on pdivisible groups fhoermann.org/Tate%20%20pDivisible%20Groups.pdf 
Jul 8 
accepted  Regular singularities and the infinitesimal site 
Jul 7 
revised 
About the restriction of a modular representation to a decomposition subgroup II
added 75 characters in body 
Jul 7 
answered  About the restriction of a modular representation to a decomposition subgroup II 
Jul 7 
asked  Regular singularities and the infinitesimal site 
Jul 2 
awarded  Curious 
May 23 
comment 
Is there a better proof of this fact in number theory/formal group theory?
<troll> In the divisibility poset $0$ is maximal, so surely it's appropriate to say it's the greatest common divisor of an empty set? </troll> 
Apr 25 
comment 
Automorphisms of profinite groups
Is this the $p$part of the profinite completion of a free (nonabelian) group on $d$ generators? 
Apr 24 
awarded  Commentator 
Jan 22 
accepted  Torsors and the fpqc topology 
Jan 21 
asked  Torsors and the fpqc topology 
Jul 19 
comment 
“Why” is every polynomial representation of SL(2) selfdual?
Why is this? Do you need $p$ odd? (In the case $p=2$ it looks to me like perhaps conjugating by the matrix with 1s along the antidiagonal should exhibit selfduality, unless I've made a foolish error, which is likely). 
Jun 27 
comment 
What are limits of discrete series and which are cohomological?
Thank you, those references are extremely helpful. 
Jun 27 
comment 
Maximum dimension of an isotropic subspace in a quadratic space
Of course I meant $U$. So I was suggesting if you take the projection map $V \rightarrow U$, its kernel is negative definite, so in particular intersects any isotropic subspace trivially, so under this map, isotropic subspaces are embedded as subspaces of U. 
Jun 26 
comment 
Maximum dimension of an isotropic subspace in a quadratic space
You could consider the projection map onto the positive definite subspace? 
Jun 25 
revised 
What are limits of discrete series and which are cohomological?
added 3 characters in body 
Jun 25 
asked  What are limits of discrete series and which are cohomological? 
Jun 25 
awarded  Yearling 