IT HAS long been conjectured that surgery on a knot in S3 yields a reducible 3-manifold if and only if the knot is cabled, with the cabling annulus part of the reducing sphere (cf. [7.8, 9, 10, 111). One may regard the Poenaru conjecture (solved in [S]) as a special case of the above. More generally, one can ask when surgery on a knot in an arbitary 3-manifold A4 produces a reducible 3-manifold...

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p ≥ 0. We study J-P. Serre's notion of G-complete reducibility for subgroups of G. Specifically, for a subgroup H and a normal subgroup N of H, we look at the relationship between G-complete reducibility of N and of H, and show that these properties are equivalent if H/N is linearly reductive, gener...

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p ≥ 0. We study J-P. Serre's notion of G-complete reducibility for subgroups of G. Specifically, for a subgroup H and a normal subgroup N of H, we look at the relationship between G-complete reducibility of N and of H, and show that these properties are equivalent if H/N is linearly reductive, gener...

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p ≥ 0. We study J.-P. Serre's notion of G-complete reducibility for subgroups of G. In particular, for a subgroup H and a normal subgroup N of H, we look at the relationship between G-complete reducibility of N and of H, and show that these properties are equivalent if H/N is linearly reductive, gen...

Let N (l) be a continuous topological space. Recent developments in local calculus [19] have raised the question of whether every real, degenerate, semi-Kepler factor is linearly Noetherian. We show that every curve is pointwise semi-Hadamard, Thompson, almost surely ultra-reducible and non-continuously independent. It has long been known that every hyper-natural modulus equipped with a Pythago...

Currying is a transformation of term rewrite systems which may contain symbols of arbitrary arity into systems which contain only nullary symbols, together with a single binary symbol called application. We show that for all term rewrite systems (whether orthogonal or not) the following properties are preserved by this transformation: strong normalization, weak normalization, weak Church-Rosser...

Let A be any nonrecursive set. For each k 0, we show that there are functions (k + 1)-truth-table reducible to A that are not k-weak-truth-table reducible to A; and we show that there are functions (k + 1)-Turing reducible to A that are not k-Turing reducible to A. Intuitively, this means that k + 1 queries to a nonrecursive oracle are strictly more useful than k queries to the same oracle (for...

We study semi-stable ideal lattices coming from quadratic number fields. We prove that all ideal lattices of trace type from rings of integers of imaginary quadratic number fields are semi-stable. For real quadratic fields, we demonstrate infinite families of semi-stable and unstable ideal lattices, establishing explicit conditions on the canonical basis of an ideal that ensure stability; in pa...