Annihilators and kernels in Kato's cohomology in positive characteristic and in Witt groups in characteristic 2

群、环和域是代数中的基本对象。组是由元素组成的对象，可以使用组操作组合这些元素，以根据严格的规则形成新元素。立方体在空间中的旋转或整数与通常的加法一起形成一个群。 环由在加法下形成群的元素组成，但也可以相互相乘，加法和乘法的相互作用受某些规则的支配。例如，在一个示例中，整数经过通常的加法和乘法形成一个环。域是环，其中乘法具有特别好的性质，例如，总是存在非零元素的倒数。 域的例子有有理数和真实的数。代数学家通常对定义在环或域上的对象感兴趣，例如由一个或多个变量的多项式给出的方程，其系数在环或域中。 这样的方程可以根据某些规则进行变换，一个自然的问题是决定何时可以将一个方程变换为另一个方程，即何时两个方程是“等价的”。 要做到这一点，人们试图找到等价方程共享的某些不变量，这些不变量反过来可以是群或环中的元素。二次型可以被认为是多个变量的二次多项式方程，它们已经被广泛研究了几个世纪。在他们的分类中的一个重要结果是证明了Voevodsky的共同称为Milnor定理（2002年菲尔兹奖），其中二次型与所谓的伽罗瓦上同调群和Milnor K-群有关，在2不等于0的情况下。类似的结果领域与2等于0已获得加藤和也在20世纪80年代，他使用我们所谓的加藤上同调群。这些是重要的研究领域，其中一个素数p等于0，他们有许多应用，例如在数论（类域理论）。为了更好地了解这些重要群体，我们计划研究两个问题：1。给定Kato上同调中的一个元素，Kato上同调中的哪些元素在乘以该给定元素时变为零，即我们要确定该给定元素的"零化子"。 2.当从一个域传递到一个更大的域时，Kato上同调中的哪些元素变为零，即我们想要确定该域扩展的"限制映射的核"。 我们还想研究域的维特群的类似问题，其中2等于0。这些维特群本质上分类二次（分别）。双线性）形式在这样的领域和加藤的结果，维特群的问题是密切相关的加藤的上同调。

Groups, rings and fields are fundamental objects in algebra. Groups are objects consisting of elements that can be combined using a group operation to form new elements according to strict rules. The rotations of a cube in space or the integers together with the usual addition form a group. Rings consist of elements that form a group under an addition, but that can also be multiplied with each other, with the interaction of addition and multiplication being governed by certain rules. E.g., the integers with usual addition and multiplication form a ring. Fields are rings in which multiplication has particularly nice properties, e.g. there always exists the reciprocal of a nonzero element. Examples of fields are the rational and the real numbers. Algebraists are often interested in objects defined over rings or fields, such as equations given by a polynomial in one or more variables with coefficients in a ring or field. Such equations may be transformed according to certain rules, and a natural question is to decide when an equation can be transformed into another, i.e. when two equations are "equivalent". To do so, one tries to find certain invariants that equivalent equations share and these invariants can in turn be elements in a group or ring. Quadratic forms can be considered as polynomial equations of degree 2 in several variables and they have been studied extensively for centuries. An important result in their classification is the proof of the co-called Milnor conjectures by Voevodsky (Fields medal in 2002 for this and related work), where quadratic forms are related to so-called Galois cohomology groups and Milnor K-groups in the case of fields where 2 is different from 0. Analogous results for fields with 2 equal to 0 have been obtained by Kazuya Kato in the 1980s where he used what we call the Kato cohomology groups. These are important in the study of fields in which a prime number p equals 0 and they have many applications, e.g. in number theory (class field theory). To gain a better understanding of these important groups, we plan to study two questions: 1. Given an element in Kato cohomology, which elements in Kato cohomology become zero when multiplied by that given element, i.e. we want to determine the "annihilator" of that given element. 2. Which elements in Kato cohomology become zero when passing from a field to a bigger field, i.e. we want to determine the "kernel of the restriction map" for that field extension. We also want to study analogous questions for the Witt groups of fields in which 2 equals 0. These Witt groups essentially classify quadratic (resp. bilinear) forms over such fields and by Kato's results, the questions for Witt groups are intimately linked to those for Kato's cohomology.