MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi everyone,

I'm looking for a systematical introduction to (or treatment of) logarithmic structures on schemes. I am reading Kato's article ("Logarithmic structures of Fontaine-Illusie") at the moment, but I would like to have a more detailed source that goes through or gives an overview of the constructions of classical scheme theory that have analogs in the log-setup. Are there any articles/books that in your opinion are required reading if I want to learn about log-geometry? What are beautiful examples of applications of this machinery?

share|cite|improve this question
It seems Illusie has a few articles. – Anweshi Jan 21 '10 at 21:25
Also look up Olsson. – Charles Siegel Jan 21 '10 at 21:26
there is a review of log-syntomic site in ''Torsion étale and crystalline cohomologies'' (Breuil, Messing), Astérisque 279, 2002, 81-124. But I don't know if it is what you want. I know practically nothing about log geometry... – natura Jan 21 '10 at 22:18
Olsson gave 5 lectures on log geometry in Pisa a few summers ago, which Anton kindly live-texed: – David Zureick-Brown Feb 8 '10 at 17:45
up vote 12 down vote accepted

I put up some old notes by Illusie here for you; they're very detailed and treat log smoothness, the log de Rham complex, and other topics in their second exposé. They're my favourite first reference.

There is also Ogus's book, the latest draft of which is here.

share|cite|improve this answer
Thanks a lot, the book by Ogus looks very nice, and I'll definitely have a look at Illusie's notes. – Lars Jan 22 '10 at 11:24
@Thanos: I tried to open the notes you mentioned, but it appeared as a broken link. Did you already delete them? I would appreciate if you can help me to reach those notes, thanks :) – Yujia Qiu Jul 7 '10 at 19:36
@Yujia: link reactivated! – Thanos D. Papaïoannou Aug 12 '10 at 21:17

One standard reference is

Luc Illusie. An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic ́etale cohomology. Ast ́erisque, (279):271–322, 2002. Cohomologies p-adiques et applications arithm ́etiques, II.

share|cite|improve this answer

I believe that Arthur Ogus has been working on a book on this topic for many years. I don't know if it (or at least some version of it) has appeared. (I looked on his web-page and found what looks like a nice set of slides from a talk, 62 pages of them, but no actual book.)

In any event, Ogus certainly has many papers on the topic. My recommendation, if you have gotten through Kato's article, would be to start reading some of Ogus's and others' articles. A lot of them are reasonably foundational, and should be accessible if you have Kato's article under your belt. In addition to the names already mentioned in the various comments and answers, Kisin has a couple of nice papers using log-schemes on his web-page.

One nice application, arithmetic in nature (and the first place that I saw log schemes), is the paper of Coleman--Voloch on companion forms. Kisin's paper on the Galois action on the prime-to-p-etale fundamental group is another nice application to arithmetic geometry that I know of.

share|cite|improve this answer
Background stuff: Ogus gave a course on this stuff in Berkeley in the 1990s and I think he was already working on the book then :-) Coleman once told me that he was motivated by the case of companion forms which Gross hadn't dealt with, and I think he said he had a proof without log schemes just for this case, and then Felipe came along, added the log schemes, and re-did the general case :-) – Kevin Buzzard Jan 23 '10 at 9:55

Danny Gillam at Brown also has some nice notes on his webpage.

share|cite|improve this answer
Where? I cannot find them. – Andrea Ferretti Apr 27 '10 at 15:24
They're at – Matt Satriano Apr 30 '10 at 8:07

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.