Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

As is well known, using the Hilbert Nullstellensatz (and a more recent result of Cartier) one can show that commutative finitely generated Hopf algebras over $\mathbb{C}$ are equivalent to algebraic groups (cf the accepted answeranswer of David Speyer). What happens when one considers finitely generated Hopf $*$-algebras? Does there exist an analogous equivalence with the star coming (perhaps) from matrix adjoints?

As is well known, using the Hilbert Nullstellensatz (and a more recent result of Cartier) one can show that commutative finitely generated Hopf algebras over $\mathbb{C}$ are equivalent to algebraic groups (cf the accepted answer of David Speyer). What happens when one considers finitely generated Hopf $*$-algebras? Does there exist an analogous equivalence with the star coming (perhaps) from matrix adjoints?

As is well known, using the Hilbert Nullstellensatz (and a more recent result of Cartier) one can show that commutative finitely generated Hopf algebras over $\mathbb{C}$ are equivalent to algebraic groups (cf the accepted answer of David Speyer). What happens when one considers finitely generated Hopf $*$-algebras? Does there exist an analogous equivalence with the star coming (perhaps) from matrix adjoints?

edited title
Link

Finitely Generated Commutative Hopf $*$-Algebras

Source Link

Commutative Hopf $*$-Algebras

As is well known, using the Hilbert Nullstellensatz (and a more recent result of Cartier) one can show that commutative finitely generated Hopf algebras over $\mathbb{C}$ are equivalent to algebraic groups (cf the accepted answer of David Speyer). What happens when one considers finitely generated Hopf $*$-algebras? Does there exist an analogous equivalence with the star coming (perhaps) from matrix adjoints?