Schmid’s Formula for Higher Local Fields

In local class field theory, the Schmid–Witt symbol encodes interesting data about the ramification theory of p-extensi-ons of K and can, for example, be used to compute the higher ramification groups of such extensions. In 1936, Schmid discovered an explicit formula for the Schmid–Witt symbol of Artin–Schreier extensions of local fields. Later, his formula was generalized to Artin–Schreier–Witt extensions, but still over a local field. In this paper we generalize Schmid’s formula to compute the Artin–Schreier–Witt– Parshin symbol for Artin–Schreier–Witt extensions of two-dimensional local fields of positive characteristic.