Homotopical and Higher Categorical Structures in Algebraic Geometry

Betrand Toen

DOI: https://doi.org/10.48550/arXiv.math/0312262

2003-12-31

Abstract:This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.

Algebraic Geometry,Algebraic Topology,Category Theory

What problem does this paper attempt to address?

Enhancement for categories and homotopical algebra

D. Kaledin

2024-09-26

Abstract:We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual potential applications, such as e.g. enhancements for derived categories of coherent sheaves, in a way that is as close as possible to usual category theory.

Algebraic Geometry,Algebraic Topology,Category Theory,Representation Theory
A Homological View of Categorical Algebra

George Peschke,Tim Van der Linden

2024-06-21

Abstract:We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known and some new, and (b) the development of categorical tools for effective reasoning and computing within those frameworks. The selection of axiomatic frameworks begins `from the ground up' with z-exact categories. These are pointed categories in which every morphism has a kernel and cokernel. Then we progress all the way to abelian categories, en route meeting contexts such as Borceux--Bourn homological categories and Janelidze--Márki--Tholen semiabelian categories. We clarify the relationship between these axiomatic frameworks by direct comparison, but also by explaining how concrete examples fit into the selection. The outcome is a fine-grained set of criteria by which one can map varieties of algebras (in the sense of Universal Algebra) and topological models of algebraic theories into the various frameworks. The categorical tools for effective computation deal mostly with situations involving universal factorizations of morphisms, with exact sequences, and with the homology of chain complexes. Further, the categorical tools for computation include the `basic diagram lemmas' of homological algebra, that is the (Short) $5$-Lemma, the $(3\times 3)$-Lemma, the Snake Lemma, and applications thereof. We find that these tools are even available in some surprisingly weak categorical environments, such as the category of pointed sets. In discovering such features, we make systematic use of what we call the self-dual axis of a category.

Category Theory
Homology and homotopy in semi-abelian categories

Tim Van der Linden

DOI: https://doi.org/10.48550/arXiv.math/0607100

2006-07-05

