Stack Exchange

BenjaLim

Stanford, CA

First year graduate student at Stanford University.

I did my undergrad at the ANU where I studied algebraic geometry under the supervision of Jarod Alper and David Smyth. I learned a lot from Jack Hall as well.

top accounts reputation activity subscriptions
Top Questions
23 votes

Stanford math qual: Abelian groups $G$ satisfying $0\to \Bbb{Z} \oplus \Bbb{Z}/3\Bbb{Z} \to G \to \Bbb{Z} \oplus \Bbb{Z}/3\Bbb{Z} \to 0$

abstract-algebra group-theory exact-sequence asked Jul 18, 2015 at 15:09
math.stackexchange.com

16 votes

Erratum for Fulton and Harris

books rt.representation-theory asked Oct 5, 2012 at 3:20
mathoverflow.net

14 votes

Representability of diagonal of $\mathscr{M}_g$

algebraic-geometry reference-request asked Mar 19, 2015 at 7:37
math.stackexchange.com

13 votes

What's wrong with my understanding of the scheme $\text{Isom}(E_\lambda, E_{\lambda'})$?

ag.algebraic-geometry nt.number-theory elliptic-curves moduli-spaces asked Nov 8, 2015 at 8:14
mathoverflow.net

9 votes

How to type sheaf hom

fonts asked Oct 30, 2013 at 12:20
tex.stackexchange.com

9 votes

Descent of regularity under a faithfully flat morphism: Where does my proof fail?

ac.commutative-algebra asked Jun 6, 2014 at 6:48
mathoverflow.net

7 votes

Formatting of \bigwedge in display math mode

math-mode spacing asked Oct 12, 2012 at 22:42
tex.stackexchange.com

7 votes

Is Serre's $S_1$ condition equivalent to having no embedded primes?

commutative-algebra asked Sep 5, 2014 at 5:25
math.stackexchange.com

7 votes

Subspaces of $C^\alpha [0,1]$ are finite dimensional if closed in $C[0,1]$

functional-analysis banach-spaces asked Jan 17, 2016 at 3:31
math.stackexchange.com

6 votes

Why does every maximal ideal closed in $\mathfrak{a}$-topology imply that $\mathfrak{a} \subseteq \text{Jac}(A)$?

commutative-algebra asked Jul 29, 2014 at 14:15
math.stackexchange.com

1 2

Top Answers
22
Using algebraic geometry to understand class field theory
mathoverflow.net

16
Completion of a local ring of a curve
mathoverflow.net

15
How is a Stack the generalisation of a sheaf from a 2-category point of view?
mathoverflow.net

14
A book on elliptic curves using scheme theory?
mathoverflow.net

12
Conceptual algebraic proof that Grassmannian is closed in Plucker embedding
mathoverflow.net

12
An integral domain of dimension one with a non-trivial infinite intersection of prime ideals
mathoverflow.net

11
Does Grothendieck's algebraization imply existence of colimits of schemes?
mathoverflow.net

10
Picard group under base change for algebraically closed fields
mathoverflow.net

9
Is the pseudoinverse the same as least squares with regularization?
mathoverflow.net

8
Why should an algebraic geometer care about singular / simplicial (co)homology?
mathoverflow.net

7
Sheaves with no cohomology
mathoverflow.net

7
Automorphism of $\mathbb{P}_A^n$
mathoverflow.net

7
Do relatively prime polynomials $f$ and $g$ in $k[x,y]$ generate an ideal of finite codimension?
mathoverflow.net

6
Picard group and reduced schemes
mathoverflow.net

6
Vector bundles on complete rings
mathoverflow.net

5
Tate modules of commutative group schemes over finite field
mathoverflow.net

5
Computing Ext sheaves over complex projective plane
mathoverflow.net

5
Maximal torus of linear algebraic group over a ring
mathoverflow.net

5
Does $R\hat{f}_*\mathcal{F}=\hat{f}_*\mathcal{F}$ hold for affine adic morphisms?
mathoverflow.net

5
The Picard number of the Kummer surface of an abelian surface
mathoverflow.net