Showing 1–18 of 18 results for author: Cahn, P

Rep-Tiles

Authors: Ryan Blair, Patricia Cahn, Alexandra Kjuchukova, Hannah Schwartz

Abstract: An $n$-dimensional rep-tile is a compact, connected submanifold of $\mathbb{R}^n$ with non-empty interior which can be decomposed into pairwise isometric rescaled copies of itself whose interiors are disjoint. We show that every smooth compact $n$-dimensional submanifold of $\mathbb{R}^n$ with connected boundary is topologically isotopic to a polycube that tiles the $n$-cube, and hence is topologi… ▽ More An $n$-dimensional rep-tile is a compact, connected submanifold of $\mathbb{R}^n$ with non-empty interior which can be decomposed into pairwise isometric rescaled copies of itself whose interiors are disjoint. We show that every smooth compact $n$-dimensional submanifold of $\mathbb{R}^n$ with connected boundary is topologically isotopic to a polycube that tiles the $n$-cube, and hence is topologically isotopic to a rep-tile. Consequently, there is a rep-tile in the homotopy type of any finite CW complex. In addition to classifying rep-tiles in all dimensions up to isotopy, we also give new explicit constructions of rep-tiles in all dimensions, including examples in the homotopy type of any finite bouquet of spheres. △ Less

Submitted 11 June, 2025; v1 submitted 27 December, 2024; originally announced December 2024.

Comments: 23 pages, 14 figures, 1 footnote, 1 ball number. Version 2 contains an improved exposition with some simplified proofs in Section 2. The ball number remains unchanged

Algorithms for Computing Invariants of Trisected Branched Covers

Authors: Patricia Cahn, Gordana Matic, Benjamin Ruppik

Abstract: We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The algorithm takes as input a tri-plane diagram, labelled with permutations according to the Wirtinger relations. We apply our algorithm to several examples, including… ▽ More We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The algorithm takes as input a tri-plane diagram, labelled with permutations according to the Wirtinger relations. We apply our algorithm to several examples, including dihedral and cyclic covers of spun knots, cyclic covers of Suciu's ribbon knots with the trefoil knot group, and an infinite family of irregular covers of the Stevedore disk double. As an application, we give a fully automated algorithm for computing Kjuchukova's homotopy-ribbon obstruction for a $p$-colorable knot, given an extension of that coloring over a ribbon surface in the 4-ball. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 43 pages, 20 figures, 10 tables

Linking in Cyclic Branched Covers and Satellite (non)-Homomorphisms

Authors: Patricia Cahn, Alexandra Kjuchukova

Abstract: Let $K\subset S^3$ be a knot and $η, γ\subset S^3\backslash K$ be simple closed curves. Denote by $Σ_q(K)$ the $q$-fold cyclic branched cover of $K$. We give an explicit formula for computing the linking numbers between lifts of $η$ and $γ$ to $Σ_q(K)$. As an application, we evaluate, in a variety of cases, an obstruction to satellite operations inducing homomorphisms on smooth concordance. Let $K\subset S^3$ be a knot and $η, γ\subset S^3\backslash K$ be simple closed curves. Denote by $Σ_q(K)$ the $q$-fold cyclic branched cover of $K$. We give an explicit formula for computing the linking numbers between lifts of $η$ and $γ$ to $Σ_q(K)$. As an application, we evaluate, in a variety of cases, an obstruction to satellite operations inducing homomorphisms on smooth concordance. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 23 pages, 11 figures, 5 tables, 3 footnotes, 1 appendix

Dihedral Linking Invariants

Authors: Patricia Cahn, Elise Catania, Sarangoo Chimgee, Olivia Del Guercio, Jack Kendrick

Abstract: A Fox p-colored knot $K$ in $S^3$ gives rise to a $p$-fold branched cover $M$ of $S^3$ along $K$. The pre-image of the knot $K$ under the covering map is a $\dfrac{p+1}{2}$-component link $L$ in $M$, and the set of pairwise linking numbers of the components of $L$ is an invariant of $K$. This powerful invariant played a key role in the development of early knot tables, and appears in formulas for… ▽ More A Fox p-colored knot $K$ in $S^3$ gives rise to a $p$-fold branched cover $M$ of $S^3$ along $K$. The pre-image of the knot $K$ under the covering map is a $\dfrac{p+1}{2}$-component link $L$ in $M$, and the set of pairwise linking numbers of the components of $L$ is an invariant of $K$. This powerful invariant played a key role in the development of early knot tables, and appears in formulas for many other important knot and manifold invariants. We give an algorithm for computing this invariant for all odd $p$, generalizing an algorithm of Perko, and tabulate the invariant for thousands of $p$-colorable knots. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 43 pages, 13 figures, 0 footnotes

