ترغب بنشر مسار تعليمي؟ اضغط هنا

An extension of Brown functor to cospans of spaces

82   0   0.0 ( 0 )
 نشر من قبل Minkyu Kim
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English
 تأليف Minkyu Kim




اسأل ChatGPT حول البحث

Let $mathcal{A}$ be a small abelian category. The purpose of this paper is to introduce and study a category $overline{mathcal{A}}$ which implicitly appears in construction of some TQFTs where $overline{mathcal{A}}$ is determined by $mathcal{A}$. If $mathcal{A}$ is the category of abelian groups, then the TQFTs obtained by Dijkgraaf-Witten theory of abelian groups or Turaev-Viro theory of bicommutative Hopf algebras factor through $overline{mathcal{A}}$ up to a scaling. In this paper, we go further by giving a sufficient condition for an $mathcal{A}$-valued Brown functor to extend to a homotopy-theoretic analogue of $overline{mathcal{A}}$-valued TQFT for arbitrary $mathcal{A}$. The results of this paper and our subsequent paper reproduces TQFTs obtained by DW theory and TV theory.



قيم البحث

اقرأ أيضاً

In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by concordance. As an application, we offer an answer to the question: what does the classifying space of a Segal space classify?
79 - Minkyu Kim 2020
The purpose of this paper is to study some obstruction classes induced by a construction of a homotopy-theoretic version of projective TQFT (projective HTQFT for short). A projective HTQFT is given by a symmetric monoidal projective functor whose dom ain is the cospan category of pointed finite CW-spaces instead of a cobordism category. We construct a pair of projective HTQFTs starting from a $mathsf{Hopf}^mathsf{bc}_k$-valued Brown functor where $mathsf{Hopf}^mathsf{bc}_k$ is the category of bicommutative Hopf algebras over a field $k$ : the cospanical path-integral and the spanical path-integral of the Brown functor. They induce obstruction classes by an analogue of the second cohomology class associated with projective representations. In this paper, we derive some formulae of those obstruction classes. We apply the formulae to prove that the dimension reduction of the cospanical and spanical path-integrals are lifted to HTQFTs. In another application, we reproduce the Dijkgraaf-Witten TQFT and the Turaev-Viro TQFT from an ordinary $mathsf{Hopf}^mathsf{bc}_k$-valued homology theory.
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا