Source author record

Gereon Quick

Gereon Quick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.AG

Catalog footprint

What is connected

8works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2015arXiv

Profinite and discrete G-spectra and iterated homotopy fixed points

For a profinite group $G$, let $(\text{-})^{hG}$, $(\text{-})^{h_dG}$, and $(\text{-})^{h'G}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of discrete $G$-spectra), respectively. We establish some connections between the first two notions, and by using Postnikov towers, for $K \vartriangleleft_c G$ (a closed normal subgroup), give various conditions for when the iterated homotopy fixed points $(X^{hK})^{hG/K}$ exist and are $X^{hG}$. For the Lubin-Tate spectrum $E_n$ and $G <_c G_n$, the extended Morava stabilizer group, our results show that $E_n^{hK}$ is a profinite $G/K$-spectrum with $(E_n^{hK})^{hG/K} \simeq E_n^{hG}$, by an argument that possesses a certain technical simplicity not enjoyed by either the proof that $(E_n^{h'K})^{h'G/K} \simeq E_n^{h'G}$ or the Devinatz-Hopkins proof (which requires $|G/K| < \infty$) of $(E_n^{dhK})^{h_dG/K} \simeq E_n^{dhG}$, where $E_n^{dhK}$ is a construction that behaves like continuous homotopy fixed points. Also, we prove that (in general) the $G/K$-homotopy fixed point spectral sequence for $π_\ast((E_n^{hK})^{hG/K})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{hK}))$ (continuous cohomology), is isomorphic to both the strongly convergent Lyndon-Hochschild-Serre spectral sequence of Devinatz for $π_\ast(E_n^{dhG})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{dhK}))$, and the descent spectral sequence for $π_\ast((E_n^{h'K})^{h'G/K})$.

preprint2015arXiv

Verdier hypercovering theorem for motivic spectra

We prove a Verdier Hypercovering Theorem for cohomology theories arising from motivic spectra. This allows us to construct for smooth quasi-projective complex varieties a natural morphism from etale algebraic to Hodge filtered complex cobordism, which extends the map from etale motivic to Deligne-Beilinson cohomology.

preprint2013arXiv

Existence of rational points as a homotopy limit problem

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in Grothendieck's Section Conjecture would follow from the surjectivity of the map from fixed points to continuous homotopy fixed points on the level of connected components. Along the way we define a new model for the continuous etale homotopy fixed point space of a smooth variety over a field under the Galois action.

preprint2013arXiv

Homotopy theory of smooth compactifications of algebraic varieties

In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.

preprint2012arXiv

Continuous homotopy fixed points for Lubin-Tate spectra

We construct a stable model structure on profinite symmetric spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for a new construction of homotopy fixed point spectra and of homotopy fixed point spectral sequences for the action of the extended Morava stabilizer group on Lubin-Tate spectra. These continuous homotopy fixed points are canonically equivalent to the homotopy fixed points of Devinatz and Hopkins but have a drastically simplified construction.

preprint2011arXiv

Some remarks on profinite completion of spaces

We study profinite completion of spaces in the model category of profinite spaces and construct a rigidification of the completion functors of Artin-Mazur and Sullivan which extends also to non-connected spaces. Another new aspect is an equivariant profinite completion functor and equivariant fibrant replacement functor for a profinite group acting on a space. This is crucial for applications where, for example, Galois groups are involved, or for profinite Teichmueller theory where equivariant completions are applied. Along the way we collect and survey the most important known results about profinite completion of spaces.

preprint2010arXiv

Continuous group actions on profinite spaces

For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point space and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite étale topological types of varieties over a field. One motivation is to understand Grothendieck's section conjecture in terms of homotopy fixed points.