As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [parameterized-homotopy]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
7 votes
1 answer
365 views

$\infty$-local systems

Let $X$ be a "nice" topological space, $R$ a ring. I believe that there is an equivalence of $\infty$-categories betweeen: the full subcategory of $D(X,R)$ (derived category of sheaves of $...
Dan Petersen's user avatar
  • 38.3k
7 votes
0 answers
290 views

Funtoriality of twisted K-theory

I posted this question on math.stackexchange, but received no answer there. In order to avoid the XY problem I will first state what I want, then what I think is the solution and how that failed until ...
Excalibur's user avatar
  • 301
7 votes
1 answer
290 views

Are these two notions of unstable localization suitably equivalent?

It seems to me that although homological localization (i.e. formally inverting $E$-homology equivalences for some $E$) is a reasonable thing to do to a spectrum, it's a pretty brutal thing to do to a ...
Tim Campion's user avatar
  • 55.4k
10 votes
2 answers
433 views

Rational parameterized spectra

Consider the homotopical category of rational dg-modules. I suppose this ought to present the rationalization of the homotopy theory of parameterized spectra. Has such "rational parameterized stable ...
Urs Schreiber's user avatar
3 votes
1 answer
227 views

Morphisms of parametrized ring spectra

This is a follow-up to this question, in which Denis Nardin nicely explained that $$ \operatorname{Map}_{\operatorname{Fun}(X, \operatorname{Sp})}(E_X, E'_X) \simeq \operatorname{Map}(X, \operatorname{...
A Rock and a Hard Place's user avatar
2 votes
1 answer
162 views

Are morphisms of parametrized spectra themselves parametrized morphisms of spectra?

Let $X$ be a fixed parametrizing space. Let $E$ and $E'$ be two spectra and let $E_X$ and $E'_X$ be their trivial parametrized versions. Intuitively I imagine that the morphisms of parametrized ...
A Rock and a Hard Place's user avatar
8 votes
1 answer
420 views

Parametrized Dold-Kan correspondence?

The stable Dold-Kan correspondence says that for every commutative ring $R$, there is an equivalence of $\infty$-categories between the category $Ch(R)$ of (unbounded) chain complexes of $R$-modules ...
KotelKanim's user avatar
  • 2,240
5 votes
1 answer
336 views

$\Omega X$-action on spectral $X$-bundles

I can generalize the notion of a space over $X$ (where $X$ is a based and connected space) to the notion of a spectrum over $X$ by considering functors of quasicategories $X\to Mod_\mathbb{S}$. In the ...
Jonathan Beardsley's user avatar
12 votes
2 answers
540 views

Why does $Mf$ always support an $Mf$-orientation?

Let $f:X\to BGL_1(\mathbb{S})$ be a morphism of $E_n$-spaces and determine a principle $GL_1(\mathbb{S})$-bundle over $X$. Then it can be shown in the classical case that there is always a Thom ...
Jonathan Beardsley's user avatar
7 votes
0 answers
157 views

Spectral Sequences of Parametrized Spectra

I apologize if this question is of the form "what are some interesting problems in bla" but I was wondering if anybody have studied the following set-up: Suppose that I have a parametrized spectra $E$...
Elden Elmanto's user avatar
8 votes
0 answers
242 views

Parametrized cancelations in stable Morse theory

Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...
Thomas Kragh's user avatar
  • 2,550
9 votes
1 answer
377 views

Shriek push-forward for parameterized spectra

In May and Sigurdsson's Parameterized Homotopy Theory, Proposition 2.2.11, four isomorphisms of functors are given. For a pullback square of base spaces $C=holim(A\overset{f}\to B\overset{j}\leftarrow ...
Jonathan Beardsley's user avatar