Search Results

Your answer is correct if appropriately understood, but it's a little subtle. Here I should note that I'm interpreting your question as a purely homotopy theoretic one (in particular ignoring smooth s …

Given two smooth manifolds with corners, let's say that a map $f:X\to Y$ is "transversally smooth" if it is smooth in the usual sense and if (in a local sense on $X$) for every open Whitney stratum $S …

It is my understanding that the $\infty$-category of non-unital connected topological monoids is equivalent to the $\infty$-category of connected topological groups. It follows that the functor from u …

Suppose $X$ is a complex projective variety with a model $X_\mathbb{Q}$ defined over the rational numbers. Then there is a rational de Rham lattice $H^k_{dR}(X_\mathbb{Q}, \mathbb{Q})\subset H^k(X, \m …

Let $S$ be the sphere spectrum, and for $X$ a topological space, let $S(X)$ be the mapping spectrum from the free loop spectrum on $X$ to the sphere spectrum. This is an $E_\infty$ ring spectrum (also …

Say we are working with schemes over a field $k\subset \mathbb{C}.$ A motive in the sense of Voevodsky is a functor $Sch\to D^bVect$ from (an appropriate category of) schemes to the DG category of com …

There are several notions of weak homotopy equivalence for topological spaces. The standard one can be formulated as follows: a map of spaces $X\to Y$ is a homotopy equivalence if the map of simplicia …

A model structure is left proper if the pushout of a weak equivalence along a cofibration is a weak equivalence. In the Hurewicz (or Strom) model structure on the category of topological spaces, weak …

Let $T = \mathbb{G}_m$ be the torus, and let $\tilde{T}$ be its étale universal cover (a pro-object in schemes of finite type). Then both $T$ and $\tilde{T}$ have a well-defined étale homotopy type. E …

If we fix a finite group $G$, there are two different useful homotopy theories on the set of $G$-equivariant topological spaces (which are CW complexes, say). One, the "weak" homotopy theory, is given …

If $X$ is a spectrum, we have a notion of its connective part $X_{\le 0}$ and the corresponding notion of truncation $X_{[i:j]} = X_{\le j}/X_{\le i-1}$, where $X_{\le j}$ is deduced from $X_{\le 0}$ …

In his beautiful paper On the cohomology and K theory of the general linear group over a finite field, Quillen constructs (if I understand correctly) an isomorphism on connected components of K-theory …

Let $A$ be a spectrum, defined by deloopings $A_n$ (n an integer). Then the identity $A = S^1\wedge A_1$ together with antipodal equivariant spectrum structure on $S^1$ gives genuine $\mathbb{Z}/2$-eq …

It is a result of May's work on operads that the homotopy category (or $\infty$-category, if you prefer) of connective spectra is equivalent to a full subcategory of the category of representations of …

I'm going to give an algebraist's perspective. First let's discuss homological algebra (which has roots in topology). There's a quote (attributed, I think, to Connes) that a great mystery of homologic …