Searcharxiv⌕ Search

arXiv subjects

Gabriele Vezzosi

Publications and source records attributed to Gabriele Vezzosi.

34 records · Page 2Linked to original sources
arXiv2011

Derived critical loci I - Basics

We will quickly explore the derived geometry of zero loci of sections of vector bundles, with particular emphasis on derived critical loci. In particular we will single out many of the derived geometric structures carried by derived critical loci: the homotopy Batalin-Vilkovisky structure, the action of the 2-monoid of the self-intersection of the zero section, and the derived symplectic structure of degree -1, and show how this structure exists, more generally, on derived lagrangian intersections inside a symplectic manifold. These are just applications of a small part of a much larger project - joint with Pantev, Toën and Vaquié - investigating quantization of derived moduli spaces.

math.AG↗
arXiv2010

A note on the cotangent complex in derived algebraic geometry

This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting for deformation and obstruction theories.

math.AG↗
arXiv2006

Homotopical Algebraic Geometry II: geometric stacks and applications

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^Σ the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.

math.AG↗
arXiv2004

Higher algebraic K-theory for actions of diagonalizable groups

We study the K-theory of actions of diagonalizable group schemes on noetherian regular separated algebraic spaces: our main result shows how to reconstruct the K-theory ring of such an action from the K-theory rings of the loci where the stabilizers have constant dimension. We apply this to the calculation of the equivariant K-theory of toric varieties, and give conditions under which the Merkurjev spectral sequence degenerates, so that the equivariant K-theory ring determines the ordinary K-theory ring. We also prove a very refined localization theorem for actions of this type.

math.AG↗
arXiv2004

"Brave New" Algebraic Geometry and global derived moduli spaces of ring spectra

We develop homotopical algebraic geometry (see math.AG/0207028) in the special context where the base symmetric monoidal model category is the category S of spectra, i.e. what might be called, after Waldhausen, ``brave new algebraic geometry''. We discuss various model topologies on the model category of commutative algebras in S, the associated theories of geometric S-stacks (a geometric S-stack being an analog of Artin notion of algebraic stack in Algebraic Geometry), and finally show how to define global moduli spaces of associative ring spectra structures and a moduli space related to topological modular forms as geometric S-stacks.

math.AT↗
arXiv2004

Homotopical Algebraic Geometry I: Topos theory

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of \infty-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of A. Joyal and R. Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by C. Rezk, and we relate it to our model categories of stacks over S-sites. In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. We also prove a Giraud's style theorem characterizing model topoi internally. As an example of application, we propose a definition of etale K-theory of ring spectra, extending the etale K-theory of commutative rings.

math.AG↗
arXiv2003

A remark on K-theory and S-categories

It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [Schlichting]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen category is completely determined by its Dwyer-Kan simplicial localization, without any additional structure. As the simplicial localization is a refined version of the homotopy category which also determines the triangulated structure, our result is a possible answer to the general question: ``To which extent $K$-theory is not an invariant of triangulated derived categories ?''

math.KT↗
arXiv2003

Segal topoi and stacks over Segal categories

In math.AG/0207028 we began the study of higher sheaf theory (i.e. stacks theory) on higher categories endowed with a suitable notion of topology: precisely, we defined the notions of S-site and of model site, and the associated categories of stacks on them. This led us to study a notion of \textit{model topos} (orginally due to C. Rezk), a model category version of the notion of Grothendieck topos. In this paper we treat the analogous theory starting from (1-)Segal categories in place of S-categories and model categories. We introduce notions of Segal topologies, Segal sites and stacks over them. We define an abstract notion of Segal topos and relate it with Segal categories of stacks over Segal sites. We compare the notions of Segal topoi and of model topoi, showing that the two theories are equivalent in some sense. However, the existence of a nice Segal category of morphisms between Segal categories allows us to improve the treatment of topoi in this context. In particular we construct the 2-Segal category of Segal topoi and geometric morphisms, and we provide a Giraud-like statement characterizing Segal topoi among Segal categories. As an example of applications, we show how to reconstruct a topological space up to homotopy from the Segal topos of locally constant stacks on it, thus extending the main theorem of Toen, "Vers une interpretation Galoisienne de la theorie de l'homotopie" (to appear in Cahiers de top. et geom. diff. cat.) to the case of un-based spaces. We also give some hints of how to define homotopy types of Segal sites: this approach gives a new point of view and some improvements on the étale homotopy theory of schemes, and more generally on the theory of homotopy types of Grothendieck sites as defined by Artin and Mazur.