MSC Class: 57K10; 57M12

A note on three-fold branched covers of $S^4$

Authors: Ryan Blair, Patricia Cahn, Alexandra Kjuchukova, Jeffrey Meier

Abstract: We show that any 4-manifold admitting a $(g;k_1,k_2,0)$-trisection is an irregular 3-fold cover of the 4-sphere whose branching set is a surface in $S^4$, smoothly embedded except for one singular point which is the cone on a link. A 4-manifold admits such a trisection if and only if it has a handle decomposition with no 1-handles; it is conjectured that all simply-connected 4-manifolds have this… ▽ More We show that any 4-manifold admitting a $(g;k_1,k_2,0)$-trisection is an irregular 3-fold cover of the 4-sphere whose branching set is a surface in $S^4$, smoothly embedded except for one singular point which is the cone on a link. A 4-manifold admits such a trisection if and only if it has a handle decomposition with no 1-handles; it is conjectured that all simply-connected 4-manifolds have this property. △ Less

Submitted 15 November, 2020; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: Generalized main theorem. 11 pages, 5 figures, no footnotes

MSC Class: 57M12; 57M25

Journal ref: Ann. Inst. Fourier (Grenoble) 74 (2024), no. 2, 849-866

The Dihedral Genus of a Knot

Authors: Patricia Cahn, Alexandra Kjuchukova

Abstract: Let $K\subset S^3$ be a Fox $p$-colored knot and assume $K$ bounds a locally flat surface $S\subset B^4$ over which the given $p$-coloring extends. This coloring of $S$ induces a dihedral branched cover $X\to S^4$. Its branching set is a closed surface embedded in $S^4$ locally flatly away from one singularity whose link is $K$. When $S$ is homotopy ribbon and $X$ a definite four-manifold, a condi… ▽ More Let $K\subset S^3$ be a Fox $p$-colored knot and assume $K$ bounds a locally flat surface $S\subset B^4$ over which the given $p$-coloring extends. This coloring of $S$ induces a dihedral branched cover $X\to S^4$. Its branching set is a closed surface embedded in $S^4$ locally flatly away from one singularity whose link is $K$. When $S$ is homotopy ribbon and $X$ a definite four-manifold, a condition relating the signature of $X$ and the Murasugi signature of $K$ guarantees that $S$ in fact realizes the four-genus of $K$. We exhibit an infinite family of knots $K_m$ with this property, each with a {Fox 3-}colored surface of minimal genus $m$. As a consequence, we classify the signatures of manifolds $X$ which arise as dihedral covers of $S^4$ in the above sense. △ Less

Submitted 29 August, 2020; v1 submitted 27 December, 2018; originally announced December 2018.

Comments: 19 pages, 10 figures, 3 footnotes. Final version

MSC Class: 57M12; 57M25; 57Q60

Journal ref: Algebr. Geom. Topol. 20 (2020) 1939-1963

Computing Ribbon Obstructions for Colored Knots

Authors: Patricia Cahn, Alexandra Kjuchukova

Abstract: Kjuchukova's $Ξ_p$ invariant gives a ribbon obstruction for Fox $p$-colored knots. The invariant is derived from dihedral branched covers of 4-manifolds, and is needed to calculate the signatures of these covers, when singularities on the branching sets are present. In this note, we give an algorithm for evaluating $Ξ_p$ from a colored knot diagram, and compute a couple of examples. Kjuchukova's $Ξ_p$ invariant gives a ribbon obstruction for Fox $p$-colored knots. The invariant is derived from dihedral branched covers of 4-manifolds, and is needed to calculate the signatures of these covers, when singularities on the branching sets are present. In this note, we give an algorithm for evaluating $Ξ_p$ from a colored knot diagram, and compute a couple of examples. △ Less

Submitted 29 August, 2020; v1 submitted 22 December, 2018; originally announced December 2018.

