Analytic and topological invariants associated to nowhere zero vector fields (Q1305088)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analytic and topological invariants associated to nowhere zero vector fields
scientific article

    Statements

    Analytic and topological invariants associated to nowhere zero vector fields (English)
    0 references
    0 references
    1 August 2000
    0 references
    Motivated by the Gauss-Bonnet-Chern and Poincaré-Hopf theorems, the author studies skew-adjoint and Toeplitz operators whose index theory provides nontrivial invariants of manifolds with vanishing Euler characteristic. Let \(M\) be an oriented closed Riemannian manifold that admits a unit vector field \(V\). Let \(c(V)\) denote the action on differential forms defined by the pointwise sum of exterior multiplication by \(V\)'s dual and interior multiplication by \(V\). Let \(D\) be the sum of exterior differentiation and its adjoint. The author shows that the restriction to even-degree differential forms of the operator \(D(V)\), defined to be one-half \(c(V)\circ D-D\circ c(V)\), is a real skew-adjoint elliptic first order differential operator whose kernel has mod 2 dimension equal to the Kervaire semi-characteristic when the dimension of \(M\) is \(4q+1\). For \(M\) odd-dimensional and nonsimply connected, the author defines a more refined invariant. After complexifying, he defines the self-adjoint operator \(\sqrt{-1} D(V)\). Pairing its positive spectral projection with maps \(g\: M\rightarrow U(N)\) defines Fredholm Toeplitz operators. The author uses the relationship between the indices of these Toeplitz operators and spectral flow to give a heat equation proof of an index formula for these operators. When a \(U(1)\)-valued map \(g\) is defined by exponentiating path integrals of a closed one-form \(\omega\), the index formula reduces to evaluating \([\omega ]\cup e(V)\) on \(M\). Here \(e(V)\) represents the Euler class of \(V\)'s orthogonal complement in the tangent bundle. In this way \(V\) defines a map \(H^{1} (M)\rightarrow \mathbb{Z}\) whose dependence on an index formula makes it a homotopy invariant of \(V\).
    0 references
    0 references
    Gauss-Bonnet theorem
    0 references
    Poincaré-Hopf theorem
    0 references
    mod 2 index
    0 references
    Toeplitz operator
    0 references
    vector field
    0 references
    Kervaire semi-characteristic
    0 references
    eta invariant
    0 references
    spectral flow
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references