忠実平坦環準同型は降下しない

代数閉体上の無限多項式環上の忠実平坦代数が、必ずしも降下するとは限らないことを示す。