Comments: 14 pages. 0 footnotes. Changes to exposition and new example. To appear in Fundamenta Mathematicae. Originally part of arXiv:1710.11562

MSC Class: 57M12; 57M25; 57Q60

Singular branched covers of four-manifolds

Authors: Patricia Cahn, Alexandra Kjuchukova

Abstract: Consider a dihedral cover $f: Y\to X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an irregular dihedral cover $f: Y\to S^4$ if $Y$ is homotopy equivalent to $\mathbb{CP}^2$ and construct an explicit infinite family of such covers with $Y$ diffeomor… ▽ More Consider a dihedral cover $f: Y\to X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an irregular dihedral cover $f: Y\to S^4$ if $Y$ is homotopy equivalent to $\mathbb{CP}^2$ and construct an explicit infinite family of such covers with $Y$ diffeomorphic to $\mathbb{CP}^2$. An obstruction to a knot being homotopically ribbon arises in this setting, and we describe a class of potential counter-examples to the Slice-Ribbon Conjecture. Our tools include lifting a trisection of a singularly embedded surface in a four-manifold $X$ to obtain a trisection of the corresponding irregular dihedral branched cover of $X$, when such a cover exists. We also develop a combinatorial procedure to compute, using a formula by the second author, the contribution to the signature of the covering manifold which results from the presence of a singularity on the branching set. △ Less

Submitted 31 October, 2017; originally announced October 2017.

Comments: 26 pages, 19 figures, 1 footnote

MSC Class: 57M27 (Primary); 57M25 and 57M12 (Secondary)

Linking Numbers in Three-Manifolds

Authors: Patricia Cahn, Alexandra Kjuchukova

Abstract: Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a presentation of $M$ as an irregular dihedral $3$-fold cover of $S^3$ branched along a knot $α\subset S^3$. Since every closed, oriented three-manifold admits such a… ▽ More Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a presentation of $M$ as an irregular dihedral $3$-fold cover of $S^3$ branched along a knot $α\subset S^3$. Since every closed, oriented three-manifold admits such a presentation, our results apply to all (well-defined) linking numbers in all three-manifolds. Furthermore, ribbon obstructions for a knot $α$ can be derived from dihedral covers of $α$. The linking numbers we compute are necessary for evaluating one such obstruction. This work is a step toward testing potential counter-examples to the Slice-Ribbon Conjecture, among other applications. △ Less

Submitted 6 November, 2020; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: Fixed minor errors; reorganized exposition; added footnote. To appear in Discrete and Computational Geometry. 37 pages, 17 figures, 1 footnote

MSC Class: 57M27 (Primary); 57M25 and 57M12 (Secondary)

Mapping class group orbits of curves with self-intersections

Authors: Patricia Cahn, Federica Fanoni, Bram Petri

Abstract: We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves wit… ▽ More We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs. △ Less

Submitted 23 May, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 16 pages, 1 figure, generalized main result

Deformation and Extension of Fibrations of Spheres by Great Circles

Authors: Patricia Cahn, Herman Gluck, Haggai Nuchi

Abstract: In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since that time, no generalization of this result to higher dimensions has been found, and so we narrow our sights here and show that in an infinitesimal sense explaine… ▽ More In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since that time, no generalization of this result to higher dimensions has been found, and so we narrow our sights here and show that in an infinitesimal sense explained below, the space of all smooth oriented great circle fibrations of the 2n+1 sphere S^(2n+1) deformation retracts to its subspace of Hopf fibrations. The tools gathered to prove this also serve to show that every germ of a smooth great circle fibration of S^(2n+1) extends to such a fibration of all of S^(2n+1), a result previously known only for S^3 . △ Less

Submitted 11 February, 2015; originally announced February 2015.

Journal ref: Algebr. Geom. Topol. 18 (2018) 1323-1360

Loose Legendrian and Pseudo-Legendrian Knots in 3-Manifolds

Authors: Patricia Cahn, Vladimir Chernov

