Sewings of crumpled cubes revisited

This paper sets forth three mismatch properties, strictly ordered in strength, about sewings of crumpled n-cubes. The strongest is a sufficient but not a necessary condition for a sewing to yield Sn, and the weakest, a necessary but not sufficient one. We show that when both crumpled cubes satisfies the Disjoint Disks Property, then the weakest property implies the sewing yields Sn, and we also show that the intermediate property leads to the same conclusion when just one of the crumpled cubes possesses the Disjoint Disks Property. In addition, we develop examples that confirm sharpness of the relevant Disjoint Disks conditions.     

Embeddability of multiple cones

The main result of this paper is that if X is a Peano continuum such that its nth cone Cn(X) embeds into Rn+2 then X embeds into S². This solves a problem proposed by W. Rosicki.     

Boundaries and complements of infinite- dimensional manifolds in the model space

Let M be a manifold modeled on a locally convex linear metric space E≌E^ω (or ≌E^ω_f and N a Z-submanifold of M. Then N is collared in M. In this paper, we study the following problem [1, 3]: Under what conditions can M be embedded in E so that N is the topological boundary of M in E? We gain a more mild sufficient condition than the previous papers [7, 8] and a necessary and sufficient condition in the case M has the homotopy type of Sⁿ (and each component of N is simply connected if n?2) and in the case N has the homotopy type of Sⁿ (n?2). Also we obtain a necessary and sufficient condition under which M can be embedded in E so that bd M = N and cl(E\M) has the homotopy type of Sⁿ (we assume that M and N are simply connected if n ? 2).     

Classifying simple closed curve pairs in the 2-sphere and a generalization of the Schoenflies theorem

A classification theory is developed for pairs of simple closed curves (A,B) in the sphere S², assuming that A∩B has finitely many components. Such a pair of simple closed curves is called an SCC-pair, and two SCC-pairs (A,B) and (A^′,B^′) are equivalent if there is a homeomorphism from S² to itself sending A to A^′ and B to B^′. The simple cases where A and B coincide or A and B are disjoint are easily handled. The component code is defined to provide a classification of all of the other possibilities. The component code is not uniquely determined for a given SCC-pair, but it is straightforward that it is an invariant; i.e., that if (A,B) and (A^′,B^′) are equivalent and C is a component code for (A,B), then C is a component code for (A^′,B^′) as well. It is proved that the component code is a classifying invariant in the sense that if two SCC-pairs have a component code in common, then the SCC-pairs are equivalent. Furthermore code transformations on component codes are defined so that if one component code is known for a particular SCC-pair, then all other component codes for the SCC-pair can be determined via code transformations. This provides a notion of equivalence for component codes; specifically, two component codes are equivalent if there is a code transformation mapping one to the other. The main result of the paper asserts that if C and C^′ are component codes for SCC-pairs (A,B) and (A^′,B^′), respectively, then (A,B) and (A^′,B^′) are equivalent if and only if C and C^′ are equivalent. Finally, a generalization of the Schoenflies theorem to SCC-pairs is presented.     

Procrustes problems and associated approximation problems for matrices with k-involutory symmetries

We say that a matrix R∈C^n×n is k-involutary if its minimal polynomial is x^k-1 for some k?2, so R^k-1=R^-1 and the eigenvalues of R are 1,ζ,ζ²,…,ζ^k-1, where ζ=e^2πi/k. Let α,μ∈{0,1,…,k-1}. If R∈C^m×m, A∈C^m×n, S∈C^n×n and R and S are k-involutory, we say that A is (R,S,μ)-symmetric if RAS^-1=ζ^μA, and A is (R,S,α,μ)-symmetric if RAS^-α=ζ^μA.Let L be the class of m×n(R,S,μ)-symmetric matrices or the class of m×n(R,S,α,μ)-symmetric matrices. Given X∈C^n×t and B∈C^m×t, we characterize the matrices A in L that minimize ‖AX-B‖ (Frobenius norm), and, given an arbitrary W∈C^m×n, we find the unique matrix A∈L that minimizes both ‖AX-B‖ and ‖A-W‖. We also obtain necessary and sufficient conditions for existence of A∈L such that AX=B, and, assuming that the conditions are satisfied, characterize the set of all such A.     

An upper bound for Hilbert cubes

In this note we give a new upper bound for the largest size of subset of {1,2,…,n} not containing a k-cube.     

The converse of the Solid Torus Theorem

Given positive integers p and q, a (p,q)-solid torus is a manifold diffeomorphic to Dp+1×Sq while a (p,q)-torus in a closed manifold M is the image of a differentiably embedding Sp×Sq→M. We prove that if n=p+q+1 with p=q=1 or p≠q, then M is homeomorphic to Sn whenever every (p,q)-torus bounds a (p,q)-solid torus. We also prove for p=q that every closed n-manifold for which every (p,p)-torus bounds an irreducible manifold is irreducible. Consequently, every closed 3-manifold for which every torus bounds an irreducible manifold is irreducible.     

k-dimensional skeletoids in Rn and the Hilbert cube

In their paper on pseudo-boundaries and pseudo-interiors R. Geoghegan and R.R. Summerhill construct k-dimensional pseudo-boundaries in $\text{R}$ⁿ, where they used West's notion of a pseudo-boundary, rather than Toruńczyk's. In this paper we construct pseudo-boundaries in the sense of Toruńczyk (skeletoids) in $\text{R}$ⁿ and use this result to find k-dimensional skeletoids in the Hilbert cube.     

Fractal boundaries are not typical

Let M be a C¹n-dimensional compact submanifold of Rn. The boundary of M, ∂M, is itself a C¹ compact (n−1)-dimensional submanifold of Rn. A carefully chosen set of deformations of ∂M defines a complete subspace consisting of boundaries of compact n-dimensional submanifolds of Rn, thus the Baire Category Theorem applies to the subspace. For the typical boundary element ∂W in this space, it is the case that ∂W is simultaneously nowhere-differentiable and of Hausdorff dimension n−1.     

The hexatangle

We are interested in knowing what type of manifolds are obtained by doing Dehn surgery on closed pure 3-braids in S³. In particular, we want to determine when we get S³ by surgery on such a link. We consider links which are small closed pure 3-braids; these are the closure of 3-braids of the form , where σ₁, σ₂ are the generators of the 3-braid group and e₁, f₁, e are integers. We study Dehn surgeries on these links, and determine exactly which ones admit an integral surgery producing the 3-sphere. This is equivalent to determining the surgeries of some type on a certain six component link L that produce S³. The link L is strongly invertible and its exterior double branch covers a certain configuration of arcs and spheres, which we call the hexatangle. Our problem is equivalent to determine which fillings of the spheres by integral tangles produce the trivial knot, which is what we explicitly solve. This hexatangle is a generalization of the pentangle, which is studied in [C.McA. Gordon, J. Luecke, Non-integral toroidal Dehn surgeries, Comm. Anal. Geom. 12 (2004) 417-485].     

Codimension one spheres in Rn with double tangent balls

In contrast to the situation in $\text{R}$³, where a 2-sphere with double tangent balls at each point must be tamely embedded in $\text{R}$³, there exist wild (n?1)-spheres in $\text{R}$ⁿ for n>3 with this same geometric property. However, if the sphere Σ is tame moduio a subset X that lies in a polyhedron P that is tame in Σ, the dimension of P is less than n?2, n>4, and Σ has double tangent balls over X, then Σ must be tame in $\text{R}$ⁿ. Also if the tangent balls extend over P and are pairwise congruent, the dimensional restriction on P can be dropped. Examples are given to support the necessity of the hypotheses of the included theorems.     

Homology representations arising from the half cube, II

In a previous work, we defined a family of subcomplexes of the n-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least k, and we proved that the reduced homology of such a subcomplex is concentrated in degree k−1. This homology module supports a natural action of the Coxeter group W(Dn) of type D. In this paper, we explicitly determine the characters (over C) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group Sn by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of Sn agree (over C) with the representations of Sn on the (k−2)-nd homology of the complement of the k-equal real hyperplane arrangement.     

The minimal number of singularities of stable maps between surfaces

For a C^∞ stable map of a closed and connected surface M into the sphere, let c(φ), i(φ) and n(φ) denote the numbers of cusps, fold curves components and nodes respectively. In this paper, in a given homotopy class, we will determine the minimal pair (i,c+n) with respect to the lexicographic order.     

High distance Heegaard splittings of 3-manifolds

J. Hempel [J. Hempel, 3-manifolds as viewed from the curve complex, Topology 40 (3) (2001) 631-657] used the curve complex associated to the Heegaard surface of a splitting of a 3-manifold to study its complexity. He introduced the distance of a Heegaard splitting as the distance between two subsets of the curve complex associated to the handlebodies. Inspired by a construction of T. Kobayashi [T. Kobayashi, Casson-Gordon's rectangle condition of Heegaard diagrams and incompressible tori in 3-manifolds, Osaka J. Math. 25 (3) (1988) 553-573], J. Hempel [J. Hempel, 3-manifolds as viewed from the curve complex, Topology 40 (3) (2001) 631-657] proved the existence of arbitrarily high distance Heegaard splittings.In this work we explicitly define an infinite sequence of 3-manifolds {Mn} via their representative Heegaard diagrams by iterating a 2-fold Dehn twist operator. Using purely combinatorial techniques we are able to prove that the distance of the Heegaard splitting of Mn is at least n.Moreover, we show that π₁(Mn) surjects onto π₁(Mn−1). Hence, if we assume that M⁰ has nontrivial boundary then it follows that the first Betti number β₁(Mn)>0 for all n?1. Therefore, the sequence {Mn} consists of Haken 3-manifolds for n?1 and hyperbolizable 3-manifolds for n?3.     

Netlike partial cubes, V: Completion and netlike classes

We define a completion of a netlike partial cube G by replacing each convex 2n-cycle C of G with n≥3 by an n-cube admitting C as an isometric cycle. We prove that a completion of G is a median graph if and only if G has the Median Cycle Property (MCP) (see N. Polat, Netlike partial cubes III. The Median Cycle Property, Discrete Math.). In fact any completion of a netlike partial cube having the MCP is defined by a universal property and turns out to be a minimal median graph containing G as an isometric subgraph. We show that the completions of the netlike partial cubes having the MCP preserves the principal constructions of these graphs, such as: netlike subgraphs, gated amalgams and expansions. Conversely any netlike partial cube having the MCP can be obtained from a median graph by deleting some particular maximal finite hypercubes. We also show that, given a netlike partial cube G having the MCP, the class of all netlike partial cubes having the MCP whose completions are isomorphic to those of G share different properties, such as: depth, lattice dimension, semicube graph and crossing graph.     

Induced lines in Hales-Jewett cubes

A line in d[n] is a set {x(1),…,x(n)} of n elements of d[n] such that for each 1?i?d, the sequence is either strictly increasing from 1 to n, or strictly decreasing from n to 1, or constant. How many lines can a set S⊆d[n] of a given size contain?One of our aims in this paper is to give a counterexample to the Ratio Conjecture of Patashnik, which states that the greatest average degree is attained when S=d[n]. Our other main aim is to prove the result (which would have been strongly suggested by the Ratio Conjecture) that the number of lines contained in S is at most |S|^2−ε for some ε>0.We also prove similar results for combinatorial, or Hales-Jewett, lines, i.e. lines such that only strictly increasing or constant sequences are allowed.     

3-manifolds which are orbit spaces of diffeomorphisms

In a very general setting, we show that a 3-manifold obtained as the orbit space of the basin of a topological attractor is either S²×S¹ or irreducible.We then study in more detail the topology of a class of 3-manifolds which are also orbit spaces and arise as invariants of gradient-like diffeomorphisms (in dimension 3). Up to a finite number of exceptions, which we explicitly describe, all these manifolds are Haken and, by changing the diffeomorphism by a finite power, all the Seifert components of the Jaco-Shalen-Johannson decomposition of these manifolds are made into product circle bundles.     

Special manifolds and shape fibrator properties

Our main interest in this paper is further investigation of the concept of (PL) fibrators (introduced by Daverman [R.J. Daverman, PL maps with manifold fibers, J. London Math. Soc. (2) 45 (1992) 180-192]), in a slightly different PL setting. Namely, we are interested in manifolds that can detect approximate fibrations in the new setting. The main results state that every orientable, special (a new class of manifolds that we introduce) PL n-manifold with non-trivial first homology group is a fibrator in the new category, if it is a codimension-2 fibrator (Theorem 8.2) or has a non-cyclic fundamental group (Theorem 8.4). We show that all closed, orientable surface S with χ(S)<0 are fibrators in the new category.     

Schubert calculus on the Grassmannian of hermitian lagrangian spaces

With an eye towards index theoretic applications we describe a Schubert like stratification on the Grassmannian of hermitian lagrangian spaces in Cn⊕Cn. This is a natural compactification of the space of hermitian n×n matrices. The closures of the strata define integral cycles, and we investigate their intersection theoretic properties. We achieve this by blending Morse theoretic ideas, with techniques from o-minimal (or tame) geometry and geometric integration theory.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.