arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · math/0111038

An inequality for the h-invariant in instanton Floer theory

Kim Anders Froyshov
View original source ↗Read source document ↗Export metadata ↓

Abstract

In math.DG/9903083 (henceforth referred to as EA) we defined an integer invariant $h(Y)$ for oriented integral homology 3-spheres $Y$ which only depends on the rational homology cobordism class of $Y$ and is additive under connected sums. In this paper we establish lower bounds for $h(Y)$ when $Y$ is the boundary of a smooth, compact, oriented 4-manifold with $b_2^+=1$. As applications, we give an upper bound for how much $h$ changes under -1 surgery on knots in terms of the slice genus of the knot, and compute $h$ for a family of Brieskorn spheres. This paper contains, in revised form, most of the material from v1 of EA that was left out in the final version of that paper. In particular, Theorem 1 of the present paper is virtually the same as Theorem 1 of v1 of EA. The proof is also essentially the same, but the exposition has been improved, with more details.

Explore related subjects

math.DGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kim Anders Froyshov. 2003-05-20. An inequality for the h-invariant in instanton Floer theory. https://arxiv.org/abs/math/0111038

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Cohomology of Lie algebroids over topological ringed spaces

We consider Lie algebroids over a topological ringed space as quasicoherent sheaves of Lie-Rinehart algebras. We express hypercohomology for a locally free Lie algebroid (not necessarily of finite rank) as a derived functor, and simplify it via Čech cohomology. Furthermore, we define the Hochschild hypercohomology of a sheaf of generalized bialgebras (using a derived functor) and study the cases of the universal enveloping algebroid and of the jet algebroid of a Lie algebroid. In the sequel, we present a version of Hochschild-Kostant-Rosenberg theorem for a locally free Lie algebroid, as well as its dual version.

math.DG↗
arXiv2026

Family index for Fredholm extensions of semi-Fredholm operators

This paper is devoted to an abstract analogue of elliptic boundary value problems, namely, Fredholm realizations of semi-Fredholm operators in a Hilbert space. Such a realization is determined by an abstract boundary condition, which is a subspace in the space of abstract boundary values. We find the $K^0$ index of a family of such abstract boundary value problems, or the $K^1$ index in the self-adjoint case, in terms of the corresponding family of abstract boundary conditions. Our approach is based on passing from a Fredholm operator to its graph. The graph forms a Fredholm pair with the horizontal subspace, and we prove the index formula by deforming the horizontal subspace instead of the operator.

math.DG↗
arXiv2026

Classifying Slice-Regular Polynomials via Group Actions on the Twistor Space

We study the equivalence classes of slice-regular functions $f:Ω\to\mathbb{H}$ on a symmetric slice domain $Ω$, and of their subclass made of polynomial slice-regular functions, with respect to the natural action of $\mathrm{PGL}(2,\mathbb{H})$ and its subgroups, by employing the twistor construction. In particular, we characterize slice--regular functions whose twistor lift is planar and belongs to a given orbit, and we find normal classes of slice-regular polynomials with respect to the action of a parabolic subgroup of $\mathrm{GL}(2,\mathbb{H})$.

math.DG↗