Abstract: We prove a complete classification theorem for loose Legendrian knots in an oriented 3-manifold, generalizing results of Dymara and Ding-Geiges. Our approach is to classify knots in a $3$-manifold $M$ that are transverse to a nowhere-zero vector field $V$ up to the corresponding isotopy relation. Such knots are called $V$-transverse. A framed isotopy class is simple if any two $V$-transverse knots… ▽ More We prove a complete classification theorem for loose Legendrian knots in an oriented 3-manifold, generalizing results of Dymara and Ding-Geiges. Our approach is to classify knots in a $3$-manifold $M$ that are transverse to a nowhere-zero vector field $V$ up to the corresponding isotopy relation. Such knots are called $V$-transverse. A framed isotopy class is simple if any two $V$-transverse knots in that class which are homotopic through $V$-transverse immersions are $V$-transverse isotopic. We show that all knot types in $M$ are simple if any one of the following three conditions hold: $1.$ $M$ is closed, irreducible and atoroidal; or $2.$ the Euler class of the $2$-bundle $V^{\perp}$ orthogonal to $V$ is a torsion class, or $3.$ if $V$ is a coorienting vector field of a tight contact structure. Finally, we construct examples of pairs of homotopic knot types such that one is simple and one is not. As a consequence of the $h$-principle for Legendrian immersions, we also construct knot types which are not Legendrian simple. △ Less

Submitted 22 July, 2019; v1 submitted 22 May, 2014; originally announced May 2014.

Comments: 31 pages, 13 figures. Version 2 contains an additional theorem on Legendrian knots with overtwisted complements. Version 3 has a revised introduction and new title; the results are identical to version 2

MSC Class: Primary 57M27; Secondary 53R17

The number of framings of a knot in a 3-manifold

Authors: Patricia Cahn, Vladimir Chernov, Rustam Sadykov

Abstract: In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous… ▽ More In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous and the manifold is not required to be compact. We show that when $M$ is orientable, the number $|K|$ is infinite unless $K$ intersects a non-separating sphere at exactly one point, in which case $|K|=2$; the existence of a non-separating sphere implies that $M$ contains a connected sum factor of $S^1\times S^2$. For knots in nonorientable manifolds we show that if $|K|$ is finite, then $K$ is disorienting, or there is an isotopy from the knot to itself which changes the orientation of its normal bundle, or it intersects some embedded $S^2$ or $\mathbb R P^2$ at exactly one point, or it intersects some embedded $S^2$ at exactly two points in such a way that a closed curve consisting of an arc in $K$ between the intersection points and an arc in $S^2$ is disorienting. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Comments: 8 pages, 3 figure

MSC Class: 57M27

Vassiliev Invariants of Virtual Legendrian Knots

Authors: Patricia Cahn, Asa Levi

Abstract: We introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particul… ▽ More We introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particular, Vassiliev invariants cannot be used to distinguish virtual Legendrian knots that are isotopic as virtual framed knots and have equal virtual Maslov numbers. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Journal ref: Pacific J. Math. 273 (2015) 21-46

A Generalization of Turaev's Virtual String Cobracket

Authors: Patricia Cahn

Abstract: In a previous paper, we defined an operation $μ$ that generalizes Turaev's cobracket for loops on a surface. We showed that, in contrast to the cobracket, this operation gives a formula for the minimum number of self-intersections of a loop in a given free homotopy class. In this paper we consider the corresponding question for virtual strings. We show that $μ$ gives a bound on the minimal self-in… ▽ More In a previous paper, we defined an operation $μ$ that generalizes Turaev's cobracket for loops on a surface. We showed that, in contrast to the cobracket, this operation gives a formula for the minimum number of self-intersections of a loop in a given free homotopy class. In this paper we consider the corresponding question for virtual strings. We show that $μ$ gives a bound on the minimal self-intersection number of a virtual string which is stronger than a bound given by Turaev's virtual string cobracket. We use Turaev's based matrices to describe strings $α$ such that $μ$ gives a formula for the minimal self-intersection number $α$. We also construct an example that shows the bound on the minimal self-intersection number given by $μ$ is sometimes stronger than the bound $ρ$ given by Turaev's based matrix invariant. △ Less

Submitted 9 May, 2014; v1 submitted 23 July, 2011; originally announced July 2011.

Comments: 30 pages, 12 figures

MSC Class: 57M99

Intersections of Loops and the Andersen-Mattes-Reshetikhin Algebra

Authors: Patricia Cahn, Vladimir Chernov

