Skip to main content
2 of 4
added 686 characters in body
user4231
  • 119
  • 1
  • 5

Birational Group Law

Let $S$ be a scheme and $X$ a smooth separated faithfully flat over $S$.

An $S$-birational group law on $X$ is an $S$-rational map $$m:X\times_S X\dashrightarrow X, (x,y)\mapsto xy$$ such that

a) the $S$-rational maps $$\Phi:X\times_S X\dashrightarrow X\times_S X, (x,y)\mapsto(x,xy)$$ $$\Psi:X\times_S X\dashrightarrow X\times_S X, (x,y)\mapsto(xy,y)$$ are $S$-birational, and

b) m is associative; i.e., (xy)z=x(yz) whenever both sides are defined.

Now, assume that $S$ is a valuation ring and that the generic and special fibers of $X$ have birational group laws (for instance if they are group schemes).

When and how is it possible to get an $S$-birational group law on $X$?

Context:

Let $K$ be a valuation field with valuation ring $R$. Let $H$ be a (qc, separated, integral but necessarily of finite type) group scheme over $R$. Assume that the generic fiber $H_K$ is an algebraic group (i.e. of finite type). We may write $H=\varprojlim_i H_i$ for integral, separated, of finite type $H_i$ over $R$. They may not be group schemes over $R$. But $(H_i)_K$ is an algebraic group. Assume that for large enough $i$, the inverse limit is birational on the special fiber, so for large enough $i$, $(H_i)_k$ has a $k$-birational group law.

Putting the smoothness conditions aside, does $H_i$ have an $R$-birational group law for large enough $i$?

user4231
  • 119
  • 1
  • 5