MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Framed functions arose in the work of K. Igusa defining cohomology invariants for smooth manifold bundles (Igusa-Klein torsion). In the late 80's, he proved a strong connectivity result about the "space of framed functions" using Morse theory and conjectured that this space was, in fact, contractible. Jacob Lurie recently verified this conjecture using the language of higher category theory in the course of his proof of the Cobordism Hypothesis.

(1) Is there any progress on a more geometric proof of this? The relevant work of Igusa is very geometric and Lurie himself points out that a more direct proof should be found. Perhaps more realistically: is there a geometric heuristic for Lurie's result?

(2) Does anyone know of applications of framed functions beyond defining Igusa-Klein torsion and proving the Cobordism Hypothesis? Pointers into the literature on this topic would be much appreciated.

EDIT: A framed function on $M$ is a pair $(f,\xi)$ of a smooth function $f$ on $M$ having at most $A2$ singularities in the interior of $M$ and no singular points on the boundary, and an orthonormal framing $\xi$ of the negative eigenspace of the Hessian of $f$ at each critical point.

share|cite|improve this question
Should we request a definition of "framed function"? – Gerald Edgar Sep 10 '10 at 20:14
Definition of "framed function" added. Note that framed functions occur in TQFT to handle transitions between slicing functions and slicing. See Walker's "On Witten's 3-manifold invariants". – Daniel Moskovich Nov 10 '10 at 21:17
up vote 14 down vote accepted

It is possible to prove the contractibility directly (and thereby bypass the obstruction theory arguments sketched at the end of section 3 of my paper). The statement itself is an example of an h-principle: namely, one can show fairly easily that the framed function space of ${\mathbb R}^{n}$ is contractible, so the general result hinges on knowing that the framed function spaces also satisfy some sort of "local to global" principle for arbitrary manifolds. (If I remember correctly, Igusa told me that he and Eliashberg sketched out a proof along these lines, but never had the motivation to write it up.)

share|cite|improve this answer
Can anyone comment on what this '"local to global" principle for arbitrary manifolds' says exactly? – Romeo Sep 15 '10 at 20:13
Romeo - one aspect of the h-principle concerns the situation where some sheaf of spaces on a manifold is also a homotopy sheaf in the sense that global sections can be recovered (up to homotopy) as a homotopy limit of sections over a cover -- the kind of statement needed to go from local contractibility to global contractibility. You can look at the sections on (micro)flexible sheaves in Gromov's book for information. – Dustin Clausen Dec 24 '10 at 18:55
I suppose that proof of Eliashberg's was written up here? – j.c. Dec 9 '14 at 15:52

Eliashberg once told me that the framed function theorem should be a consequence of his work on wrinkled maps.

Igusa and I gave a fairly direct proof that the space of framed functions on the circle is contractible. The idea is that the assignment function $f \mapsto \Sigma(f)$ (= its singular set, suitably interpreted as a point of a configuration space) is is quasifibration with contractible fibers when $f$ varies through framed functions on $S^1$. The proof in this case appears in:

Igusa, Kiyoshi; Klein, John The Borel regulator map on pictures. II. An example from Morse theory. K-Theory 7 (1993), no. 3, 225–267.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.