Arf invariant

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 .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (8)

Concepts associés (4)

Learning the Globally Optimal Distributed LQ Regulator

Maryam Kamgarpour, Luca Furieri

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 ...

PMLR2020

An Input–Output Parametrization of Stabilizing Controllers: Amidst Youla and System Level Synthesis

Maryam Kamgarpour, Luca Furieri

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 ...

2019

Frame (in)equivalence in quantum field theory and cosmology

Mario Herrero Valea

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 ...

Springer2019

Signature (topology)

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.

Ε-quadratic form

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.

Singly and doubly even

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.