2,193 reputation
1837
bio website math.cornell.edu/~dkmiller
location Ithaca, NY
age 23
visits member for 5 years, 2 months
seen 18 hours ago

I'm working on my PhD at Cornell - my advisor is Ravi Ramakrishna. I'm interested in Galois representations coming from abelian varieties (especially elliptic curves) and how they relate to the arithmetic of L-functions and modular forms. I'm also interested in algebraic geometry a la Grothendieck, and more generally, everything categorical. I like to think that I'm more interested in logic and foundations than the average mathematician.


Jul
18
comment Are there connections between Homotopy type theory and Grothendieck's theory of motives?
Downvoting because this question consists of little more than "X and Y are cool. Is there any kind of connection between X and Y?"
Jul
16
answered What are examples of good toy models in mathematics?
Jul
15
accepted The infinity-type of automorphic representations in the Langlands correspondence
Jul
13
asked The infinity-type of automorphic representations in the Langlands correspondence
Jul
13
answered Separable extensions of henselian fields
Jun
16
awarded  Yearling
Jun
16
comment Properties of schemes determined by field valued points
@solbap. One example you probably already know. If $X_{/\mathbf{C}}$ is proper, then the analytic space $X(\mathbf{C})$ "knows" $X$ by GAGA theorems.
May
16
awarded  Necromancer
May
16
answered Is there a semisimple $\mathbf{Q}_\ell$-representation of $G_F$ ramified at an infinite set of places?
May
6
answered Infinitesimal deformations of the formal group of $\mathbb{G}_m$
Apr
2
awarded  Inquisitive
Apr
1
answered Representability of deformation functors via SGA
Apr
1
asked Representability of deformation functors via SGA
Mar
20
asked Cohomology of discrete group with compact support
Mar
20
awarded  Informed
Mar
17
answered Is a locally free sheaf projective in the category of $\mathcal{O}_X$-modules when $X$ is an affine scheme?
Feb
12
awarded  Popular Question
Aug
21
comment Is there a higher Grothendieck ring?
It wouldn't strictly be a generalization, but note that you could take $K_n(\mathrm{Mot}^\mathrm{num}_k)$, for $\mathrm{Mot}_k^\mathrm{num}$ the category of (numerical) motives over $k$.
Aug
5
awarded  Popular Question
Jul
22
comment Cohomology of Lie groups and Lie algebras
For what it's worth: using \ast for asterisks avoids this problem, as in $H^\ast(g(Q))$