-
Chromatic congruences and Bernoulli numbers
Authors:
Irakli Patchkoria
Abstract:
For every natural number $n$ and a fixed prime $p$, we prove a new congruence for the orbifold Euler characteristic of a group. The $p$-adic limit of these congruences as $n$ tends to infinity recovers the Brown-Quillen congruence. We apply these results to map** class groups and using the Harer-Zagier formula we obtain a family of congruences for Bernoulli numbers. We show that these congruence…
▽ More
For every natural number $n$ and a fixed prime $p$, we prove a new congruence for the orbifold Euler characteristic of a group. The $p$-adic limit of these congruences as $n$ tends to infinity recovers the Brown-Quillen congruence. We apply these results to map** class groups and using the Harer-Zagier formula we obtain a family of congruences for Bernoulli numbers. We show that these congruences in particular recover classical congruences for Bernoulli numbers due to Kummer, Voronoi, Carlitz, and Cohen.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Witt vectors with coefficients and TR
Authors:
Emanuele Dotto,
Achim Krause,
Thomas Nikolaus,
Irakli Patchkoria
Abstract:
We give a new construction of $p$-typical Witt vectors with coefficients in terms of ghost maps and show that this construction is isomorphic to the one defined in terms of formal power series from the authors' previous paper. We show that our construction recovers Kaledin's polynomial Witt vectors in the case of vector spaces over a perfect field of characteristic $p$. We then identify the compon…
▽ More
We give a new construction of $p$-typical Witt vectors with coefficients in terms of ghost maps and show that this construction is isomorphic to the one defined in terms of formal power series from the authors' previous paper. We show that our construction recovers Kaledin's polynomial Witt vectors in the case of vector spaces over a perfect field of characteristic $p$. We then identify the components of the $p$-typical TR with coefficients, originally defined by Lindenstrauss and McCarthy and later reworked by the second and third authors in joint work with McCandless, with the $p$-typical Witt vectors with coefficients. This extends a celebrated result of Hesselholt and Hesselholt-Madsen relating the components of TR with the Witt vectors. As an application, we given an algebraic description of the components of the Hill-Hopkins-Ravenel norm for cyclic $p$-groups in terms of $p$-typical Witt vectors with coefficients.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
On the cyclic homology of certain universal differential graded algebras
Authors:
Christopher Davis,
Julius Frank,
Irakli Patchkoria
Abstract:
Let $p$ be an odd prime and $R$ a $p$-torsion-free commutative $\mathbb{Z}_{(p)}$-algebra. We compute the periodic cyclic homology over $R$ of the universal differential graded algebra $R//p$ which is obtained from $R$ by universally killing $p$. We furthermore compute the cyclic and negative cyclic homologies of $R//p$ over $R$ in infinitely many degrees.
Let $p$ be an odd prime and $R$ a $p$-torsion-free commutative $\mathbb{Z}_{(p)}$-algebra. We compute the periodic cyclic homology over $R$ of the universal differential graded algebra $R//p$ which is obtained from $R$ by universally killing $p$. We furthermore compute the cyclic and negative cyclic homologies of $R//p$ over $R$ in infinitely many degrees.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Comparison of equivariant cohomological dimensions
Authors:
Mark Grant,
Kevin Li,
Ehud Meir,
Irakli Patchkoria
Abstract:
We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We prove and make use of Stallings--Swan type results which characterise the groups of equivariant cohomological dimension one. Some of our examples are relevant t…
▽ More
We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We prove and make use of Stallings--Swan type results which characterise the groups of equivariant cohomological dimension one. Some of our examples are relevant to Farber's problem which asks for an algebraic characterisation of the topological complexity of discrete groups. In particular, the topological complexity of a group is not in general given by a relative cohomological dimension of the product relative to the diagonal subgroup.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Adams spectral sequences and Franke's algebraicity conjecture
Authors:
Irakli Patchkoria,
Piotr Pstrągowski
Abstract:
To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish homotopy-coherent monoidality of the Adams filtration.
To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish homotopy-coherent monoidality of the Adams filtration.
△ Less
Submitted 9 July, 2023; v1 submitted 7 October, 2021;
originally announced October 2021.
-
On the geometric fixed-points of real topological cyclic homology
Authors:
Emanuele Dotto,
Kristian Moi,
Irakli Patchkoria
Abstract:
We give a formula for the geometric fixed-points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to carry out computations in the fundamental examples of spherical group-rings, perfect $\mathbb{F}_p$-algebras, and $2$-torsion free rings with perfect modulo $2$ r…
▽ More
We give a formula for the geometric fixed-points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to carry out computations in the fundamental examples of spherical group-rings, perfect $\mathbb{F}_p$-algebras, and $2$-torsion free rings with perfect modulo $2$ reduction. Our calculations agree with the normal L-theory spectrum in the cases where the latter is known, as conjectured by Nikolaus.
△ Less
Submitted 1 February, 2023; v1 submitted 9 June, 2021;
originally announced June 2021.
-
The spectrum of derived Mackey functors
Authors:
Irakli Patchkoria,
Beren Sanders,
Christian Wimmer
Abstract:
We compute the spectrum of the category of derived Mackey functors (in the sense of Kaledin) for all finite groups. We find that this space captures precisely the top and bottom layers (i.e. the height infinity and height zero parts) of the spectrum of the equivariant stable homotopy category. Due to this truncation of the chromatic information, we are able to obtain a complete description of the…
▽ More
We compute the spectrum of the category of derived Mackey functors (in the sense of Kaledin) for all finite groups. We find that this space captures precisely the top and bottom layers (i.e. the height infinity and height zero parts) of the spectrum of the equivariant stable homotopy category. Due to this truncation of the chromatic information, we are able to obtain a complete description of the spectrum for all finite groups, despite our incomplete knowledge of the topology of the spectrum of the equivariant stable homotopy category. From a different point of view, we show that the spectrum of derived Mackey functors can be understood as the space obtained from the spectrum of the Burnside ring by "ungluing" closed points. In order to compute the spectrum, we provide a new description of Kaledin's category, as the derived category of an equivariant ring spectrum, which may be of independent interest. In fact, we clarify the relationship between several different categories, establishing symmetric monoidal equivalences and comparisons between the constructions of Kaledin, the spectral Mackey functors of Barwick, the ordinary derived category of Mackey functors, and categories of modules over certain equivariant ring spectra. We also illustrate an interesting feature of the ordinary derived category of Mackey functors that distinguishes it from other equivariant categories relating to the behavior of its geometric fixed points.
△ Less
Submitted 13 May, 2021; v1 submitted 5 August, 2020;
originally announced August 2020.
-
On the de Rham-Witt complex over perfectoid rings
Authors:
Christopher Davis,
Irakli Patchkoria
Abstract:
Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence which describes the kernel of the restriction map on the de Rham-Witt complex over $A$, where $A$ is the ring of integers in an algebraic extension of…
▽ More
Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence which describes the kernel of the restriction map on the de Rham-Witt complex over $A$, where $A$ is the ring of integers in an algebraic extension of $\mathbb{Q}_p$, or where $A$ is a $p$-torsion-free perfectoid ring. The second result is a description of the $p$-power torsion (and related objects) in the de Rham-Witt complex over $A$, where $A$ is a $p$-torsion-free perfectoid ring containing a compatible system of $p$-power roots of unity. Both of these results are analogous to results of Hesselholt and Madsen. Our main contribution is the extension of their results to certain perfectoid rings. We also provide algebraic proofs of these results, whereas the proofs of Hesselholt and Madsen used techniques from topology.
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Witt vectors with coefficients and characteristic polynomials over non-commutative rings
Authors:
Emanuele Dotto,
Achim Krause,
Thomas Nikolaus,
Irakli Patchkoria
Abstract:
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that W(R) := W(R;R) is Morita invariant in R.
For an R-linear endomorphism f of a finitely generated projec…
▽ More
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that W(R) := W(R;R) is Morita invariant in R.
For an R-linear endomorphism f of a finitely generated projective R-module we define a characteristic element $χ_f \in W(R)$. This element is a non-commutative analogue of the classical characteristic polynomial and we show that it has similar properties. The assignment $f \mapsto χ_f$ induces an isomorphism between a suitable completion of cyclic K-theory and W(R).
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Equivariant dimensions of groups with operators
Authors:
Mark Grant,
Ehud Meir,
Irakli Patchkoria
Abstract:
Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consi…
▽ More
Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $π$ with ${\sf cat}_G(π)={\sf cd}_G(π)=2$ and ${\sf gd}_G(π)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.
△ Less
Submitted 23 April, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Proper equivariant stable homotopy theory
Authors:
Dieter Degrijse,
Markus Hausmann,
Wolfgang Lück,
Irakli Patchkoria,
Stefan Schwede
Abstract:
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective `genuine' indicates that the theory comes with appropriate transfers and Wirthmüller isomorphisms…
▽ More
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective `genuine' indicates that the theory comes with appropriate transfers and Wirthmüller isomorphisms, and the resulting equivariant cohomology theories support the analog of an $RO(G)$-grading.
Our model for genuine proper $G$-equivariant stable homotopy theory is the category of orthogonal $G$-spectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of $G$. This class of $π_*$-isomorphisms is part of a symmetric monoidal stable model structure and the associated tensor triangulated homotopy category is compactly generated. Every orthogonal $G$-spectrum represents an equivariant cohomology theory on the category of $G$-spaces, depending only on the `proper $G$-homotopy type', tested by fixed points under all compact subgroups.
An important special case are infinite discrete groups. For these, our genuine equivariant theory is related to finiteness properties, in the sense of geometric group theory; for example, the $G$-sphere spectrum is a compact object in the equivariant homotopy category if the universal space for proper $G$-actions has a finite $G$-CW-model. For discrete groups, the represented equivariant cohomology theories on finite proper $G$-CW-complexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by $G$-vector bundles. Via this description, we can identify the previously defined $G$-cohomology theories of equivariant stable cohomotopy and equivariant K-theory as cohomology theories represented by specific orthogonal $G$-spectra.
△ Less
Submitted 14 October, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Witt Vectors, Polynomial Maps, and Real Topological Hochschild Homology
Authors:
Emanuele Dotto,
Kristian Moi,
Irakli Patchkoria
Abstract:
We show that various flavors of Witt vectors are functorial with respect to multiplicative polynomial laws of finite degree. We then deduce that the $p$-typical Witt vectors are functorial in multiplicative polynomial maps of degree at most $p-1$. This extra functoriality allows us to extend the $p$-typical Witt vectors functor from commutative rings to $\mathbb{Z}/2$-Tambara functors, for odd pri…
▽ More
We show that various flavors of Witt vectors are functorial with respect to multiplicative polynomial laws of finite degree. We then deduce that the $p$-typical Witt vectors are functorial in multiplicative polynomial maps of degree at most $p-1$. This extra functoriality allows us to extend the $p$-typical Witt vectors functor from commutative rings to $\mathbb{Z}/2$-Tambara functors, for odd primes $p$. We use these Witt vectors for Tambara functors to describe the components of the dihedral fixed-points of the real topological Hochschild homology spectrum at odd primes.
△ Less
Submitted 16 October, 2020; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Real topological Hochschild homology
Authors:
Emanuele Dotto,
Kristian Moi,
Irakli Patchkoria,
Sune Precht Reeh
Abstract:
This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably multiplicative. We then calculate its geometric fixed points and its Mackey functor of components, and show a decomposition result for group-algebras. Using these structu…
▽ More
This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably multiplicative. We then calculate its geometric fixed points and its Mackey functor of components, and show a decomposition result for group-algebras. Using these structural results we determine the homotopy type of THR($\mathbb{F}_p$) and show that its bigraded homotopy groups are polynomial on one generator over the bigraded homotopy groups of $H\mathbb{F}_p$. We then calculate the homotopy type of THR($\mathbb{Z}$) away from the prime $2$, and the homotopy ring of the geometric fixed-points spectrum $Φ^{\mathbb{Z}/2}$THR($\mathbb{Z}$).
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
Comparing cyclotomic structures on different models for topological Hochschild homology
Authors:
Emanuele Dotto,
Cary Malkiewich,
Irakli Patchkoria,
Steffen Sagave,
Calvin Woo
Abstract:
The topological Hochschild homology $THH(A)$ of an orthogonal ring spectrum $A$ can be defined by evaluating the cyclic bar construction on $A$ or by applying Bökstedt's original definition of $THH$ to $A$. In this paper, we construct a chain of stable equivalences of cyclotomic spectra comparing these two models for $THH(A)$. This implies that the two versions of topological cyclic homology resul…
▽ More
The topological Hochschild homology $THH(A)$ of an orthogonal ring spectrum $A$ can be defined by evaluating the cyclic bar construction on $A$ or by applying Bökstedt's original definition of $THH$ to $A$. In this paper, we construct a chain of stable equivalences of cyclotomic spectra comparing these two models for $THH(A)$. This implies that the two versions of topological cyclic homology resulting from these variants of $THH(A)$ are equivalent.
△ Less
Submitted 31 May, 2019; v1 submitted 25 July, 2017;
originally announced July 2017.
-
Rigidity and exotic models for $v_1$-local $G$-equivariant stable homotopy theory
Authors:
Irakli Patchkoria,
Constanze Roitzheim
Abstract:
We prove that the $v_1$-local $G$-equivariant stable homotopy category for $G$ a finite group has a unique $G$-equivariant model at $p=2$. This means that at the prime $2$ the homotopy theory of $G$-spectra up to fixed point equivalences on $K$-theory is uniquely determined by its triangulated homotopy category and basic Mackey structure. The result combines the rigidity result for $K$-local spect…
▽ More
We prove that the $v_1$-local $G$-equivariant stable homotopy category for $G$ a finite group has a unique $G$-equivariant model at $p=2$. This means that at the prime $2$ the homotopy theory of $G$-spectra up to fixed point equivalences on $K$-theory is uniquely determined by its triangulated homotopy category and basic Mackey structure. The result combines the rigidity result for $K$-local spectra of the second author with the equivariant rigidity result for $G$-spectra of the first author. Further, when the prime $p$ is at least $5$ and does not divide the order of $G$, we provide an algebraic exotic model as well as a $G$-equivariant exotic model for the $v_1$-local $G$-equivariant stable homotopy category, showing that for primes $p \ge 5$ equivariant rigidity fails in general.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
On exotic equivalences and a theorem of Franke
Authors:
Irakli Patchkoria
Abstract:
Using Franke's methods we construct new examples of exotic equivalences. We show that for any symmetric ring spectrum $R$ whose graded homotopy ring $π_*R$ is concentrated in dimensions divisible by a natural number $N \geq 5$ and has homological dimension at most three, the homotopy category of $R$-modules is equivalent to the derived category of $π_*R$. The Johnson-Wilson spectrum $E(3)$ and the…
▽ More
Using Franke's methods we construct new examples of exotic equivalences. We show that for any symmetric ring spectrum $R$ whose graded homotopy ring $π_*R$ is concentrated in dimensions divisible by a natural number $N \geq 5$ and has homological dimension at most three, the homotopy category of $R$-modules is equivalent to the derived category of $π_*R$. The Johnson-Wilson spectrum $E(3)$ and the truncated Brown-Peterson spectrum $BP\langle 2 \rangle$ for any prime $p \geq 5$ are our main examples. If additionally the homological dimension of $π_*R$ is equal to two, then the homotopy category of $R$-modules and the derived category of $π_*R$ are triangulated equivalent. Here the main examples are $E(2)$ and $BP \langle 1 \rangle$ at $p \geq 5$. The last part of the paper discusses a triangulated equivalence between the homotopy category of $E(1)$-local spectra at a prime $p \geq 5$ and the derived category of Franke's model. This is a theorem of Franke and we fill a gap in the proof.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
Stable finiteness properties of infinite discrete groups
Authors:
Noé Bárcenas,
Dieter Degrijse,
Irakli Patchkoria
Abstract:
Let $G$ be an infinite discrete group. A classifying space for proper actions of $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are contractible for all finite subgroups $H$ of $G$. In this paper we consider the stable analogue of the classifying space for proper actions in the category of proper $G$-spectra and study its finiteness properties. We investigate when $G$ admi…
▽ More
Let $G$ be an infinite discrete group. A classifying space for proper actions of $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are contractible for all finite subgroups $H$ of $G$. In this paper we consider the stable analogue of the classifying space for proper actions in the category of proper $G$-spectra and study its finiteness properties. We investigate when $G$ admits a stable classifying space for proper actions that is finite or of finite type and relate these conditions to the compactness of the sphere spectrum in the homotopy category of proper $G$-spectra and to classical finiteness properties of the Weyl groups of finite subgroups of $G$. Finally, if the group $G$ is virtually torsion-free we also show that the smallest possible dimension of a stable classifying space for proper actions coincides with the virtual cohomological dimension of $G$, thus providing the first geometric interpretation of the virtual cohomological dimension of a group.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
The derived category of complex periodic K-theory localized at an odd prime
Authors:
Irakli Patchkoria
Abstract:
We prove that for an odd prime $p$, the derived category $\mathcal{D}(KU_{(p)})$ of the $p$-local complex periodic $K$-theory spectrum $KU_{(p)}$ is triangulated equivalent to the derived category of its homotopy ring $π_*KU_{(p)}$. This implies that if $p$ is an odd prime, the triangulated category $\mathcal{D}(KU_{(p)})$ is algebraic.
We prove that for an odd prime $p$, the derived category $\mathcal{D}(KU_{(p)})$ of the $p$-local complex periodic $K$-theory spectrum $KU_{(p)}$ is triangulated equivalent to the derived category of its homotopy ring $π_*KU_{(p)}$. This implies that if $p$ is an odd prime, the triangulated category $\mathcal{D}(KU_{(p)})$ is algebraic.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Topological Hochschild homology and the cyclic bar construction in symmetric spectra
Authors:
Irakli Patchkoria,
Steffen Sagave
Abstract:
The cyclic bar construction in symmetric spectra and Bökstedt's original construction are two possible ways to define the topological Hochschild homology of a symmetric ring spectrum. In this short note we explain how to correct an error in Shipley's original comparison of these two approaches.
The cyclic bar construction in symmetric spectra and Bökstedt's original construction are two possible ways to define the topological Hochschild homology of a symmetric ring spectrum. In this short note we explain how to correct an error in Shipley's original comparison of these two approaches.
△ Less
Submitted 18 November, 2015; v1 submitted 13 August, 2015;
originally announced August 2015.
-
Rigidity in Equivariant Stable Homotopy Theory
Authors:
Irakli Patchkoria
Abstract:
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor, homotopy cofiber sequences and the stable Burnside category determine all "higher order structure" of the 2-local G-equivariant stable homotopy category, such as th…
▽ More
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor, homotopy cofiber sequences and the stable Burnside category determine all "higher order structure" of the 2-local G-equivariant stable homotopy category, such as the equivariant homotopy types of function G-spaces. The theorem can be seen as an equivariant version of Schwede's rigidity theorem at the prime 2.
△ Less
Submitted 20 March, 2014;
originally announced March 2014.
-
On the Algebraic Classification of Module Spectra
Authors:
Irakli Patchkoria
Abstract:
Using methods developed by Franke, we obtain algebraic classification results for modules over certain symmetric ring spectra ($S$-algebras). In particular, for any symmetric ring spectrum $R$ whose graded homotopy ring $π_*R$ has graded global homological dimension 2 and is concentrated in degrees divisible by some natural number $N \geq 4$, we prove that the homotopy category of $R$-modules is e…
▽ More
Using methods developed by Franke, we obtain algebraic classification results for modules over certain symmetric ring spectra ($S$-algebras). In particular, for any symmetric ring spectrum $R$ whose graded homotopy ring $π_*R$ has graded global homological dimension 2 and is concentrated in degrees divisible by some natural number $N \geq 4$, we prove that the homotopy category of $R$-modules is equivalent to the derived category of the homotopy ring $π_*R$. This improves the Bousfield-Wolbert algebraic classification of isomorphism classes of objects of the homotopy category of $R$-modules. The main examples of ring spectra to which our result applies are the $p$-local real connective $K$-theory spectrum $ko_{(p)}$, the Johnson-Wilson spectrum E(2), and the truncated Brown-Peterson spectrum $BP<1>$, for an odd prime $p$.
△ Less
Submitted 31 August, 2011;
originally announced August 2011.
-
Comparison of Cubical and Simplicial Derived Functors
Authors:
Irakli Patchkoria
Abstract:
In this note we prove that the simplicial derived functors introduced by Tierney and Vogel [TV69] are naturally isomorphic to the cubical derived functors introduced by the author in [P09]. We also explain how this result generalizes the well-known fact that the simplicial and cubical singular homologies of a topological space are naturally isomorphic.
In this note we prove that the simplicial derived functors introduced by Tierney and Vogel [TV69] are naturally isomorphic to the cubical derived functors introduced by the author in [P09]. We also explain how this result generalizes the well-known fact that the simplicial and cubical singular homologies of a topological space are naturally isomorphic.
△ Less
Submitted 22 November, 2010;
originally announced November 2010.
-
Cubical Resolutions and Derived Functors
Authors:
Irakli Patchkoria
Abstract:
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the Tierney-Vogel theory of simplicial derived functors. The crucial point in the construction is that projective precubical resolutions which are naturally used…
▽ More
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the Tierney-Vogel theory of simplicial derived functors. The crucial point in the construction is that projective precubical resolutions which are naturally used to define our cubical derived functors possess pseudodegeneracies and pseudoconnections. The same fact is essentially used for proving that in the case of an additive functor between abelian categories, our theory coincides with the classical relative theory of derived functors by Eilenberg-Moore.
△ Less
Submitted 10 July, 2009;
originally announced July 2009.