On the topological complexity of $S^3/Q_8$
拓扑复杂度是由Michael Farber在2003年首次提出的，作为连通拓扑空间X的同伦不变量，记为TC（X）。虽然不变量是用著名的塞尔路径纤维化的基本同伦理论定义的，但现在还没有多少例子被具体地确定。在2010年，岩濑和酒井表明，空间的拓扑复杂性是空间上纤维空间的L-S范畴的纤维版本。在本文中，我们确定的拓扑复杂性$S^3/Q_8$使用的方法产生的纤维的观点。
2019-12-05 math.AT
A topological fibrewise fundamental groupoid
众所周知，对于某些局部连通性假设，拓扑空间的基本广群可以配备一个拓扑，使其成为拓扑广群。换句话说，基本广群函子可以通过遗忘函子从拓扑广群提升到广群。本文证明了对于具有某些相对局部连通性假设的映射$Y \to X$，纤维基本广群也可以提升为空间$X$上的拓扑广群。这允许在纤维拓扑的设置中构造单连通覆盖空间，假设前空间的定义的局部类似。当应用到映射是上同伦局部平凡纤维化的结果是一个范畴化版本的覆盖空间。纤维基本广群也可以用来定义一个（适当局部连通的）拓扑空间的拓扑基本双广群。
2015-05-15 math.AT math.CT
Lower bounds for topological complexity
我们介绍纤维怀特海和纤维Ganea定义monoidal拓扑复杂性。然后，我们定义了几个下界的拓扑复杂性，这改善了标准下界的上同调环的幂零性。研究了这些下界之间的关系。
2013-04-20 math.AT
Rational Homotopy Type of the Classifying Space for Fibrewise Self-Equivalences
设p是具有有限基B和纤维F的单连通CW复形的纤维化。设aut_1（p）表示p的所有纤维同伦自等价空间的单位连通区，Baut_1（p）表示该拓扑幺半群的分类空间。给出了Baut_1（p）的微分分次李代数模型.利用这个模型，我们给出了由Baut_1（p）表示的有理同伦类型的分类结果，并得到了么半群aut_1（p）有理化后是双环空间的条件。
2011-11-18 math.AT
Formal aspects on parametrized topological complexity and its pointed version
由Cohen，Farber和Weinberger引入的参数化拓扑复杂性的概念被推广到不一定是Hurewicz纤维化的纤维空间。在探索了这个扩展的一些形式性质之后，我们还引入了参数化拓扑复杂性的尖版本。最后给出了两个概念一致的充分条件。
2021-03-18 math.AT
A remark on proper partitions of unity
在本文中，我们引进，通过范畴的外部空间，并使用一个过程，推广Alexandroff紧化，一个类似的概念，覆盖的空间在正常和外部设置。给出了纤维真同伦等价的一个应用。
2011-12-22 math.AT
A short proof for tc(K) = 4
给出了一种从纤维观点确定拓扑复杂性的方法，为tc（K）= 4提供了另一种证明，其中K表示克莱因瓶.
2018-07-20 math.AT
Axiomatic Sectional category, Topological complexity, and Homotopic distance
本文通过三个公理构建了截面类别、拓扑复杂度和同调距离的公理化框架，并引入了统一这些概念的提升类别概念。
2026-06-29 math.AT
Localization of grouplike function and section spaces with compact domain
本文将Hilton-Mislin-Roitberg和Moller在CW范畴外提出的函数和截面空间的标准局部化理论推广到了紧度量域中存在类群结构的情形。我们研究了直接推广主丛规范群的两种情况下的应用。我们证明了一个身份的幺半群的纤维同伦自等价的Hurewicz纤维化-由于Gottlieb和Booth-Heath-Morgan-Piccinini在CW范畴-在紧凑的情况下。这导致了一个扩展的本地化结果为这个幺半群。我们还得到了一个扩展的局部化理论的部分组的纤维群。我们给出了有理同伦理论的两个应用。
2009-08-22 math.AT
Equivariant parametrized topological complexity
本文定义并研究了参数化拓扑复杂度的等变类似物，推广了非等变情形的若干结果，给出了其纤维wise等变同伦不变性及若干界，并计算了特定等变纤维化的该复杂度。
2024-09-25 math.AT
On the topological complexity of directed parametrized motion planning
本文研究了有向参数化运动规划的拓扑复杂度，引入了相关概念并探讨了其与拓扑机器人学中其他不变量的关系。
2025-12-03 math.AT
Monotonicity of the Schwarz genus
定义纤维化$ξ\colon E\to B$的Schwarz亏格$\mathsf{g}(ξ)$为最小整数$n$，使得存在$B$被允许$ξ$部分可截的$n$开集覆盖.许多重要的概念，包括Lusternik-Schnirelmann范畴、Farber的拓扑复杂性和Smale-Vassiliev的算法复杂性，都可以自然地表示为适当选择的纤维化的Schwarz亏格。本文研究了Schwarz亏格与纤维化之间的某些态射的关系。我们的主要结果是：如果存在纤维映射$ξ\colon E\to B$和$ξ'\colon E'\to B$之间的$f\colon E\to E'$诱导的$n$ -等价的各自的纤维之间的足够大的$n$，那么$\mathsf{g}(ξ)=\mathsf{g}(ξ')$。从这一点上，我们得出了几个有趣的结果，有关的拓扑复杂性的空间与拓扑复杂性，它的子空间（和类似的范畴）。例如，我们表明，如果一个CW-复合物具有高的拓扑复杂性（相对于其尺寸和连接性），那么它的拓扑复杂性，它的拓扑结构是一个增函数的尺寸。
2019-01-03 math.AT
The Quillen model category of topological spaces
本文给出了关于拓扑空间拓扑空间范畴上标准模型范畴结构存在性的Quillen定理的一个完整而细致的证明。我们并不假设对模型类别有任何熟悉。
2017-10-22 math.AT
Abstract sectional category in model structures on topological spaces
研究了拓扑空间上的Quillen、Strom和Mixed真模型结构中抽象截范畴的行为，证明了在一定的合理条件下，它们都与经典概念一致.因此，同样的结论也适用于抽象的Lusternik-Schnirelmann范畴和空间的抽象拓扑复杂性。
2015-12-02 math.AT
A Model Structure on the Category of Topological Categories
本文在小拓扑范畴$\mathbf{Cat}_{\mathbf{Top}}$上构造了一个上纤生成的Quillen模型结构. Quillen等价于$(\infty,1)$ -范畴的Joyal模型结构和$\mathbf{Cat}_{\mathbf{sSet}}$上的Bergner模型结构.
2011-10-12 math.AT
On the LS-category and topological complexity of projective product spaces
我们确定了D.戴维斯我们还得到了这类空间拓扑复杂性的一个上界，改进了J. González，M. Grant，E. Torres-Giese和M.西科滕卡特
2020-12-08 math.AT
Relative category and monoidal topological complexity
如果映射$f$有同伦收缩，那么Doeraene和El Haouari证明了$f$的截面范畴和相对范畴是相同的。在这项工作中，我们讨论了这些不变量的一些下界这个猜想。特别是，当我们考虑对角映射，我们得到的结果支持岩崎Sakai的猜想断言的拓扑复杂性是monoidal拓扑复杂性。
2014-03-31 math.AT
Maps of degree one, relative LS category and higher topological complexities
本文引入了映射的相对LS范畴，并研究了它的一些性质。然后我们引入了映射的“高拓扑复杂性”，即一个同伦不变量。我们给出了一个上同调的下界，并将它与以前已知的“拓扑复杂性”的地图。此外，我们还研究了由一个一次映射连通的两个闭定向流形的拓扑复杂性与Lusternik-Schnirelmann范畴之间的关系。
2020-12-12 math.AT
Q-Topological Complexity
通过类比Scheerer，Stanley和Tanré定义的不变Q-范畴，我们引入了Q-截范畴和Q-拓扑复杂性的概念.我们建立这些不变量的几个性质。我们还得到了截面范畴关于纤维化的行为的一个公式，它推广了Lusternik-Schnirelmann范畴和拓扑复杂性的经典公式。
2017-01-20 math.AT
LS-category and topological complexity of Milnor manifolds and corresponding generalized projective product spaces
本文研究了Milnor流形及相应广义射影积空间的LS-范畴与拓扑复杂度，确定了其精确值或紧致界限，并计算了等变情形下的界限及利用mod-2上同调环推导了相关空间的界限。
2024-01-09 math.AT
Category and Topological Complexity of the configuration space $F(G\times \mathbb{R}^n,2)$
Lusternik-Schnirelmann范畴猫和拓扑复杂性TC是相关的同伦不变量。拓扑复杂度TC在机器人运动规划问题中有应用。我们计算了乘积$G\times\mathbb{R}^n$中两个不同点的有序位形空间的Lusternik-Schnirelmann范畴和拓扑复杂性，并将结果分别应用于$\mathbb{R}^2$和$\mathbb{R}^3$中两个刚体的平面和空间运动.
2019-04-15 math.AT
Rational methods applied to sectional category and topological complexity
这项调查是一个指导非专家就如何使用合理的同伦理论技术，以获得近似法伯的拓扑复杂性，特别是和施瓦茨的截面类别，一般。
2017-03-08 math.AT
Up to one approximations of sectional category and topological complexity
本文在统一框架下研究了James的截面类别和Farber的拓扑复杂性，引入了映射的相对和强相对类别概念，证明两者与截面类别相差不超过1，并利用这些工具确定了Ganea纤维的截面和相对类别。
2013-02-02 math.AT
On Lusternik-Schnirelmann category and topological complexity of no k-equal manifolds
我们计算了Lusternik-Schnirelmann范畴和非$k$ -相等流形$M^{(k)}_d(n)$的拓扑复杂性，其中$d$，$k$和$n$满足一定的值.这包括已知$M^{(k)}_d(n)$是理性非正式的实例。在我们的计算中的关键成分是知识的上同调环$H^*(M^{(k)}_d(n))$所描述的Dobrinskaya和Turchin。一个微调来自于使用障碍理论技术。
2020-07-17 math.AT
Sectional category of subgroup inclusions and sequential topological complexities of aspherical spaces as A-genus
本文利用Clapp-Puppe和Bartsch意义下的A亏格刻画群G的子群包含截面范畴与非球面空间的第r次序列拓扑复杂度，讨论其结果并提出群真作用下范畴类不变量的新想法。
2025-02-16 math.AT
Algebraic Topology 2.0
当代代数拓扑的效率不是最优的，因为通过引入一个全新的（-1）维拓扑空间作为拓扑连接单位，可以使拓扑空间的拓扑空间范畴更代数化。从而使拓扑空间拓扑空间范畴与当代单纯复形范畴内的结构以及代数范畴内的结构同步。在拓扑空间范畴中，空空间一直被赋予连接单位的角色--尽管是特别的。因为它是单纯复形范畴内的连接单位，而不是连接单位，所以连接单位在一般拓扑中的作用必须被纠正。本文给出了Hausdorff的一个世纪前的拓扑空间拓扑空间范畴定义的代数化以及一些有用的代数拓扑结果。
2012-12-26 math.AT
LS-category and topological complexity of several families of fibre bundles
本文针对多类纤维丛及广义射影积空间，利用 Z₂ 上同调环与等变方法，给出其 LS-范畴和拓扑复杂度的紧上界或精确值。
2023-04-24 math.AT
Hopf Invariants for sectional category with applications to topological robotics
本文在截面范畴的背景下发展了一个广义Hopf不变量理论。特别是，我们展示了如何的产品的纤维化的霍普夫不变量可以被确定为洗牌加入的霍普夫不变量的因素。我们的结果被应用于2-胞腔复形的Farber拓扑复杂性的研究，以及在Lusternik-Schnirelmann范畴上Ganea猜想的拓扑复杂性的模拟的反例的构造.
2017-07-14 math.AT
Hopf invariants, topological complexity, and LS-category of the cofiber of the diagonal map for two-cell complexes
设$X$是一个带有映射$α\colon S^q\to S^p$的二胞复合体，$C_X$是对角包含体$X\to X\times X$的共纤维.结果表明，在几乎稳定的$q\leq2p-1$范围内，$X$的拓扑复杂性（${\rm TC}$）与$C_X$的Lusternik-Schnirelmann范畴（${\rm cat}$）一致.此外，利用作者最近在研究任意映射的截面范畴中发展起来的Hopf不变量技巧，在相当温和的条件下，证明了等式${\rm TC}(X)={\rm cat}(C_X)$在（严格）亚稳区$2p-1<q\leq3(p-1)$中成立.
2016-07-29 math.AT
The Ganea conjecture for rational approximations of sectional category
本文给出了映射乘积的模截范畴的界，推广了Jessup关于Lusternik-Schnirelmann范畴的一个定理。我们还推出了一个证明Ganea型猜想的拓扑复杂性。这是在理性背景下证明Ganea猜想的拓扑复杂性的第一步。
2015-06-11 math.AT
Topological triangulated categories
在本文中，我们解释了代数和拓扑三角范畴之间的某些系统差异。一个三角范畴是代数的，如果它允许一个微分分次模型，而拓扑的，如果它允许一个稳定的上纤维化范畴形式的模型。精确的陈述使用三角范畴的“n阶”，对于一个自然数n。n阶是一个非负整数（或无穷大），它度量n对Y/n形式的对象的零化程度。我们展示了以下结果：代数三角化范畴的n阶是无限的;对于每个素数p，拓扑三角化范畴的p阶至少是p-1; p-局部稳定同伦范畴的p阶恰好是p-1。特别是，p-本地稳定同伦范畴是不是代数的任何总理p.作为一种工具，我们开发了一定的基础有关丰富的cofibration类别的三角洲集，特别是我们推广理论的“框架”（或“cossimplicial决议”）从模型类别cofibration类别。
2012-01-04 math.AT
Topological Fundamental Groupoid. II. An action category of the fundamental groupoid
本文证明拓扑化基本群胚的作用范畴与覆盖空间范畴同构，并据此刻画基本群胚的自由与正常作用。
2023-05-08 math.AT
Computations in rational sectional category
给出了有理截范畴的简单上界，并利用它们计算了有理空间的Farber拓扑复杂性类型的不变量。特别是，我们证明了形式态射的截范畴达到了其上同调下界，并给出了一种根据形式空间的上同调来计算形式空间的更高拓扑复杂性的方法。
2015-03-09 math.AT
Lusternik-Schnirelmann category and based topological complexities of motion planning
Farber和Rudyak引入了运动规划的拓扑复杂度$\mathbf{TC}(X)$及其高级类似物$\mathbf{TC}_n(X)$来度量将路径分配给点元组的复杂度。出于运动规划的机器人系统开始在家庭配置，并可能回来后，通过一系列的位置，我们定义了其他三个类的拓扑复杂性$\mathbf{LTC}_n(X)$，$\mathbf{ltc}_n(X)$和$\mathbf{tc}_n(X)$。我们将比较这些概念，并计算一些熟悉的空间类的后者。
2015-08-19 math.AT
On equivariant homotopy theory for model categories
我们介绍和比较两种方法，等变同伦理论的拓扑或普通的奎伦模型类别。对于空间的拓扑模型范畴，我们推广了Piacenza的结果：由固定拓扑群$G$的轨道范畴和$G$ -空间范畴所标的拓扑预层范畴可以被赋予Quillen等价模型范畴结构.在一定的条件下，对任意协纤维生成的模型范畴和离散群$G$，在$G$的子群的不动点函子上证明了一个类似的结果.这些条件在许多例子中成立，虽然不是在链复形的范畴中，但我们仍然建立并推广到集合的等变Whitehead定理la Kropholler和Wall对于单纯$G$ -集的规范化链复形。
2016-02-16 math.AT
A Mapping Theorem for Topological Complexity
利用辅助空间的Lusternik-Schnirelmann范畴，给出了空间的（高）拓扑复杂性的新的下界.我们还给出了空间的有理拓扑复杂性的新的下界，更一般地，给出了映射的有理截面范畴的新的下界。我们用我们的结果推导出的全球（理性）同伦结构的简单连接，双曲型有限复形的后果。
2013-12-27 math.AT
On properties of effective topological complexity and effective Lusternik-Schnirelmann category
本文研究有效拓扑复杂度的性质，引入有效LS-畴数概念，探究其与群作用轨道映射的关系并给出示例，还提出基于饱和对角线上同调维数界的非消失准则。
2024-03-13 math.AT
LS-category and sequential topological complexity of symmetric products
本文研究闭曲面及有限CW复形对称积的拓扑性质，计算了相关空间的序列拓扑复杂度与LS-范畴，验证了Farber-Oprea有理性猜想，给出了对应指标的新下界并推导了相关同伦群结论。
2025-10-08 math.AT
Two results from Morita theory of stable model categories
本文证明了Morita稳定模型范畴理论的两个结果。两者都可以被视为最近代数定理的拓扑版本。一个是关于三角范畴的三角元，这已经被约根森在代数情况下研究过了。我们给出了一个准则，它回答了以下问题：当一个给定的对称环谱的导出范畴关于另外两个对称环谱存在一个等价元时？另一个结果是关于Neeman意义下的良好生成的三角范畴。Porta将代数良生成范畴刻画为DG范畴的导出范畴的局部化。我们证明了一个拓扑类比：拓扑三角范畴是好生成的当且仅当它是三角等价于对称环谱的导出范畴的局部化的。这里的“拓扑”意味着与谱模型范畴的同伦范畴等价的三角化。此外，我们还证明了每一个良好生成的谱模型范畴都是Quillen等价于一类模通过一个Quillen函子的Bousfield局部化。
2007-07-04 math.AT
Homotopy Theory of Orbispaces
给定一个拓扑群G，它的轨道范畴Orb_G以可迁G-空间G/H为对象，以它们之间的G-等变映射为态射. Elmendorf的一个著名定理则指出G-空间范畴和反变函子Func（Orb_G，Spaces）范畴具有等价的同伦理论。我们将这个结果推广到orbispaces的上下文中，Orb_G的作用现在由一个范畴发挥，该范畴的对象是拓扑群，其态射由Hom（H，G）= Mono（H，G）x_G EG给出。在我们的方式中，我们赋予范畴的拓扑群胚的概念，弱等价，concurant对象，concurant对象，并显示，它然后共享许多性质的奎伦模型范畴。
2007-01-31 math.AT
Relative sectional category revisited
本文探讨了相对截面范畴的扩展及其性质，揭示了其如何统一近期文献中多种同伦数值不变量，如映射拓扑复杂度、相对拓扑复杂度和连续映射的同伦距离。
2024-05-30 math.AT
Various Topological Complexities of Small Covers and Real Bott Manifolds
本文研究小覆盖、实矩角流形与实 Bott 流形，计算其 LS-范畴、等变 LS-范畴、拓扑复杂度紧下界、对称拓扑复杂度及 LS 一范畴。
2023-06-01 math.AT
On model structure for coreflective subcategories of a model category
设$\bf C$是共纤生成模型范畴$\bf D$的共反射子范畴.本文证明了在适当的条件下，$\bf C$允许一个共纤生成的模型结构，它是$\bf D$上的模型结构的左Quillen附加.作为应用，我们证明了著名的便利拓扑空间范畴，如$k$ -空间、紧生成空间和$Δ$ -生成空间\cite{DN}（在\cite{KKH}中称为数值生成的）允许一个紧生成的模型结构，它与拓扑空间范畴$\bf Top$上的标准模型结构是Quillen等价的.
2013-04-12 math.AT
Equivariant Topological Quantum Field Theory in Dimension 2
对于有限群$G$，我们证明了在二维空间中，$G$ -等变拓扑量子场论范畴与$G$ -Frobenius代数范畴之间存在幺半群等价性，这一点已由G. Moore和G.西格尔这项工作包括更详细地证明这一结果。
2013-07-10 math.AT
Sectional category with respect to group actions and sequential topological complexity of fibre bundles
本文引入关于群作用的截面范畴，建立多种 $G$-同伦不变量，并据此给出结构群为 $G$ 的纤维丛序列拓扑复杂度的加性上界及应用。
2025-05-12 math.AT
LS-category and topological complexity of real torus manifolds and Dold manifolds of real torus type
Waseda University（早稻田大学）；Indian Institute of Technology Madras（印度理工学院马德拉斯分校）
本文计算了实 torus 流形和 Dold 流形的 LS 分类，并给出了其拓扑复杂度的精确界，研究了小覆盖的 $\mathbb{Z}_2$-equivariant LS 分类，并确定了对称拓扑复杂度的精确值。
2026-04-04 math.AT
Invertible Topological Field Theories
$d$维可逆拓扑场论是$d$ -边界的对称monoidal $(\infty,n)$ -范畴的函子（嵌入到$\mathbb{R}^\infty$中并具有切向$(X,ξ)$ -结构），它落在目标对称monoidal $(\infty,n)$ -范畴的Picard子范畴中.我们分类这些域论的上同调的$(n-d)$连接覆盖的Madsen-Tillmann频谱。这是通过将$(\infty,n)$ -具有$Ω^{\infty-n}MTξ$的边界分类空间识别为$E_\infty$ -空间来实现的。这推广了加拉休斯-马德森-蒂尔曼-韦斯在$n=1$情形中的著名结果，以及博克施泰特-马德森在$n$ -uple情形中的著名结果。我们还得到了嵌入到一个固定的环境流形$M$的$d$ -bordisms的$(\infty,n)$ -范畴的结果，推广了Randal-Williams在$n=1$情况下的结果。我们给出两个应用：（1）我们以某类$n$ -向量空间（对于$n \leq 4$）为目标，完全计算了维数为$d \leq 4$的所有扩展和部分扩展的可逆TFT，以及（2）我们使用这一点对Gilmer和Masbaum提出的一个问题给出了否定的答案。
2017-12-21 math.AT
The homotopy theory of operad subcategories
我们研究拓扑运算的子范畴$P$，使得$P(0) = *$（我们的术语中的酉运算范畴）。我们使用这个范畴继承了一个模型结构，就像拓扑空间中的所有运算范畴一样，并且酉运算的这个子范畴到所有运算范畴中的嵌入函子允许一个左Quillen伴随。我们证明了这个左Quillen伴随函子的导出函子在同伦范畴水平上诱导我们的范畴嵌入的导出函子的左逆。从这个结果中我们推出，与我们的酉操作的模型范畴相关联的导出映射空间同伦等价于我们在拓扑空间中的所有操作的模型范畴中形成的标准导出操作映射空间。我们证明了类似的陈述适用于子范畴的$k$截断酉运算的模型范畴内的所有$k$截断运算，任何固定的arity界$k\geq 1$，其中一个$k$截断运算表示一个运算是定义到arity $k$。
2018-02-05 math.AT
Lusternik-Schnirelmann category of the configuration space of complex projective space
Lusternik-Schnirelmann范畴$cat(X)$是一个同伦不变量，它是流形上光滑函数的临界点个数的数值界.另一个类似的不变量是拓扑复杂性$TC(X)$（一拉法伯），它在机器人学中有有趣的应用，特别是在机器人运动规划问题。本文计算了Lusternik-Schnirelmann范畴，并由此计算了$\mathbb{CP}^n$对每个$n\geq 1$的两点有序位形空间的拓扑复杂性.
2018-07-13 math.AT
Lusternik-Schnirelmann theory to Topological Complexity from $A_{\infty}$-view point
本文试图把Lusternik-Schnirelmann理论（简称L-S理论）和拓扑复杂性（简称TC）看作是L-S理论的自然扩张。特别是，我们关注的影响，思想起源于E。Fadell和S.胡塞尔对这两种理论。更确切地说，我们看到他们关于类别权重和相对类别的想法如何推动L-S理论和TC。
2022-08-16 math.AT
On LS-category and topological complexity of connected sum
Lusternik-Schnirelmann范畴和拓扑复杂性是流形（更一般地说，是拓扑空间）的重要不变量。我们研究了这些不变量在取流形的连通和运算下的行为。本文给出了可定向流形的LS-范畴$\cat(M\# N)=\max\{\cat M,\cat N\}$的一个完整的答案。对于拓扑复杂性，我们证明了单连通流形的不等式$\TC (M\# N)\ge\max\{\TC M,\TC N\}$.
2017-07-22 math.AT math.GT
Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity
利用等变主丛的同伦不变性证明了Clapp和Puppe的等变${\mathcal A}$ -范畴在Morita等价下是不变的.作为推论，我们得到了群作用的等变Lusternik-Schnirelmann范畴和不变拓扑复杂度在Morita等价下都是不变的.这允许定义的拓扑复杂性的orbifolds。
2019-08-20 math.AT math.CT
Serre fibrations in the Morita category of topological groupoids
本文将Serre纤维化的概念推广到拓扑群胚的Morita范畴，并导出了相应的同伦群的长正合列。我们利用这个结果计算各种群胚的同伦群，如黎曼叶理的叶理群胚。
2011-08-26 math.AT math.DG
Local systems in diffeology
本文结合 Halperin 单纯局部系统与 Kihara 模型结构，建立任意基本群微分拓扑空间的有理同伦论，并构造附贴空间与同伦推出的局部系统谱序列。
2024-06-12 math.AT math.DG math.KT
