, For sufficiently large k (usually either greater than either r(E) or dim X), the classes are zero
, For any continuous f : Y ? X, the classes respect pullbacks along f
, Whitney sum/product formula. The class of a direct sum of bundles is the cup product of the classes of each summand: ?(E ? F) = ?(E) ?(F)
, The class of a bundle of rank 1 is forced to be something 'simple
, In a more abstract sense, stability refers to some sort of invariance under the inclusion BG(n) ? BG(n + 1)
, the category QCoh(X) of quasicoherent sheaves of O X -modules on X is a full abelian subcategory of the category Sh(X) of sheaves of O X -modules on X, and its objects are those that correspond locally to modules over a ring. If X is further assumed to be Noetherian, then the category Coh(X) of coherent sheaves of O X -modules on X is a full abelian subcategory of QCoh(X), and its objects are those that correspond locally to finitely generated modules. By definition, we see that the full subcategory Pf(X) of D(Sh(X)) is contained inside D coh (Sh(X)), which is the full subcategory of D(Sh(X)) spanned by objects whose internal
, 1.2) Proposition. Let X be a Noetherian scheme, Then the canonical fully faithful functor D b (Coh(X)) ? D
, Coh(X)) with the full subcategory D b coh (Sh(X)) of D(Sh(X))
, Then there is a canonical equivalence of triangulated categories Pf(X) ? ? ? ? D b (Coh(X))
, This follows from
, 1.4) Morally, then, when we want to work with coherent algebraic sheaves, if X is nice enough, then working with perfect complexes, complexes of coherent sheaves, or complexes of sheaves with coherent cohomology are all equivalent. (E.1.5) A nice summary of a lot of the fundamental results of
, ) For coherent analytic sheaves, the story is more subtle: as far as the author is aware, the question of whether or not D b (Coh(X)) and D b coh (Sh(X)) are equivalent is still open
, Sh where ? 0 : St ? Sh gives the sheaf of connected components and j 0 : Sh ? St sends a sheaf of sets to the corresponding presheaf of discrete simplicial sets. Further, j 0 is fully faithful and its essential image [1] consists of 0-truncated stacks, 3.1) Lemma. There is an adjunction St
, sions i : U ? V and j : V ? W of open subsets, the morphism ? ij : (ji) * ? i * j * is only required to be an isomorphism, not necessarily the identity. We content ourselves in saying that a 1-stack in groupoids X is a fibred category X ? Grpd of groupoids that satisfies some extra descent conditions (whatever this might mean, formally). The morphisms between two 1-stacks in groupoids are just commutative diagrams of functors, and we say that two such morphisms are homotopic if there exists a natural isomorphism between them that is compatible with the projection to Grpd. We write 1?St to mean the category of 1-stacks and Ho, F.4 1-stacks-in-groupoids and stacks (F.4.1) A fibred category is a presheaf of groupoids 'up to isomorphism': for inclu
, We can replace a fibred category of groupoids by an actual presheaf of groupoids in a functorial way (the so-called strictification of fibred categories)
, ?(X) given by ?(X)(X) := Hom Top
, Writing BG to mean the classifying simplicial set of a groupoid G, we have the composition B? : 1-St ? sPrSh ? St
, These are the stacks A such that ? n (A x ; y) = 0 for all X ? Top, x ? X, y ? A x, p.1
, We are implicitly using the equivalence between Top and Grpd
, We defined St as a localisation along weak equivalences, so taking the homotopy category changes nothing
, 3.6) Now to explain why we consider maps of the form ? a in the first place. The primary justification in the context of [TT76] is that such maps occur naturally in various situations, and so it's nice to abstractify it. The justification for us, here, is (once more) largely based on (as of yet) unfounded analogy: this looks like the local definition of a connection, in that it is a connection ? (of curvature ?) plus some operator of differential degree 0 and total ('algebraic') degree 1
URL : https://hal.archives-ouvertes.fr/hal-01230391
, The associated twisted complex (M, ? a ) is the complex given by M with the differential ? a : m ? ?m + a · m
, Triangulated categories can be understood as some sort of zero truncation of particularly nice dg-categories (as we explain in more detail in (G.4.2)), and so we can ask whether or not we can enrich a specific triangulated category with some dg structure. In particular, we can ask whether or not the (derived) category of perfect complexes on a (sufficiently nice) scheme admits such an enrichment. Formally, given some triangulated category T , and a pair (P, ), where P is a stable [1] dg-category, and : Ho P ? T is a functor of triangulated categories
, 2) We can explain the relationship between triangulated categories and other higher-categorical structures in a bit more detail. In particular, triangulated categories are the H 0 of stable dg-categories, which are semi-strictifications of A ? -categories
, Also known as an enhanced triangulated, or pre-triangulated, dg-category
, It turns out that, for both questions, A is given exactly by the category of twisted complexes over A. The embedding A ? A lets us 'pull back' the shift and cones from A to ones in A. Even nicer, it turns out that the homotopy category of A is triangulated with this shift functor and these cones. Further, if A is pre-triangulated, then this embedding A ? A is a quasiequivalence [1] of dg-categories. This means that, if A does already have some pre-triangulated structure, then we don't really change anything about it, One of the motivations behind Definition (G.6.2) is the following question: "given a dg-category A, what is the 'smallest' dg-category A , into which A embeds, such that we can define shifts and functorial cones in A ?" Or, thinking about
, Decomposing a into a k,1?k ?? k (U , End 1?k (V )) we recover exactly the Maurer-Cartan condition for twisting cochains. Thus any holomorphic twisting cochain gives us a twisted complex in the dg-category of B-dg-modules. It is not the case, however, that by picking the 'right' dg-category A, we recover the definition of holomorphic twisting cochains from that of twisted complexes. In particular, twisting cochains are twisted complexes with only one non-zero object. Further, this object E 0 is not an arbitrary B-module: it comes from? ? (U , V ), where V is graded
, That is, it induces an equivalence on the level of homotopy categories
, Analytic Cycles on Complex Manifolds". In: Topology, vol.1, p.3, 1962.
, Homotopy limits in the category of dg-categories in terms of A ? -comodules, p.165, 2019.
, Complex Analytic Connections in Fibre Bundles, Transactions of the American Mathematical Society, vol.85, issue.1, p.17, 1957.
, Singularities of holomorphic foliations, Journal of Differential Geometry, vol.7, p.66, 1972.
, Homotopy limits of model categories and more general homotopy theories, 2012.
, Explicit homotopy limits of dg-categories and twisted complexes, 2015.
, Twisted tensor products, I", In: Annals of Mathematics, vol.69, p.148, 1959.
, Relative Categories: Another Model for the Homotopy Theory of Homotopy Theories, Indagationes Mathematicae, vol.23, pp.42-68, 2012.
, Partial model categories and their simplicial nerves, vol.134, p.95, 2013.
, Enhanced Triangulated Categories", In: Math. USSR Sbornik, vol.70, pp.1-15, 1991.
, Ryszard Nest, and Boris Tsygan. Chern character for twisted complexes, p.163, 2007.
, Abstract Homotopy Theory and Generalized Sheaf Cohomology, Transactions of the American Mathematical Society, vol.186, p.163, 1973.
, Differential Forms in Algebraic Topology
, , vol.82, pp.978-979, 1982.
, Shifted Poisson Structures and deformation quantization, p.164, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01253029
, Derived stacks in symplectic geometry, p.164, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01721996
, Differential Graded Categories are K-Linear Stable ?-Categories
, , vol.12, p.159, 2016.
, A tour about existence and uniqueness of dg enhancements and lifts, p.158, 2019.
, Simplicial de Rham cohomology and characteristic classes of flat bundles, Topology, vol.15, pp.117-119, 1976.
, A Categorified Dold-Kan Correspondence, p.164, 2017.
, Simplicial nerve of an A-infinity category, vol.164, p.161, 2015.
, Homotopy of Operads and Grothendieck-Teichmuller Groups. Part 2: The Applications of (Rational) Homotopy Theory Methods, p.105, 2017.
, Principles of Algebraic Geometry, vol.122, p.111, 1994.
, What Is a Connection, and What Is It Good For, p.122
, Chern classes for coherent sheaves, vol.78, p.144, 1980.
, Some problems in complex and almost-complex geometry, Université Pierre-et-Marie-Curie, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00460334
, On a conjecture of Kashiwara relating Chern and Euler Classes of O-modules, Journal of Differential Geometry, vol.90, p.114, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01301388
, La théorie des classes de Chern, vol.86, p.131, 1958.
, Vector Bundles and K-Theory. Version 2.2, vol.130, p.129, 2017.
, Model Categories and Their Localizations. American Mathematical Society, p.105, 2003.
, Simplicial Chern-Weil theory for coherent analytic sheaves, part I, 2020.
, Simplicial Chern-Weil theory for coherent analytic sheaves, part II, 2020.
, Untitled Goose Game. Windows, macOS, Nintendo Switch. 2019 (cit, p.15
, Model Category Structures on Chain Complexes of Sheaves, Transactions of the American Mathematical Society, vol.353, issue.6, p.96, 2001.
, Descente pour les n-champs
, Complex Geometry: An Introduction, vol.17, p.111, 2005.
, Théorie des Intersections et Théorème de Riemann-Roch (SGA 6). Séminaire de Géométrie Algébrique du Bois Marie -1966-67, vol.225, p.138, 1971.
, Séminaire de Géométrie Algébrique du Bois Marie -1966-67, Théorie des Intersections et Théorème de Riemann-Roch (SGA 6), vol.225, p.138, 1971.
, Introduction to A-Infinity Algebras and Modules, vol.165, p.164, 2001.
, Sheaves on Manifolds. Grundlehren Der Mathematischen Wissenschaften, vol.292, p.109, 1990.
, Differential homological algebra, Actes du Congres International des Mathématiciens, vol.1, p.148, 1970.
, Characteristic Classes, p.129, 1974.
, The Trace Map and Characteristic Classes for Coherent Sheaves, American Journal of Mathematics, vol.103, pp.225-252, 1981.
, A Grothendieck-Riemann-Roch formula for maps of complex manifolds, Mathematische Annalen, vol.271, p.107, 1985.
, A Model for the Homotopy Theory of Homotopy Theory, Transactions of the American Mathematical Society, vol.353, issue.3, p.95, 2000.
, Holonomy, twisting cochains and characteristic classes, p.163, 2010.
, Principal Bundles. The Classical Case, p.122, 2015.
, A twisted tale of cochains and connections, p.148, 2009.
, Stacks and Non-Abelian Cohomology, p.141, 2002.
, A microlocal category associated to a symplectic manifold, p.165, 2019.
, A parametrix for ? and Riemann-Roch in ?ech theory, Topology 15, vol.4, pp.156-158, 1976.
, Duality and Intersection Theory in Complex Manifolds. I, In: Mathematische Annalen, vol.237, pp.148-150, 1978.
, Green's theory of Chern classes and the Riemann-Roch formula, Contemporary Mathematics, vol.58, 1986.
, Higher Algebraic K-Theory of Schemes and of Derived Categories, The Grothendieck Festschrift, p.138, 1990.
, Algébrisation Des Variétés Analytiques Complexes et Catégories Dérivées, Mathematische Annalen, vol.342, p.138, 2008.
, Homotopical Algebraic Geometry II: Geometric Stacks and Applications, In: Memoirs of the American Mathematical Society, vol.193, p.100, 2008.
, A Counterexample to the Hodge Conjecture Extended to Kähler Varieties, International Mathematics Research Notices, vol.20, p.3, 2002.
, Hodge Theory and Complex Algebraic Geometry I, Cambridge Studies in Advanced Mathematics, vol.1, p.24, 2008.
, Twisted complexes on a ringed space as a dg-enhancement of the derived category of perfect complexes, European Journal of Mathematics, vol.2, issue.3, p.148, 2016.
, The descent of twisted perfect complexes on a space with soft structure sheaf, p.160, 2018.
, Twisted complexes and simplicial homotopies, vol.165, p.161, 2019.
, PhD Thesis. The Pennsylvania State University, vol.138, p.98, 2013.