Philippe Gaucher
This paper is the extended introduction of a serie of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of observation. And it is proved that up to weak S-homotopy, a old T-homotopy equivalence is a new T-homotopy equivalence. The left-properness of the weak S-homotopy model category of flows is also established i…
This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this fourth part, it is proved that the generalized T-homotopy equivalences preserve the underlying homotopy type of a flow. The proof is based on Reedy model category techniques.
We check that there exists a model structure on the category of flows whose weak equivalences are the S-homotopy equivalences. As an application, we prove that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. The method of proof is completely different from the one of the third part of this series of papers.
This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this third part, it is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. These homology theories are of interest in computer science since they detect the non-deterministic branching and merging areas of execution paths in the time flow of a higher dimensional automaton. The proof is based on Reedy model catego…
We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $r\geq 2$ we associate to an annular link $L$ a naive $\mathbb{Z}/r\mathbb{Z}$-equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $L$ as modules over $\mathbb{Z}[\mathbb{Z}/r\mathbb{Z}]$. The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov…
We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this thesis we use a K-theory recipe of Thomason to classify these subcategories. This recipe when applied to the category of finite p-local spectra gives a refinement of the ``chromatic tower''. This refinement has some interesting consequences. In particular, it gives new evidence to a conjecture of Frank Adams that the thick subcategory C_2 can be generated b…
Intersection homotopy, refinements and coarsenings
本文研究了交集同调群在CS集上的细化与粗化结构，探讨了在保持正则部分不变的情况下，交集同调群的拓扑不变性。
A refinement of the Pontryagin-Thom theorem for unstable Thom spectra and its applications
本文改进了Pontryagin-Thom定理，揭示了不稳定Thom谱的同调群结构，并应用于计算新的cobordism群及确定特定Spin流形的存在条件。
Nonabelian basechange theorems & étale homotopy theory
本文证明étale上同调中多个基变换定理的非阿贝尔精细化，并借此研究étale同伦型，证明其满足arc-descent并得到若干Künneth公式。
In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss, in this framework, two recent results (independent of each other) on refinements of Khovanov homology: our refinement into a module over the connective k-theory spectrum and a stronger result by Lipshitz and Sarkar refining Khovanov homology into a stable homotopy type.
We review the construction and context of a stable homotopy refinement of Khovanov homology.
Norms and Transfers in Motivic Homotopy Theory
本文证明动机同伦论中范数与转移相容，构造带转移动机空间的范数函子，细化无限 P¹-去环路机器，并赋予极有效 Hermitian K-理论谱赋范代数结构。
A Bar-Natan homotopy type
本文为 Bar-Natan 同调构造了空间细化 CW-谱，其稳定同伦型为链环不变量，并猜想量子滤过可提升至空间层面，导向 $s$-不变量的上同伦细化。
Infinite families of higher torsion in the homotopy groups of Moore spaces
本文细化了 Moore 空间双环路空间的稳定 Snaith 分裂，借此在 mod $p^r$ Moore 空间同伦群中构造出阶为 $p^{r+1}$ 的无限 $v_1$-周期族，并揭示了奇素数下 Moore 谱同伦群与不稳定同伦群的直和关系。
Chen-Khovanov spectra for tangles
本文指出 Khovanov 弧代数与缠结不变量的稳定同伦细化可诱导 Chen-Khovanov 和 Stroppel 平台代数及缠结不变量的细化，并研究其拓扑 Hochschild 同调。
Khovanov spectra for tangles
本文为 Khovanov 弧代数和缠绕不变量引入稳定同伦细化，提供拓扑不变量。
This short note regards an observation about the recent theory of prismatic cohomology developed by Bhatt and Scholze. In particular, by applying a functor of Mandell, we see that the étale comparison theorem in the prismatic theory reproduces the $p$-adic homotopy type for a smooth proper complex variety with good reduction mod $p$.
We give a brief introduction to tensor triangulated geometry, a brief introduction to various motivic categories, and then make some observations about the conjectural structure of the tensor triangulated spectrum of the Morel-Voevodsky stable homotopy category over a finite field.
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of al…
Topological Elliptic Genera I -- The mathematical foundation
本文构建了拓扑椭圆泛函，作为SU流形椭圆泛函的同伦学改进，讨论了其数学基础及应用，特别推导了Sp流形欧拉数的可除性结果。
This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。