Showing 1–7 of 7 results for author: Schürg, T

Lagrangian correspondences and pullbacks of virtual fundamental classes

Authors: Timo Schürg

Abstract: We argue that Lagrangian correspondences are the correct framework to study functoriality of virtual fundamental classes arising from a $-2$-symplectic derived structure. We argue that Lagrangian correspondences are the correct framework to study functoriality of virtual fundamental classes arising from a $-2$-symplectic derived structure. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 9 pages

Derived Logarithmic Geometry I

Authors: Steffen Sagave, Timo Schürg, Gabriele Vezzosi

Abstract: 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. 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. △ Less

Submitted 8 October, 2014; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: v3: 33 pages; adjusted title, to appear in J. Inst. Math. Jussieu

MSC Class: 14A20; 14D23; 13D03

Journal ref: Journal of the Institute of Mathematics of Jussieu, 15 (2016), no. 2, 367-405

Derived algebraic cobordism

Authors: Parker Lowrey, Timo Schürg

Abstract: We construct a cohomology theory using quasi-smooth derived schemes as generators and an analogue of the bordism relation using derived fibre products as relations. This theory has pull-backs along all morphisms between smooth schemes independent of any characteristic assumptions. We prove that in characteristic zero, the resulting theory agrees with algebraic cobordism as defined by Levine and Mo… ▽ More We construct a cohomology theory using quasi-smooth derived schemes as generators and an analogue of the bordism relation using derived fibre products as relations. This theory has pull-backs along all morphisms between smooth schemes independent of any characteristic assumptions. We prove that in characteristic zero, the resulting theory agrees with algebraic cobordism as defined by Levine and Morel. We thus obtain a new set of generators and relations for algebraic cobordism. △ Less

Submitted 5 October, 2014; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: Comments welcome. 35 pages; v2: Changes following referee's suggestions;to appear in JIMJ

MSC Class: 14F43; 14C40; 55N22

Journal ref: J. Inst. Math. Jussieu 15 (2016) 407-443

More Reduced Obstruction Theories

Authors: Timo Schürg

Abstract: 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. 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. △ Less

Submitted 20 September, 2012; originally announced September 2012.

Comments: 10 pages

Grothendieck-Riemann-Roch for derived schemes

Authors: Parker Lowrey, Timo Schürg

Abstract: 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… ▽ More 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. △ Less

Submitted 30 August, 2012; originally announced August 2012.

Comments: 34 pages

MSC Class: 14C40; 19L10

Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes

Authors: Timo Schürg, Bertrand Toën, Gabriele Vezzosi

Abstract: 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 deri… ▽ More 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. △ Less

Submitted 3 November, 2011; v1 submitted 6 February, 2011; originally announced February 2011.

Comments: Submitted - 42 pages

MSC Class: 14J10; 14A20; 14J28; 14N35

Deriving Deligne-Mumford Stacks with Perfect Obstruction Theories

Authors: Timo Schürg

Abstract: 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. 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. △ Less

Submitted 3 September, 2014; v1 submitted 21 May, 2010; originally announced May 2010.

Comments: 25 pages; v.4: Assumptions added to correct Lemma; Main result now gives necessary and sufficient conditions for an obstruction theory to be induced by a derived structure; Erratum to published version is to appear

Journal ref: Geom. Topol. 17 (2013) 73-92