|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| [[Image:10 Türk Lirası reverse.jpg|thumb|300px|right|Arf and a formula for the Arf invariant appear on the reverse side of the [[Turkish lira|2009 Turkish 10 Lira note]]]]
| | I would like to introduce myself to you, I am Andrew and my wife doesn't like it at all. For many years she's been residing in Kentucky but her husband desires them to transfer. I am presently a journey agent. To play lacross is something he would never give up.<br><br>Also visit my site ... clairvoyants ([http://fashionlinked.com/index.php?do=/profile-13453/info/ click through the following page]) |
| | |
| In [[mathematics]], the '''Arf invariant''' of a nonsingular [[quadratic form]] over a field of characteristic 2 was defined by [[Turkic peoples|Turkish]] [[mathematician]] {{harvs|txt|authorlink=Cahit Arf|first=Cahit|last=Arf|year= 1941}} when he started the systematic study of quadratic forms over arbitrary fields of characteristic 2. The Arf invariant is the substitute, in characteristic 2, of the [[Discriminant#Discriminant of a quadratic form|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 [[GF(2)|'''F'''<sub>2</sub>]] the Arf invariant can be described as the element of '''F'''<sub>2</sub> that occurs most often among the values of the form. Two nonsingular quadratic forms over '''F'''<sub>2</sub> are isomorphic if and only if they have the same dimension and the same Arf invariant. This fact was essentially known to {{harvtxt|Dickson|1901}}, even for any finite field of characteristic 2, and it follows from Arf's results for an arbitrary perfect field. An assessment of Arf's results in the framework of the theory of quadratic forms can be found in,<ref>{{Citation|last=Lorenz|first=Falko|coauthors=Roquette|title=On the Arf invariant in historic perspective|journal=Mathematische Semesterberichte|year=2010|volume=57|pages=73–102|doi=10.1007/s00591-010-0072-8|postscript=.}}</ref><ref>{{Citation|last=Lorenz|first=Falko|coauthors=Roquette|title=On the Arf invariant in historical perspective, Part 2|journal=Mathematische Semesterberichte|year=2011|volume=59|postscript=.}}</ref>
| |
| | |
| The Arf invariant is particularly [[#The Arf invariant in topology|applied]] in [[geometric topology]], where it is primarily used to define an invariant of (4''k''+2)-dimensional manifolds ([[singly even]]-dimension manifolds: surfaces (2-manifolds), 6-manifolds, 10-manifolds, etc.) with certain additional structure called a [[framed manifold|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 4''k''-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 2''k''-dimensional manifolds.
| |
| | |
| ==Definitions==
| |
| | |
| The Arf invariant belongs to a [[quadratic form]] over a field K of characteristic 2.
| |
| Any binary non-singular
| |
| quadratic form over K is equivalent
| |
| to a form <math>q(x,y)= ax^2 + xy + by^2</math> with <math>a, b</math> in K.
| |
| The Arf invariant is defined to be the product <math>ab</math>.
| |
| If the form <math>q'(x,y)=a'x^2 + x'y'+b'y^2</math> is
| |
| equivalent to <math>q(x,y)</math>, then the products <math>ab</math> and <math>a'b'</math>
| |
| differ
| |
| by an element of the form <math>u^2+u </math> with <math>u</math> in K. These
| |
| elements form an additive subgroup U of K. Hence the
| |
| coset of <math>ab</math> modulo U is an invariant of <math>q</math>, which
| |
| means that it is not changed when <math>q</math> is replaced by
| |
| an equivalent form.
| |
| | |
| Every nonsingular quadratic form <math>q</math> over K is equivalent
| |
| to a direct sum <math>q = q_1 + ... + q_r</math> of nonsingular
| |
| binary forms. This has been shown by Arf but it had
| |
| been earlier observed by Dickson in the case of finite
| |
| fields of characteristic 2. The Arf invariant Arf(<math>q</math>) is
| |
| defined to be the sum of the Arf invariants of the
| |
| <math>q_i</math>. By definition, this is a coset
| |
| of K modulo U. Arf <ref>Arf (1941),</ref> has shown that indeed Arf(<math>q</math>)
| |
| does not change if <math>q</math> is replaced by an equivalent
| |
| quadratic form, which is to say that it is an invariant of
| |
| <math>q</math>.
| |
| | |
| The Arf invariant is additive; in other words, the Arf invariant of an orthogonal sum of two quadratic forms is the sum of their Arf invariants.
| |
| | |
| ==Arf's main results==
| |
| | |
| If the field K is perfect then
| |
| every nonsingular quadratic form over K is uniquely
| |
| determined (up to equivalence) by its dimension and
| |
| its Arf invariant. In particular this holds over the field
| |
| '''F'''<sub>2</sub>. In this case U=0 and hence
| |
| the Arf invariant is an element of the base field
| |
| '''F'''<sub>2</sub>; it is either 0 or 1.
| |
| | |
| If the field is not perfect then the [[Clifford algebra]]
| |
| is another important invariant of a quadratic form.
| |
| For various fields Arf has shown that every quadratic
| |
| form is
| |
| completely characterized by its dimension, its Arf
| |
| invariant
| |
| and its Clifford algebra. Examples of such fields are
| |
| function fields (or power series fields) of one
| |
| variable over perfect base fields.
| |
| | |
| ==Quadratic forms over ''F''<sub>''2''</sub>==
| |
| | |
| Over ''F''<sub>''2''</sub>
| |
| the Arf invariant is 0 if the quadratic form is equivalent to a direct sum of copies of the binary form <math>xy</math>, and it is 1 if the form is a direct sum of <math>x^2+xy+y^2</math> with a number of copies of <math>xy</math>.
| |
| | |
| [[William Browder (mathematician)|William Browder]] has called the Arf invariant the ''democratic invariant''<ref>Martino and Priddy, p.61</ref> because it is the value which is assumed most often by the quadratic form.<ref>Browder, Proposition III.1.8</ref> Another characterization: ''q'' has Arf invariant 0 if and only if the underlying 2''k''-dimensional vector space over the field '''F'''<sub>2</sub> has a ''k''-dimensional subspace on which ''q'' is identically 0 – that is, a [[totally isotropic]] subspace of half the dimension; its [[isotropy index]] is ''k'' (this is the maximum dimension of a totally isotropic subspace of a nonsingular form).
| |
| | |
| ==The Arf invariant in topology==
| |
| | |
| Let ''M'' be a [[compact space|compact]], [[connected space|connected]] ''2k''-dimensional [[manifold]] with a boundary <math>\partial M</math>
| |
| such that the induced morphisms in <math>\mathbb{Z}_2</math>-coefficient homology
| |
| :<math>H_k(M,\partial M;\mathbb{Z}_2) \to H_{k-1}(\partial M;\mathbb{Z}_2)</math>, <math>H_k(\partial M;\mathbb{Z}_2) \to H_k(M;\mathbb{Z}_2)</math>
| |
| are both zero (e.g. if <math>M</math> is closed). The [[intersection theory|intersection form]]
| |
| :<math>\lambda\colon H_k(M;\mathbb{Z}_2)\times H_k(M;\mathbb{Z}_2)\to \mathbb{Z}_2</math>
| |
| is non-singular. (Topologists usually write '''F'''<sub>2</sub> as <math>\mathbb{Z}_2</math>.) A [[quadratic refinement]] for <math> \lambda</math> is a function <math>\mu \colon H_k(M;\mathbb{Z}_2) \to \mathbb{Z}_2</math> which satisfies
| |
| :<math>\mu(x+y) + \mu(x) + \mu(y) \equiv \lambda(x,y) \pmod 2 \; \forall \,x,y \in H_k(M;\mathbb{Z}_2)</math>
| |
| Let <math>\{x,y\}</math> be any 2-dimensional subspace of <math>H_k(M;\mathbb{Z}_2)</math>, such that <math>\lambda(x,y) = 1</math>. Then there are two possibilities. Either all of <math>\mu(x+y), \mu(x), \mu(y)</math> are 1, or else just one of them is 1, and the other two are 0. Call the first case <math>H^{1,1}</math>, and the second case <math>H^{0,0}</math>.
| |
| Since every form is equivalent to a symplectic form, we can always find subspaces <math>\{x,y\}</math> with ''x'' and ''y'' being <math>\lambda</math>-dual. We can therefore split <math>H_k(M;\mathbb{Z}_2)</math> into a direct sum of subspaces isomorphic to either <math>H^{0,0}</math> or <math>H^{1,1}</math>.
| |
| Furthermore, by a clever change of basis, <math>H^{0,0} \oplus H^{0,0} \cong H^{1,1} \oplus H^{1,1}</math>.
| |
| We therefore define the Arf invariant
| |
| :<math>Arf(H_k(M;\mathbb{Z}_2);\mu)</math> = (number of copies of <math>H^{1,1}</math> in a decomposition Mod 2) <math> \in \mathbb{Z}_2</math>.
| |
| | |
| ===Examples===
| |
| | |
| *Let <math>M</math> be a compact, connected, [[oriented]] ''2''-dimensional [[manifold]], i.e. a [[surface]], of [[genus]] <math>g</math> such that the boundary <math>\partial M</math> is either empty or is connected. [[Whitney embedding theorem|Embed]] <math>M</math> in <math>S^m</math>, where <math>m \geq 4</math>. Choose a framing of ''M'', that is a trivialization of the normal ''(m-2)''-plane [[vector bundle]]. (This is possible for <math>m =3</math>, so is certainly possible for <math>m \geq 4</math>). Choose a [[Symplectic vector space|symplectic basis]] <math>x_1,x_2,\dots,x_{2g-1},x_{2g}</math> for <math>H_1(M)=\mathbb{Z}^{2g}</math>. Each basis element is represented by an embedded circle <math>x_i:S^1 \subset M</math>. The normal ''(m-1)''-plane [[vector bundle]] of <math>S^1 \subset M \subset S^m</math> has two trivializations, one determined by a standard [[Parallelizable|framing]] of a standard embedding <math>S^1 \subset S^m</math> and one determined by the framing of ''M'', which differ by a map <math>S^1 \to SO(m-1)</math> i.e. an element of <math>\pi_1(SO(m-1)) \cong \mathbb{Z}_2</math> for <math>m \geq 4</math>. This can also be viewed as the framed cobordism class of <math>S^1</math> with this framing in the 1-dimensional framed cobordism group <math>\Omega^{framed}_1 \cong \pi_m(S^{m-1}) \, (m \geq 4) \cong \mathbb{Z}_2</math>, which is generated by the circle <math>S^1</math> with the Lie group framing. The isomorphism here is via the [[Pontrjagin-Thom construction]].) Define <math>\mu(x)\in \mathbb{Z}_2</math> to be this element. The Arf invariant of the framed surface is now defined
| |
| :<math> \Phi(M) = Arf(H_1(M,\partial M;\mathbb{Z}_2);\mu) \in \mathbb{Z}_2 </math>
| |
| Note that <math>\pi_1(SO(2)) \cong \mathbb{Z}</math>, so we had to stabilise, taking <math>m</math> to be at least 4, in order to get an element of <math>\mathbb{Z}_2</math>. The case <math>m=3</math> is also admissible as long as we take the residue modulo 2 of the framing.
| |
| | |
| *The Arf invariant <math>\Phi(M)</math> of a framed surface detects whether there is a 3-manifold whose boundary is the given surface which extends the given framing. This is because <math>H^{1,1}</math> does not bound. <math>H^{1,1}</math> represents a torus <math>T^2</math> with a trivialisation on both generators of <math>H_1(T^2;\mathbb{Z}_2)</math> which twists an odd number of times. The key fact is that up to homotopy there are two choices of trivialisation of a trivial 3-plane bundle over a circle, corresponding to the two elements of <math>\pi_1(SO(3))</math>. An odd number of twists, known as the Lie group framing, does not extend across a disc, whilst an even number of twists does. (Note that this corresponds to putting a [[spin structure]] on our surface.) [[Lev Pontryagin|Pontrjagin]] used the Arf invariant of framed surfaces to compute the 2-dimensional framed [[cobordism]] group <math>\Omega^{framed}_2 \cong \pi_m(S^{m-2}) \, (m \geq 4) \cong \mathbb{Z}_2</math>, which is generated by the [[torus]] <math>T^2</math> with the Lie group framing. The isomorphism here is via the [[Homotopy groups of spheres#Framed cobordism|Pontrjagin-Thom construction]].
| |
| | |
| * Let <math>(M^2,\partial M) \subset S^3</math> be a [[Seifert surface]] for a knot, <math>\partial M = K \colon S^1 \hookrightarrow S^3</math>, which can be represented as a disc <math>D^2</math> with bands attached. The bands will typically be twisted and knotted. Each band corresponds to a generator <math>x \in H_1(M;\mathbb{Z}_2)</math>. <math>x</math> can be represented by a circle which traverses one of the bands. Define <math>\mu(x)</math> to be the number of full twists in the band modulo 2. Suppose we let <math>S^3</math> bound <math>D^4</math>, and push the Seifert surface <math>M</math> into <math>D^4</math>, so that its boundary still resides in <math>S^3</math>. Around any generator <math>x \in H_1(M,\partial M)</math>, we now have a trivial normal 3-plane vector bundle. Trivialise it using the trivial framing of the normal bundle to the embedding <math>M \hookrightarrow D^4</math> for 2 of the sections required. For the third, choose a section which remains normal to <math>x</math>, whilst always remaining tangent to <math>M</math>. This trivialisation again determines an element of <math>\pi_1(SO(3))</math>, which we take to be <math>\mu(x)</math>. Note that this coincides with the previous definition of <math>\mu</math>.
| |
| | |
| *The [[Arf invariant (knot)|Arf invariant of a knot]] is defined via its Seifert surface. It is independent of the choice of Seifert surface (The basic surgery change of S-equivalence, adding/removing a tube, adds/deletes a <math>H^{0,0}</math> direct summand), and so is a [[knot invariant]]. It is additive under [[connected sum]], and vanishes on [[slice knot]]s, so is a [[Link concordance|knot concordance]] invariant.
| |
| | |
| * The [[intersection form]] on the ''2k+1''-dimensional <math>\mathbb{Z}_2</math>-coefficient homology <math>H_{2k+1}(M;\mathbb{Z}_2)</math> of a [[parallelizable|framed]] ''4k+2''-dimensional manifold ''M'' has a quadratic refinement <math>\mu</math>, which depends on the framing. For <math>k \neq 0,1,3</math> and <math>x \in H_{2k+1}(M;\mathbb{Z}_2)</math> represented by an [[embedding]] <math>x:S^{2k+1}\subset M</math> the value <math>\mu(x)\in \mathbb{Z}_2</math> is 0 or 1, according as to the normal bundle of <math>x</math> is trivial or not. The [[Kervaire invariant]] of the framed ''4k+2''-dimensional manifold ''M'' is the Arf invariant of the quadratic refinement <math>\mu</math> on <math>H_{2k+1}(M;\mathbb{Z}_2)</math>. The Kervaire invariant is a homomorphism <math>\pi_{4k+2}^S \to \mathbb{Z}_2</math> on the ''4k+2''-dimensional stable homotopy group of spheres. The Kervaire invariant can also be defined for a ''4k+2''-dimensional manifold ''M'' which is framed except at a point.
| |
| | |
| * In [[surgery theory]], for any <math>4k+2</math>-dimensional normal map <math>(f,b):M \to X</math> there is defined a nonsingular quadratic form <math>(K_{2k+1}(M;\mathbb{Z}_2),\mu)</math> on the <math>\mathbb{Z}_2</math>-coefficient homology kernel
| |
| :<math>K_{2k+1}(M;\mathbb{Z}_2)=ker(f_*:H_{2k+1}(M;\mathbb{Z}_2)\to H_{2k+1}(X;\mathbb{Z}_2))</math> refining the homological [[Intersection theory|intersection form]] <math>\lambda</math>. The Arf invariant of this form is the [[Kervaire invariant]] of ''(f,b)''. In the special case <math>X=S^{4k+2}</math> this is the [[Kervaire invariant]] of ''M''. The Kervaire invariant features in the classification of [[exotic sphere]]s by [[Kervaire]] and [[Milnor]], and more generally in the classification of manifolds by [[surgery theory]]. [[William Browder (mathematician)|Browder]] defined <math>\mu</math> using functional [[Steenrod square]]s, and [[C.T.C. Wall|Wall]] defined <math>\mu</math> using framed [[Immersion (mathematics)|immersion]]s. The quadratic enhancement <math>\mu(x)</math> crucially provides more information than <math>\lambda(x,x)</math> : it is possible to kill ''x'' by surgery if and only if <math>\mu(x)=0</math>. The corresponding Kervaire invariant detects the surgery obstruction of <math>(f,b)</math> in the [[L-theory|L-group]] <math>L_{4k+2}(\mathbb{Z})=\mathbb{Z}_2</math>.
| |
| | |
| ==See also==
| |
| * [[de Rham invariant]], a mod 2 invariant of (4''k''+1)-dimensional manifolds
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * See Lickorish (1997) for the relation between the Arf invariant and the [[Jones polynomial]].
| |
| * See Chapter 3 of Carter's book for another equivalent definition of the Arf invariant in terms of self-intersections of discs in 4-dimensional space.
| |
| | |
| *{{citation
| |
| | first = Cahit|last= Arf
| |
| | authorlink = Cahit Arf
| |
| | title = Untersuchungen über quadratische Formen in Körpern der Charakteristik 2, I
| |
| | journal = J. Reine Angew. Math
| |
| | volume = 183
| |
| | year = 1941
| |
| | pages = 148–167
| |
| }}
| |
| *[[Glen Bredon]]: ''Topology and Geometry'', 1993, ISBN 0-387-97926-3.
| |
| *{{Citation | last1=Browder | first1=William |authorlink = William_Browder_(mathematician) |title=Surgery on simply-connected manifolds | publisher=[[Springer-Verlag]] | location=Berlin, New York | mr=0358813 | year=1972}}
| |
| * J. Scott Carter: ''How Surfaces Intersect in Space'', Series on Knots and Everything, 1993, ISBN 981-02-1050-7.
| |
| *{{springer|id=A/a013230|title=Arf invariant|author=A.V. Chernavskii}}
| |
| *{{citation |mr=0104735
| |
| | last = Dickson |first = Leonard Eugene
| |
| | authorlink = Leonard Dickson
| |
| | title = Linear groups: With an exposition of the Galois field theory
| |
| | publisher = Dover Publications
| |
| | place = New York
| |
| | year= 1901
| |
| }}
| |
| *{{citation |mr=1001966
| |
| |last = Kirby|first= Robion
| |
| |authorlink = Robion Kirby
| |
| |year = 1989
| |
| |title = The topology of 4-manifolds
| |
| |series = Lecture Notes in Mathematics
| |
| |volume=1374
| |
| |publisher=Springer-Verlag
| |
| |isbn=0-387-51148-2
| |
| |doi=10.1007/BFb0089031
| |
| }}
| |
| * [[W. B. Raymond Lickorish]], ''An Introduction to Knot Theory'', Graduate Texts in Mathematics, Springer, 1997, ISBN 0-387-98254-X
| |
| * {{Citation
| |
| | last1 = Martino | first1 = J.
| |
| | last2 = Priddy | first2 = S.
| |
| | year = 2003
| |
| | title = Group Extensions And Automorphism Group Rings
| |
| | journal = Homology, Homotopy and Applications
| |
| | volume = 5 | issue = 1 | pages = 53–70
| |
| | arxiv = 0711.1536
| |
| }}
| |
| * [[Lev Pontryagin|L. Pontrjagin]], ''Smooth manifolds and their applications in homotopy theory'' American Mathematical Society Translations, Ser. 2, Vol. 11, pp. 1–114 (1959)
| |
| | |
| {{DEFAULTSORT:Arf Invariant}}
| |
| [[Category:Quadratic forms]]
| |
| [[Category:Surgery theory]]
| |