Equality of two non-logarithmic ramification filtrations of abelianized Galois group in positive characteristic (Q1677373)

Summary: We prove the equality of two non-logarithmic ramification filtrations defined by Matsuda and Abbes-Saito of the abelianized absolute Galois group of a complete discrete valuation field in positive characteristic. We compute the refined Swan conductor and the characteristic form of a character of the fundamental group of a smooth separated scheme over a perfect field of positive characteristic by using sheaves of Witt vectors.