Marcel Bokstedt, Iver Ottosen
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
The integral cohomology ring of the complement of an arrangement of linear subspaces of a finite dimensional complex projective space is determined by combinatorial data, i.e. the intersection poset and the dimension function.
In this paper we prove, that none of the three combinatorial 8- manifolds on 15 vertices constructed by Brehm and Kuhnel, each of which is a cohomology quaternionic projective plane, can be combinatorially embedded in the Euclidean 12-space, though they have tight polyhedral embeddings in Euclidean 14-space. This extends a similar method already known for the nonembeddings of real and complex projective planes.
The cohomology of projective unitary groups
本文通过显式构造生成元计算射影酉群PU(n)的整数上同调环，揭示其结构特性。
We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside ring Mackey functor. This extension of the $RO(C_2)$-graded theory allows for the definition of Euler classes, which are used as generators of the cohomology of the projective spaces. As an application, we give an equivariant version of Bezout's theorem.
We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with simple and twisted coefficients---of the dihedral group of order 8 (in the case of unordered configurations) and the elementary abelian 2-group of rank 2 (in the case of ordered configurations). As an application, we complete the computation of the symmetric topological complexity of real projective spaces of dimension 2^i + d for d=0,1,2.
Kitchloo and Wilson have used the homotopy fixed points spectrum ER(2) of the classical complex-oriented Johnson-Wilson spectrum E(2) to deduce certain non-immmersion results for real projective spaces. ER(n) is a $2^{n+2}(2^n-1)$-periodic spectrum. The key result to use is the existence of a stable cofibration $Σ^{λ(n)}ER(n) \rightarrow ER(n) \rightarrow E(n)$ connecting the real Johnson-Wilson spectrum with the classical one. The value of $λ(n)$ is $2^{2n+1}-2^{n+2}+1$. We extend Kitchloo-Wilson's results on non-immersions of real projective spaces by computing the second real Johnson-Wilson…
Let R be a commutative ring containing 1/2. We compute the R-cohomology ring of the configuration space F(m,k) of k ordered points in the m-dimensional real projective space. The method uses the observation that the orbit configuration space of k ordered points in the m-dimensional sphere (with respect to the antipodal action) is a 2^k-fold covering of F(m,k). This implies that, for odd m, the Leray spectral sequence for the inclusion of F(m,k) in the k-fold Cartesian self power of the m-dimensional real projective space collapses after its first non-trivial differential, just as it does when …
Cohomology algebra of orbit spaces of free involutions on the product of projective space and 4-sphere
研究具有射影空间与4-球面乘积模2上同调的有限型空间在自由对合下的商空间上同调代数，并推导等变映射存在性结论。
We use Brown-Peterson cohomology to obtain lower bounds for the higher topological complexity, TC_k(RP^n), of real projective spaces, which are often much stronger than those implied by ordinary mod-2 cohomology.
Chen and Ruan [6] defined a very interesting cohomology theory for orbifolds, which is now called Chen-Ruan cohomology. The primary objective of this paper is to compute the Chen-Ruan cohomology rings of the weighted projective spaces, a class of important spaces in physics. The classical tools (Chen-Ruan cohomology, toric varieties, the localization technique) which have been proved to be successful are used to study the orbifold cohomology of weighted projective spaces. Given a weighted projective space ${\bf P}^{n}_{q_{0}, >..., q_{n}}$, we determine all of its twisted sectors and the corre…
We compute the integral cohomology ring of configuration spaces of two points on a given real projective space. Apart from an integral class, the resulting ring is a quotient of the known integral cohomology of the dihedral group of order 8 (in the case of unordered configurations, thus has only 2- and 4-torsion) or of the elementary abelian 2-group of rank 2 (in the case of ordered configurations, thus has only 2-torsion). As an application, we complete the computation of the symmetric topological complexity of real projective spaces of dimensions of the form 2^i+j for non-negative i and j wi…
Equivariant Cohomology of Projective Spaces
本文计算了射影空间在整数系数下的等变同调与上同调，证明循环群情形下其胞腔滤过给出谱的楔和分裂，并推广到四元数情形、复共轭作用及素数幂阶群，进而描述 $S^1$ 和 $S^3$ 分类空间的等变同调与上同调。
We describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.
We compute the Betti numbers and describe the cohomology algebras of the ordered and unordered configuration spaces of three points in complex projective spaces, including the infinite dimensional case. We also compute these invariants for the configuration spaces of three collinear and non-collinear points.
This paper gives the cohomology classification of finitistic spaces X equipped with free actions of the group G = S3 and the orbit space X/G is the integral or mod 2 cohomology quaternion projective space HPn. We have proved that X is the integral or mod 2 cohomology (4n+3)-sphere or the product of 3-sphere and quaternion projective space HPn. Similar results for G = S1 actions are also discussed.
The Real-oriented cohomology of infinite stunted projective spaces
本文计算无限截断射影谱的ER-上同调，揭示其与实谱的余纤维关系，并用于计算Mahowald不变量。
Let $Λ(\mathbb{C}P^n)$ denote the free loop space of the complex projective space $\mathbb{C}P^n$, i. e. $\mathbb{C}P^n$ is the projective space of the vector space $\mathbb{C}^{n+1}$ of dimension $n+1$ over the complex numbers $\mathbb{C}$ and $Λ(\mathbb{C}P^n)$ is the function space $\mathrm{map}(S^1,\mathbb{C}P^n)$ of unbased maps from a circle $S^1$ into $\mathbb{C}P^n$ topologized with the compact open topology. In this note we show that despite the fact that the natural fibration $Ω(\mathbb{C}P^n)\hookrightarrow Λ(\mathbb{C}P^n)\stackrel{eval}{\longrightarrow}\mathbb{C}P^n$ has a cross s…
For the model two-complex $K$ of the group presentation $\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle$, with $k\geq1$ odd, we describe representatives for all free and based homotopy classes of maps from $K$ into the real projective plane and we classify the homotopy classes containing only surjective maps. With this approach we get an answer, for maps into the real projective plane, for a classical question in topological root theory, which is known so far, in dimension two, only for maps into the sphere, the torus and the Klein bottle. The answer follows by proving that for all $k\geq1$ od…
A torus manifold is a closed smooth manifold of dimension $2n$ having an effective smooth $T^n = (S^1)^n$-action with non-empty fixed points. Petrie \cite{petrie:1973} has shown that any homotopy equivalence between a complex projective space $\CP^n$ and a torus manifold homotopy equivalent to $\CP^n$ preserves their Pontrjagin classes. A \emph{generalized Bott manifold} is a closed smooth manifold obtained as the total space of an iterated complex projective space bundles over a point, where each fibration is a projectivization of the Whitney sum of a finite many complex line bundles. For ins…
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.
Čech cohomology of infinite projective spaces, flag manifolds, and related spaces
本文通过计算无限射影空间和旗 manifold 的 Čech 上同调环，揭示了可数无限产品空间的上同调结构。
Finitistic Spaces with Orbit Space a Product of Projective Spaces
该文研究Z₂自由作用下有限型空间与其轨道空间模2上同调的逆问题，证明了轨道空间为两类射影空间乘积时原空间的上同调结构，并给出射影空间乘积上自由对合的部分逆结论。
Let $X$ be a finitistic space having the mod 2 cohomology algebra of the product of two projective spaces. We study free involutions on $X$ and determine the possible mod 2 cohomology algebra of orbit space of any free involution, using the Leray spectral sequence associated to the Borel fibration $X \hookrightarrow X_{\mathbb{Z}_2} \longrightarrow B_{\mathbb{Z}_2}$. We also give an application of our result to show that if $X$ has the mod 2 cohomology algebra of the product of two real projective spaces (respectively complex projective spaces), then there does not exist any $\mathbb{Z}_2$-equ…
For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and Grassmannians with the standard antiholomorphic involution (with real projective spaces and Grassmannians as fixed point sets). Hausmann, Holm and Puppe have put this observation in the framework of equivariant cohomology, and come up with the concept of "conjugation spaces", where the ring homomorphisms arise naturally from the existence of what they call "cohomology…
We present in this paper a framework which leverages the underlying topology of a data set, in order to produce appropriate coordinate representations. In particular, we show how to construct maps to real and complex projective spaces, given appropriate persistent cohomology classes. An initial map is obtained in two steps: First, the persistent cohomology of a sparse filtration is used to compute systems of transition functions for (real and complex) line bundles over neighborhoods of the data. Next, the transition functions are used to produce explicit classifying maps for the induced bundle…
We study the mod p cohomology of the classifying space of the projective unitary group PU(p). We first proof that old conjectures due to J.F. Adams, and Kono and Yagita about the structure of the mod p cohomology of classifying space of connected compact Lie groups held in the case of PU(p). Finally, we proof that the classifying space of the projective unitary group PU(p) is determined by its mod p cohomology as an unstable algebra over the Steenrod algebra for p>3, completing previous works for the cases p=2,3.
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.
We study a spectral sequence that computes the (mod 2) S^1-equivariant homology of the free loop space LM of a manifold M (the "string homology" of M). Using it and knowledge of the string topology operations on the homology of LM, we compute the string homology of M when M is a sphere or a projective space.
Let $\mathbf{B}PU_{n}$ be the classifying space of $PU_n$, the projective unitary group of order $n$, for $n>1$. We use the Serre spectral sequence associated to a fiber sequence $\mathbf{B}U_n\rightarrow\mathbf{B}PU_n\rightarrow K(\mathbb{Z},3)$ to determine the ring structure of $H^{*}(\mathbf{B}PU_{n}; \mathbb{Z})$ up to degree $10$, as well as a family of distinguished elements of $H^{2p+2}(\mathbf{B}PU_{n}; \mathbb{Z})$, for each prime divisor $p$ of $n$. We also study the primitive elements of $H^*(\mathbf{B}U_n;\mathbb{Z})$ as a comodule over $H^*(K(\mathbb{Z},2);\mathbb{Z})$, where the…
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
Cohomology of hypersurfaces of weighted projective space and the intersection form on $H^2$
本文通过计算加权射影空间超曲面的第二上同调相交形式并描述低次整系数上同调群，为识别奇异 Fano 簇光滑化得到的 Fano 流形提供了显式工具。
We obtain a new proof, using integral cohomology and group actions, of an old embedding theorem for real projective spaces.
Let $t$ be a positive integer. Following work of D. M. Davis, we study the topology of complex-projective product spaces, i.e. quotients of cartesian products of odd dimensional spheres by the diagonal $S^1$-action, and of the $t$-torsion lens product spaces, i.e. the corresponding quotients when the action is restricted to the $t^{\mathrm{th}}$ roots of unity. For a commutative complex-oriented cohomology theory $h^*$, we determine the $h^*$-cohomology ring of these spaces (in terms of the $t$-series for $h^*$, in the case of $t$-torsion lens product spaces). When $h^*$ is singular cohomology…
This paper is concerned with the primitive cohomology of a smooth projective hypersurface considered as a linear representation for its automorphism group. Using the Lefschetz-Riemann-Roch formula, the character of this representation is described on each piece of the Hodge decomposition. A consequence about the existence of smooth symmetric hypersurfaces that are stable under the standard irreducible permutation representation of the symmetric group on homogeneous coordinates is drawn.
Borel-Hirzebruch type formula for the graph equivariant cohomology of a projective bundle over a GKM-graph
本文定义GKM理论中的腿丛及其射影化，证明射影化图等变上同调的Borel-Hirzebruch型公式，并说明其可实现Guillemin-Sabatini-Zara意义下的射影GKM纤维丛。
We compute the integral torus-equivariant cohomology ring for weighted projective space for two different torus actions by embedding the cohomology in a sum of polynomial rings $\oplus_{i=0}^n \Z[t_1, t_2,..., t_n]$. One torus action gives a result complementing that of Bahri, Franz, and Ray. For the other torus action, each basis class for weighted projective space is a multiple of the basis class for ordinary projective space; we identify each multiple explicitly. We also give a simple formula for the structure constants of the equivariant cohomology ring of ordinary projective space in term…
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.
Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula expressing any multiplicative characteristic class evaluated on the Hilb X in terms of the standard Fock space description of the cohomology of the Hilb X. As a side result, we also deduce a formula for the Chern character of the tangent bundles of the Hilb X. The results found here are another step towards a complete description of the tangent bundle of the Hilber…
We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinatorics of the underlying arrangement and the ambient dimension. We also study the LS category and topological complexity of the boundary manifold, as well as the resonance varieties of its cohomology rin…
The present paper describes a relation between the quotient of the fundamental group of a smooth quasi-projective variety by its second commutator and the existence of maps to orbifold curves. It extends previously studied cases when the target was a smooth curve. In the case when the quasi-projective variety is a complement to a plane algebraic curve this provides new relations between the fundamental group, the equation of the curve, and the existence of polynomial solutions to certain equations generalizing Pell's equation. These relations are formulated in terms of the depth which is an in…
The mapping class group $Γ^k(N_g)$ of a non-orientable surface with punctures is studied via classical homotopy theory of configuration spaces. In particular, we obtain a non-orientable version of the Birman exact sequence. In the case of $\mathbb R {\rm P}^2$, we analize the Serre spectral sequence of a fiber bundle $F_k(\mathbb R {\rm P}^2)/Σ_k \to X_k \to BSO(3)$ where $X_k$ is a $K(Γ^k(\mathbb R {\rm P}^2),1)$ and $F_k(\mathbb R {\rm P}^2)/Σ_k$ denotes the configuration space of unordered $k$-tuples of distinct points in $\mathbb R {\rm P}^2$. As a consequence, we express the mod-2 cohomol…
Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither on the schemes nor on the morphism. We also prove, without projective assumptions, an arithmetic Riemann-Roch theorem involving Arakelov's higher $K$-theory and motivic cohomology as well as an analogue result for the relative cohomology of a morphism. These results are obtained as corollaries of a motivic statement that is valid for morphisms between oriente…
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 …
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.
We compute the rational cohomology of the moduli space of non-singular complex projective curves of genus 3 with two marked points.
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…
An open-closed string analogue of Hochschild cohomology
本文证明开闭同伦代数可自然产生具有Gerstenhaber代数结构的开闭Hochschild上链复形，并发展开闭括号关系及扩展其微分的A-infinity结构。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。