Source author record

Emanuele Dotto

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.AG math.CT math.KT math.NT math.RA

Catalog footprint

Research overview

10works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Parametrized higher category theory and higher algebra: A general introduction

We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph.

preprint2016arXiv

Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory

We introduce the basic elements of the theory of parametrized $\infty$ -categories and functors between them. These notions are defined as suitable fibrations of $\infty$ -categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$ -categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the $T$ - $\infty$ -category of $T$ -objects in any $\infty$ -category, (2) the existence of an internal Hom for $T$ - $\infty$ -categories, and (3) a parametrized Yoneda lemma.

preprint2015arXiv

Equivariant diagrams of spaces

We generalize two classical homotopy theory results, the Blakers-Massey Theorem and Quillen's Theorem B, to G-equivariant cubical diagrams of spaces, for a discrete group G. We show that the equivariant Freudenthal suspension Theorem for permutation representations is a direct consequence of the equivariant Blakers-Massey Theorem. We also apply this theorem to generalize to G-manifolds a result about cubes of configuration spaces from embedding calculus. Our proof of the equivariant Theorem B involves a generalization of the classical Theorem B to higher dimensional cubes, as well as a categorical model for finite homotopy limits of classifying spaces of categories.

preprint2014arXiv

Finite Homotopy Limits of Nerves of Categories

Let $I$ be a small category with finite dimensional nerve, and $X\colon I\to Cat$ a diagram of small categories. We show that, under a "Reedy quasi-fibrancy condition", the homotopy limit of the geometric realization of $X$ is itself the geometric realization of a category. This categorical model for the homotopy limit is defined explicitly, as a category of natural transformations of diagrams. For the poset $\bullet\to\bullet\leftarrow\bullet$ we recover the model for homotopy pullbacks provided by Quillen's Theorem $B$ (specifically Barwick and Kan's version of Quillen's Theorem $B_2$ ). For diagrams of cubical shape, this theorem gives a criterion to determine when the geometric realization of a cube of categories is homotopy cartesian. We further generalize this result to equivariant diagrams of categories. For a finite group $G$ acting on $I$ we show that when $X\colon I\to Cat$ has a $G$ -structure, the realization of the category constructed above is weakly $G$ -equivalent to the homotopy limit of the realization of $X$ . For $G$ -diagrams of cubical shape, this is an equivariant version of Quillen's Theorem $B$ .

preprint2014arXiv

Homotopy limits of spaces, connectivity and cofinality

This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the connectivity of the spaces in the diagram. The second result shows that the homotopy fiber of the restriction map induced on homotopy limits by a functor of indexing categories is itself a homotopy limit, indexed over a Grothendieck construction.

preprint2014arXiv

Homotopy theory of G-diagrams and equivariant excision

Let $G$ be a finite group acting on a small category $I$ . We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$ -action on $X$ . Such objects are called $G$ -diagrams. When $\mathscr{C}$ is a sufficiently nice model category we define a model structure on the category of $G$ -diagrams in $\mathscr{C}$ . There are natural $G$ -actions on Bousfield-Kan style homotopy limits and colimits of $G$ -diagrams. We prove that weak equivalences between point-wise (co)fibrant $G$ -diagrams induce weak $G$ -equivalences on homotopy (co)limits. A case of particular interest is when the indexing category is a cube. We use homotopy limits and colimits over such diagrams to produce loop and suspension spaces with respect to permutation representations of $G$ . We go on to develop a theory of enriched equivariant homotopy functors and give an equivariant "linearity" condition in terms of cubical $G$ -diagrams. In the case of $G$ -topological spaces we prove that this condition is equivalent to Blumberg's notion of $G$ -linearity. In particular we show that the Wirthmüller isomorphism theorem is a direct consequence of the equivariant linearity of the identity functor on $G$ -spectra.

preprint2012arXiv

A relative h-principle via cobordism-like categories

We prove an h-principle with boundary condition for a certain class of topological spaces valued sheaves. The techniques used in the proof come from the study of the homotopy type of the cobordism categories, and they are of simplicial and categorical nature. Applying the main result of this paper to a certain sheaf we find another proof of the Madsen-Weiss theorem, that describes the homotopy type of the classifying space of the cobordism category as the loop space of the Thom space of the complement of the tautological bundle over the Grassmannians.

preprint2012arXiv

Stable real K-theory and real topological Hochschild homology

The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by Bökstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory of rings. Hesselholt and Madsen recently introduced a Z/2-equivariant version of Waldhausen S-construction for categories with duality. The output is a certain spectrum with involution, called the real K-theory spectrum KR, and associated bigraded groups analogous to Atiyah's real (topological) K-groups. This thesis develops a theory of topological Hochschild homology for categories with duality, and a Z/2-equivariant trace map from real K-theory to it. The main result of the thesis is that stable KR of the category of projective modules over a split square zero extension of a ring is equivalent to the real topological Hochschild homology of the ring with appropriate coefficients. This is the real version a theorem of Dundas-McCarthy for ordinary K-theory.

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.

Emanuele Dotto

Research overview

Is this your work?

10 publications

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

Real topological Hochschild homology

Parametrized higher category theory and higher algebra: A general introduction

Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory

Equivariant diagrams of spaces

Finite Homotopy Limits of Nerves of Categories

Homotopy limits of spaces, connectivity and cofinality

Homotopy theory of G-diagrams and equivariant excision

A relative h-principle via cobordism-like categories

Stable real K-theory and real topological Hochschild homology

See the researcher in context

Building this map preview