BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

George Raptis

George Raptis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.CTmath.GTmath.KT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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))$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access