math.AG↗
arXiv2003

From HAG to DAG: derived moduli spaces

These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use the general framework developed in Toen, Vezzosi, ``Homotopical Algebraic Geometry I: Topos theory'', and in particular the notions of model topology, model sites and stacks over them, in order to define various derived moduli functors and study their geometric properties. We start by defining the model category of D-stacks, with respect to an extension of the etale topology to the category of non-positively graded commutative differential algebras, and we show that its homotopy category contains interesting objects, such as schemes, algebraic stacks, higher algebraic stacks, dg-schemes ... . We define the notion of ``geometric D-stack'' and present some related geometric constructions ($\mathcal{O}$-modules, perfect complexes, K-theory, derived tangent stacks, cotangent complexes, various notion of smoothness ... .). Finally, we define and study the derived moduli problems classifying local systems on a topological space, vector bundles on a smooth projective variety, and $A_{\infty}$-categorical structures. We state geometricity and smoothness results for all of these examples.

math.AG↗
arXiv2002

Existence of vector bundles and global resolutions for singular surfaces

We prove two results about vector bundles on singular algebraic surfaces. First, on proper surfaces there are vector bundles of rank two with arbitrarily large second Chern number and fixed determinant. Second, on separated normal surfaces any coherent sheaf is the quotient of a vector bundle. As a consequence, for such surfaces the Quillen K-theory of vector bundles coincides with the Waldhausen K-theory of perfect complexes. Examples show that, on nonseparated schemes, usually many coherent sheaves are not quotients of vector bundles.

math.AG↗
arXiv2001

Algebraic Geometry over model categories (a general approach to derived algebraic geometry)

For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model category; geometric stacks are the fundamental objects to "do algebraic geometry over model categories". We give two examples of applications of this formalism. The first one is the interpretation of DG-schemes as geometric stacks over the model category of complexes and the second one is a definition of etale K-theory of E_{\infty}-ring spectra. This first version is very preliminary and might be considered as a detailed research announcement. Some proofs, more details and more examples will be added in a forthcoming version.

math.AG↗
arXiv2001

Higher algebraic K-theory of group actions with finite stabilizers

We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric stabilizers and satisfy a rationality condition together with a technical condition which holds e.g. for G abelian or smooth. We describe in an Appendix various complicial bi-Waldhausen categories (in Thomason's terminology) modelling the equivariant K-theory of regular noetherian separated algebraic spaces.

math.AG↗
arXiv2000

Brown-Peterson spectra in stable A^1-homotopy theory

We characterize ring spectra morphisms from the algebraic cobordism spectrum $\QTR{Bbb}{MGL}$ (\QCITE{cite}{}{Vo1}) to an oriented spectrum $\QTR{Bbb}{E}$ (in the sense of Morel \QCITE{cite}{}{Mo}) via formal group laws on the ''topological'' subring $E^{*}=\oplus_iE^{2i,i}$ of $E^{**}$. This result is then used to construct for any prime $p$ a motivic Quillen idempotent on $\QTR{Bbb}{MGL}_{(p)}$. This defines the $BP$-spectrum associated to the prime $p$ as in Quillen's \QCITE{cite}{}{Q1} for the complex-oriented topological case.

math.AG↗
arXiv2000

On higher order analogues of de Rham cohomology

If K is a commutative ring and A is a K-algebra, for any sequence $σ$ of positive integers there exists an higher order analogue dR($σ$) of the standard de Rham complex dR(1,...,1,...), which can also be defined starting from suitable ("differentially closed") subcategories of (A-mod). The main result of this paper is that the cohomology of dR($σ$) does not depend on $σ$, under some smoothness assumptions on the ambient category. Before proving the main theorem we give a rather detailed exposition of all relevant (to our present purposes) functors of differential calculus on commutative algebras. This part can be also of an independent interest.

math.RA↗
arXiv1999

On the Chow ring of the classifying stack of PGL_3

We compute generators for the Chow ring of the classifying space of PGL_3 (over the complex numbers) as defined by Totaro. We also find enough relations after inverting 3. We show that this ring is not generated by Chern classes (this is the first example of this kind among classical groups) and prove that Totaro's refined cycle class map to a quotient of complex cobordism of BPGL_3 is surjective

math.AG↗