Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0706.0626

Covering Homology

Morten Brun·Gunnar Carlsson·Bjorn Ian Dundas
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology. Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bokstedt, Hsiang and Madsen's construction of topological cyclic homology. Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and the hope is that the rich structure, and the calculability of covering homology will make covering homology useful in the exploration of J. Rognes' ``red shift conjecture''.

Explore related subjects

math.ATmath.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Morten Brun, Gunnar Carlsson, Bjorn Ian Dundas. 2008-02-08. Covering Homology. https://arxiv.org/abs/0706.0626

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Pontryagin-Thom, $π_0$ of the motivic sphere, and principal quadratic divisors

Segal computed $π_0$ of the equivariant sphere spectrum as the Burnside ring by a Pontryagin-Thom construction, transversality, and marks. We carry out the same argument in the motivic setting over a field $k$: the Burnside ring is replaced by the Grothendieck ring $A^u(Γ_k)$ of finite étale $k$-schemes decorated with a unit, the marks by the Dress map $d(L,u)=\mathrm{tr}_{L/k}\langle u\rangle$ into $\mathrm{GW}(k)$, and a Pontryagin-Thom map $A^u(Γ_k)\toπ_0(\mathbb{S}_k)(k)$ is shown to be surjective with kernel $\ker(d)$. This gives $π_0(\mathbb{S}_k)(k)\cong\mathrm{GW}(k)$ for infinite perfect fields of characteristic $\ne 2$ without Morel's computation. We then identify $\ker(d)$, by a reciprocity law on $\mathbb{P}^1$, as the group of principal quadratic divisors of rational functions, so that $π_0$ of the motivic sphere is the unit-decorated Burnside ring of $Γ_k$ modulo principal quadratic divisors. The transversality step is proved by an elementary "re-topping" argument.

math.AT↗
arXiv2026

Day Convolution and Homotopy Groups on the Pointed Homotopy Category of CW Complexes

We freely enrich the pointed homotopy category of CW complexes over abelian groups and equip the resulting functor category with the enriched Day convolution induced by the smash product. After identifying the convolution unit and recording the coherence maps, we compute the convolution of the homotopy-group functors. For integers $n,m\geq 2$ we construct a natural isomorphism $π_n\starπ_m\congπ_{n+m}$ induced by the external smash product; equivalently, the external smash product is the universal natural pairing of homotopy groups. Under this identification, the symmetry interchanging the two factors acts on $π_{n+m}$ by multiplication by $(-1)^{nm}$.

math.AT↗
arXiv2026

Nielsen coincidence theory for $(n,m)$-valued pairs

We define a Nielsen coincidence number for pairs of maps $(f,g)$ where $f$ is $n$-valued and $g$ is $m$-valued. The classical definition of the Nielsen number does not work in this setting, but we propose a theory where coincidence classes are allowed to overlap. We invoke a notion of multiplicity of a coincidence point, which indicates to how many classes it can belong, and we show that our Nielsen number is a homotopy-invariant lower bound for the number of coincidence points with multiplicity. We show a computational result in terms of single-valued lift factors, and using this, a Wecken property for self-maps of the circle.

math.AT↗