Skip to main content
MathOverflow

Return to Question

deleted 6 characters in body; edited tags
Source Link
Ben Webster ♦
Ben Webster ♦
  • 44.7k
  • 12
  • 126
  • 260

I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the cusps so that the natural projection maps obtained by forgetting the logarithmiclevel structure are log-etale (at least away from primes dividing the order of your level structure).

I can have some rough intuition about how this happens over a field of characteristic zero, but not integrally. Can anybody explain this or give me a reference for this structure?

Additionally, has anybody worked out the appropriate integral ring of modular forms with logarithmic structure in some cases, similar to the Deligne-Tate calculation of modular forms over Z?

I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the cusps so that the natural projection maps obtained by forgetting the logarithmic structure are log-etale (at least away from primes dividing the order of your level structure).

I can have some rough intuition about how this happens over a field of characteristic zero, but not integrally. Can anybody explain this or give me a reference for this structure?

Additionally, has anybody worked out the appropriate integral ring of modular forms with logarithmic structure in some cases, similar to the Deligne-Tate calculation of modular forms over Z?

I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the cusps so that the natural projection maps obtained by forgetting the level structure are log-etale (at least away from primes dividing the order of your level structure).

I can have some rough intuition about how this happens over a field of characteristic zero, but not integrally. Can anybody explain this or give me a reference for this structure?

Additionally, has anybody worked out the appropriate integral ring of modular forms with logarithmic structure in some cases, similar to the Deligne-Tate calculation of modular forms over Z?

Source Link
Tyler Lawson
Tyler Lawson
  • 52.6k
  • 9
  • 187
  • 251

Logarithmic structures on moduli of elliptic curves over Z

I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the cusps so that the natural projection maps obtained by forgetting the logarithmic structure are log-etale (at least away from primes dividing the order of your level structure).

I can have some rough intuition about how this happens over a field of characteristic zero, but not integrally. Can anybody explain this or give me a reference for this structure?

Additionally, has anybody worked out the appropriate integral ring of modular forms with logarithmic structure in some cases, similar to the Deligne-Tate calculation of modular forms over Z?