اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدHomological Algebra for Diffeological Vector Spaces
101
0
0.0
(
0
)
تأليف
Enxin Wu
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Diffeological spaces are natural generalizations of smooth manifolds, introduced by J.M.~Souriau and his mathematical group in the 1980s. Diffeological vector spaces (especially fine diffeological vector spaces) were first used by P. Iglesias-Zemmour to model some infinite dimensional spaces in~cite{I1,I2}. K.~Costello and O.~Gwilliam developed homological algebra for differentiable diffeological vector spaces in Appendix A of their book~cite{CG}. In this paper, we present homological algebra of general diffeological vector spaces via the projective objects with respect to all linear subductions, together with some applications in analysis.
قيم البحث
اقرأ أيضاً
We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module and sheaf
tensor product and Hom bifunctors as well as their derived functors, Tor and Ext, and give explicit computations for interval modules. We give a classification of injective, projective, and flat interval modules. We state Kunneth theorems and universal coefficient theorems for the homology and cohomology of chain complexes of persistence modules in both the sheaf and graded modules settings and show how these theorems can be applied to persistence modules arising from filtered cell complexes. We also give a Gabriel-Popescu theorem for persistence modules. Finally, we examine categories enriched over persistence modules. We show that the graded module point of view produces a closed symmetric monoidal category that is enriched over itself.
We prove the formality theorem for the differential graded Lie algebra module of Hochschild chains for the algebra of endomorphisms of a smooth vector bundle. We discuss a possible application of this result to a version of the algebraic index theorem for Poisson manifolds.
In this paper, we study a new operation named pushforward on diffeological vector pseudo-bundles, which is left adjoint to the pullback. We show how to pushforward projective diffeological vector pseudo-bundles to get projective diffeological vector
spaces, producing many concrete new examples. This brings new objects to diffeology from classical vector bundle theory.
We consider a class of extensions of both abstract and pseudocompact algebras, which we refer to as strongly proj-bounded extensions. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by
strongly proj-bounded extensions, generalizing results of Cibils, Lanzillota, Marcos and Solotar. Moreover, we show that the finiteness of the big left finitistic dimension is preserved by strongly proj-bounded extensions. In order to construct examples, we describe a new class of extensions of algebras of finite relative global dimension, which may be of independent interest.
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositi
ons, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
