3
votes
2answers
236 views

Algebraic Groups, Modules, and Comodules

Background: Let $H$ be a finitely generated commutative Hopf $k$-algebra, where $k$ is a field of non-zero characteristic. For $$ \widehat{H} := \text{Alg}_k\{H; k\}, $$ we recall (see Abe Chapter 4 ...
1
vote
0answers
84 views

Action of Landweber-Novikov algebra on infinite polynomial ring

Denote $\text{Aut}(\hat{{\mathbb A}}^1)$ be the affine group over ${\mathbb Z}$ that sends some ring $R$ to the strict automorphisms of $R[[t]]$, i.e. those of the form $X\mapsto X + r_1 X^2 + r_2 X^3 ...
3
votes
2answers
165 views

On local parameters at the origin in an algebraic group

Let $k$ be an algebraically closed field and $G$ an algebraic group over $k$ which is also a $k$-variety (so $G$ is integral, etc). Let $I$ be the ideal defining the identity $e \in G$ and let $\{ ...
1
vote
0answers
85 views

Equivalence between Algebraic Semi-group Structures and Coalgebra Structures for an Algebraic Variety?

I was looking at this old question Hopf algebra and group structure correspondence for algebraic varieties which says that there exists an equivalence between algebraic group structures on an ...
3
votes
1answer
624 views

Finite connected groups over a perfect field of characteristic p

In 14.4 of "Introduction to Affine Group Schemes" it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, ...
1
vote
1answer
303 views

References For Important Hopf Algebras

Where can I find references that discuss important classes of Infinite Hopf Algebras. By important classes, I mean heavily used in research and of relevance to Hopf Algebraist(s),Physicists, ...
9
votes
1answer
409 views

Geometric interpretation of integrals of coordinate rings

If $X$ is an affine scheme over the field $k$ than algebraic invariants of the coordinate ring $k[X]$ usually have a geometric interpretation in terms of $X$ (and vice versa). As an example, the ...
1
vote
0answers
342 views

Ring objects in the category of cocommutative coalgebras (aka Hopf rings).

I have recently been doing some calculations in topology which are naturally expressed in terms commutative ring objects in the category of cocommutative coalgebras. These have been studied for quite ...
1
vote
2answers
225 views

Group and Hopf Algebra Structures for Projective Varieties

Let $V$ be a projective (or affine) variety. Does there exist a bijective correspondence between group structures on $V$ and Hopf algebra structures on the coordinate ring of $V$?
7
votes
1answer
499 views

Are groups in (Var/k, rational maps) necessarily algebraic groups?

Let $RVar$ be the category which has complex algebraic verieties as objects and rational maps as morphisms [Edit: for $RVar$ to be a category, the rational maps have to be dominant]. Let's consider a ...