首页/论文/1802.02248

arXiv 1802.022482018-02math.ATmath.GT

BSU（2）上的重言式类与光滑丛

Tautological classes and smooth bundles over BSU(2)

Jens Reinhold

备注：: final version, to appear in Proceedings of the American Mathematical Society
发表信息：: Proc. Amer. Math. Soc. 147 (2019), 885-895
DOI：: 10.1090/proc/14249

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对李群G和光滑流形W，研究了G在W上的光滑作用与G在具有纤维W和结构群Diff（W）的分类空间上的丛的光滑作用的区别.特别地，我们证明了BSU（2）上的光滑流形丛不是由作用诱导的。实现这一目标的主要工具是一个技术结果，它给出了一个约束的重言式类的价值拉回到上同调的BSU（2）沿地图诱导的行动。

英文摘要：

For a Lie group G and a smooth manifold W, we study the difference between smooth actions of G on W and bundles over the classifying space of G with fiber W and structure group Diff(W). In particular, we exhibit smooth manifold bundles over BSU(2) that are not induced by an action. The main tool for reaching this goal is a technical result that gives a constraint for the values of tautological classes pulled back to the cohomology of BSU(2) along a map induced by an action.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

非球面流形重言类的一个消灭定理

A vanishing theorem for tautological classes of aspherical manifolds

重言类，或广义Miller-Morita-Mumford类，是光滑纤维丛的基本特征类，最近被用来描述几种流形的类同态群的分类空间的有理上同调。我们合理重言类只依赖于基本的拓扑块丛，并利用这一点来证明消失的重言类的许多丛纤维的非球面流形。

2020-03-08math.ATmath.GT

纤维矩阵代数丛的同伦理论

Homotopy theory of bundles with fiber matrix algebra

本文考虑矩阵代数中一类特殊的具纤维的局部平凡丛。在有限$CW$ -复形上的这类丛的集合上，我们定义了一个相关的等价关系.得到的稳定理论给我们一个几何描述的H-空间结构$\BSU_\otimes$上的$\BSU$有关的张量积的虚拟$\SU$ -丛的虚拟维1。

2010-10-04math.ATmath.KT

关于Map（S^4，BSU（2））连通分支同伦类型的注记

A note on homotopy types of connected components of Map(S^4,BSU(2))

$\Map(S^4,B\SU(2))$的连通分支是$S^4$上主$\SU(2)$ -丛的规范群的分类空间。Tsukuda [Tsu 01]研究了$\Map(S^4,B\SU(2))$的连通分支的同伦类型。但不幸的是，[Tsu 01]中引理2.4的证明对$p=2$是不正确的。在本文中，我们给出了一个完整的证明。此外，我们研究了[Tsu 01]中定义的$ε_i$的进一步整除性。在[Tsu]中，证明了$ε_i$的整除性包含了关于规范群的$A_i$ -等价型的信息.

2011-01-22math.AT

纤维化的重言环

Tautological Rings of Fibrations

本文研究了具有Poincaré纤维的纤维化的重言环，利用有理同伦理论计算Euler环，并完全确定了偶数球面、复射影空间及部分奇数球面乘积的重言环。

2024-10-11math.AT

高维流形的重言环

Tautological rings for high dimensional manifolds

研究了高维流形的重言环，即对于每个光滑流形$M$，由广义Miller-Morita-Mumford类生成的光滑纤维丛的特征类的重言环$R^*(M)$具有纤维$M$.我们完全描述这些环模幂零元，当$M$是一个连接和的副本$S^n \times S^n$的$n$奇。

2015-11-19math.AT

流形重言环中的一些现象

Some phenomena in tautological rings of manifolds

本文证明了关于流形W的重言式环的几个基本环论结果，即关于具有纤维W的纤维丛的广义Miller-Morita-Mumford类的环。首先给出了W的有理上同调的条件，使W的重言环是有限生成的，并通过一个重言环在很强的意义上不是有限生成的例子证明了这些条件不能完全放松.其次，我们给出了W上环面作用的条件，保证环面的秩给出W的重言环的克鲁尔维数的下界。最后，我们给出了CP^2和S^2 × S^2重言式环的广泛计算。

2018-05-06math.AT

更多相关论文收起更多论文

伪四元数空间的重言环

Tautological rings of fake quaternionic spaces

本文结合 Berglund 的有理同伦论方法与族符号差定理，证明几乎所有同伦等价于 ℍP² 的流形的重言环 Krull 维数均为零。

2023-04-26math.AT