Abstract:The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking for non-abelian (co)homology, the subject of which includes the categories of non-abelian groups, of rings, Lie algebras, etc. The notion of semi-abelian category due to Janelidze, Marki and Tholen allows a unified study of many important homological properties of such categories. For instance, in any semi-abelian category, the classical diagram lemmas (the Short Five Lemma, the 3x3 Lemma, the Snake Lemma, Noether's Isomorphism Theorems) hold. The point of this thesis is, that the semi-abelian framework is indeed perfectly suited for the study of non-abelian (co)homology and the corresponding homotopy theory. It describes the foundations for a categorical homology theory that unifies many basic aspects of the classical (co)homology theories of e.g., groups, Lie algebras and crossed modules. Starting from homology of (proper) chain complexes and of simplicial objects, a semi-abelian version of Barr-Beck cotriple homology is introduced. A systematic study of the theory of Baer invariants in this context yields categorical versions of Hopf's formula (describing the second homology object in terms of commutators) and the Stallings-Stammbach sequence. We obtain a Universal Coefficient Theorem, a version of the Hochschild-Serre sequence, and an interpretation of the second cohomology group in terms of isomorphism classes of central extensions. Also, Quillen model category structures for homotopy of simplicial objects and internal categories are studied, and are shown to be compatible with the respective semi-abelian notions of homology.

Category Theory,K-Theory and Homology
La théorie de l'homotopie des 2-catégories

Jonathan Chiche

DOI: https://doi.org/10.48550/arXiv.1411.6936

2014-11-25

Algebraic Topology

Abstract:On d\'eveloppe une th\'eorie de l'homotopie des 2-cat\'egories analogue \`a la th\'eorie de l'homotopie des cat\'egories d\'evelopp\'ee par Grothendieck dans "\`A la poursuite des champs". Il s'agit de la th\`ese de doctorat de l'auteur. We develop a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks." This is the author's PhD thesis.
On topological motives

Luca Barbieri-Viale

DOI: https://doi.org/10.1016/j.topol.2022.108141

IF: 0.583

2022-06-01

Topology and its Applications

Abstract:Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient category of spaces we then obtain a universal abelian category which can be actually described for CW-complexes as the category of hieratic modules.

mathematics, applied
Ultrasolid Homotopical Algebra

Sofía Marlasca Aparicio

2024-06-06

Abstract:Solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$, introduced by Clausen and Scholze, are a well-behaved variant of complete topological vector spaces that forms a symmetric monoidal Grothendieck abelian category. For a discrete field $k$, we construct the category of ultrasolid $k$-modules, which specialises to solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$. In this setting, we show some commutative algebra results like an ultrasolid variant of Nakayama's lemma. We also explore higher algebra in the form of animated and $\mathbb{E}_\infty$ ultrasolid $k$-algebras, and their deformation theory. We focus on the subcategory of complete profinite $k$-algebras, which we prove is contravariantly equivalent to equal characteristic formal moduli problems with coconnective tangent complex.

Algebraic Geometry,Algebraic Topology
Homology and homotopy for arbitrary categories

Suddhasattwa Das

2024-05-10

Abstract:One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results are proved using intricate constructions. This paper re-proves these connections via an axiomatic approach that provides a common ground for homotopy and homology in arbitrary categories. One of the main contributions is a re-interpretation of convexity as an extrinsic rather than intrinsic property. All the axioms and results are applicable for the familiar context of topological spaces. This creates a complete framework for an algebraic characterization of various categories such as Dynamical systems, Open games, and Fractals, which also preserves a notion of Homotopy.

Category Theory,Algebraic Topology
Nonstandard model categories and homotopy theory

Lars Brünjes,Christian Serpé

DOI: https://doi.org/10.48550/arXiv.0807.1002

2008-07-07

Abstract:In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions behave under enlargements.

Category Theory,Logic
Topologization and Functional Analytification III

Xin Tong

2024-05-23

Abstract:In this paper, we continue our study on the topologization and functional analytification in $\infty$-categorical and homotopical analytic geometry. As in our previous articles on the $\infty$-categorical extensions of certain analytic and topological contexts, we discuss the corresponding prismatic cohomological constructions after Bhatt-Lurie, Bhatt-Scholze and Drinfeld, and the corresponding Robba stacks and sheaves after Kedlaya-Liu.

Algebraic Geometry,Number Theory
Homotopy theory of algebraic quantum field theories

Marco Benini,Alexander Schenkel,Lukas Woike

DOI: https://doi.org/10.1007/s11005-018-01151-x

2019-01-16

Letters in Mathematical Physics

Abstract:<h3 class="a-plus-plus">Abstract</h3> <p class="a-plus-plus">Motivated by gauge theory, we develop a general framework for chain complex-valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application, we provide a derived version of Fredenhagen’s universal algebra construction, which is relevant e.g. for the BRST/BV formalism. We further develop a homotopy theoretical generalization of algebraic quantum field theory with a particular focus on the homotopy-coherent Einstein causality axiom. We provide examples of such homotopy-coherent theories via (1) smooth normalized cochain algebras on <span class="a-plus-plus inline-equation id-i-eq1"> <span class="a-plus-plus equation-source format-t-e-x">$\infty $</span> </span>-stacks, and (2) fiber-wise groupoid cohomology of a category fibered in groupoids with coefficients in a strict quantum field theory.</p>

physics, mathematical
Higher coherence and a generalization of higher categorified algebraic structures

Takuo Matsuoka

DOI: https://doi.org/10.48550/arXiv.2012.14042

2020-12-28

Category Theory

Abstract:In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic structure in some great generality. In tradition, certain general kinds of algebraic structure are studied through the theory of operads, of algebraic theories, of properads (possibly with "colours" or "sorts") or of the like. We understand this as use of algebra for studying a certain meta aspect of the subject of algebra, namely, studying kinds of algebraic structure in general (rather than structures of specific kinds themselves). In higher categorical contexts, more various algebraic structures can be considered (starting in fact with operads considered with arbitrarily varying colours) than can be covered with mere higher categorified versions of the traditional tools. In this survey, we develop a systematic view on quite general algebraic structures with high categorical dimensionality. We do this by extending algebra for the meta aspect of algebra, to a higher order, or highly meta, theory of algebra, where the theoretic order turns out to match the categorical dimension. We will discuss some examples including a natural generalization of the notion of topological field theory (TFT) obtained in the resulting new system. It turns out a generalized TFT can have a very different characterization from a conventional TFT does.
Some arithmetic and geometric aspects of algebraic cycles and motives

Giuseppe Ancona

DOI: https://doi.org/10.48550/arXiv.2301.02411

2023-01-06

Abstract:This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in the literature. A leitmotif of the thesis is the difference between phenomena in characteristic zero and those in positive characteristic. The main results are: the standard conjecture of Hodge type for abelian foufolds; the construction of a class of $p$-adic periods controlled by motivic Galois groups and for which it is possible to formulate a $p$-adic analog of the Grothendieck period conjecture; the standard conjecture of Lefschetz type for the Laza--Saccà--Voisin varieties and the Chow-Künneth conjecture for commutative group schemes. The techniques are based on $p$-adic Hodge theory, representation theory, perverse sheaves and motivic complexes à la Voevodsky.

Algebraic Geometry,Number Theory
Augmented Homotopical Algebraic Geometry

Scott Balchin

DOI: https://doi.org/10.48550/arXiv.1711.02640

2017-11-08

Abstract:We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of augmentation categories, which are a special class of generalised Reedy categories. For an augmentation category, we prove the existence of a closed Quillen model structure on the presheaf category which is compatible with the Kan-Quillen model structure on simplicial sets. Moreover, we use the concept of augmented hypercovers to define a local model structure on the category of augmented presheaves. We prove that crossed simplicial groups, and the planar rooted tree category are examples of augmentation categories. Finally, we introduce a method for generating new examples from old via a categorical pushout construction.

Algebraic Geometry
Dualities and Categorical Structures from 2D Up

Veronica Pasquarella

DOI: https://doi.org/10.17863/CAM.109212

2024-07-10

Abstract:A fundamental step towards studying string theory vacua, and, ultimately, their stability, is that of understanding the underlying mathematical structure of the QFT resulting from its dimensional reduction on Calabi-Yau (CY) manifolds, the latter being complex manifolds admitting a category theory description. The present work aims at addressing this question in the case of lower-dimensional gravitating systems, and supersymmetric quiver gauge theories, highlighting the role played by dualities and categorical structures towards studying analytical structures of amplitudes. (Based on the author's PhD thesis. For the official version, submitted for dissertation in January 2024, please see <a class="link-external link-https" href="https://www.repository.cam.ac.uk/items/1b4cfbcf-7fcf-415d-a252-ba60f7586899" rel="external noopener nofollow">this https URL</a>)

High Energy Physics - Theory,Mathematical Physics,Algebraic Geometry,Category Theory,Quantum Algebra
The definable content of homological invariants II: Čech cohomology and homotopy classification

Jeffrey Bergfalk,Martino Lupini,Aristotelis Panagiotopoulos

2024-04-26

Abstract:This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor $\check{\mathrm{H}}^n_{\mathrm{def}}$ taking values in the category $\mathsf{GPC}$ of groups with a Polish cover (a category first introduced in this work's predecessor), followed by (ii) a forgetful functor from $\mathsf{GPC}$ to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of mapping telescopes of $d$-spheres or $d$-tori for any $d\geq 1$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent mapping telescopes of either sort on which the classical cohomology functors are constant. We then apply the functors $\check{\mathrm{H}}^n_{\mathrm{def}}$ to show that a seminal problem in the development of algebraic topology, namely Borsuk and Eilenberg's 1936 problem of classifying, up to homotopy, the maps from a solenoid complement $S^3\backslash\Sigma$ to the $2$-sphere, is essentially hyperfinite but not smooth.

Logic,Algebraic Topology,Geometric Topology,K-Theory and Homology
"Not just an idle game":(examining some historical conceptual arguments in homotopy theory)

Ronald Brown

DOI: https://doi.org/10.48550/arXiv.2001.00534

2021-02-20

Abstract:Part of the title of this article is taken from writings of Einstein, which argue that we need to exercise our ability to analyse familiar concepts, to demonstrate the conditions on which their justification and usefulness depend, and the way in which these developed, little by little $\ldots$. My aim is to do this for the initial negative reactions to the seminar by E. Cech on higher homotopy groups to the ICM meeting in Z\" urich in 1932; then the subsequent work of Hurewicz, the use of groupoids and so the use of many base points, and how J.H.C. Whitehead's use of free crossed modules gave rise to a successful search for higher dimensional versions of the fundamental group and of the theorem of Van Kampen.

Algebraic Topology
Notes on Siegfried Bosch's Algebraic Geometry and Commutative Algebra (dedicated to Grothendieck)

Eric Schmid

2024-07-02

Abstract:Notes on Commutative Alegbra and Algebraic Geometry covering rings, ideals, modules, presheaves, sheaves, schemes, homological algebra, étale cohomology and further topics that are more advanced.

Algebraic Geometry,Commutative Algebra,Category Theory,K-Theory and Homology
Hopf algebras and homotopy invariants

Victor Buchstaber,Jelena Grbic

DOI: https://doi.org/10.48550/arXiv.1011.2549

2012-11-23

Abstract:In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(\Omega\Sigma X; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(\Omega\Sigma X; \coefZ)$. This invariant is trivial if and only if the Hopf algebra $H_*(\Omega\Sigma X; \coefZ)$ is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given $X$ these invariants are obstructions to the existence of a homotopy equivalence $\Sigma X\simeq \Sigma^2Y$ for some space $Y$. Further on, using the notion of Hopf algebras, we establish new structural properties of the cohomology ring, in particular, of the cup product. For example, using the fact that the suspension of a polyhedral product $X$ is a double suspension, we obtain a strong condition on the cohomology ring structure of $X$. This gives an important application in toric topology. For an algebra to be realised as the cohomology ring of a moment-angle manifold $\Z_P$ associated to a simple polytope $P$, we found an obstruction in the Hopf algebra $H_*(\Omega\Sigma \Z_P)$. In addition, we use homotopy decompositions to study particular Hopf algebras.

Algebraic Topology
Exactness and stability in homotopical algebra

Marco Grandis

DOI: https://doi.org/10.48550/arXiv.math/0008236

2000-08-31

Algebraic Topology

Abstract:Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be given for very general 'categories with homotopies' having homotopy kernels and cokernels, but become more interesting under suitable stability hypotheses, satisfied - in particular - by chain complexes. It is then possible to measure the default of homotopical exactness of a sequence by the homotopy type of a certain object, a sort of 'homotopical homology'.
Group completions and the homotopical monadicity theorem

Hana Jia Kong,J. Peter May,Foling Zou

2024-02-06

Abstract:We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass examples not yet thought of.

Algebraic Topology,Category Theory

Homotopical and Higher Categorical Structures in Algebraic Geometry

Enhancement for categories and homotopical algebra

A Homological View of Categorical Algebra

Homology and homotopy in semi-abelian categories

La théorie de l'homotopie des 2-catégories

On topological motives

Ultrasolid Homotopical Algebra

Homology and homotopy for arbitrary categories

Nonstandard model categories and homotopy theory

Topologization and Functional Analytification III

Homotopy theory of algebraic quantum field theories

Higher coherence and a generalization of higher categorified algebraic structures

Some arithmetic and geometric aspects of algebraic cycles and motives

Augmented Homotopical Algebraic Geometry

Dualities and Categorical Structures from 2D Up

The definable content of homological invariants II: Čech cohomology and homotopy classification

"Not just an idle game":(examining some historical conceptual arguments in homotopy theory)

Notes on Siegfried Bosch's Algebraic Geometry and Commutative Algebra (dedicated to Grothendieck)

Hopf algebras and homotopy invariants

Exactness and stability in homotopical algebra

Group completions and the homotopical monadicity theorem