Derived Logarithmic Geometry I
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log étale maps and use this to define derived log stacks.
Researcher profile
Timo Schürg
Timo Schürg contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
5 published item(s)
preprint2014arXiv
Deriving Deligne-Mumford Stacks with Perfect Obstruction Theories
We give conditions for a n-connective quasicoherent obstruction theory on a Deligne-Mumford stack to come from the structure of a connective spectral Deligne-Mumford stack on the underlying topos.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Grothendieck-Riemann-Roch for derived schemes
We define bivariant algebraic K-theory and bivariant derived Chow on the homotopy category of derived schemes over a smooth base. The orientation on the latter corresponds to virtual Gysin homomorphisms. We then provide a morphism between these two bivariant theories and compare the two orientations. This comparison then yields a homological and cohomological Grothendieck-Riemann-Roch formula for virtual classes.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
More Reduced Obstruction Theories
This short note first develops a general formalism for globally removing a factor from an obstruction theory. This formalism is then applied to give a construction of a reduced obstruction theory on the moduli of maps from a curve to a surface satisfying a technical condition. This condition was recently identified in work of Kool and Thomas.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes
We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect complexes on a smooth complex projective variety. For moduli of maps, we consider X=S an algebraic K3-surface, $g\geq 0$, and $β$ a curve class, and we construct a derived stack whose truncation is the usual stack of pointed stable maps from curves of genus g to S hitting the class $β$, and such that the inclusion of the trunaction induces on a perfect obstruction theory whose tangent and obstruction spaces coincide with the corresponding reduced spaces of Okounkov-Maulik-Pandharipande-Thomas. We give two further applications to moduli of complexes. For a K3-surface S we show that the stack of simple perfect complexes on S is smooth. This result was proved with different methods by Inaba for the corresponding coarse moduli space. Finally, we construct a map from the derived stack of stable embeddings of curves (into a smooth complex projective variety X) to the derived stack of simple perfect complexes on X with vanishing negative Ext's, and show how this map induces a morphism of the corresponding obstruction theories when X is a Calabi-Yau threefold. An important ingredient of our construction is a perfect determinant map from the derived stack of perfect complexes to the derived stack of line bundles whose tangent morphism is, pointwise, Illusie's trace map for perfect complexes. We expect that this determinant map might be useful in other contexts as well.
0 citations0 reviewsNo code linkedOpen access