Abstract: Given two free homotopy classes $α_1, α_2$ of loops on an oriented surface, it is natural to ask how to compute the minimum number of intersection points $m(α_1, α_2)$ of loops in these two classes. We show that for $α_1\neqα_2$ the number of terms in the Andersen-Mattes-Reshetikhin Poisson bracket of $α_1$ and $α_2$ is equal to $m(α_1, α_2)$. Chas found examples showing that a similar statement… ▽ More Given two free homotopy classes $α_1, α_2$ of loops on an oriented surface, it is natural to ask how to compute the minimum number of intersection points $m(α_1, α_2)$ of loops in these two classes. We show that for $α_1\neqα_2$ the number of terms in the Andersen-Mattes-Reshetikhin Poisson bracket of $α_1$ and $α_2$ is equal to $m(α_1, α_2)$. Chas found examples showing that a similar statement does not, in general, hold for the Goldman Lie bracket of $α_1$ and $α_2$. The main result of this paper in the case where $α_1, α_2$ do not contain different powers of the same loop first appeared in the unpublished preprint of the second author. In order to prove the main result for all pairs of $α_1\neq α_2$ we had to use the techniques developed by the first author in her study of operations generalizing Turaev's cobracket of loops on a surface. △ Less

Submitted 28 September, 2012; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: We added a Theorem on comuting the minimal number of self intersection points using the Andersen-Mattes-Reshetikhin Poisson bracket. 20 pages, 5 figures

MSC Class: 57N05; 57M99 (Primary) 17B63 (Secondary)

A Generalization of the Turaev Cobracket and the Minimal Self-Intersection Number of a Curve on a Surface

Authors: Patricia Cahn

Abstract: Goldman and Turaev constructed a Lie bialgebra structure on the free $\mathbb{Z}$-module generated by free homotopy classes of loops on a surface. Turaev conjectured that his cobracket $Δ(α)$ is zero if and only if $α$ is a power of a simple class. Chas constructed examples that show Turaev's conjecture is, unfortunately, false. We define an operation $μ$ in the spirit of the Andersen-Mattes-Reshe… ▽ More Goldman and Turaev constructed a Lie bialgebra structure on the free $\mathbb{Z}$-module generated by free homotopy classes of loops on a surface. Turaev conjectured that his cobracket $Δ(α)$ is zero if and only if $α$ is a power of a simple class. Chas constructed examples that show Turaev's conjecture is, unfortunately, false. We define an operation $μ$ in the spirit of the Andersen-Mattes-Reshetikhin algebra of chord diagrams. The Turaev cobracket factors through $μ$, so we can view $μ$ as a generalization of $Δ$. We show that Turaev's conjecture holds when $Δ$ is replaced with $μ$. We also show that $μ(α)$ gives an explicit formula for the minimum number of self-intersection points of a loop in $α$. The operation $μ$ also satisfies identities similar to the co-Jacobi and coskew symmetry identities, so while $μ$ is not a cobracket, $μ$ behaves like a Lie cobracket for the Andersen-Mattes-Reshetikhin Poisson algebra. △ Less

Submitted 25 November, 2010; v1 submitted 4 April, 2010; originally announced April 2010.

Comments: 27 pages, 18 figures; This version contains updated references, an updated introduction, and example

MSC Class: 57M99; 57N05 (Primary); 17B62 (Secondary)

Unfolding Smooth Prismatoids

Authors: Nadia Benbernou, Patricia Cahn, Joseph O'Rourke

Abstract: We define a notion for unfolding smooth, ruled surfaces, and prove that every smooth prismatoid (the convex hull of two smooth curves lying in parallel planes), has a nonoverlapping "volcano unfolding." These unfoldings keep the base intact, unfold the sides outward, splayed around the base, and attach the top to the tip of some side rib. Our result answers a question for smooth prismatoids whose… ▽ More We define a notion for unfolding smooth, ruled surfaces, and prove that every smooth prismatoid (the convex hull of two smooth curves lying in parallel planes), has a nonoverlapping "volcano unfolding." These unfoldings keep the base intact, unfold the sides outward, splayed around the base, and attach the top to the tip of some side rib. Our result answers a question for smooth prismatoids whose analog for polyhedral prismatoids remains unsolved. △ Less

Submitted 11 March, 2015; v1 submitted 28 July, 2004; originally announced July 2004.

Comments: 19 pages, 15 figures, 1st draft Revised version corrects an error in the proof of Lemma 3.3. The statement of the lemma remains unchanged. Second revised version: corrected a typo in the title

Report number: Smith College Computer Science Technical Report 078 ACM Class: F.2.2