In mathematics, the Arf invariant of a nonsingular quadratic form over a field of characteristic 2 was defined by Turkish mathematician when he started the systematic study of quadratic forms over arbitrary fields of characteristic 2. The Arf invariant is the substitute, in characteristic 2, for the discriminant for quadratic forms in characteristic not 2. Arf used his invariant, among others, in his endeavor to classify quadratic forms in characteristic 2.
In the special case of the 2-element field F2 the Arf invariant can be described as the element of F2 that occurs most often among the values of the form. Two nonsingular quadratic forms over F2 are isomorphic if and only if they have the same dimension and the same Arf invariant. This fact was essentially known to , even for any finite field of characteristic 2, and Arf proved it for an arbitrary perfect field.
The Arf invariant is particularly applied in geometric topology, where it is primarily used to define an invariant of (4k + 2)-dimensional manifolds (singly even-dimensional manifolds: surfaces (2-manifolds), 6-manifolds, 10-manifolds, etc.) with certain additional structure called a framing, and thus the Arf–Kervaire invariant and the Arf invariant of a knot. The Arf invariant is analogous to the signature of a manifold, which is defined for 4k-dimensional manifolds (doubly even-dimensional); this 4-fold periodicity corresponds to the 4-fold periodicity of L-theory. The Arf invariant can also be defined more generally for certain 2k-dimensional manifolds.
The Arf invariant is defined for a quadratic form q over a field K of characteristic 2 such that q is nonsingular, in the sense that the associated bilinear form is nondegenerate. The form is alternating since K has characteristic 2; it follows that a nonsingular quadratic form in characteristic 2 must have even dimension. Any binary (2-dimensional) nonsingular quadratic form over K is equivalent to a form with in K. The Arf invariant is defined to be the product .
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In the field of topology, the signature is an integer invariant which is defined for an oriented manifold M of dimension divisible by four. This invariant of a manifold has been studied in detail, starting with Rokhlin's theorem for 4-manifolds, and Hirzebruch signature theorem. Given a connected and oriented manifold M of dimension 4k, the cup product gives rise to a quadratic form Q on the 'middle' real cohomology group The basic identity for the cup product shows that with p = q = 2k the product is symmetric.
In mathematics, specifically the theory of quadratic forms, an ε-quadratic form is a generalization of quadratic forms to skew-symmetric settings and to *-rings; ε = ±1, accordingly for symmetric or skew-symmetric. They are also called -quadratic forms, particularly in the context of surgery theory. There is the related notion of ε-symmetric forms, which generalizes symmetric forms, skew-symmetric forms (= symplectic forms), Hermitian forms, and skew-Hermitian forms.
In mathematics an even integer, that is, a number that is divisible by 2, is called evenly even or doubly even if it is a multiple of 4, and oddly even or singly even if it is not. The former names are traditional ones, derived from ancient Greek mathematics; the latter have become common in recent decades. These names reflect a basic concept in number theory, the 2-order of an integer: how many times the integer can be divided by 2. This is equivalent to the multiplicity of 2 in the prime factorization.
We study model-free learning methods for the output-feedback Linear Quadratic (LQ) control problem in finite-horizon subject to subspace constraints on the control policy. Subspace constraints naturally arise in the field of distributed control and present ...
This letter proposes a novel input-output parametrization of the set of internally stabilizing output-feedback controllers for linear time invariant (LTI) systems. Our underlying idea is to directly treat the closed-loop transfer matrices from disturbances ...
We revisit the question of frame equivalence in Quantum Field Theory in the presence of gravity, a situation of relevance for theories aiming to describe the early Universe dynamics and Inflation in particular. We show that in those cases, the path integra ...