Rational homotopy theory: a brief introduction
Kathryn Hess
这些笔记包含一个简要介绍理性同伦理论：其模型类别的基础，沙利文模型和相互作用的理论，当地交换环。
These notes contain a brief introduction to rational homotopy theory: its model category foundations, the Sullivan model and interactions with the theory of local commutative rings.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Cohomology $C_{\infty}$-algebra and Rational Homotopy Type
在1-连通空间的有理上同调中，构造了$C_{\infty}$ -代数的一个结构，并证明了该对象决定了有理同伦类型
Rational homotopy theory via Sullivan models: a survey
这项调查包含的主要成果在理性同伦，从一开始到最近的。它使艺术的地位，给出了一个简短的介绍，在一些领域的理性同伦已被使用，并包含了许多重要的开放问题
Homotopy operations and rational homotopy type
我们描述了一组确定单连通空间X的有理同伦类型的高阶同伦运算。这些都是用X的Quillen DGL模型的逐次逼近（L^k，α}的单纯分解来描述的。这些运算存在于这些DGL的适当的上同调群H^*{L^{（k，α）}; π_* X \otimes Q}中。为了便于恢复的一个完整的版本的操作从理性的描述，我们还定义了一个微分分次非结合代数模型的理性空间。
The homotopy fixed point sets of spheres actions on rational complexes
本文描述了有理球面和复射影空间上$S^3$ -作用的同伦不动点集的同伦类型，并给出了一般有理复形上$S^1$ -作用的一些性质.
Phantom maps and rational homotopy
推广了McGibbon-Roitberg，Iriye和Meier关于幻影映射与有理同伦关系的定理，并应用它们给出了幻影映射的同伦集Ph（X，Y）和特殊幻影映射的子集SPh（X，Y）的新的计算实例.
Rational homotopy groups of generalised symmetric spaces
我们得到了广义对称空间的有理同伦群的显式公式，即，一类齐性空间，其稳定子群表现为某个有穷级自同构的不动点群。特别地，这给出了所有经典紧对称空间的有理同伦群的显式公式。
The Rational Homotopy Type of Homotopy Fibrations Over Connected Sums
本文研究连通和上拉回纤维化全空间的有理同伦型，给出较Jeffrey–Selick更弱的有理上同调条件，使其在取闭路后等价于连通和。
Rational homotopy theory of mapping spaces via Lie theory for L-infinity algebras
计算了幂零L-无穷代数的Deligne-Getzler无穷广群的高阶同伦群.作为应用，我们给出了映射空间的有理同伦理论的一种新方法。
The extended rational homotopy theory of operads
本文建立了单纯集上的运算的有理同伦理论，其元数项1不一定约化为运算单位，推广了作者在《运算同伦与Grothendieck-Teichmüller群》一书中的结果.简而言之，只要Sullivan有理同伦理论适用于我们的操作数所对应的空间（例如，当这些空间是连通的，幂零的，并且具有有限型有理上同调群），我们就证明了这样一个操作数的有理同伦类型是由上链微分分次代数中的一个cooperad（简称coochain Hopf dg-cooperad）决定的.
Cyclic Maps in Rational Homotopy Theory
循环映射g：A -> X的概念是pi_n（X）中Gottlieb元素的自然推广。我们从有理同伦理论的角度研究循环映射。我们展示了一些结果的合理化循环映射推广知名的结果合理化Gottlieb群。
The rational homotopy of the K(2)-local sphere and the chromatic splitting conjecture for the prime 3 and level 2
我们计算了K（2）-局部球面在素数3和水平2处的有理同伦和K（1）-局部同伦。我们用它来验证色分裂猜想在这种情况下。
On rational homotopy and minimal models
本文证明一项理论结果，可借助极小模型理论计算广泛空间类的有理同伦。
On the rational $C_2$-homotopy type of ${BSU_{\mathbb{R}}}_m$
本文通过等价Eilenberg-Maclane空间描述实数BSU_m的有理C_2等价同调类型，解决动机同调论中的相关问题。
Evaluation Maps in Rational Homotopy
设E是作用在基空间X上的H-空间。然后我们把ev：E -> X，即作用在X的基点上得到的映射称为“广义赋值映射”。“我们建立了关于广义赋值映射的有理同伦行为的几个基本结果，所有这些结果都适用于通常的赋值映射Map（X，X;1）->X。在对X作适当假设的情况下，证明了广义评价映射ev因子，直到有理同伦，通过映射Gamma_ev：S_ev -> X，其中S_ev是奇维球面的（相对较小的）有限积，且Gamma_ev在有理同伦群上诱导的映射是内射的.这一结果有很强的推论：如果ev的有理同伦群中的象是平凡的，则有理化后的广义赋值映射是零同伦的，除非X满足很强的分裂条件，否则任何广义赋值映射在有理上同调中诱导平凡同态;地图Gamma_ev是有理同伦单态，广义赋值映射可以写成同伦满态和同伦单态的合成。我们包括说明性的例子和证明许多附属结果的兴趣。
Realization of Lie algebras of derivations and moduli spaces of some rational homotopy types
我们构造李代数的导子（并确定其几何实现）的Maurer-Cartan集提供模空间描述类同伦类型的有理空间共享相同的同伦李代数，同调或上同调。
The rational homotopy type of the space of self-equivalences of a fibration
设Aut（p）表示纤维化p的自纤维同伦等价的拓扑幺半群：E \to B.我们对这个幺半群作了一般性的研究，特别是在有理同伦理论中。当E和B是单连通CW复形，且E有限时，我们将Aut（p）的单位连通区的有理Samelson李代数证明为p的Koszul-Sullivan模型导子的DG李代数的同调，并得到了纤维映射空间的有理同伦群和Aut（p）的自然幂零子群的有理化的相关证明.
Relative phantom maps and rational homotopy
本文将Gray和McGibbon-Roitberg关于幻影映射与有理同伦关系的一些结果推广到相对幻影映射。由于$\lim^1$和profinite完成技术不适用于相对幻影地图，我们开发了新的技术。
Realizability of the group of rational self-homotopy equivalences
对于1-连通CW-复形$X$，设$\mathcal{E}(X)$表示$X$的自同伦等价的同伦类群。本文的目的是证明，对于每个$n\in\Bbb N$，存在一个1-连通有理CW-复形$X_{n}$使得$\mathcal{E}(X_{n})\cong \underset{2^{n+1}\mathrm{. times}}{\underbrace{\Bbb Z_{2}\oplus... \Bbb \oplus \Bbb Z_{2}}}$ .
Rational Homotopy Equivalence
本文提出算法构建Sullivan极小模型，用于判断两个连通空间是否具有相同的有理同调类型。
Rational obstruction theory and rational homotopy sets
建立了极小微分分次代数之间同态f，g：M -> N的一个阻塞理论.我们假设M = λ V有一个由V = V_0 o + V_1给出的阻塞分解，并且f和g在λ V_0上是同伦的。一个障碍然后被获得为向量空间同态V_1 -> H^*（N）。我们研究了f和g同伦的条件与障碍为零的条件之间的关系。利用阻塞理论研究了同伦类集[M，N].这使我们能够给出一个相当完整的答案Copeland-Shar猜想的大小同伦集[A，B]时，A和B是合理的空间。此外，我们给出了极小代数（因此有理空间）的例子，有几个同伦类的自映射。
Rational homotopy equivalences and singular chains
Bousfield和Kan的空间的$\mathbb{Q}$ -完备化和纤维式$\mathbb{Q}$ -完备化导致了非单连通空间的有理同伦理论的两种不同的方法。在第一种方法中，一个映射是弱等价的，如果它在有理同调上诱导同构。在第二种情况下，一个连通和指向空间的映射是弱等价的，如果它在基本群和高有理化同伦群之间产生同构;我们称这些映射为$π_1$ -有理同伦等价。在本文中，我们比较这两个概念，并表明$π_1$ -有理同伦等价对应的映射，诱导$Ω$ -拟同构的有理奇异链，即映射，诱导拟同构后，应用cobar函子的dg余结合余代数的有理奇异链。这意味着两个有理同伦等价的概念都可以从有理奇异链中通过使用弱等价的不同代数概念推导出来：拟同构和$Ω$ -拟同构。我们进一步表明，在第二种方法中，有没有dg余代数模型的链是严格的余交换和余结合。
Models in Rational homotopy theory and Torus Rank Conjecture
本文主要讨论了有理同伦理论中的一些模型，Sullivan模型，Quillen模型，C_ \infty模型，L_ \infty模型。我们给出了它们之间的一些联系。作为应用，我们证明了环面秩猜想。
On the $L_{\infty}$-bialgebra structure of the rational homotopy groups $π_{*}(ΩΣY)\otimes \mathbb{Q}$
本文引入了向量空间上的 $L_{\infty}$-双代数结构概念，并证明了悬挂 $ΣY$ 的环路空间 $ΩΣY$ 的有理同伦群具有该结构，从而在有理同伦等价意义下表征了原空间 $Y$。
Lie coalgebras and rational homotopy theory II: Hopf invariants
我们给出了一个新的解决方案的“同伦时期”的问题，突出沙利文，其中明确的几何意义的公式首先追溯到怀特海的背景下，奎伦的形式主义的理性同伦理论和Koszul-Moore对偶。从几何角度来看，我们证明了同伦群是由上链数据的“广义连接/相交不变量”合理给出的。此外，我们给出了一个方法来确定当两个映射从$S^n$到$X$同伦后，允许乘以某个整数。作为应用，我们研究了球楔和齐性空间（其中同伦由经典的环绕数给出），以及构形空间（其中同伦由广义的环绕数给出），并提出了一个推广的Hopf不变量问题.
Splitting off Rational Parts in Homotopy Types
代数上已知任何阿贝尔群都是可除群和约化群的直和（见\cite{Fuchs:abelian-group}的定理21.3）。本文利用Hurewicz映射的一种变体，即$\barρ : [S_{\Q}^{n},X] \to H_n(X;\Z)$和广义Gottlieb群，研究了同伦型中有理部分从给定空间中分裂出来的条件.这就产生了关于Hopf空间、$T$ -空间和Gottlieb空间的有理同伦类型的分解定理，这在各种情况下都是已知的，特别是对于具有有限性条件的空间。
Weight decompositions of Thom spaces of vector bundles in rational homotopy theory
受子流形表示类理论的启发，我们研究了向量丛的Thom空间的有理同伦理论。我们首先在有理同伦的水平上给出了一个Thom同构，通过去掉基的幂零性和丛的可定向性的假设，推广了Felix-Oprea-Tanré的工作.然后，我们利用有理同伦中的权分解理论，给出了类的可表示性的一个判据，推广了Papadima的结果。一路上，我们研究的形式问题，并给出公式的梅西产品的托姆空间。最后，我们将权分解理论与混合Hodge理论联系起来，并将所得结果应用于动机Thom空间。
Rational homotopy of the space of immersions between manifolds
本文研究了维数为$m\geq 0$的流形$M$到维数为$m+k$的流形$N$的浸入空间$Imm\left(M,N\right)$的有理同伦，其中有$k\geq 2$ .在$N=\mathbb{R}^{m+k}$和$k$为奇数的特殊情况下，证明了$Imm\left(M,\mathbb{R}^{m+k}\right)$的每个连通分支具有Eilenberg Mac Lane空间的乘积的有理同伦型.我们给出了每个连通分支的一个明确的描述，并证明了它只依赖于$m$，$k$和有理Betti数的$M$。对于更一般的流形$N$，我们证明了当某些Pontryagin类为零时，$Imm\left(M,N\right)$的连通路具有显映射空间某个分支的有理同伦型.
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）有理化后是双环空间的条件。
Mapping Spaces for DG Hopf Cooperads and Homotopy Automorphisms of the Rationalization of $E_n$-operads
定义了微分分次Hopf余范畴（简称dg Hopf余范畴）上的单纯富集.我们证明，我们的单纯性丰富满足，在部分情况下，公理的单纯模型范畴结构的范畴dg霍普夫合作。我们利用这种单纯模型结构定义了dg Hopf合作范畴中的映射空间模型，并通过处理单纯幺半群结构，改进了文献中关于dg Hopf合作的同伦自同构空间的结果.运算的有理同伦理论表明dg Hopf余运算的同伦自同构空间可以看作是拓扑空间（或单纯集）中运算有理化的同伦自同构空间的模型。作为主要应用，我们证明了Kontsevich图复李代数上的Maurer-Cartan型空间在单纯幺半群范畴内同伦等价于小圆盘运算有理化的同伦自同构空间.
Rational torus-equivariant stable homotopy V: the torsion Adams spectral sequence
基于不动点上Borel构造的同调性，给出了环面G的有理稳定等变同伦理论的一种计算方法.更精确地说，我们定义了有限内射维数的阿贝尔挠模型A_t（G），基于Borel构造的同调性取A_t（G）中值的同调论\piAt_*，以及有限Adams谱序列Ext_{A_t(G)} ^{*，*}（\piAt_*（X），\piAt_*（Y））==> [X，Y]^G_*（对于有理G-谱X和Y）.
Rational homotopy theory and differential graded category
我们提出了一个推广沙利文的德拉姆同伦理论的非单连通空间。这个公式是这样的：流形的实同伦型应该是其上平坦丛的闭张量dg-范畴，这与原始Sullivan理论中单连通流形的实同伦型是de Rham代数是一样的。证明了小闭张量dg-范畴上的模范畴结构的存在性，并作为最简单的情形，证明了基本群为有限且高同伦群为有限维有理向量空间的同伦范畴与满足一定条件的小闭张量dg-范畴的同伦范畴之间的等价性.
Rational homotopy type of subspace arrangements with a geometric lattice
设A是一个具有几何格的子空间排列，使得对A中的每个x，codim（x）> 1.利用有理同伦理论，证明了补M（A）是有理椭圆的当且仅当其正交子空间之和是直和.给出了M（A）的同伦类型：它是奇数维球面的乘积。最后给出了一些其他的等价条件，如Poincare对偶性。这些结果给出了使M（A）是有理椭圆的排列（具有几何格和子空间上的余维条件）的完整描述，并表明大多数排列有双曲补.
Rational Homotopy Calculus of Functors
这是作者于2005年7月提交给布朗大学的博士论文的（略有编辑）版本。我们构造了一个同伦演算函子的意义上Goodwillie的有理同伦理论的范畴。更确切地说，给定微分分次向量空间（DG），约化微分分次向量空间，微分分次李代数（DGL）和微分分次余代数（DGC）之间的同伦函子，我们证明了存在一个相关的近似“有理泰勒塔”的切除函子。这个塔中的纤维是齐次函子，它分解为微分分次向量空间范畴的齐次自同态。此外，我们为这个塔中的所有物体开发了非常简单和简单的模型。构建这些模型首先需要在DG、DGL和DGC类别中构建非常简单的同伦推回模型。最后，我们用一个简短的例子，我们的计算简单的模型，合理的泰勒塔的有用性，以及一些进一步的结果处理合理（和非理性）泰勒塔的预览。
$L_infty$ rational homotopy of mapping spaces
本文描述了表示有限幂零CW-复形$X$和有限型幂零CW-复形$Y$之间自由点映射空间$\map(X,Y)$和$\map^*(X,Y)$的任意分支的有理同伦型的显式$L_\infty$代数.当$X$是有限型的，不一定是有限的，我们还表明，这些$L_\infty$代数的代数覆盖模型相应的映射空间的泛覆盖。
Homotopy transfer and rational models for mapping spaces
通过使用同伦转移技术的背景下，有理同伦理论，我们表明，如果$C$是一个空间$X$的余代数模型，那么在$H_*(X;\mathbb{Q})\cong H_*(C)$诱导的更高的梅西余积的$A_\infty$ -余代数结构提供了构造的Quillen最小模型的$X$。我们还描述了线性映射复形${\rm Hom}(H_*(X; \mathbb{Q}), π_*(ΩY)\otimes\mathbb{Q})$上的一个显式$L_\infty$ -结构，其中$X$是有限型幂零CW-复形，$Y$是有限型幂零CW-复形，模拟了映射空间${\rm map}(X, Y)$的有理同伦型.作为一个应用程序，我们给出的源和目标，以检测合理的$H$ -空间结构的组件上的条件。
Coformality and the rational homotopy groups of spaces of long knots
我们证明了计算${\mathbb R}^d$中长结点空间的有理同伦群的Bousfield-Kan谱序列在$E^2$页处崩溃，其中$d\ge 4$。在证明的主要成分是辛哈的cosimplicial模型的空间长结和一个coformatism结果的小球操作。
Rational torus-equivariant stable homotopy IV: thick tensor ideals and the Balmer spectrum for finite spectra
我们将有限对象的厚张量理想归入有理环面等变谱范畴，证明它们完全由几何各向同性决定。这实质上等同于表明巴耳末谱是在cotoral包含下的闭子群的集合。对于一般群，导出了相应的环谱表达式。
Rational visibility of a Lie group in the monoid of self-homotopy equivalences of a homogeneous space
设M是允许通过连通李群G左平移的齐性空间.作用的伴随映射产生一个从G到M的自同伦等价幺半群的映射.本文的目的是研究由有理同伦上的伴随映射诱导的同态的内射性.特别地，对于由Oniscik分类的单李群及其相关的秩为1的齐性空间的所有情况，都明确地确定了可见度。
An algebraic model for rational S^1-equivariant stable homotopy theory
Greenlees定义了一个阿贝尔范畴A，它的导出范畴等价于有理S^1-等变稳定同伦范畴，其对象表示有理S^1-等变上同调理论。我们证明了A（dgA）中的微分分次对象的模型范畴实际上模拟了整个有理S^1-等变稳定同伦理论。也就是说，在拟同构或稳定等价被反演之前，我们证明了dgA与有理S^1-等变谱的模型范畴之间存在Quillen等价。这意味着所有的高阶结构，如映射空间，函数谱和同伦（上）极限都反映在代数模型中。这里的新成分是某些梅西产品计算和工作的合理稳定的模型类别从“分类的稳定模型类别”和“等价的monoidal模型类别”与施韦德。在附录中，我们表明，户田括号，因此也梅西产品，是由三角导出范畴。
Rational homotopy type of mapping spaces via cohomology algebras
本文证明了对于有限的$CW$ -复形$X$和二阶空间$Y$（如$n$ -球面$S^n$、齐性空间和$F_0$ -空间），$\map(X, Y)$的有理同伦型由上同调代数$H^*(X; \Q)$和$Y$的有理同伦型决定.由此，我们推出了映射空间$\map(X, Y)$的一个分支上的H-结构的存在性，假设$X$和$Y$的上同调代数是同构的。最后，我们将证明如果相应的\emph{Maurer-Cartan elements}由$H^\ast(X, \Q)$的代数自同构连接，则$\map(X, Y; f)\simeq\map(X, Y; f')$。
Rational torus-equivariant homotopy I: calculating groups of stable maps
我们构造了r-环面G的一个闭子群范畴上的层的一个阿贝尔范畴A（G），并证明了它是有限内射维数的.它可以被用作有理$G$ -谱的模型，在这个意义上，有一个同调论\piA_*：G-谱/Q --> A（G）在有理G-谱上，值在A（G）中，并且相关的亚当斯谱序列对所有有理$G$ -谱收敛并在有限阶段崩溃。
Rational homotopy theory of automorphisms of manifolds
研究了至少5维光滑单连通流形的自同构群的分类空间的有理同伦类型。我们给出了这类流形的同伦自同构和块同伦同态的dg李代数模型。利用这些模型计算了流形#^gS ^dxS ^d的同伦自同构和块同伦同态的分类空间在g趋于无穷大时相对于嵌入圆盘的有理上同调.答案用算术群的稳定上同调和不变李代数上同调来表示。通过扩展的Kontsevich的工作图复合体，我们将我们的结果与边界的自由群的自同构（不稳定）的同源性。
Unbased rational homotopy theory: a Lie algebra approach
本文从曲李代数的角度构造了无基有理同伦理论的代数模型。作为这一建设的一部分，一类伪紧弯曲李代数与弯曲态射的模型结构将被引入;一个是奎伦等价于一定的模型结构的单位交换微分分次代数代数，从而扩展了已知的奎伦等价增广代数和微分分次李代数。
The universal fibration with fibre $X$ in rational homotopy theory
设$X$是具有有限维有理同伦群的单连通空间.设$p_\infty \colon UE \to \mathrm{Baut}_1(X)$是具有纤维$X$的单连通空间的泛纤维化.我们给出了评价图$ ω\colon \mathrm{aut}_1(\mathrm{Baut}_1(X_{\mathbb Q})) \to \mathrm{Baut}_1(X_{\mathbb Q})$的DG Lie模型，该评价图表示为$p_\infty$的相对Sullivan模型的导子.我们推导出的合理Gottlieb群和评价子群的分类空间$\mathrm{Baut}_1(X_{\mathbb Q})$的结果。证明了对于有限维有理同伦群的$n \leq 4$和$X$，${\mathbb C} P^n_{\mathbb Q}$不能实现为$\mathrm{Baut}_1(X_{\mathbb Q})$.
Rational self-homotopy equivalences and Whitehead exact sequence
对于单连通CW-复$X$，令$\mathcal{E}(X)$表示$X$的自同伦等价的同伦类的群，令$\mathcal{E}_{\sharp}(X)$表示它的诱导同伦群上的恒等式的同伦类的子群.正如我们所知，商群$\frac{\mathcal{E}(X)}{\mathcal{E}_{\sharp}(X)}$可以用$Aut(π_{*}(X))$的子群来标识。这项工作的目的是确定这个子群的合理空间。我们构造了与$X$的最小Sullivan模型相关联的Whitehead正合序列，它允许我们定义分次向量空间$\mathrm{Hom}(π_*(X),\Bbb Q)$的自相干自同构的子群$\mathrm{Coh.Aut}(\mathrm{Hom}\big(π_{*}(X),\Bbb Q)\big)$.因此，我们建立了$\mathcal{E}(X) / \mathcal{E}_{\sharp}(X) \cong \mathrm{Coh.Aut} (\mathrm{Hom}(π_*(X),\Bbb Q))$。此外，通过计算群$\mathrm{Coh.Aut}\big(\mathrm{Hom}(π_{*}(X),\Bbb Q)\big)$，我们给出了具有少量自同伦等价的有理空间的例子。
Strict algebraic models for rational parametrised spectra II
在这篇文章中，我们扩展了Sullivan的PL de Rham理论，得到了参数化谱的有理同伦理论的简单代数模型。这简化和补充了arXiv：1910.14608的结果，该结果基于Quillen的有理同伦理论。根据Sullivan的观点，具有有限贝蒂数的幂零空间$X$的有理同伦类型完全由以有理上同调为上积建模的交换微分分次代数$A$决定。在这篇文章中，我们将拓扑和代数之间的这种对应关系扩展到参数化稳定同伦理论：对于一个对应于cdga $A$的空间$X$，我们证明了$X$上的参数化谱和微分分次$A$ -模的特定有理同伦范畴之间的等价性。虽然不是完整的，我们考虑的有理同伦范畴包含了一大类参数化谱。我们开发的方法的简单性，使直接计算参数化的稳定同伦理论使用微分分次模。为了说明我们的方法的有用性，我们建立了一个全面的字典代数翻译的拓扑结构，提供代数模型的基础变化函子，纤维稳定，参数化Postnikov节，纤维粉碎产品，和复合物的纤维稳定映射。
Rational homotopy -- Sullivan models
本章是对沙利文模型的一个简短介绍。特别地，我们找到了自由回路空间的Sullivan模型，并利用它证明了关于自由闭路空间的贝蒂数的Vigué-Poirier-Sullivan定理.
Rational torus-equivariant stable homotopy III: comparison of models
我们给出了有理环面等变同伦理论的模型的细节（a）所有子群，连通子群或子群的维数和（b）对或一般标志。我们提供了比较函子，并证明了模型是等价的。这被用于（A）有理环面等变谱的代数模型（与B.Shipley; 1101.2511的新版本），（B）任意紧李群的有理等变G-谱的扇形部分的代数模型（1501.03425）和（C）从代数几何数据构造环面等变谱。它还强调了本地化定理在这些模型中的作用。
The homotopy fixed point set of Lie group actions on elliptic spaces
设$G$是一个紧连通李群，或者更一般地说是一个有限CW-复形的同伦型的路连通拓扑群，并且设$X$是一个有理幂零$G$ -空间.本文分析了同伦不动点集$X^{hG}$的同伦类型和自然注入$k\colon X^G\hookrightarrow X^{hG}$ .我们证明了如果$X$是椭圆的，即它有有限维有理同伦和上同调，那么$X^{hG}$的每个路径分量也是椭圆的。我们还给出了一个明确的代数模型的包含$k$的基础上，我们可以证明，例如，对于$G$一个环面，$π_*(k)$是内射的有理同伦，但往往，远离是一个合理的同伦等价。
Exponential growth in the rational homology of free loop spaces and in torsion homotopy groups
本文利用积分方法推广了自由环路空间有理同调群增长的结果，构造出同伦群$p$-挠指数增长的新空间族，并提出有理同伦群与$p$-挠同伦群指数增长间存在紧密联系的猜想。
Rationalized Evaluation Subgroups of a Map and the Rationalized G-Sequence
设f：X -> Y是单连通空间的基映射.对应的赋值映射w：map（X，Y;f）-> Y诱导出一个同伦群的同态，其在pi_n（Y）中的像称为f的第n个赋值子群。X的第n个戈特利布群是Y = X且f = 1_X的特殊情况。我们确定的同态诱导合理的同伦群的评价地图，在复杂的衍生物使用沙利文极小模型构造的地图。我们的鉴定允许的第n个评估小组的f的合理化的表征。它还允许识别几个长的正合序列的理性同伦群，包括长的正合序列诱导的理性同伦群的评价纤维化。因此，我们得到了所谓的G-序列的映射f的合理化的一个标识。这是一个群和同态的序列--一般不精确--包括X的戈特利布群和f的求值子群。我们使用这些结果来研究的G-序列的上下文中的有理同伦理论。我们给出了非正合G-序列的新例子，并揭示了有理G-序列的同调与有理上同调的负导子之间的关系。我们还涉及到分裂的合理的G-序列的纤维包含一个著名的猜想，在合理的同伦理论。
Strict algebraic models for rational parametrised spectra I
基于Quillen的有理同伦理论，我们得到了参数化谱的有理同伦理论的代数模型。对于任何单连通空间$X$，都有一个dg李代数$Λ_X$和一个（余结合余交换）dg余代数$C_X$来模拟有理同伦类型。本文证明了$X$参数化谱的有理同伦型完全由$Λ_X$ -表示和$C_X$ -余模编码.有理参数化谱和代数数据之间的对应关系是通过在单连通参数空间$X$中伪泛函变化的同伦范畴的对称么半群等价得到的。我们的研究结果建立了一个全面的字典，使翻译的拓扑结构到同调代数使用李表示和余模，反之亦然。例如，参数化谱的纤维粉碎积可以用dg李表示的张量积和dg余模的余张量积来编码。作为应用，我们得到了纤维稳定映射的有理同伦类的代数描述，为截面空间的研究提供了新的工具。
Rationalized Evaluation Subgroups of a Map II: Quillen Models and Adjoint Maps
令w：Map（X，Y;f）-> Y表示一般的评估纤维化。利用微分分次李代数的有理同伦理论，确定了由w在有理同伦群上诱导的长正合序列在（广义）导子空间和伴随映射上的存在性.因此，我们在有理同伦群的水平上，根据Quillen模型和伴随的导子，得到了函数空间的有理同伦理论的统一描述。特别地，作为Tanre的一个结果的自然扩张，我们确定了在此设置下的映射f：X -> Y的求值子群的有理化。作为应用，我们考虑一个问题的Gottlieb的推广，在理性同伦理论的背景下。我们还确定了合理化的G-序列的f，并明确计算这个序列的同源性。在一个独立的结果中，我们给出了乘积AxX的一个显式Quillen极小模型，其中A是有理co-H-空间。
The homotopy type of spaces of rational curves on a toric variety
从黎曼球面到各种复流形（全纯曲线）的全纯映射空间在数学的许多领域中起着重要的作用。在一篇开创性的论文G. Segal研究了复射影空间上全纯曲线的同伦型，M。客人对紧凑光滑复曲面品种..最近Mostostovich和Villanueva，获得了深远的概括这些结果，特别是（全纯曲线）提高了稳定性的维度获得的客人。本文将他们的结果推广到全纯曲线，推广到某些非紧光滑环面簇上。
Rational model of the configuration space of two points in a simply connected closed manifold
设$M$是维数为$n$的单连通闭流形.研究了$M$中2点位形空间的有理同伦型，即$F(M,2)$ .当$M$为偶数维时，证明了$F(M,2)$的有理同伦类型只依赖于$M$的有理同伦类型.当$M$的维数为奇数时，对每一个$x\in H^{n-2} (M, \mathbb{Q})$，我们构造了一个交换微分分次代数$C(x)$ .证明了对于某些$x \in H^{n-2} (M; \mathbb{Q})$，$C(x)$完全编码$F(M,2)$的有理同伦型.对于某些流形，我们证明了可以取$x=0$。
Rational homotopy theory of operad modules through colored operads
将Fresse的operad有理同伦论推广至operad上的多种模，研究其有理同伦性质。
Realizing spaces as classifying spaces
对于给定纤维的纤维化，哪些空间可作为分类空间？我们在理性同伦理论的背景下解决这个问题。我们构造了一个无限族的有限复形实现（有理同伦）分类空间。我们还给出了几个非实现的结果，包括：$\mathbb{C}P^2$和$S^4$的有理同伦类型不能实现为任何具有有限维同伦群的单连通有理空间的分类空间.
Rational homotopy types of mirror manifolds
我们解释了如何将寻找卡-丘流形的镜像流形的问题与刻画闭凯勒流形的有理同伦类型的问题联系起来。
Rational Homotopy in Pseudotopological Spaces
本文证明 Rieser 的伪拓扑空间模型范畴与单纯集 Quillen 等价，并利用与拓扑 CW 复形的弱等价关系，为单连通伪拓扑空间建立有理同伦，同时证明伪拓扑 CW 复形的 Cartesian 积封闭。
The Milnor-Moore theorem for $L_\infty$ algebras in rational homotopy theory
我们给出了一个通用的包络$A_\infty$代数的一个给定的$L_\infty$代数，替代现有的版本。作为应用，我们导出了经典Milnor-Moore定理的高阶同伦代数形式，提出了单连通有理同伦类型的一个新的$A_\infty$模型，揭示了同伦群中高阶有理Whitehead积与有理闭路空间同伦代数中Pontryagin-Massey积之间的关系.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。