---
date: 2021-10-25
tags: [ web/quick-notes ]
---

# 2021-10-25

Tags:
#web/quick-notes 

Refs:
[Advice](Advice.md)

## 00:00

- #resources/advice Don't put off problem-solving until another day!
Work on something small today rather than waiting for "enough" time to devote some grand problem. 
  Part of the trick is constant progress and assembling small results into large ones (and conversely breaking large problems into such small pieces)

## 16:16

- See Manin's universal [quantum groups](quantum%20groups).
  - Manin defines a universal bialgebra for $A$, which coacts on $A$ in a universal way.

  - See [Unsorted/koszul duality](Unsorted/koszul%20duality.md)

  - Forgetful functor from Hopf algebras to bialgebras has a left adjoint: the [Hopf envelope](Hopf%20envelope).
  - Universal quantum group: take [Hopf envelope](Hopf%20envelope) of universal bialgebra.

- See [quadratic algebra](quadratic%20algebra)
- Twisting conditions for bialgebras: $B$ is $\ZZ\dash$graded and $\Delta(B_n) \subseteq B\tensorpower{2}$.

- Zhang twist: supplies a twisted multiplication. 
  - Possibly related to [alpha twisted vector space](alpha%20twisted%20vector%20space)?

  - $\grmod{A} \iso \grmod{A^{\phi}}$ for $A^{\phi}$ a Zhang twist.

- Morita-Takeuchi equivalence: equivalence of categories of comodules.

- This talk compares cocycle twists to Zhang twists.

- For $\OO(G)$ the coordinate ring of $G\in\Alg\Grp$, elements $g\in G$ induce automorphism $r_g, \ell_g: \OO(G)\selfmap$ by left/right translation, and every twisting pair is of the form $(r_g, \ell_g\inv)$.

- Sovereign: equivalence between left and right duality functors.

- Pointed algebra: simple comodules are 1-dimensional

- Smash product of Hopf algebras: $H_1\tensor H_2$ as a vector space, with a deformed multiplication.
  - Example: $U(\lieg)\smashprod k[G]$.

- See [quantum Yang Baxter](quantum%20Yang%20Baxter) equations.
  Solutions are $R\in \Endo_k(V\tensorpower{2})$ satisfying a tensor formula corresponding to moving strands in a braid.
  
  - Can be obtained from any braiding on $\comods{H}$.

  - Use equivalence of braided monoidal cats to get new solutions: $\cmods{H} \iso \comods{A(R)\localize{g}}\iso \comods{A(R)\localize{g}^{\sigma}}$.