Marcel Bokstedt, Iver Ottosen
Let X be a 1-connected space with free loop space LX. We introduce two spectral sequences converging towards H^*(LX;Z/p) and H^*((LX)_hT;Z/p). The E2-terms are certain non Abelian derived functors applied to H^*(X;Z/p). When H^*(X;Z/p) is a polynomial algebra, the spectral sequences collapse for more or less trivial reasons. If X is a sphere it is a surprising fact that the spectral sequences collapse for p=2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This note explores the interaction between cohomology operations in a generalized cohomology theory and a string topology loop coproduct dual to the Chas--Sullivan loop product. More precisely, we ask for a description for the failure of a given operation to commute with the loop coproduct, and will obtain a satisfactory answer in the case where the operation preserves both sums and products. Examples of such operations include the total Steenrod square in ordinary mod 2 cohomology and the Adams operations in K-theory.
Let M be a connected, simply connected, closed and oriented manifold, and G a finite group acting on M by orientation preserving diffeomorphisms. In this paper we show an explicit ring isomorphism between the orbifold string topology of the orbifold [M/G] and the Hochschild cohomology of the dg-ring obtained by performing the smash product between the group G and the singular cochain complex of M.
Let X be a space and write LX for its free loop space equipped with the action of the circle group T given by dilation. We compute the equivariant cohomology H^*(LX_hT; Z/p) as a module over H^*(BT; Z/p) when X=CP^r for any positive integer r and any prime number p. The computation implies that the associated mod p Serre spectral sequence collapses from the E_3-page.
In this paper we prove that for an almost complex orbifold, its virtual orbifold cohomology [math.AT/0606573] is isomorphic as algebras to the Chen-Ruan orbifold cohomology of its cotangent orbifold.
In 1999 Chas and Sullivan discovered that the homology H_*(LX) of the space of free loops on a closed oriented smooth manifold X has a rich algebraic structure called string topology. They proved that H_*(LX) is naturally a Batalin-Vilkovisky (BV) algebra. There are several conjectures connecting the string topology BV algebra with algebraic structures on the Hochschild cohomology of algebras related to the manifold X, but none of them has been verified for manifolds of dimension n>1. In this work we study string topology in the case when X is aspherical (i.e. its homotopy groups π_i(X) vanish…
In this paper we present the notion of de Rham cohomology with compact support for diffeological spaces. Moreover we shall discuss the existence of three long exact sequences. As a concrete example, we show that long exact sequences exist for the de Rham cohomology of diffeological subcartesian spaces.
We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald-Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.
We study the cohomology of spaces of string links and braids in $\mathbb{R}^n$ for $n\geq 3$ using configuration space integrals. For $n>3$, these integrals give a chain map from certain diagram complexes to the deRham algebra of differential forms on these spaces. For $n=3$, they produce all finite type invariants of string links and braids.
For any finite group G, we construct a spectral sequence for computing the Bredon cohomology of a G-CW complex X, starting with the cohomology of X^H/\cup_{K>H}X^K with suitable local coefficients, for various H \leq G.
We compute the completed $TMF_0(3)$ cohomology of the 7-connective cover $BString$ of $BO$. We use cubical structures on line bundles over elliptic curves to construct an explicit class which together with the Pontryagin classes freely generates the cohomology ring.
It is shown that the Mayer-Vietoris sequence holds for the cohomology of complexes of Lie algebroids which are defined on simplicial complexes and satisfy the compatibility condition concerning restrictions to the faces of each simplex. The Mayer-Vietoris sequence will be obtained as a consequence of the extension lemma for piecewise smooth forms defined on complexes of Lie algebroids.
The aim of this short survey is to give a quick introduction to the Salvetti complex as a tool for the study of the cohomology of Artin groups. In particular we show how a spectral sequence induced by a filtration on the complex provides a very natural and useful method to study recursively the cohomology of Artin groups, simplifying many computations. In the last section some examples of applications are presented.
We compute the cotorsion product of the mod 2 cohomology of spinor group spin(n), which is the E_2-term of the Rothenberg-Steenrod spectral sequence for the mod 2 cohomology of the classifying space of the spinor group spin(n). As a consequence of this computation, we show the non-collapsing of the Rothenberg-Steenrod spectral sequence for n > 16.
We study string topology for classifying spaces of connected compact Lie groups, drawing connections with Hochschild cohomology and equivariant homotopy theory. First, for a compact Lie group $G$, we show that the string topology prospectrum $LBG^{-TBG}$ is equivalent to the homotopy fixed-point prospectrum for the conjugation action of $G$ on itself, $G^{hG}$. Dually, we identify $LBG^{-ad}$ with the homotopy orbit spectrum $(DG)_{hG}$, and study ring and co-ring structures on these spectra. Finally, we show that in homology, these products may be identified with the Gerstenhaber cup product …
We show that the Rothenberg--Steenrod spectral sequence converging to the mod 3 cohomology of the classifying space of the exceptional Lie group E_8 does not collapse at the E_2-level.
Using methods applied by Atiyah in equivariant K-theory, Bredon obtained exact sequences for the relative cohomologies (with rational coefficients) of the equivariant skeletons of (sufficiently nice) T-spaces, T=(S^1)^n, with free equivariant cohomology over the cohomology of BT. Here we characterise those finite T-CW complexes with connected isotropy groups for which an analogous result holds with integral coefficients.
Cohomology of twisted polynomial superfunctors through the twisting spectral sequence
本文通过扭曲谱序列计算扭曲多项式超函子的上同调，揭示了其与未扭曲函子之间的关系及低度数计算的深刻影响。
From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bracket.
In this paper we introduce the Cheeger-Simons cohomology of a global quotient orbifold. We prove that the Cheeger-Simons cohomology of the orbifold is isomorphic to its Beilinson-Deligne cohomology. Furthermore we construct a string connection (à la Segal) from a global gerbe with connection over the loop orbifold, refining the corresponding differential character.
The cohomology of the pure string motion group PSigma_n admits a natural action by the hyperoctahedral group W_n. Church and Farb conjectured that for each k > 0, the sequence of degree k rational cohomology groups of PSigma_n is uniformly representation stable with respect to the induced action by W_n, that is, the description of the groups' decompositions into irreducible W_n representations stabilizes for n >> k. We use a characterization of the cohomology groups given by Jensen, McCammond, and Meier to prove this conjecture. Using a transfer argument, we further deduce that the rational co…
We study the mod-2 cohomology spectral sequence arising from delooping the Bousfield-Kan cosimplicial space giving the 2-nilpotent completion of a connective spectrum $X$. Under good conditions its $E_{2}$-term is computable as certain non-abelian derived functors evaluated at $H^*(X)$ as a module over the Steenrod algebra, and it converges to the cohomology of $Ω^\infty X$. We provide general methods for computing the $E_{2}$-term, including the construction of a multiplicative spectral sequence of Serre type for cofibration sequences of simplicial commutative algebras. Some simple examples a…
The purpose of this paper is to examine the calculational consequences of the duality for BPR<n> proved by the first author and Meier in 1607.02332, making them explicit in the special case n=3. We give an explicit description of the behaviour of the spectral sequence, with pictures.
In this paper the Serre spectral sequence of Moerdijk and Svensson is extended from Bredon cohomology to RO(G)-graded cohomology for finite groups G. Special attention is paid to the case G=Z/2 where the spectral sequence is used to compute the cohomology of certain projective bundles and loop spaces.
We calculate the integral cohomology ring structure for various members of the Bianchi group family. The main tools we use are the Bockstein spectral sequence and a long exact sequence derived from Bass-Serre theory.
The notions of deleted and restricted arrangements have been useful in the study of arrangements of hyperplanes. If A is an arrangement of hyperplanes, x in A and A', A'' the deleted and restricted arrangements, there is a formula connecting the Poincare polynomials of the complement spaces M(A), M(A') and M(A''). In this paper, we consider the extension of this formula to arbitrary subspaces arrangements. The main result is the existence of a long exact sequence connecting the rational cohomology of M(A), M(A') and M(A''). Using this sequence, we obtain new results connecting the Betti number…
The Curtis-Wellington spectral sequence through cohomology
本文通过上同调方法研究 Curtis-Wellington 谱序列，发现宽度过滤的子商为 Dickson 代数的简单商，并计算了宽度谱序列中的塔，推测 $J$ 的像可被最低过滤精确捕获。
In the presence of background Neveu-Schwarz flux, the description of the Ramond-Ramond fields of type IIB string theory using twisted K-theory is not compatible with S-duality. We argue that other possible variants of twisted K-theory would still not resolve this issue. We propose instead a possible path to a solution using elliptic cohomology. We also discuss T-duality relation of this to a previous proposal for IIA theory, and higher-dimensional limits. In the process, we obtain some other results which may be interesting on their own. In particular, we prove a conjecture of Witten that the …
Configuration space integrals have in recent years been used for studying the cohomology of spaces of (string) knots and links in $\mathbb{R}^n$ for $n>3$ since they provide a map from a certain differential algebra of diagrams to the deRham complex of differential forms on the spaces of knots and links. We refine this construction so that it now applies to the space of homotopy string links -- the space of smooth maps of some number of copies of $\mathbb{R}$ in $\mathbb{R}^n$ with fixed behavior outside a compact set and such that the images of the copies of $\R$ are disjoint -- even for $n=3…
This thesis consists of two main parts. In the second part, we recall how a description of local coefficients that Eilenberg introduced in the 1940s leads to spectral sequences for the computation of homology and cohomology with local coefficients. We then show how to construct new equivariant analogues of these spectral sequences for RO(G)-graded Bredon homology and cohomology. Finally, we use these spectral sequences to complete a sample calculation, in which we use the equivariant Serre spectral sequence and the equivariant cohomology of complex projective spaces to compute the cohomology o…
An open-closed string analogue of Hochschild cohomology
本文证明开闭同伦代数可自然产生具有Gerstenhaber代数结构的开闭Hochschild上链复形，并发展开闭括号关系及扩展其微分的A-infinity结构。
Let X be a "nice" space with an action of a torus T. We consider the Atiyah-Bredon sequence of equivariant cohomology modules arising from the filtration of X by orbit dimension. We show that a front piece of this sequence is exact if and only if the H^*(BT)-module H_T^*(X) is a certain syzygy. Moreover, we express the cohomology of that sequence as an Ext module involving a suitably defined equivariant homology of X. One consequence is that the GKM method for computing equivariant cohomology applies to a Poincare duality space if and only if the equivariant Poincare pairing is perfect.
A Perverse Sheaf Approach Toward a Cohomology Theory for String Theory
本文提出一种自对偶的 perverse sheaf S_0，其上同调满足 T. Hubsch 在 hep-th/9612075 中提出的弦理论要求，基于 MacPherson-Vilonen 技术，并讨论其与弦理论的关系。
We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.
We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the int…
The Serre spectral sequence in bounded cohomology
本文构造了有界上同调中的Serre谱序列，推广了Gromov映射定理，并给出了流形丛单纯体积的部分结果。
We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.
The aim of this paper is to construct and examine three candidates for local-to-global spectral sequences for the cohomology of diagrams of algebras with directed indexing. In each case, the $E^2$ -terms can be viewed as a type of local cohomology relative to a map or an object in the diagram.
Let $S$ denote the graded polynomial ring $\C[x_1,...,x_m]$. We interpret a chain complex of free $S$-modules having finite length homology modules as an $S^1$-equivariant map $\C^m\sm\{0\} \to X$, where $X$ is a moduli space of exact sequences. By computing the cohomology of such spaces $X$ we obtain obstructions to such maps, including a slight generalization of the Herzog-Kühl equations.
We construct spectral sequences in the framework of Baues-Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical cohomology and homology theories including Hochschild-Mitchell cohomology and those studied before by Watts, Roos, Quillen and others.
A spectral sequence for the computation of the Hochschild cohomology of a coconnective dga over a field is presented. This spectral sequence has a similar flavour to the spectral sequence constructed by Cohen, Jones and Yan for the computation of the loop homology of a closed orientable manifold. Using this spectral sequence we identify a class of spaces for which the Hochschild cohomology of their mod-p cochain algebra is Noetherian. This implies, among other things, that for such a space the derived category of mod-p chains on its loop-space carries a theory of support varieties.
Given a differential graded (dg) symmetric Frobenius algebra $A$ we construct an unbounded complex $\mathcal{D}^{*}(A,A)$, called the Tate-Hochschild complex, which arises as a totalization of a double complex having Hochschild chains as negative columns and Hochschild cochains as non-negative columns. We prove that the complex $\mathcal{D}^*(A,A)$ computes the singular Hochschild cohomology of $A$. We construct a cyclic (or Calabi-Yau) $A$-infinity algebra structure, which extends the classical Hochschild cup and cap products, and an $L$-infinity algebra structure extending the classical Gers…
We show that in the category of complex algebraic varieties, the Eilenberg--Moore spectral sequence can be endowed with a weight filtration. This implies that it degenerates if all involved spaces have pure cohomology. As application, we compute the rational cohomology of an algebraic $G$-variety $X$ ($G$ being a connected algebraic group) in terms of its equivariant cohomology provided that $H_G(X)$ is pure. This is the case, for example, if $X$ is smooth and has only finitely many orbits. We work in the category of mixed sheaves; therefore our results apply equally to (equivariant) intersect…
We consider spectral sequences in smooth generalized cohomology theories, including differential generalized cohomology theories. The main differential spectral sequences will be of the Atiyah-Hirzebruch (AHSS) type, where we provide a filtration by the Cech resolution of smooth manifolds. This allows for systematic study of torsion in differential cohomology. We apply this in detail to smooth Deligne cohomology, differential topological complex K-theory, and to a smooth extension of integral Morava K-theory that we introduce. In each case we explicitly identify the differentials in the corres…
A Spectral Sequence for locally free isometric Lie group actions
该研究提出适用于自由等距李代数及局部自由等距李群作用的谱序列，关联流形德拉姆上同调、李代数上同调与基本上同调，还引入新的德拉姆上同调描述，并将Wang长正合序列推广到低余维李代数作用。
In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-connections. We show that all these structures can be encoded in terms of nonabelian cohomology, twisted nonabelian cohomology, and differential twisted nonabelian cohomology, extending the differential ge…
Using basic homotopy constructions, we show that isomorphism classes of string structures on spin bundles are naturally given by certain degree 3 cohomology classes, which we call string classes, on the total space of the bundle. Using a Hodge isomorphism, we then show that the harmonic representative of a string class gives rise to a canonical 3-form on the base space, refining the associated differential character. We explicitly calculate this 3-form for homogeneous metrics on 3-spheres, and we discuss how the cohomology theory tmf could potentially encode obstructions to positive Ricci curv…
Extending constructions by Gabriel and Zisman, we develop a functorial framework for the cohomology and homology of simplicial sets with very general coefficient systems given by functors on simplex categories into abelian categories. Furthermore we construct Leray type spectral sequences for any map of simplicial sets. We also show that these constructions generalise and unify the various existing versions of cohomology and homology of small categories and as a bonus provide new insight into their functoriality.
A spectral sequence for tangent cohomology of algebras over algebraic operads
本文提出了一种用于计算代数上操作符切余同调的谱序列，该序列可应用于拓扑空间的有理Adams-Hilton构造，并揭示了Serre谱序列的代数描述及其收敛性。
We consider compactifications of type II string theory in which a d-dimensional torus is fibered over a base X. In string theory, the transition functions of this fibration need not be simply diffeomorphisms of T^d but can involve elements of the T-duality group Spin(d,d,Z). We precisely define the notion of a T-fold with NSNS flux. Given such a T-fold, we define the Z_2-graded cohomology theory describing the unquantized RR field strengths and discuss how the data of a T-fold can be interpreted in terms of generalized NSNS fluxes and the twisted differential of Shelton-Taylor-Wecht.
A Serre-type spectral sequence for motivic cohomology
本文构造了动机构上同调的Serre型谱序列，并将其应用于射影一般线性群Nisnevich分类空间的动机构上同调计算，从而给出Severi-Brauer簇动机的显式描述。
We define Symplectic cohomology groups for a class of symplectic fibrations with closed symplectic base and convex at infinity fiber. The crucial geometric assumption on the fibration is a negativity property reminiscent of negative curvature in complex vector bundles. When the base is symplectically aspherical we construct a spectral sequence of Leray-Serre type converging to the Symplectic cohomology groups of the total space, and we use it to prove new cases of the Weinstein conjecture.
We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott's spectral sequence which converges to the cohomology of the classifying space of a Lie group.
This paper, in a sense, completes a series of three papers. In the previous two hep-th/0404013, hep-th/0410293, we have explored the possibility of refining the K-theory partition function in type II string theories using elliptic cohomology. In the present paper, we make that more concrete by defining a fully quantized free field theory based on elliptic cohomology of 10-dimensional spacetime. Moreover, we describe a concrete scenario how this is related to compactification of F-theory on an elliptic curve leading to IIA and IIB theories. We propose an interpretation of the elliptic curve in …
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.
In [J. of Alg. 369: 70-95, 2012], the authors constructed a seven term exact sequence in the cohomology of a group extension G of a normal subgroup N by a quotient group Q with coefficients in a G-module M. However, they were unable to establish the precise link between the maps in that sequence and the corresponding maps arising from the spectral sequence associated to the group extension and the G-module M. In this paper, we show that there is a close connection between [J. of Alg. 369: 70-95, 2012] and our two earlier papers [J. of Alg. 72: 296-334, 1981] and [J. Reine Angew. Math. 321: 150…
We introduce characteristic classes for the spectral sequence associated to a split short exact sequence of Hopf algebras. We show that these characteristic classes can be seen as obstructions for the vanishing of differentials in the spectral sequence and prove a decomposition theorem. We also interpret our results in the settings of group and Lie algebra extensions and prove some interesting corollaries concerning the collapse of the (Lyndon-)Hochschild-Serre spectral sequence and the order of characteristic classes.
For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.
Let $G$ be a smooth connected reductive group over a field $k$ and $Γ$ be a central subgroup of $G$. We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/Γ)$. As an application, building upon work of Toda and using Totaro's inequality, we show that for all $m\geq 0$ the Hodge and de Rham cohomology algebras of the classifying stacks $B\mathrm{PGL}_{4m+2}$ and $B\mathrm{PSO}_{4m+2}$ over $\mathbb{F}_2$ are isomorphic to the singular $\mathbb{F}_2$-cohomology of the classifying space of the corresponding Lie group. From this we obtain a full…
For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over $\mathbb{F}\_2$, such isomorphism of Batalin-Vilkovisky algebrasdoes not hold when $G=SO(3)$ or $G=G\_2$.
In order to study the Hochschild cohomology of triangular algebras $\mathcal T$, we construct a spectral sequence, whose terms are parametrized by the length of the trajectories of the quiver associated with $\mathcal T$, and which converges to $HH^*(\mathcal T)$. We explicit its components, and its differentials which are sums of cup products. In case $n=3$, we study some properties of the differential at level 2. Finally, we apply these results to the paths algebra of a quiver without oriented cycles, and link them with previous results on the incidence algebra of a simplicial complex, and m…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。