Source author record

George Raptis

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.CT math.KT math.GT

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Flat functors in higher topos theory

For a small $n$ -category $\mathscr{C}$ and an $n$ -topos $\mathscr{X}$ , we study necessary and sufficient conditions for a functor $f \colon \mathscr{C} \to \mathscr{X}$ to determine a geometric morphism from $\mathscr{X}$ to the $n$ -topos $\mathcal{P}(\mathscr{C})_n$ of presheaves on $\mathscr{C}$ for any $n \geq 1$ . These results generalize and unify results of Lurie for $n=\infty$ and classical characterizations of flat functors (Diaconescu's theorem) for $n=1$ . Interestingly, for $n=\infty$ , our analogue of Diaconescu's theorem requires hypercompleteness. As an application, we show that the $\infty$ -topos associated to an $n$ -site behaves as an $n$ -localic $\infty$ -topos with respect to hypercomplete $\infty$ -topoi.

preprint2022arXiv

Higher homotopy categories, higher derivators, and K-theory

For every $\infty$ -category $\mathscr{C}$ , there is a homotopy $n$ -category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $γ_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$ . We study these higher homotopy categories, especially in connection with the existence and preservation of (co)limits, by introducing a higher categorical notion of weak colimit. Using homotopy $n$ -categories, we introduce the notion of an $n$ -derivator and study the main examples arising from $\infty$ -categories. Following the work of Maltsiniotis and Garkusha, we define $K$ -theory for $\infty$ -derivators and prove that the canonical comparison map from the Waldhausen $K$ -theory of $\mathscr{C}$ to the $K$ -theory of the associated $n$ -derivator $\mathbb{D}_{\mathscr{C}}^{(n)}$ is $(n+1)$ -connected. We also prove that this comparison map identifies derivator $K$ -theory of $\infty$ -derivators in terms of a universal property. Moreover, using the canonical structure of higher weak pushouts in the homotopy $n$ -category, we also define a $K$ -theory space $K(\mathrm{h}_n \mathscr{C}, \mathrm{can})$ associated to $\mathrm{h}_n \mathscr{C}$ . We prove that the canonical comparison map from the Waldhausen $K$ -theory of $\mathscr{C}$ to $K(\mathrm{h}_n \mathscr{C}, \mathrm{can})$ is $n$ -connected.

preprint2022arXiv

Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

We prove general adjoint functor theorems for weakly (co)complete $n$ -categories. This class of $n$ -categories includes the homotopy $n$ -categories of (co)complete $\infty$ -categories, so these $n$ -categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$ -categories and prove a Brown representability theorem for localizations of compactly generated $n$ -categories. This class of $n$ -categories includes the homotopy $n$ -categories of presentable $\infty$ -categories if $n \geq 2$ , and the homotopy $n$ -categories of presentable stable $\infty$ -categories for any $n \geq 1$ .

preprint2020arXiv

On transfer maps in the algebraic $K$ -theory of spaces

We show that the Waldhausen trace map $\mathrm{Tr}_X \colon A(X) \to QX_+$ , which defines a natural splitting map from the algebraic $K$ -theory of spaces to stable homotopy, is natural up to \emph{weak} homotopy with respect to transfer maps in algebraic $K$ -theory and Becker-Gottlieb transfer maps respectively.

preprint2020arXiv

Topological manifold bundles and the $A$ -theory assembly map

We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$ -theory characteristic of such a fiber bundle factors canonically through the assembly map of $A$ -theory. Furthermore our main result shows a refinement of this statement by providing such a factorization for an extended $A$ -theory characteristic, defined on the parametrized topological cobordism category. The proof uses a convenient framework for bivariant theories and recent results of Gomez-Lopez and Kupers on the homotopy type of the topological cobordism category. We conjecture that this lift of the extended $A$ -theory characteristic becomes highly connected as the manifold dimension increases.

preprint2016arXiv

K-theory of derivators revisited

We define a $K$ -theory for pointed right derivators and show that it agrees with Waldhausen $K$ -theory in the case where the derivator arises from a good Waldhausen category. This $K$ -theory is not invariant under general equivalences of derivators, but only under a stronger notion of equivalence that is defined by considering a simplicial enrichment of the category of derivators. We show that derivator $K$ -theory, as originally defined, is the best approximation to Waldhausen $K$ -theory by a functor that is invariant under equivalences of derivators.

preprint2012arXiv

On the map of Bökstedt-Madsen from the cobordism category to $A$ -theory

Bökstedt and Madsen defined an infinite loop map from the embedded $d$ -dimensional cobordism category of Galatius, Madsen, Tillmann and Weiss to the algebraic $K$ -theory of $BO(d)$ in the sense of Waldhausen. The purpose of this paper is to establish two results in relation to this map. The first result is that it extends the universal parametrized $A$ -theory Euler characteristic of smooth bundles with compact $d$ -dimensional fibers, as defined by Dwyer, Weiss and Williams. The second result is that it actually factors through the canonical unit map $Q(BO(d)_+) \to A(BO(d))$ .

preprint2011arXiv

A note on K-theory and triangulated derivators

In this paper we show an example of two differential graded algebras that have the same derivator K-theory but non-isomorphic Waldhausen K-theory. We also prove that Maltsiniotis's comparison and localization conjectures for derivator K-theory cannot be simultaneously true.

preprint2011arXiv

On the homotopy type of certain cobordism categories of surfaces

Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $Σ_{g,d}$ of genus $g$ and $d$ boundary components that are all incoming. In this paper, we study the homotopy type of the classifying space of the cobordism categories $\mathcal{A}_{g,d}$ and the associated (ordinary) cobordism categories of their connected components $\mathbb{A}_d$ . $\mathcal{A}_{0,2}$ is the cobordism category of complex annuli that was considered by Costello and $\mathbb{A}_2$ is homotopy equivalent with the positive boundary 1-dimensional embedded cobordism category of Galatius-Madsen-Tillmann-Weiss. We identify their homotopy type with the infinite loop spaces associated with certain Thom spectra.

preprint2011arXiv

Simplicial presheaves of coalgebras

The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the local weak equivalences of the underlying simplicial presheaves. This model category is naturally linked to the R-local homotopy theory of simplicial presheaves and the homotopy theory of simplicial R-modules by Quillen adjunctions. We study the comparison with the R-local homotopy category of simplicial presheaves in the special case where R is a presheaf of algebraically closed (or perfect) fields. If R is a presheaf of algebraically closed fields, we show that the R-local homotopy category of simplicial presheaves embeds fully faithfully in the homotopy category of simplicial R-coalgebras.

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.

George Raptis

Research overview

Is this your work?

10 publications

Flat functors in higher topos theory

Higher homotopy categories, higher derivators, and K-theory

Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

On transfer maps in the algebraic $K$ -theory of spaces

Topological manifold bundles and the $A$ -theory assembly map

K-theory of derivators revisited

On the map of Bökstedt-Madsen from the cobordism category to $A$ -theory

A note on K-theory and triangulated derivators

On the homotopy type of certain cobordism categories of surfaces

Simplicial presheaves of coalgebras

See the researcher in context

Building this map preview

George Raptis

Research overview

Is this your work?

10 publications

Flat functors in higher topos theory

Higher homotopy categories, higher derivators, and K-theory

Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

On transfer maps in the algebraic KKK-theory of spaces

Topological manifold bundles and the AAA-theory assembly map

K-theory of derivators revisited

On the map of Bökstedt-Madsen from the cobordism category to AAA-theory

A note on K-theory and triangulated derivators

On the homotopy type of certain cobordism categories of surfaces

Simplicial presheaves of coalgebras

See the researcher in context

Building this map preview

On transfer maps in the algebraic $K$ -theory of spaces

Topological manifold bundles and the $A$ -theory assembly map

On the map of Bökstedt-Madsen from the cobordism category to $A$ -theory