homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
The refinement of the notion of fixed point/invariant to homotopy theory. Also homotopy invariant
See at
Generally, for $G$ an ∞-group and $X$ equipped with an ∞-action, then the homotopy fixed points is the base change along/dependent product over the delooping $\mathbf{B}G$:
By the general discussion at dependent product this is given by forming sections, which by the discussion at ∞-action here means forming sections of the $X$-associated ∞-bundle to the universal principal ∞-bundle
Such sections
are equivalently homotopy-equivariant function out of the point equipped with the trivial $G$-action:
For geometrically discrete ∞-group ∞-actions, hence for $\mathbf{H} =$ ∞Grpd, it is the Borel model structure which presents the homotopy theory. By the discussion there, the derived hom space is computed as the hom-space out of plain actions of simplicial groups out of the total space of the simplicial universal principal bundle $\mathbf{E}G = W G$. Therefore in this case one finds
This is the form in which homotopy fixed points are often defined in traditional literature (going back to Thomason 83 and as in the historical discussion of the Sullivan conjecture).
In the context of complex oriented cohomology theory
… (Hill-Hopkins-Ravenel, theorem 8.4)…
categorical fixed point spectrum?
representation theory and equivariant cohomology in terms of (∞,1)-topos theory/homotopy type theory (FSS 12 I, exmp. 4.4):
homotopy type theory | representation theory |
---|---|
pointed connected context $\mathbf{B}G$ | ∞-group $G$ |
dependent type on $\mathbf{B}G$ | $G$-∞-action/∞-representation |
dependent sum along $\mathbf{B}G \to \ast$ | coinvariants/homotopy quotient |
context extension along $\mathbf{B}G \to \ast$ | trivial representation |
dependent product along $\mathbf{B}G \to \ast$ | homotopy invariants/∞-group cohomology |
dependent product of internal hom along $\mathbf{B}G \to \ast$ | equivariant cohomology |
dependent sum along $\mathbf{B}G \to \mathbf{B}H$ | induced representation |
context extension along $\mathbf{B}G \to \mathbf{B}H$ | restricted representation |
dependent product along $\mathbf{B}G \to \mathbf{B}H$ | coinduced representation |
spectrum object in context $\mathbf{B}G$ | spectrum with G-action (naive G-spectrum) |
See also:
Last revised on June 3, 2021 at 11:12:44. See the history of this page for a list of all contributions to it.