Skip to main content
edited title
Link
Pulcinella
  • 5.7k
  • 1
  • 15
  • 55

Defining log schemes, log stacks, log prestacks (and their structures on them)

Source Link
Pulcinella
  • 5.7k
  • 1
  • 15
  • 55

Defining log schemes, log stacks, log prestacks (and structures on them)

It's possible to define log schemes, and Olsson's thesis defines log stacks.

Is there a definition of log prestack in the literature? Is it easy to extend Gaitsgory-Rozenblyum type results (construction and properties of QCoh and IndCoh, crystals, etc.) to the log prestack situation, and has it been written down? If it is not easy, what are the main obstacles?