16,934 reputation
14187
bio website math.purdue.edu/~dvb
location
age
visits member for 5 years, 2 months
seen 1 hour ago

1d
comment are extensions of flat connections flat?
If by "flat" you mean that $\nabla_X^2=0$, then yes. The curvature is locally a matrix of (log) $1$-forms, so if it vanishes on $U$ it vanishes on $X$.
May
3
comment Characterizations of regular holonomic D-modules
Two suggestions: (1) Interlibrary loan, or (2) ask the obvious person if you can borrow his copy.
Apr
29
answered What are the easiest examples of irreducible, but not big, monodromy representations
Apr
29
answered References for the moduli space of complex structures
Apr
24
answered Variation of Hodge structures associated to a hermitian symmetric domain
Apr
23
comment Cohen-Macaulay rings and Normal rings
While I agree with abx, I will leave a few key hints: use Serre criterion for normality to see that normality and the Cohen-Macaulay condition do not imply each other in either direction (a cusp is CM but not normal…)
Apr
21
comment Why write GRR with the relative tangent sheaf?
The second version is also more general. If $X$ or $Y$ are singular, then the terms in first statement are undefined, but $\mathcal{T}_f$ may still be defined, e.g. when $f$ is smooth and proper.
Apr
17
comment Spectrum of the Laplacian on p-forms on the sphere
Good point. The other, more relevant, reference that I forgot to mention is Folland, Harmonic Analysis of the de Rham complex of the sphere, Crelles 1989
Apr
16
comment Spectrum of the Laplacian on p-forms on the sphere
Ref: Berger, Gauduchon, Mazet, Le Spectre d'un variete Riemannienne
Apr
12
comment Understanding Faltings's Theorem
No, I actually meant that it might be a bit too ambitious at your stage… But anyway, for Faltings you would need an understanding of abelian varieties, moduli spaces, heights etc. None of these topics are covered in Hartshorne.
Apr
12
comment Understanding Faltings's Theorem
(I mean for someone at your stage. Falting's proof requires more…)
Apr
12
comment Understanding Faltings's Theorem
Not to discourage you or anything, but if you just go through Hartshorne or one of the other sources you mention carefully, that seems more than enough.
Apr
7
comment Picard Group Can Contain rational curve?
No, because $Pic^0(X)$ is an abelian variety.
Apr
4
answered Cohen-Macaulayness of the direct image of the canonical sheaf
Apr
3
comment higher direct images of O(E)
Here is one case: $Rf_*O(E)=O_X$. You have a triangle $O_X\to O_X(E)\to O_E$, and the same result is well known for direct image of the first sheaf, and direct image of third should vanish (reduce to cohomology of projective space). It's too late here to write more...
Mar
26
awarded  Enlightened
Mar
26
awarded  Nice Answer
Mar
16
comment Mixed Hodge structure and cup product
I had similar thoughts. I wonder how many people who voted to close knew the answer. (Test: Is the category of mixed Hodge structures Tannakian, true of false?)
Mar
14
comment Reference Request: Fundamental Group Scheme
I agree that the question seems reasonable and doesn't deserve to be closed. However, my suggestion to Priyankur would be to learn a bit more algebraic geometry before jumping into this topic. At the very least, first learn a bit about the etale fundamental group from Murre's "Lectures on Grothendieck's fundamental group" TIFR.
Mar
9
comment Terminology regarding divisor on a curve
The "support of $D$" sounds good to me.