Source author record

Irakli Patchkoria

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.KT math.NT math.CT math.GR math.RA

Catalog footprint

Research overview

9works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Equivariant dimensions of groups with operators

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.

preprint2020arXiv

On the de Rham-Witt complex over perfectoid rings

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.

preprint2020arXiv

Witt vectors with coefficients and characteristic polynomials over non-commutative rings

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).

preprint2017arXiv

Real topological Hochschild homology

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}$ ).

preprint2016arXiv

The derived category of complex periodic K-theory localized at an odd prime

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.

preprint2015arXiv

Topological Hochschild homology and the cyclic bar construction in symmetric spectra

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.

preprint2014arXiv

Rigidity in Equivariant Stable Homotopy Theory

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.

preprint2011arXiv

On the Algebraic Classification of Module Spectra

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$ .

preprint2010arXiv

Comparison of Cubical and Simplicial Derived Functors

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Irakli Patchkoria

Research overview

Is this your work?

9 publications

Equivariant dimensions of groups with operators

On the de Rham-Witt complex over perfectoid rings

Witt vectors with coefficients and characteristic polynomials over non-commutative rings

Real topological Hochschild homology

The derived category of complex periodic K-theory localized at an odd prime

Topological Hochschild homology and the cyclic bar construction in symmetric spectra

Rigidity in Equivariant Stable Homotopy Theory

On the Algebraic Classification of Module Spectra

Comparison of Cubical and Simplicial Derived Functors

See the researcher in context

Building this map preview