Peterson 变种余弦环上塔利奥格里基基的计算

Computations on the tautological basis of the cohomology ring of the Peterson variety

Okayama University of Science（冈山理科大学）

本文研究Peterson变种上同调环的平方自由单项式乘积展开，利用初等对称多项式和二项式系数进行描述。

2026-10-20math.ATmath.CO

重言类与高阶符号差

Tautological classes and higher signatures

本文研究奇数维纤维流形丛的带群上同调类的诺维科夫高阶符号差重言类的零化问题，证明其零化性依赖于群与上同调类，并给出曲面群情形的具体结果及两种证明方法。

2025-01-16math.ATmath.GT

同伦型论中的实射影空间

The real projective spaces in homotopy type theory

同伦型理论（英语：Homotopy type theory）是马丁-勒夫型理论的一个版本，利用了它的同伦模型。特别是，我们可以使用和构造同伦理论的对象，并使用更高的归纳类型来推理它们。在这篇文章中，我们构造了同伦理论中的关键角色--实射影空间，作为同伦类型理论中的某些高级归纳类型。RP（n）的经典定义，作为标识n-球面的对径点的商空间，并不直接转化为同伦型理论。相反，我们定义RP（n）的归纳n的同时，其重言式丛的2元集。作为基本情况，我们将RP（-1）作为空类型。在归纳步骤中，我们把RP（n+1）作为其重言丛的投影映射的映射锥，利用其泛性质和单叶公理定义了RP（n+1）上的重言丛。通过证明RP（n）的重言丛的全空间是n-球面，恢复了RP（n+1）的经典描述为RP（n）附加（n +1）-胞腔，定义为RP（n）与标准包含映射的序列共极限的无限维实射影空间等价于Eilenberg-MacLane空间K（Z/2 Z，1），在这里，它是由两种元素类型组成的宇宙的子类型。实际上，无限维射影空间将0-球面丛分类，可以将其看作合成的线丛。同伦类型论中的这些构造进一步说明了同伦类型论的效用，包括类型论和同伦理论思想的相互作用。

2017-04-19math.AT

小覆盖上的投射丛与拓扑平凡性问题

Projective bundles over small covers and topological triviality problem

本文研究实向量丛在小覆盖上的投影化。我们首先给出了这样一个投射化是小覆盖的一个充要条件。结合矩角流形，我们进一步研究了这种投射化作为小覆盖的结构。作为应用，我们通过将纤维和运算转化为某种组合运算，刻画了二维小覆盖上的实投射丛。最后，研究了实射影空间上重言式线丛与切丛的Whitney和的射影化何时同构于两个实射影空间的乘积。

2014-01-20math.ATmath.GT

丛族的特征类

Characteristic classes for families of bundles

具有纤维$M$的流形丛的广义Miller-Morita-Mumford类仅依赖于底层的$τ_M$ -纤维化，即纤维的切丛构成的向量丛族。这激发了对$τ_M$ -纤维化的分类空间$Baut(τ_M)$及其上同调环的更仔细的研究，即，$τ_M$ -纤维化的特征类环。对于单连通Poincaré对偶空间上的丛$ξ$，我们构造了它的泛可定向$ξ$ -纤维化的相对Sullivan模型，并给出了它的全空间上的典范丛的特征类的显式上循环表示.这产生了计算$Baut(ξ)$的有理上同调环以及由广义Miller-Morita-Mumford类生成的子环的工具。为了说明，我们进行了球面和复射影空间的示例计算。我们讨论的应用重言式环的单连通流形和问题的决定是否一个给定的$τ_M$ -纤维化来自一个流形丛。

2020-12-22math.ATmath.GT

光滑流形丛的稳定特征类

Stable characteristic classes of smooth manifold bundles

定向向量丛的特征类可以用特殊正交群SO_n（n= 0，1，.）的分类空间BSO_n的不交并的上同调类来表示.一个示性类是稳定的，如果它扩张到分类空间BSO_n的同伦上极限BSO的一个上同调类.类似地，具有由固定维数d \ge 0的定向闭光滑流形给出的纤维的光滑定向流形丛的特征类可以用维d的定向闭流形的保定向同构群的分类空间BDiff M的不交并的上同调类来识别。一个示性类是稳定的，如果它扩张到空间BDiff的同伦上极限的一个上同调类.我们证明了偶数维d的定向流形丛的每个有理稳定示性类是重言式的，例如，若d=2，则每个有理稳定示性类是关于Miller-Morita-Mumford类的多项式。

2009-10-25math.ATmath.GT

