1,971 reputation
1814
bio website math.northwestern.edu/…
location Chicago
age 30
visits member for 4 years, 9 months
seen Dec 7 '13 at 15:42
I am a Ph.D student at Northwestern University interested in algebraic geometry and representation theory, working under the supervision of David Nadler. I will be graduating this June.

Oct
21
awarded  Yearling
Aug
17
awarded  Nice Answer
Oct
21
awarded  Yearling
Jul
12
comment Is the Springer resolution a blow-up?
In the simplest case of $\mathfrak{sl}_2$, the Springer resolution is easily seen to be the blow-up at the origin. In general, however, the Springer resolution is not a blow-up.
Mar
6
comment The `set' of all principal G bundles over `all' spaces
Within the context of stacks in algebraic geometry, $BG$ (or $pt/G$) is absolutely the notation that would be used. I suppose you don't like this because it is also the notation for the classifying space of $G$? From my perspective, I don't particularly like the notation $Bun(G)$, only because $Bun_G(X)$ is typically used to denote the moduli of $G$-bundles on the space $X$. But maybe others disagree. I'm struggling to think of a good alternative though.
Feb
12
answered A^1-invariant for Vector Bundles?
Feb
11
comment What is the dimension of a sheaf?
The sheaf in question is a sheaf over the residue field, which means that it can be viewed as vector space over the residue field.
Jan
23
answered Simple question in the representation of SL(2,C)
Jan
5
comment $(\mathfrak{g},K)$-modules and parabolic category $\mathcal{O}$
A general reference for category $\mathcal{O}$ that I really like: Humphreys' "Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$"
Nov
19
comment Classification of certain algebraic curves
One more comment: If you are simply looking for curves which possess a line bundle satisfying the equality, then any curve possessing a $g^1_4$ obviously works. This includes all hyperelliptic curves, but also all curves of genus at most $6$. More generally, you might try checking when the Brill-Noether number associated to $d=deg(L)$ and $r=\frac{1}{2}deg(L)-1$ is non-negative. I haven't done the calculation, but it seems that using this strategy you might find that every curve possesses a line bundle satisfying your equality?
Nov
19
comment Classification of certain algebraic curves
This questions seems unclear at the moment. First of all, every curve has a special line bundle satisfying the equality $h^0(L) = \frac{1}{2}deg(L)+1$; namely the canonical bundle. Hyperelliptic curves are unique because they also possess a line bundle which satisfies the equality which is neither the trivial bundle nor the canonical bundle. So, is your question asking which curves possess some special line bundle satisfying $h^0(L) = \frac{1}{2}deg(L)$? Or, are you asking for a list of all line bundles on all curves which satisfy the equality, akin to Clifford's theorem?
Nov
9
comment real orbits of highest weight vectors
Regarding question 1: Fix a Borel subgroup $B$ and corresponding highest weight vector $v_{\lambda}$. Then for any other Borel subgroup $B'$, there exists $g \in G$ such that $gBg^{-1} = B'$. In this case, the highest weight vector $v_{\lambda}'$ associated to $B'$ is simply $gv_{\lambda}$. Therefore $G$ does act transitively on highest weight vectors. It seems to me that the stabilizer would then be the unipotent radical of $B$.
Nov
9
awarded  Good Answer
Nov
8
comment Is base affine space a trivial fibration?
Presumably the base affine space is $G/U$ (I haven't heard the terminology 'base affine space' before)? I think it's helpful to consider the case where $G=SL_2$, so that the flag variety is $\mathbb{P}^1$ and $G/U$ is the complement of the origin in $\mathbb{A}^2$, which isn't a trivial $\mathbb{G}_m$-bundle over $\mathbb{P}^1$.
Nov
8
comment Deformation of Line bundles over dual numbers
A short exact sequence $0 \to L \to M \to L \to 0$ enables you to give $M$ the structure of a module over $X'$. You just need to be able to say how $\epsilon$ acts on $M$. Composing the projection $M \to L$ with the inclusion $L \to M$ tells you how $\epsilon$ acts.
Oct
22
awarded  Yearling
Oct
19
awarded  Autobiographer
Sep
27
comment Which bundles does the character vareity parameterize?
When $G = U(n)$, the character variety parameterizes vector bundles over $C$. This is the Narasimhan-Seshadri Theorem. When $G = GL_n$, the character variety parameterizes Higgs bundles. This is part of what's known as non-Abelian Hodge theory.
Sep
27
comment What is a coalgebra intuitively?
I think the Davids would approve of this answer.
Sep
18
comment Virtual dimension of moduli of stable maps
This is a consequence of the deformation theory of morphisms with smooth target: deformations lie in $H^0(f^{\ast}T_X)$ and obstructions lie in $H^1(f^{\ast}T_X)$. This is explicitly covered, for example, in Hartshorne's notes on deformation theory (go to the section on deformations of a morphism).