Showing 1–10 of 10 results for author: Joseph, J

Isomorphic Subtypes in a Finite Generalized Ordered Type

Authors: Jean S. Joseph

Abstract: We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type. We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Relative Group Trisections

Authors: Nickolas Andres Castro, Jason Joseph, Patrick K. McFaddin

Abstract: Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-c… ▽ More Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-closed case by defining and studying relative group trisections. We establish an analogous one-to-one correspondence between relative trisections and relative group trisections up to equivalence. The key lemma in the construction may be of independent interest, as it generalizes the classical fact that there is a unique handlebody extension of a surface realizing a given surjection. Moreover, we establish a functorial relationship between relative trisections of manifolds and groups, extending work of Klug in the closed case. △ Less

Submitted 23 July, 2024; v1 submitted 20 June, 2024; originally announced June 2024.

Comments: 19 pages, 5 figure. Version 2 updates include an "Examples" section and additional remarks for clarification and future inquiry

MSC Class: M7K40; 57M05; 57M50

Bridge trisections and Seifert solids

Authors: Jason Joseph, Jeffrey Meier, Maggie Miller, Alexander Zupan

Abstract: We adapt Seifert's algorithm for classical knots and links to the setting of tri-plane diagrams for bridge trisected surfaces in the 4-sphere. Our approach allows for the construction of a Seifert solid that is described by a Heegaard diagram. The Seifert solids produced can be assumed to have exteriors that can be built without 3-handles; in contrast, we give examples of Seifert solids (not comin… ▽ More We adapt Seifert's algorithm for classical knots and links to the setting of tri-plane diagrams for bridge trisected surfaces in the 4-sphere. Our approach allows for the construction of a Seifert solid that is described by a Heegaard diagram. The Seifert solids produced can be assumed to have exteriors that can be built without 3-handles; in contrast, we give examples of Seifert solids (not coming from our construction) whose exteriors require arbitrarily many 3-handles. We conclude with two classification results. The first shows that surfaces admitting doubly-standard shadow diagrams are unknotted. The second says that a $b$-bridge trisection in which some sector contains at least $b-1$ patches is completely decomposable, thus the corresponding surface is unknotted. This settles affirmatively a conjecture of the second and fourth authors. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 23 pages, 6 figures; v1 of arXiv:2112.11557 has been divided into two papers: v2, to be posted simultaneously, and the present article, which adds an expanded discussion of Seifert solids

Journal ref: Algebr. Geom. Topol. 25 (2025) 1501-1522

Bridge trisections and classical knotted surface theory

Authors: Jason Joseph, Jeffrey Meier, Maggie Miller, Alexander Zupan

Abstract: We seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we descr… ▽ More We seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an infinite family of knotted spheres that admit non-isotopic bridge trisections of minimal complexity. △ Less

Submitted 18 October, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: v1 has been divided into two papers: the present article and "Bridge trisections and Seifert solids," which will be posted simultaneously; 29 pages, 11 figures

Journal ref: Pacific J. Math. 319 (2022) 343-369

Bridge numbers and meridional ranks of knotted surfaces and welded knots

Authors: Jason Joseph, Puttipong Pongtanapaisan

Abstract: The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite ord… ▽ More The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, we show that the meridional rank of knotted spheres is not additive under connected sum, so that either bridge number also collapses, or meridional rank is not equal to bridge number for knotted spheres. We also show a relationship between the bridge numbers of welded knots and ribbon tori using the Tube map, and give applications to bridge trisections of knotted surfaces. △ Less

Submitted 6 February, 2023; v1 submitted 17 November, 2021; originally announced November 2021.

Unknotting numbers of 2-spheres in the 4-sphere

Authors: Jason Joseph, Michael Klug, Benjamin Ruppik, Hannah Schwartz

Abstract: We compare two naturally arising notions of unknotting number for 2-spheres in the 4-sphere: namely, the minimal number of 1-handle stabilizations needed to obtain an unknotted surface, and the minimal number of Whitney moves required in a regular homotopy to the unknotted 2-sphere. We refer to these invariants as the stabilization number and the Casson-Whitney number of the sphere, respectively.… ▽ More We compare two naturally arising notions of unknotting number for 2-spheres in the 4-sphere: namely, the minimal number of 1-handle stabilizations needed to obtain an unknotted surface, and the minimal number of Whitney moves required in a regular homotopy to the unknotted 2-sphere. We refer to these invariants as the stabilization number and the Casson-Whitney number of the sphere, respectively. Using both algebraic and geometric techniques, we show that the stabilization number is bounded above by one more than the Casson-Whitney number. We also provide explicit families of spheres for which these invariants are equal, as well as families for which they are distinct. Furthermore, we give additional bounds for both invariants, concrete examples of their non-additivity, and applications to classical unknotting number of 1-knots. △ Less

Submitted 21 September, 2021; v1 submitted 26 July, 2020; originally announced July 2020.

Comments: 29 pages, 22 figures; v2 is the final draft which has been accepted for publication in Journal of Topology; v2 includes improvements to the exposition, the numbering of the theorems in the introduction and in some of the subsequent sections has changed

Report number: MPIM-Bonn-2020 MSC Class: 57K45 (Primary) 57K10; 57K40; 57R42; 57R52 (Secondary)

Journal ref: Journal of Topology, 14.4 (2021) 1321-1350

0-concordance of knotted surfaces and Alexander ideals

Authors: Jason Joseph

Abstract: In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid… ▽ More In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertible in $\mathscr{C}_0$. Many examples are given. We also characterize which ideals are the ideals of surface knots, generalizing a theorem of Kinoshita, and generalize the knot determinant to the case of nonprincipal ideals. Lastly, we show that under a mild condition on the knot group, the peripheral subgroup of a knotted surface is also a 0-concordance invariant. △ Less

Submitted 29 November, 2019; originally announced November 2019.

Comments: 25 pages, 1 figure. Comments welcome

The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations

Authors: Jean S. Joseph

Abstract: We define a multiplication on the surreal numbers as higher inductive-inductive types. We define a multiplication on the surreal numbers as higher inductive-inductive types. △ Less

Submitted 30 November, 2018; originally announced December 2018.

On Generalized Ordered Sets: A constructive development

Authors: Jean S. Joseph

Abstract: We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a strict partial order. In a constructive setting, that usual weak order causes problems on the real numbers because their strict order cannot be proved to be trichotomous. We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a strict partial order. In a constructive setting, that usual weak order causes problems on the real numbers because their strict order cannot be proved to be trichotomous. △ Less

Submitted 25 July, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Axioms for the Real Numbers: A Constructive Approach

Authors: Jean S. Joseph

Abstract: We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively. We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively. △ Less

Submitted 10 September, 2021; v1 submitted 28 July, 2018; originally announced August 2018.