Skip to main content
1 of 2
grghxy
  • 1.9k
  • 14
  • 11

One can also give explicit high-rank counterexamples using special orthogonal groups of quadratic lattices over $R$ with non-degenerate reduction.

To give wider context, let $K$ be any field of characteristic 0, $R$ any $K$-algebra, $\mathfrak{g}$ any semisimple Lie algebra over $K$ (we'll use $\mathfrak{so}_n$ in the end for any odd $n \ge 3$), and consider in place of $\widehat{R}$ any faithfully flat $R$-algebra $R'$.

Now consider a projective $R$-module $\Lambda$ of constant odd rank $n \ge 3$ and a quadratic form $q:\Lambda \rightarrow R$ over $R$ that is non-degenerate at every point of ${\rm{Spec}}(R)$. Let $H = {\rm{SO}}(q)$ be the associated special orthogonal group scheme; this is a smooth affine $R$-group whose geometric fibers over Spec($R$) are the classical special orthogonal groups of the corresponding fibers of $q$. In particular, since $n$ is odd it follows that such fibers are of adjoint type (and $\mu_2 \times H = {\rm{O}}(q)$ is the orthogonal group scheme of $q$).

Let $L = \mathfrak{so}(q)$ be the Lie algebra of $H$, and let $\mathfrak{g}$ be the Lie algebra for the special orthogonal group ${\rm{SO}}_n := {\rm{SO}}(q_n)$ of the corresponding "split" rank-$n$ quadratic form $$q_n := x_0^2 + x_1 x_2 + \dots + x_{2m-1}x_{2m}$$ where $2m+1=n$. Let $R'$ be a faithfully flat $R$-algebra such that $q$ becomes homothetic to $q_n$ over $R'$; such an $R'$ always exists (can even be chosen to be etale over $R$ since $R$ is a $\mathbf{Z}[1/2]$-algebra). Thus, $L$ and $\mathfrak{so}_n$ become isomorphic over $R'$. But I claim that if $L$ and $\mathfrak{so}_n$ are $R$-isomorphic then necessarily $q$ and $q_n$ are homothetic over $R$ (i.e., $q$ is isometric to $u q_n$ for some $u \in R^{\times}$).

It is a general fact that for odd $n \ge 3$, ${\rm{SO}}_n$ represents the automorphism functor of its Lie algebra on the category of all $K$-algebras, as may be checked on $\overline{K}$-points since ${\rm{char}}(K)=0$. (This is a special case of a general fact about connected semisimple groups of adjoint type whose Dynkin diagram has no nontrivial automorphisms.) Thus, $L$ as an fpqc $R$-form of $\mathfrak{so}_n$ corresponds to an element in the cohomology set ${\rm{H}}^1(R'/R, {\rm{SO}}_n)$.

But since $n$ is odd, ${\rm{SO}}_n$ represents the functor of conformal isometries of $q_n$ (i.e., pairs $(T,u)$ consisting of a unit $u$ and $T \in {\rm{GL}}_n$ such that $q_n \circ T = u q_n$). Unraveling everything, this says that $L := {\mathfrak{so}}(q)$ is $R$-isomorphic to $\mathfrak{so}_n$ if and only if $q$ is homothetic to $q_n$.

Now we can give explicit counterexamples over discrete valuation rings $R$ containing an algebraically closed field $K$ of characteristic 0. Letting $\mathfrak{m}$ be the maximal ideal of such an $R$, consider a quadratic lattice $(R^n, q)$ of odd rank $n \ge 3$ with $\overline{q} := q \bmod \mathfrak{m}$ non-degenerate over $R/\mathfrak{m}$ such that $\overline{q}$ is isometric to $q_n$. There is no infinitesimal obstruction to lifting an isomorphism between non-degenerate quadratic spaces $(M,Q)$ and $(M',Q')$ over a $\mathbf{Z}[1/2]$-algebra $A$ (indeed, the Isom-scheme ${\rm{Isom}}(Q',Q)$ is an ${\rm{O}}(Q)$-torsor and hence is smooth since $A$ is a $\mathbf{Z}[1/2]$-algebra), so $q$ becomes isometric to $q_n$ over the completion $R' := \widehat{R}$. Thus, $L := \mathfrak{so}(q)$ is a counterexample (using $\mathfrak{g} = \mathfrak{so}_n$) provided that $q$ is not homothetic to $q_n$ over $R$.

Now writing $n=2m+1$, observe that the ring $$S := K[t_0, \dots, t_{n-1},v_1, \dots, v_{n-1}]/(v_i^2 + t_0 v_i - t_i)$$ satisfies $S/t_0 S = K[v_1, \dots, v_{n-1}]$ (in which $t_i = v_i^2$), so $t_0 S$ is prime in $S$ and $S$ is normal (e.g., by Serre's criterion). Thus, $R = S_{(t_0)}$ is a dvr and $$q = x_0^2 + t_1 x_1^2 + \dots + t_{n-1} x_{n-1}^2$$ over $R$ has reduction isometric to $q_n$. To show that $q$ is not homothetic to $q_n$ over $R$ it suffices to prove that $q$ is even anisotropic over $F = {\rm{Frac}}(R) = {\rm{Frac}}(S) = K(t_0, v_1, \dots, v_{n-1})$. This anisotropicity is "obvious", and is rigorously proved by induction on $n$ (allowed to have any parity) or perhaps in other ways too.

Remark. Theorem 3.5 of http://arxiv.org/pdf/math/0406508v5.pdf provides a much more far-reaching result: over any ring whatsoever (no field of char. 0 in the picture), the groupoid of semisimple group schemes of adjoint type is equivalent (via the Lie functor) to the groupoid of vector-bundle Lie algebras whose Killing form is fiberwise non-degenerate!

grghxy
  • 1.9k
  • 14
  • 11