Searcharxiv⌕ Search

arXiv subjects

Bjørn Ian Dundas

Publications and source records attributed to Bjørn Ian Dundas.

14 recordsLinked to original sources
arXiv2026

Motivic Hochschild homology of mod 2 motivic cohomology over algebraically closed fields

We compute the tensor of the multiplicative group scheme with the mod-$2$ motivic cohomology spectrum in normed motivic spectra over the complex numbers, and find that the resulting algebra is free on a generator in bidegree (2,1). This gives a motivic analog of Bökstedt periodicity. The proof proceeds by comparing the tau-inverted and tau-reduced forms of the tensor. After inverting tau, the calculation reduces to classical B{ö}kstedt periodicity via Betti realization. The reduction modulo tau is governed by a comparison between normed algebra structures and derived algebra structures on cellular modules over motivic cohomology mod tau. This comparison produces divided power operations and leads to mixed Cartan and Adem relations intertwining normed and topological power operations. A key input is a detailed analysis of motivic extended powers of spheres and their tau-torsion structure. In contrast with the corresponding simplicial-circle calculation due to Dundas-Hill-Ormsby-Østvær, the large families of tau-torsion classes disappear for the Gm-tensor, leaving a considerably more rigid algebraic structure.

math.AG↗
arXiv2022

The Multiplicative Structures on Motivic Homotopy Groups

We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note.

math.AG↗
arXiv2022

Applications of topological cyclic homology to algebraic K-theory

Algebraic K-theory has applications in a broad range of mathematical subjects, from number theory to functional analysis. It is also fiendishly hard to calculate. Presently there are two main inroads: motivic and cyclic homology. I've been asked to present an overview of the applications of topological cyclic homology to algebraic K-theory "from a historical perspective". The timeline spans from the very early days of algebraic K-theory to the present, starting with ideas in the seventies around the "tangent space" of algebraic K-theory all the way to the current state of affair where we see a resurgence in structural theorems, calculations and a realization that variants of cyclic homology have important things to say beyond the moorings to K-theory. Comments, especially with respect to historical accuracy or missing recent contributions, are very welcome

math.KT↗
arXiv2022

Equivariant Structure on Smash Powers

We provide foundations for dealing with the equivariant structure of "smash powers" of commutative orthogonal ring spectra. The category of commutative orthogonal ring spectra $A$ is tensored over spaces $X$, so that $A \otimes X$ is a commutative orthogonal ring spectrum. If $X$ is a discrete space, this is literally the smash power of $A$ with itself indexed over $X$, and we keep this language also in the nondiscrete case. In particular $A \otimes S^1$ is a model for topological Hochschild homology. We provide a framework where a generalization of the cyclotomic structure of topological Hochschild homology is visible in a categorical framework, also for more general $G$ and $X$. Similar situations have been studied by others, e.g., in Hill, Hopkins and Ravenel's treatment of the norm construction and Brun, Carlsson, Dundas' covering homology. In the case of non-commutative $A$ and $X=S^1$, the situation is somewhat easier and has already been covered by Kro. We are motivated by applications to $G$ being a torus in order to study the iterated algebraic $K$-theory, and have to develop a categorical theory that in some ways goes beyond what has been done before. Most of the material appeared in the last author's thesis which was defended in 2011. We apologize for the delay.

math.AT↗
arXiv2022

Hochschild homology of mod-$p$ motivic cohomology over algebraically closed fields

We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields.

math.AG↗
arXiv2021

On higher topological Hochschild homology of rings of integers

We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of Bökstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.

math.AT↗
arXiv2020

Towards an understanding of ramified extensions of structured ring spectra

We propose topological Hochschild homology as a tool for measuring ramification of maps of structured ring spectra. We determine second order topological Hochschild homology of the $p$-local integers. For the tamely ramified extension of the map from the connective Adams summand to $p$-local complex topological K-theory we determine the relative topological Hochschild homology and show that it detects the tame ramification of this extension. We also determine relative topological Hochschild homology for the complexification map from connective real to complex topological K-theory and for some quotient maps with commutative quotients.

math.AT↗
arXiv2016

Higher Hochschild homology is not a stable invariant

Higher Hochschild homology is the analog of the homology of spaces, where the context for the coefficients -- which usually is that of abelian groups -- is that of commutative algebras. Two spaces that are equivalent after a suspension have the same homology. We show that this is not the case for higher Hochschild homology, providing a counterexample to a behavior so far observed in stable homotopy theory.

math.KT↗
arXiv2014

Finite generation and continuity of topological Hochschild and cyclic homology

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra $TR^r$, are finitely generated modules. We use this to establish the continuity of these homology theories for any given ideal. A consequence of such continuity results is the pro Hochschild-Kostant-Rosenberg theorem for topological Hochschild and cyclic homology. Finally, we show more generally that the aforementioned finite generation and continuity properties remain true for any proper scheme over such a ring.

math.KT↗
arXiv2010

Integral Excision for K-Theory

If A is a homotopy cartesian square of ring spectra satisfying connectivity hypotheses, then the cube induced by Goodwillie's integral cyclotomic trace from K(A) to TC(A) is homotopy cartesian. In other words, the homotopy fiber of the cyclotomic trace satisfies excision. The method of proof gives as a spin-off new proofs of some old results, as well as some new results, about periodic cyclic homology, and - more relevantly for our current application - the T-Tate spectrum of topological Hochschild homology, where T is the circle group

math.AT↗
arXiv2008

Higher topological cyclic homology and the Segal conjecture for tori

We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory. The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology. We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus.

math.AT↗
arXiv2007

Excision for K-theory of connective ring spectra

We extend Geisser and Hesselholt's result on ``bi-relative K-theory'' from discrete rings to connective ring spectra. That is, if $\mathcal A$ is a homotopy cartesian $n$-cube of ring spectra (satisfying connectivity hypotheses), then the $(n+1)$-cube induced by the cyclotomic trace $$K(\mathcal A)\to TC(\mathcal A)$$ is homotopy cartesian after profinite completion. In other words, the fiber of the profinitely completed cyclotomic trace satisfies excision.

math.KT↗
arXiv2003

Two-vector bundles and forms of elliptic cohomology

In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic K-theory spectrum K(ku) of the connective topological K-theory spectrum ku. We explain how K(ku) detects v_2-periodic phenomena in stable homotopy theory, and as such is a form of elliptic cohomology.

math.AT↗