“…7,Rm. iii), p. 136]). If G is smooth over W (k), then the reduced formal scheme C k (G, B G ) red of C k (G, B G ) is formally smooth (the proof of this is the same as of [Va3,Cor. If G is smooth over W (k), then the reduced formal scheme C k (G, B G ) red of C k (G, B G ) is formally smooth (the proof of this is the same as of [Va3,Cor.…”