The diameter function on the space of space form
We describe explicitly the group of transverse diffeomorphisms of several types of minimal linear foliations on the torus , . We show in particular that non-quadratic foliations are rigid, in the sense that their only transverse diffeomorphisms are and translations. The description derives from a general formula valid for the group of transverse diffeomorphisms of any minimal Lie foliation on a compact manifold. Our results generalize those of P. Donato and P. Iglesias for , P. Iglesias and...
Let be a set-germ at such that . We say that is a direction of at if there is a sequence of points tending to such that as . Let denote the set of all directions of at .Let be subanalytic set-germs at such that . We study the problem of whether the dimension of the common direction set, is preserved by bi-Lipschitz homeomorphisms. We show that although it is not true in general, it is preserved if the images of and are also subanalytic. In particular if two subanalytic...
We define an integer-valued non-degenerate bi-invariant metric (the discriminant metric) on the universal cover of the identity component of the contactomorphism group of any contact manifold. This metric has a very simple geometric definition, based on the notion of discriminant points of contactomorphisms. Using generating functions we prove that the discriminant metric is unbounded for the standard contact structures on and . On the other hand we also show by elementary arguments that the...
We prove the “End Curve Theorem,” which states that a normal surface singularity with rational homology sphere link is a splice quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An “end curve function” is an analytic function whose zero set intersects in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf. A “splice quotient singularity” is described by giving an explicit set of equations describing...
Let A, B be invertible, non-commuting elements of a ring R. Suppose that A-1 is also invertible and that the equation [B,(A-1)(A,B)] = 0 called the fundamental equation is satisfied. Then this defines a representation of the algebra ℱ = A, B | [B,(A-1)(A,B)] = 0. An invariant R-module can then be defined for any diagram of a (virtual) knot or link. This halves the number of previously known relations and allows us to give a complete solution in the case when R is the quaternions.