Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES...
Transcript of Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES...
![Page 1: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/1.jpg)
DUALITY, DESCENT AND EXTENSIONS
Kathryn Hess
MATHGEOMEcole Polytechnique Fédérale de Lausanne
Homotopical Algebra and its ApplicationsCIRM
25 June 2012
![Page 2: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/2.jpg)
Joint work with...Brooke Shipley (model category foundations)Alexander Berglund (application to duality and descent)
![Page 3: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/3.jpg)
MOTIVATION
Understand relationships amongKoszul duality of dg algebrashomotopic Grothendieck descent along morphisms of dgalgebrashomotopic Hopf-Galois extensions of dg comodulealgebras
Inspired by a remark of Jack Morava and by discussions withMichael Ching.
This talk concerns only the dg world, but many of the definitionsand results extend to objects in any nice enough monoidalmodel category.
![Page 4: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/4.jpg)
OUTLINE
1 CORINGS AND THEIR COMODULES
2 THE HOPF-GALOIS FRAMEWORK
3 THE DUALITY THEOREMS
![Page 5: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/5.jpg)
CONVENTIONS
k is a commutative ring, and ⊗ = ⊗k.
dg=“differential graded”=∃ underlying nonnegativelygraded chain complex of k-modules.
![Page 6: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/6.jpg)
CORINGS AND THEIR COMODULES
![Page 7: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/7.jpg)
CORINGS
Let A be a dg k-algebra.
An A-coring is a comonoid in the monoidal category(AMA,⊗A,A) of A-bimodules.
![Page 8: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/8.jpg)
CORINGS
Let A be a dg k-algebra.
An A-coring is a comonoid in the monoidal category(AMA,⊗A,A) of A-bimodules, i.e., consists of
an A-bimodule V ,an A-bimodule morphism
δ : V → V ⊗A V
that is coassociative and counital with respect to anA-bimodule morphism.
ε : V → A.
![Page 9: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/9.jpg)
COMODULES OVER CORINGS
Let A be a dg k-algebra, and let V be an A-coring.
NOTATION
MA = the category of right A-modules.
MVA = the category of V -comodules in MA.
(M, α) ∈MVA =⇒
M ∈MA
α : M → M ⊗A V morphism in MA, coaction
![Page 10: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/10.jpg)
INDUCED ADJUNCTIONS
For any morphism of A-corings
g : V →W ,
there is an “extension of coefficients” adjunction
MVA
g∗ //⊥ MW
A .−W V
oo
![Page 11: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/11.jpg)
HOMOTOPY THEORY OF COMODULES
THEOREM (H.-SHIPLEY)For any dg k-algebra A, there is a combinatorial modelcategory structure on MA such that
the cofibrations are the injections, andthe weak equivalences are the quasi-isomorphims.
Proof by applying fancy machinery due to Beke, Lurie, andJ. Smith to the usual projective model category structure onMA.
![Page 12: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/12.jpg)
HOMOTOPY THEORY OF COMODULES
THEOREM (H.-SHIPLEY)Suppose that k is semihereditary. Let A be a dg k-algebra suchthat H1A = 0.If V is an A-coring such that V is A-semifree on X, where
H0(k⊗A V ) = k and H1(k⊗A V ) = 0, and
Xn is k-free and finitely generated for all n,
then MVA admits a model category structure such that
the cofibrations are the injections, and
the weak equivalences are the quasi-isomorphims.
![Page 13: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/13.jpg)
HOMOTOPY THEORY OF COMODULES
Special case of a general existence theorem for modelcategory structure on categories of coalgebras over acomonad, in which the required factorizations
• // ∼ //• // //•
are constructed by induction on a filtration of weakequivalences by n-equivalences.Have considerable control over the fibrant objects in MV
A ,e.g., under reasonable conditions, fibrant replacementsgiven by cobar constructions.
![Page 14: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/14.jpg)
HOMOTOPY THEORY OF COMODULES
If MA is endowed with the model structure of the firsttheorem, then
MVA
forget //⊥ MA−⊗AV
oo
is a Quillen pair.If g : V →W is a morphism of A-corings satisfying thehypotheses above, then
MVA
g∗ //⊥ MW
A−W V
oo
is a Quillen pair.
![Page 15: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/15.jpg)
THE HOPF-GALOIS FRAMEWORK
![Page 16: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/16.jpg)
HOPF-GALOIS DATA
ϕ : A→ BH
whereH is a dg k-Hopf algebra with comultiplication∆ : H → H ⊗ H;
A is a dg k-algebra seen as an H-comodule with trivialcoaction;
B is an H-comodule algebra, with H-coactionρ : B → B ⊗ H;
ϕ : A→ B is a morphism of H-comodule algebras.
![Page 17: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/17.jpg)
THE “NORMAL BASIS” EXAMPLE
Let C be a coaugmented dg coalgebra, M a right C-comoduleand N a left C-comodule.
Ω(M; C; N) is the two-sided cobar construction on C withcoefficients in M and N, i.e.,
Ω(M; C; N) = (M ⊗ Ts−1C ⊗ N,dΩ),
whereC is the coaugmentation coideal,s−1 denotes desuspension,TX =
⊕n≥0 X⊗n for any graded k-module X , and
dΩ is given in terms of the differentials on C, M and N andof the coactions and comultiplication.
![Page 18: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/18.jpg)
THE “NORMAL BASIS” EXAMPLE
Let H be a dg k-Hopf algebra, and let (E , γ) be an H-comodulealgebra.
PROPOSITION (H.-LEVI)There is Hopf-Galois data
ϕγ : Ω(E ; H;k) → Ω(E ; H; H)H
where the H-coaction on Ω(E ; H; H) is given by applying ∆ onthe last tensor factor.
![Page 19: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/19.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
Classically, the coinvariants of a coaction M → M ⊗ C of acoalgebra C are defined to be
Mco C = MCk.
Analogously, the homotopy coinvariant algebra ofρ : B → B ⊗ H is
Bhco H = Ω(B; H;k).
![Page 20: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/20.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
REMARK
The definitionBhco H = Ω(B; H;k)
is reasonable because
B
' $$JJJJJJJJJJρ // B ⊗ H
Ω(B; H; H)
88qqqqqqqqqq
is a fibrant replacement in the category MH of H-comodulesand
Ω(B; H;k) = Ω(B; H; H)Hk.
![Page 21: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/21.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
The Hopf B-coring associated to ρ : B → B ⊗ H:
(B ⊗ H, δρ, ερ)
whereδρ is the composite
B ⊗ H B⊗∆−−−→ B ⊗ H ⊗ H ∼= (B ⊗ H)⊗B (B ⊗ H);
ερ = B ⊗ ε : B ⊗ H → B;
![Page 22: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/22.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
The Hopf B-coring associated to ρ : B → B ⊗ H:
(B ⊗ H, δρ, ερ)
wherethe left B-action on B ⊗ H is
B ⊗ B ⊗ HµB⊗H−−−−→ B ⊗ H;
the right B-action on B ⊗ H is
B⊗H⊗BB⊗H⊗ρ−−−−−→ B⊗H⊗B⊗H ∼= B⊗2⊗H⊗2 µB⊗µH−−−−→ B⊗H.
![Page 23: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/23.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
The canonical B-coring associated to ϕ : A→ B:
(B ⊗A B, δϕ, εϕ)
whereδϕ is the composite
B⊗AB ∼= B⊗AA⊗ABB⊗Aϕ⊗AB−−−−−−→ B⊗AB⊗AB ∼= (B⊗AB)⊗B(B⊗AB);
εϕ = µB : B ⊗A B → B is induced by the multiplication mapµB of B.
![Page 24: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/24.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
The Hopf-Galois map associated to ϕ : A→ B andρ : B → B ⊗ H
B ⊗A B
B⊗Aρ ''NNNNNNNNNNN
βϕ // B ⊗ H
B ⊗A B ⊗ HµB⊗H
88ppppppppppp
is a morphism of B-corings.It therefore induces an “extension of coefficients” adjunction
MB⊗ABB
(βϕ)∗ //⊥ MB⊗H
B .−B⊗H (B⊗AB)oo
![Page 25: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/25.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
A dual construction, perhaps somewhat more familiar andeasier to understand...
Let G be a group acting on a set X , via
ρ : X ×G→ X : (x ,a) 7→ x · a.
Let Y = XG, the set of G-orbits. Take the pullback X ×Y X ofthe quotient map X → Y along itself.
There is a natural map
β : X ×G→ X ×Y X : (x ,a) 7→ (x , x · a).
![Page 26: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/26.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
ϕ : A→ B Alg→
ϕ : A→ BH_
OO
_
HopfGalois
Forget
OO
Forget
BH ComodAlg
![Page 27: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/27.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
ϕ : A→ B Alg→
Descent
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO ϕ : A→ B
&&NNNNNNNNNNN
B ⊗A B
ϕ : A→ BH_
OO
_
HopfGalois
Forget
OO
Forget
CoRing
B ⊗ H
BH ComodAlg
Hopf
77ooooooooooooooooooooooooooooBH
0
88ppppppppppp
![Page 28: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/28.jpg)
CONSTRUCTIONS ASSOCIATED TO A ϕ−→ BH
ϕ : A→ B Alg→
Descent
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO ϕ : A→ B
&&NNNNNNNNNNN
B ⊗A B
ϕ : A→ BH_
OO
_
HopfGalois
Forget
OO
Forget
//
//⇓ β(−) CoRing
B ⊗ H
BH ComodAlg
Hopf
77ooooooooooooooooooooooooooooBH
0
88ppppppppppp
![Page 29: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/29.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
Suppose henceforth that all categories in sight are modelcategories and all adjunctions are Quillen pairs.
We’ll see explicit examples later where this is the case.
![Page 30: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/30.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
H is a generalized Koszul dual of A if there is a Quillenequivalence
MA//
⊥ MH .oo
MOTIVATION (LEFÈVRE)If k is a field, and τ : C → A is an acyclic twisting cochain, thereis a model category structure on the category of unbounded,cocomplete C-comodules such that the functor MC →MAinduced by τ is the left member of a Quillen equivalence.
If A is a Koszul algebra, and C is its Koszul dual coalgebra,then the canonical twisting cochain τ : C → A is acyclic, soMC →MA does indeed fit into a Quillen equivalence.
![Page 31: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/31.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
EXAMPLE
Since the universal twisting cochain H → ΩH is acyclic, H isalways a generalized Koszul dual of ΩH.
EXAMPLE
Let B denote the (reduced) bar construction. If A is acommutative dg algebra, then BA is naturally a commutativeHopf algebra.Since the couniversal twisting cochain BA→ A is acyclic, BA isa generalized Koszul dual of A.
![Page 32: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/32.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
ϕ satisfies effective homotopic Grothendieck descent if
MA
Can //⊥ M
B⊗ABB .
Primoo
is a Quillen equivalence, where Can(M) = (M ⊗A B, ψM), withψM equal to the composite
M⊗AB ∼= M⊗AA⊗ABM⊗Aϕ⊗AB−−−−−−→ M⊗AB⊗AB ∼= (M⊗AB)⊗B(B⊗AB).
MB⊗ABB is exactly the category of descent data associated to ϕ.
![Page 33: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/33.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
The meaning of descent: which B-modules are weaklyequivalent to M ⊗A B for some M ∈MA?
MA
−⊗AB //
Can
⊥ MBϕ∗
oo
a
MB⊗ABB
Prim
OO
forget
==zzzzzzzzzzzzzzzzzzz
![Page 34: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/34.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
EXAMPLE
For any H-comodule algebra (E , γ), the inclusion
A = Ω(E ; H;k) → Ω(E ; H; H) = B
satisfies effective homotopic Grothendieck descent. In fact,Can : MA →M
B⊗ABB is an actual equivalence of categories.
![Page 35: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/35.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
ϕ is a homotopic H-Hopf-Galois extension ifthe natural map iϕ : A→ Ω(B; H; k) = Bhco H induces aQuillen equivalence
MA
−⊗ABhco H//
⊥ MBhco H .i∗ϕ
oo
the “extension of coefficients” adjunction
MB⊗ABB
(βϕ)∗ //⊥ MB⊗H
B .−B⊗H (B⊗AB)oo
is a Quillen equivalence.
![Page 36: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/36.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
Hopf-Galois extensions generalize ordinary Galoisextensions of rings (where H is the dual of a groupalgebra).Faithfully flat Hopf-Galois extensions over the coordinatering of an affine group scheme G correspond to G-principalfiber bundles.Homotopic Hopf-Galois extensions were first introduced byRognes for ring spectra, e.g., S
η−→ MUS[BU].One can study Hopf algebras via their associatedHopf-Galois extensions.
![Page 37: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/37.jpg)
POSSIBLE PROPERTIES OF A ϕ−→ BH
EXAMPLE
For any H-comodule algebra (E , γ), the inclusion
A = Ω(E ; H;k) → Ω(E ; H; H)H = BH
is an H-Hopf-Galois extension. In fact,
MB⊗ABB
(βϕ)∗ //⊥ MB⊗H
B .−B⊗H (B⊗AB)oo
is an actual equivalence of categories.
![Page 38: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/38.jpg)
THE DUALITY THEOREMS
![Page 39: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/39.jpg)
HOPF-GALOIS⇔ GROTHENDIECK
THEOREM (BERGLUND-H.)
Let Aϕ−→ BH be Hopf-Galois data. If i∗ϕ : MBhco H →MA is a
Quillen equivalence, then
ϕ is a homotopic H-Hopf-Galois extension
m
ϕ satisfies homotopic Grothendieck descent.
Homotopic version of a “faithfully flat descent” result due toSchneider, as reformulated by Schauenburg.
![Page 40: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/40.jpg)
KOSZUL⇒ (HOPF-GALOIS⇔ GROTHENDIECK)
THEOREM (BERGLUND-H.)
Let Aϕ−→ BH be Hopf-Galois data.
If k '−→ B, then
i∗ϕ : MBhco H →MA is a Quillen equivalence
m
H is a generalized Koszul dual of A.
REMARK
If k '−→ B, then H is always a generalized Koszul dual of Bhco H .
![Page 41: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/41.jpg)
THE PROOF
Replace ϕ by a “normal basis” extension.
Aϕ //
iϕ
BH
'
k
hhPPPPPPPPPPPPPPP
wwnnnnnnnnnnnnn
A′ = Bhco Hϕ′ // Ω(B; H; H)H = B′H
![Page 42: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/42.jpg)
THE PROOF
MA
−⊗AA′ //
Can
MA′ϕ∗
oo
Can
MB⊗ABB
Prim
OO
//
(βϕ)∗
MB′⊗A′B
′
B′oo
(βϕ′ )∗
Prim
OO
MB⊗HB
OO
//
##GGGGGGGGGMB′⊗H
B′oo
zzvvvvvvvvv
OO
MH
ccGGGGGGGGG
::vvvvvvvvv
![Page 43: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/43.jpg)
THE PROOF
REMARK
From the previous diagram, we see that if H is a generalizedKoszul dual of A, and ϕ satisfies homotopic Grothendieckdescent, then B ⊗A B is a sort of “relative” generalized Koszuldual of A, which is what Jack intuited.
![Page 44: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/44.jpg)
A SOURCE OF EXAMPLES
(Work in progress with A. Berglund, in the spirit of the “normalbasis” basis example.)
Let K be a dg k-Hopf algebra and A a dg k-algebra.
A twisting cochain τ : K → A is Hopf-Hirsch if A⊗τ K admits amultiplication such that
A → A⊗τ K → K
is a sequence of algebra maps.Indeed there is a functor
TwistHH → HopfGalois : (K τ−→ A) 7→ (A→ A⊗τ KK ).
![Page 45: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/45.jpg)
A SOURCE OF EXAMPLES
Suppose that H1A = 0 = H1K , H0K = k and K is k-free of finitetype.
If τ : K → A is Hopf-Hirsch, then the extension
A → A⊗τ KK
is homotopic K -Hopf-Galois and satisfies homotopicGrothendieck descent.
![Page 46: Duality, descent and extensionssma.epfl.ch/~hessbell/Pub_Luminy.pdf · HOMOTOPY THEORY OF COMODULES If MA is endowed with the model structure of the first theorem, then MV A forget](https://reader033.fdocuments.in/reader033/viewer/2022050213/5f5f979340c3947114098479/html5/thumbnails/46.jpg)
Joyeux Anniversaire, cher Yves!