2 deleted 6 characters in body; edited tags

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 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?

1

# 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?