Ben Lim

@AaronMazel-Gee Hello, this is sort of a random question. I saw on the PSI page that you spent some time there. How was it? I love the ocean and the place looks awesome!

@AndrewSenger Ah ok nice! I will try and prove this is the case.

Ok no problem.

@DenisNardin Wait or do Katz Mazur say that because they're working over some kind of $\Bbb{Z}[1/n]$ base?

whats up?

@CraigWesterland hello.

After all every family of elliptic curves $X \to S$ etale locally on $S$ acquires a Legendre form.

Why is it that the Legendre family alone is not a cover? (Let's work over $\Bbb{C}$)

Can I ask you a dumb question. In Katz Mazur they claim that the "disjoint union of the legendre family and naive level three structure is an etale cover of M_{1,1}"

@DenisNardin

hello.

@TedShifrin there are some really smart ppl here.

They're probably the same.

@TedShifrin I see.

@TedShifrin Man I need to learn deformation theory at some points, you know all the crap about prorepresentable functors etc

@Anthony wait till you get to algebraic stacks.

@TedShifrin ok.... sigh

oh sorry meant idiot's guide to precalculus

@Anthony I learned the stuff from precalculus for dummies.

@Michael They're not incredibly difficult. Just grab any precalculus book.

@TedShifrin mathoverflow.net/questions/225407/… any help appreciated here.

@anon ever had the need to deal with etale cohomology?

I'm thinking about some moduli theory crap.

@anon Ah I see. The students had the putname here yesterday too.

@anon what you been up to?

@anon hey

@FrankScience not much.

hELLO.

@JasperLoy what you up to?

@JasperLoy hello.

@JasperLoy hey.

ah ok.

@PVAL and where is this?

@TedShifrin I remember reading oh Isom sits inside of the hilbert scheme therefore its representable blabla. And this hilbert scheme thingy is very complicated.

@TedShifrin yea. If you read about this isom scheme in general it's like super complicated. I was extremely happy to be able to write down equations for it:D

@TedShifrin This is something I like about Ravi's style. He doesn't want to mention unnecessary machine if you don't need it. Rather, he'd rather his students work things out with as little machinery as possible and see how far they go. When the time comes to introduce the big weapons, then he'll happily ask you to read about it.

@TedShifrin Fair enough.

@MikeMiller Word.

@TedShifrin I have maybe thought about this perspective like once in my life?

@MikeMiller wow ok. You can delete your comment.

@MikeMiller Why is it unethical?

@TedShifrin ok true.

@TedShifrin Well I spent a lot of time in undergrad understanding basic stuff in moduli theory.

wow.

@TedShifrin I'm taking the first year graduate algebra, analysis classes and math216 which is ravi's algebraic geometry. nothing crazy.

begin equation followed by tikzcd

@user66288 Isn't a parabolic subgroup by definition one where the quotient by it is projective?

Note I'm working over C so that I don't have issues like "what if 2 is not invertible bla bla"

For example, every elliptic curve X \to S etale locally on S acquires a Legendre form (I think). Certainly Zariski locally we have a Weierstrass form, and then we pass to an etale cover (to extract roots and stuff) to get it into Legendre form.

@DavidZureick-Brown Hey. I have a dumb question to ask. In Katz-Mazur they say something like the disjoint of the legendre family and naive level three structure gives a cover of M_{1,1}. Why isn't the Legendre family alone a cover?