Homotopical Aspects of Commutative Algebras
英文摘要：
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Commutative homotopical algebra embeds into non-commutative homotopical algebra
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping spaces gives an injection on all homotopy groups at any basepoint. We prove similar results both for unital and non-unital algebras, and also Koszul dually for the universal enveloping algebra functor from dg Lie algebras to dg associative algebras. An important ingredient is a natural model for these derived mapping spaces as Maurer-Cartan spaces of complete fil…
math.ATmath.CTmath.QA
同伦交换环与双跨度
Homotopical commutative rings and bispans
本文证明∞-范畴中的交换半环等价于有限集双跨度范畴上的保持积函子，从而将双跨度识别为交换半环的Lawvere理论，并由此给出连通交换环谱的新描述。
math.ATmath.CT
Azumaya Objects in Triangulated Bicategories
We introduce the notion of Azumaya object in general homotopy-theoretic settings. We give a self-contained account of Azumaya objects and Brauer groups in bicategorical contexts, generalizing the Brauer group of a commutative ring. We go on to describe triangulated bicategories and prove a characterization theorem for Azumaya objects therein. This theory applies to give a homotopical Brauer group for derived categories of rings and ring spectra. We show that the homotopical Brauer group of an Eilenberg-Mac Lane spectrum is isomorphic to the homotopical Brauer group of its underlying commutativ…
math.ATmath.CTmath.RA
Homotopical Adjoint Lifting Theorem
This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our approach allows us to simultaneously answer questions of rectification and of changing the base model category to a Quillen equivalent one. We work in the setting of colored operads, and we do not require them to be $Σ$-cofibrant. Special cases of our main theorem recover many known results regarding rectification and change of model category, as well as nu…
math.AGmath.ATmath.CT
李代数胚的同伦代数
Homotopical algebra for Lie algebroids
本文在特征零的交换 dg-代数上的 dg-李代数胚与 $L_\infty$-代数胚范畴上构造了 Quillen 等价的半模型结构，从而将同伦代数方法应用于李代数胚，并证明李代数胚上同调可由同伦范畴中的对象表示。
math.ATmath.CT
Model structure on differential graded commutative algebras over the ring of differential operators
We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sullivan algebras. This article is the first of a series of works -located at the interface of homotopical algebra, algebraic geometry, and mathematical physics - on a derived D-geometric approach to the …
math-phmath.ATmath.CT
更多相关论文收起更多论文
Localization of algebras over coloured operads
We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. I…
math.ATmath.CT
Adjoint associativity: an invitation to algebra in infinity-categories
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing complex of a ring homomorphism, so brings out a connection between Hochschild homology and Grothendieck duality. The proof, somewhat ad hoc, uses homotopical considerations via a number of noncanonical projective and injective resolutions of differential graded objects. Recent efforts aim at more intrinsic approaches, hopefully upgradable to "higher" contexts--lik…
math.ACmath.CT
Homotopy-theoretic aspects of 2-monads
We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a canonical model structure in which the weak equivalences are the equivalences; we use these to construct more interesting model structures on 2-categories, including a model structure on the 2-category of algebras for a 2-monad T, and a model structure on a 2-category of 2-monads on a fixed 2-category K.
math.ATmath.CT
Frobenius and the derived centers of algebraic theories
We show that the derived center of the category of simplicial algebras over every algebraic theory is homotopically discrete, with the abelian monoid of components isomorphic to the center of the category of discrete algebras. For example, in the case of commutative algebras in characteristic $p$, this center is freely generated by Frobenius. Our proof involves the calculation of homotopy coherent centers of categories of simplicial presheaves as well as of Bousfield localizations. Numerous other classes of examples are discussed.
math.ATmath.CTmath.RA
Operads with general groups of equivariance, and some 2-categorical aspects of operads in Cat
We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We show that any operad is finitary, that an operad is cartesian if and only if the group actions are nearly free (in a precise fashion), and that the existence of a pseudo-commutative structure largely depends on the groups of equivariance. We conclude by showing that the operad for strict braided monoidal categories has two canonical pseudo-commutative structure…
math.CT
通过拟拓扑和pro-$C^*$-代数构造群的非交换分类空间
Non-commutative classifying spaces of groups via quasi-topologies and pro-$C^*$-algebras
针对局部紧豪斯多夫拓扑群，该研究构造通用pro-$C^*$-代数作为分类主$G$-丛全空间的非交换类比，通过其交换化得到对应$EG$的pro-$C^*$-代数，并发展了相关理论的多个方面。
math.ATmath.CTmath.FA
三角范畴可分离扩张的同调方面
Homological Aspects of Separable Extensions of Triangulated Categories
National and Kapodistrian University of Athens（雅典国立卡波蒂安大学）；Aristotle University of Thessaloniki（塞萨洛尼基亚里士多德大学）
研究三角范畴在可分离扩张下的同调行为，证明有限全局维数、格氏性质和正则性等同调不变量在扩张下保持不变，并建立奇异范畴之间的关系，证明可分离扩张的奇异范畴等价于其奇异范畴的可分离扩张。
math.AGmath.CTmath.RA
Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration
We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely func…
math.CTmath.FAmath.OA