曲线上抛物丛的模空间的交环几何与上同调的消失关系

Geometry of the intersection ring and vanishing relations in the cohomology of the moduli space of parabolic bundles on a curve

研究了Riemann曲面上任意秩抛物丛的模空间上重言式线丛的Chern类生成的环。我们证明了这些陈类的庞加莱定理具有简单的几何表示。我们使用这种结构表明，这些陈类所产生的环消失的模空间的维度以下，在类比的Newstead-Ramanan猜想稳定的丛。

2015-08-03math.AGmath.ATmath.DG

非紧simply-connected曲面上点的Hilbert格式的特征类

Characteristic classes of the Hilbert schemes of points on non-compact simply-connected surfaces

证明了非紧单连通曲面上点的Hilbert格式的切丛上任意乘性示性类的一个闭公式。作为推论，我们推导出了这些Hilbert格式的切丛的Chern特征标的闭公式.我们还给出了曲面上线丛的重言式丛的乘法特征类的一个闭公式。最后，我们注意到这里的结果有什么影响的希尔伯特计划的点的任意表面。

2007-07-22math.AGmath.AT

流形丛特征类之间的关系

Relations among characteristic classes of manifold bundles

研究了具有高连通纤维的光滑流形丛的特征类之间的关系。对于具有纤维的丛，我们发现所谓的“广义Miller-Morita-Mumford类”之间存在许多代数关系，其中，球面$S^d \times S^d$和奇数$d$的乘积的$g$拷贝的连通和是纤维的丛。对于所有的$g > 1$，我们表明，这些无穷多类代数生成的有限子集。我们的研究结果对比的事实是，有没有代数关系，这些类之间的上同调度的范围内，线性增长与$g$，根据最近的同调稳定性结果。在表面丛（$d=1$）的情况下，我们的方法恢复了一些以前已知的经典的“重言式环”的结构的结果，介绍了芒福德，只使用代数拓扑的工具。

2016-07-18math.AT

自旋面丛的特征类。Madsen-Weiss理论的解释

Characteristic classes of spin surface bundles. Appliations of the Madsen-Weiss theory

在这项工作中，我们研究了表面丛的拓扑性质，重点是表面丛的自旋结构。我们发展了一个判定流形丛是否具有自旋结构的准则，并将其专门化为曲面丛。我们研究的例子，表面丛，特别是球和环面束和表面束的行动引起的有限群黎曼曲面。用例子说明了自旋结构存在的障碍上同调类是非零的。我们建立了椭圆算子族的Atiyah-Singer指标定理与Tillmann、Madsen和Weiss提出的黎曼曲面的模空间的现代同伦理论之间的联系。应用这一理论和指数定理证明了自旋面丛的重言式类满足一定的整除关系。结果是，与非自旋情况相比，整除性提高了2的某个幂。利用球面丛的显式计算证明了可除性结果。在最后一章中，我们利用有限群的作用在映射类的同伦群中构造显式扭元并计算它们的阶，这依赖于代数$K$ -理论和Madsen-Weiss定理的方法。

2006-11-20math.AT

齐性空间上经典李群无穷远点的迭代剩余积分

Integration over homogenous spaces for classical Lie groups using iterated residues at infinity

利用环面作用的等变上同调Berline-Vergne积分公式，证明了重言丛特征类的Grassmannian（经典、Lagrange或正交）上的积分可表示为多元全纯函数在无穷远处的迭代留数.对于这些情况所得到的结果，可以表示为一个公式的特殊情况，涉及外尔群对环面的自然表示的特征标的作用。

2012-12-29math.AGmath.AT

射影直线上可逆层O（-2）的全空间上点的等变上同调、对称函数和Hilbert格式

Equivariant cohomology, symmetric functions and the Hilbert schemes of points on the total space of the invertible sheaf O(-2) over the projective line

设X是由射影直线上的可逆层O（-2）的全空间给出的拟射影辛曲面。设Hilbert X是X上点的Hilbert概型族。本文给出并证明了一个闭公式，它表示Hilb X上的任意乘性示性类，并给出了Hilb X上同调的标准Fock空间描述.作为一个附带结果，我们还导出了Hilb X的切丛的Chern特征标的一个公式.这里发现的结果是另一个步骤走向一个完整的描述的切丛的希尔伯特计划的一般拟射影曲面的公式在这里产生某些系数的描述。最后，我们还给出了一个表示在Hilb X上重言丛上赋值的任何乘性示性类的闭公式。

2006-10-27math.AGmath.ATmath.CO