Showing 1–37 of 37 results for author: Yetter, D

On Profinite Quandles

Authors: Alexander W. Byard, Brian Cai, Nathan P. Jones, Lucy H. Vuong, David N. Yetter

Abstract: We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups… ▽ More We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups $\widehat{\Inn(Q)}$. It is anticipated that the results herein will find applications to the étale homotopy theory of number fields. v.2 has been updated to include an example due to Ariel Davis settling in the negative the question of whether all Stone topological quandles are profinite. △ Less

Submitted 2 November, 2024; v1 submitted 22 April, 2024; originally announced June 2024.

MSC Class: 08A99; 57K12; 20E18

Complementation of Subquandles

Authors: K. J. Amsberry, J. A. Bergquist, T. A. Horstkamp, M. H. Lee, D. N. Yetter

Abstract: Saki and Kiani proved that the subrack lattice of a rack $R$ is necessarily complemented if $R$ is finite but not necessarily complemented if $R$ is infinite. In this paper, we investigate further avenues related to the complementation of subquandles. Saki and Kiani's example of an infinite rack without complements is a quandle, which is neither ind-finite nor profinite. We provide an example of a… ▽ More Saki and Kiani proved that the subrack lattice of a rack $R$ is necessarily complemented if $R$ is finite but not necessarily complemented if $R$ is infinite. In this paper, we investigate further avenues related to the complementation of subquandles. Saki and Kiani's example of an infinite rack without complements is a quandle, which is neither ind-finite nor profinite. We provide an example of an ind-finite quandle whose subobject lattice is not complemented, and conjecture that profinite quandles have complemented subobject lattices. Additionally, we provide a complete classification of subquandles whose set-theoretic complement is also a subquandle, which we call \textit{strongly complemented}, and provide a partial transitivity criterion for the complementation in chains of strongly complemented subquandles. One technical lemma used in establishing this is of independent interest: the inner automorphism group of a subquandle is always a subquotient of the inner automorphism group of the ambient quandle. △ Less

Submitted 17 April, 2023; originally announced April 2023.

MSC Class: 08B99; 57K12

Journal ref: Involve 18 (2025) 417-435

Embedded surface invariants via the Broda-Petit construction

Authors: Ik Jae Lee, David N Yetter

Abstract: We recall Petit's construction of "dichromatic" invariants of 4-manifolds computed from Kirby diagrams using a nested pair of ribbon fusion categories ${\mathcal B}\subset {\mathcal C}$ as initial data. Along the way we prove a lemma that fits the use of formal linear combinations of simple objects with quantum dimensions a coefficients as in the constructions of Reshetikhin-Turaev, Broda, and Pet… ▽ More We recall Petit's construction of "dichromatic" invariants of 4-manifolds computed from Kirby diagrams using a nested pair of ribbon fusion categories ${\mathcal B}\subset {\mathcal C}$ as initial data. Along the way we prove a lemma that fits the use of formal linear combinations of simple objects with quantum dimensions a coefficients as in the constructions of Reshetikhin-Turaev, Broda, and Petit more firmly in the functorial framework favored by the authors. We then show that Hughes et. al's banded-link presentations of surfaces embedded in 4-manifolds provide a means whereby Frobenius algebra in ${\mathcal B}$ together with a suitable module over it lying in ${\mathcal C}$, give rise to an invariant of a surface-4-manifold pair. We provide a class of examples of suitable initial data and compute sufficient examples to show the invariant is sensitive to both genus and knotting. △ Less

Submitted 15 September, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

MSC Class: 57K45; 57R56; 57K41

Weakly $ω$-Categorified Models of Algebraic Theories

Authors: Phillip M Bressie, David N Yetter

Abstract: We provide the expected constructions of weakly $ω$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of fundamental groups, fundamental quandles, and knot quandles with homotopies of all orders used as arrows of categorical dimensions one and greater, and discuss other related… ▽ More We provide the expected constructions of weakly $ω$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of fundamental groups, fundamental quandles, and knot quandles with homotopies of all orders used as arrows of categorical dimensions one and greater, and discuss other related constructions of weakly $ω$-categorifed algebras. △ Less

Submitted 26 June, 2020; originally announced June 2020.

MSC Class: 18N25; 20N99; 18C10; 18M90

Bicategories for TQFTs with Defects with Structure

Authors: I. J. Lee, D. N. Yetter

Abstract: We provide a description of adequate categorical data to give a Turaev-Viro type state-sum construct of invariants of 3-manifolds with a system of defects, generalizing the Dijkgraaf-Witten type invariants of our earlier work. We term the defects in our construction defects-with-structure because algebraic data associated to them is in general richer than a module category over the spherical fusio… ▽ More We provide a description of adequate categorical data to give a Turaev-Viro type state-sum construct of invariants of 3-manifolds with a system of defects, generalizing the Dijkgraaf-Witten type invariants of our earlier work. We term the defects in our construction defects-with-structure because algebraic data associated to them is in general richer than a module category over the spherical fusion category from which the theory is constructed when no defect is present. △ Less

Submitted 13 March, 2020; originally announced March 2020.

MSC Class: 57R56 (primary) 57Q99; 18N10 (Secondary)

Factorizations of surjective maps of connected quandles

Authors: T. Braun, C. Crotwell, A. Liu, P. Weston, D. N. Yetter

Abstract: We consider the problem of when one quandle homomorphism will factor through another, restricting our attention to the case where all quandles involved are connected. We provide a complete solution to the problem for surjective quandle homomorphisms using the structure theorem for connected quandles of Ehrman et al. (2008) and the factorization system for surjective quandle homomorphsims of Bunch… ▽ More We consider the problem of when one quandle homomorphism will factor through another, restricting our attention to the case where all quandles involved are connected. We provide a complete solution to the problem for surjective quandle homomorphisms using the structure theorem for connected quandles of Ehrman et al. (2008) and the factorization system for surjective quandle homomorphsims of Bunch et al. (2010) as our primary tools. The paper contains the substantive results obtained by an REU research group consisting of the first four authors under the mentorship of the fifth, and was supported by National Science Foundation, grant DMS-1659123. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: 14 pages

MSC Class: 20N05; 57M25

Journal ref: Involve 14 (2021) 53-64

Tetrahedral Geometry from Areas

Authors: Louis Crane, David N. Yetter

Abstract: We solve a very classical problem motivated by considerations in quantum gravity: providing a description of the geometry of a Euclidean tetrahedron from the initial data of the areas of the faces and the areas of the medial parallelograms of Yetter or equivalently of the pseudofaces of McConnell. In particular, we derive expressions for the dihedral angles, face angles and (an) edge length, the r… ▽ More We solve a very classical problem motivated by considerations in quantum gravity: providing a description of the geometry of a Euclidean tetrahedron from the initial data of the areas of the faces and the areas of the medial parallelograms of Yetter or equivalently of the pseudofaces of McConnell. In particular, we derive expressions for the dihedral angles, face angles and (an) edge length, the remaining parts being derivable by symmetry or by identities in the classic 1902 compendium of results on tetrahedral geometry of Richardson. We also provide an alternative proof using (bi)vectors of the result of Yetter that four times the sum of the squared areas of the medial parallelograms is equal to the sum of the squared areas of the faces. The updated version corrects several errors and provides better historical context for the result. △ Less

Submitted 18 September, 2019; v1 submitted 28 June, 2019; originally announced June 2019.

MSC Class: 51M25; 51M04; 51M20

Multi-Skein Invariants for Welded and Extended Welded Knots and Links

Authors: N. Backes, M. Kaiser, T. Leafblad, E. I. C. Peterson, D. N. Yetter

Abstract: The theory of welded and extended welded knots is a generalization of classical knot theory. Welded (resp. extended welded) knot diagrams include virtual crossings (resp. virtual crossings and wen marks) and are equivalent under an extended set of Reidemeister-type moves. We present a new class of invariants for welded and extended welded knots and links using a multi-skein relation, following Z… ▽ More The theory of welded and extended welded knots is a generalization of classical knot theory. Welded (resp. extended welded) knot diagrams include virtual crossings (resp. virtual crossings and wen marks) and are equivalent under an extended set of Reidemeister-type moves. We present a new class of invariants for welded and extended welded knots and links using a multi-skein relation, following Z. Yang's approach for virtual knots. Using this skein-theoretic approach, we find sufficient conditions on the coefficients to obtain invariance under the extended Reidemeister moves appropriate to welded and extended welded links. △ Less

Submitted 16 September, 2018; originally announced September 2018.

MSC Class: 57M25; 57M27

Stratified spaces, Directed Algebraic Topology, and State-Sum TQFTs

Authors: I. J. Lee, D. N. Yetter

Abstract: We apply the theory of directed topology developed by Grandis [9, 10] to the study of stratified spaces by describing several ways in which a stratification or a stratification with orientations on the strata can be used to produce a related directed space structure. This description provides a setting for the constructions of state-sum TQFTs with defects of [5, 8], which we extend to a similar co… ▽ More We apply the theory of directed topology developed by Grandis [9, 10] to the study of stratified spaces by describing several ways in which a stratification or a stratification with orientations on the strata can be used to produce a related directed space structure. This description provides a setting for the constructions of state-sum TQFTs with defects of [5, 8], which we extend to a similar construction of a Dijkgraaf- Witten type TQFT in the case where the defects (lower dimensional strata) are not sources or targets, but sources on one side and targets on the other, according to an orientation convention. △ Less

Submitted 20 July, 2018; originally announced July 2018.

MSC Class: Primary: 55P99; Secondary: 57R56; 57Q99

Notes on multiplier Hopf algebras and invariants of framed links and 3-manifolds

Authors: Tao Yang, David Yetter

Abstract: In this paper, we show that Hennings construction of invariants of framed links and 3-manifolds obtained from Hopf algebras can also be carried out for some algebraic quantum groups. In this paper, we show that Hennings construction of invariants of framed links and 3-manifolds obtained from Hopf algebras can also be carried out for some algebraic quantum groups. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: 15 pages

MSC Class: 16W30; 17B37; 57M27

A general state-sum construction of 2-dimensional topological quantum field theories with defects

Authors: Gathoni Kamau-Devers, Gail Jardine, David Yetter

Abstract: We derive the general state sum construction for 2D topological quantum field theories (TQFTs) with source defects on oriented curves, extending the state-sum construction from special symmetric Frobenius algebra for 2-D TQFTs without defects (cf. Lauda \& Pfeiffer \cite{LP}). From the extended Pachner moves (Crane \& Yetter \cite{CY}), we derive equations that we subsequently translate into strin… ▽ More We derive the general state sum construction for 2D topological quantum field theories (TQFTs) with source defects on oriented curves, extending the state-sum construction from special symmetric Frobenius algebra for 2-D TQFTs without defects (cf. Lauda \& Pfeiffer \cite{LP}). From the extended Pachner moves (Crane \& Yetter \cite{CY}), we derive equations that we subsequently translate into string diagrams so that we can easily observe their properties. As in Dougherty, Park and Yetter \cite{DPY}, we require that triangulations be flag-like, meaning that each simplex of the triangulation is either disjoint from the defect curve, or intersects it in a closed face, and that the extended Pachner moves preserve flag-likeness. This research was conducted under the mentorship of Prof. David Yetter at Kansas State University with the support of NSF grant DMS-1262877. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Comments: 25 pages, numerous figures

MSC Class: 57R56

Dijkgraaf-Witten Type Invariants of Seifert Surfaces in 3-Manifolds

Authors: I. J. Lee, D. N. Yetter

Abstract: We introduce defects, with internal gauge symmetries, on a knot and Seifert surface to a knot into the combinatorial construction of finite gauge-group Dijkgraaf-Witten theory. The appropriate initial data for the construction are certain three object categories, with coefficients satisfying a partially degenerate cocycle condition. We introduce defects, with internal gauge symmetries, on a knot and Seifert surface to a knot into the combinatorial construction of finite gauge-group Dijkgraaf-Witten theory. The appropriate initial data for the construction are certain three object categories, with coefficients satisfying a partially degenerate cocycle condition. △ Less

Submitted 3 July, 2015; originally announced July 2015.

Comments: 23 pages, 7 numbered figures with additional in-line figures

MSC Class: 57R56

On 2-Dimensional Dijkgraaf-Witten Theory with Defects

Authors: Aria L. Doughterty, Hwajin Park, David N. Yetter

Abstract: In this paper, we provide a construction of a state-sum model for finite gauge-group Dijkgraaf-Witten theory on surfaces with codimension 1 defects. The construction requires not only that the triangulation be subordinate to the filtration, but flag-like: each simplex of the triangulation is either disjoint from the defect curve, or intersects it in a closed face. The construction allows internal… ▽ More In this paper, we provide a construction of a state-sum model for finite gauge-group Dijkgraaf-Witten theory on surfaces with codimension 1 defects. The construction requires not only that the triangulation be subordinate to the filtration, but flag-like: each simplex of the triangulation is either disjoint from the defect curve, or intersects it in a closed face. The construction allows internal degrees of freedom in the defect curves by introducing a second gauge-group from which edges of the curve are labeled in the state-sum construction. Edges incident with the defect, but not lying in it, have states lying in a set with commuting actions of the two gauge-groups. We determine the appropriate generalizations of the 2-cocycles specifying twistings of defect-free 2D Dijkgraaf-Witten theory. Examples arising by restriction of group 2-cocycles, and constructed from characters of the 2-dimensional guage group are presented. This research was carried out at Summer Undergraduate Mathematics Research (SUMaR) math REU at Kansas State University, funded by NSF under DMS award #1262877. △ Less

Submitted 3 July, 2015; originally announced July 2015.

Comments: 17 pages, numerous in-line figures

MSC Class: 57R56

Discrete Conduche Fibrations and C*-algebras

Authors: Jonathan H. Brown, David N. Yetter

Abstract: The higher rank graphs of Kumjian and Pask are discrete Conduche fibrations over the monoid of k-tuples of natural numbers for some k in which every morphism in the base has a finite preimage under the the fibration. We examine the generalization of this construction to discrete Conduche fibrations with the same finiteness condition and a lifting property for completions of cospans to commutative… ▽ More The higher rank graphs of Kumjian and Pask are discrete Conduche fibrations over the monoid of k-tuples of natural numbers for some k in which every morphism in the base has a finite preimage under the the fibration. We examine the generalization of this construction to discrete Conduche fibrations with the same finiteness condition and a lifting property for completions of cospans to commutative squares, over any category satisfying a strong version of the right Ore condition, including all categories with pullbacks and right Ore categories in which all morphisms are monic. △ Less

Submitted 24 October, 2014; originally announced October 2014.

Comments: 29 pages, submitted to the Rocky Mountain Journal of Mathematics

Moves on Filtered PL Manifolds and Stratified PL Spaces

Authors: Louis Crane, David N. Yetter

Abstract: We extend results of Pachner and Casali to give finite sets of moves relating triangulations of PL manifolds respecting filtrations by locally flat manifolds and stratifications in which a finite family of simple local models exists for neighborhoods of strata. We extend results of Pachner and Casali to give finite sets of moves relating triangulations of PL manifolds respecting filtrations by locally flat manifolds and stratifications in which a finite family of simple local models exists for neighborhoods of strata. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Comments: 6 pages

MSC Class: 57Q25

On Deformations of Pasting Diagrams, II

Authors: Tej Shreshtha, D. N. Yetter

Abstract: We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in Yetter, D.N. "On Deformations of Pasting Diagrams", Theory and Applications of Categories 22 (2009) 24-53. In that paper, the standard result that all obstructions are cocycles was established only for the elementary, composition-free parts of pasting diagrams. In the present wor… ▽ More We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in Yetter, D.N. "On Deformations of Pasting Diagrams", Theory and Applications of Categories 22 (2009) 24-53. In that paper, the standard result that all obstructions are cocycles was established only for the elementary, composition-free parts of pasting diagrams. In the present work we give a proof for pasting diagrams in general. As tools we use (1) the method developed by Shrestha, in his Kansas State University doctoral dissertation, of representing formulas for obstructions, along with the corresponding cocycle and cobounding conditions by suitably labeled polygons, giving a rigorous exposition of the previously heuristic method, and (2) deformations of pasting diagrams in which some cells are required to be deformed trivially. △ Less

Submitted 13 March, 2013; originally announced March 2013.

Comments: 37 pages, 8 figures (six numbered in figure environments, two occurring inline in the text)

MSC Class: Primary: 18D05; 13D03; Secondary: 18E05

On a Basis for the Framed Link Vector Space Spanned by Chord Diagrams

Authors: B. Bischof, R. Kogan, D. N. Yetter

Abstract: In view of the result of Kontsevich, now often called ``the fundamental theorem of Vassiliev theory'', identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the ``4T-relation'' (and in the unframed case, the ``1T-'' or ``isolated chord relation''), it is a problem of some interest to… ▽ More In view of the result of Kontsevich, now often called ``the fundamental theorem of Vassiliev theory'', identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the ``4T-relation'' (and in the unframed case, the ``1T-'' or ``isolated chord relation''), it is a problem of some interest to provide a basis for the space of chord diagrams modulo the 4T-relation. We construct the basis for the vector space spanned by chord diagrams with n chords and m distinguishable link components, modulo 4T relations for n less than or equal to 5. △ Less

Submitted 21 January, 2008; originally announced January 2008.

Comments: 25 papers, numerous png figures

MSC Class: 57M27

On Deformations of Pasting Diagrams

Authors: D. N. Yetter

Abstract: We adapt the work of Power to describe general, not-necessarily composable, not-necessarily commutative 2-categorical pasting diagrams and their composable and commutative parts. We provide a deformation theory for pasting diagrams valued in $k$-linear categories, paralleling that provided for diagrams of algebras by Gerstenhaber and Schack, proving the standard results. Along the way, the const… ▽ More We adapt the work of Power to describe general, not-necessarily composable, not-necessarily commutative 2-categorical pasting diagrams and their composable and commutative parts. We provide a deformation theory for pasting diagrams valued in $k$-linear categories, paralleling that provided for diagrams of algebras by Gerstenhaber and Schack, proving the standard results. Along the way, the construction gives rise to a bicategorical analog of the homotopy G-algebras of Gerstenhaber and Voronov. △ Less

Submitted 19 February, 2009; v1 submitted 24 September, 2007; originally announced September 2007.

Comments: 31 pages

MSC Class: 18E05 (Primary); 16E40 (Secondary)

Toward a classification of finite quandles

Authors: G. Ehrman, A. Gurpinar, M. Thibault, D. N. Yetter

Abstract: This paper summarizes substantive new results derived by a student team (the first three authors) under the direction of the fourth author at the 2005 session of the KSU REU ``Brainstorming and Barnstorming''. The main results are a decomposition theorem for quandles in terms of an operation of `semidisjoint union' showing that all finite quandles canonically decompose via iterated semidisjoint… ▽ More This paper summarizes substantive new results derived by a student team (the first three authors) under the direction of the fourth author at the 2005 session of the KSU REU ``Brainstorming and Barnstorming''. The main results are a decomposition theorem for quandles in terms of an operation of `semidisjoint union' showing that all finite quandles canonically decompose via iterated semidisjoint unions into connected subquandles, and a structure theorem for finite connected quandles with prescribe inner automorphism group. The latter theorem suggests a new approach to the classification of finite connected quandles. △ Less

Submitted 6 December, 2005; originally announced December 2005.

Comments: 12 pages LaTeX

Invariants of smooth 4-manifolds via Vassiliev theory

Authors: D. N. Yetter

Abstract: The above named paper has been withdrawn. A colleague has observed a gap in the proof of isotopy invariance, which can be repaired by reducing the coefficients (which lie in (1/6)Z) of the antisymmetric kanji with chords incident with more than one component modulo 8Z. An analogous issue arises in considering the effect of orientation reversal in the proof of handle-slide invariance, which c… ▽ More The above named paper has been withdrawn. A colleague has observed a gap in the proof of isotopy invariance, which can be repaired by reducing the coefficients (which lie in (1/6)Z) of the antisymmetric kanji with chords incident with more than one component modulo 8Z. An analogous issue arises in considering the effect of orientation reversal in the proof of handle-slide invariance, which can be repaired by reducing the coefficients of all of the antisymmetric kanji modulo 4Z. While an invariant of smooth 4-manifolds is obtained by the repaired construction, the corrected construction does not distinguish the smooth structures on the non-diffeomorphic but homeomorphic pairs of Gompf nuclei. A more subtle approach to restoring invariance, using an action of an extension of Gl(n,Z), rather than quotienting the coefficient, has been examined, but will also not restore the ability of the invariant constructed to distinguish the Gompf nuclei. △ Less

Submitted 7 November, 2005; v1 submitted 20 October, 2005; originally announced October 2005.

Comments: The above named paper has been withdrawn (see abstract for explanation)

MSC Class: 57R65; 57R35; (secondary) 57M27; 14J80

Measurable Categories

Authors: D. N. Yetter

Abstract: We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in joint work with Crane as the basis for a representation theory of (Lie) 2-groups. Several important technical r… ▽ More We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in joint work with Crane as the basis for a representation theory of (Lie) 2-groups. Several important technical results are established along the way: First it is shown that all bounded invertible additive functors (and thus a fortiori all invertible *-functors) between categories of measurable fields of Hilbert spaces are induced by invertible measurable transformations between the underlying Borel spaces. Second the distributivity of Hilbert space tensor product over direct integrals over Lusin spaces with respect to $σ$-finite measures is established. The paper concludes with a general definition of measurable bicategories. △ Less

Submitted 6 September, 2004; v1 submitted 10 September, 2003; originally announced September 2003.

Comments: An erroneous result has been removed from the appendix, boundedness hypotheses introduced to restore results which depended on it in the original ms., two new results clarifying the nature of measurable functors added, stylistic improvements made, and numerous typographical errors corrected

MSC Class: 18B99; 49M99

Measurable Categories and 2-Groups

Authors: L. Crane, D. N. Yetter

Abstract: Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in unpublished work of Barrett and Mackaay using 2-VECT of Kapranov and Voevodsky. Using this theory we sketch a 2-categorical approach to the state-sum model for Lorentzi… ▽ More Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in unpublished work of Barrett and Mackaay using 2-VECT of Kapranov and Voevodsky. Using this theory we sketch a 2-categorical approach to the state-sum model for Lorentzian quantum gravity proposed in by the authors in previous work and suggest state-integral constructions for 4-manifold invariants. △ Less

Submitted 12 May, 2003; originally announced May 2003.

Comments: 10 pages, 3 figures in LaTeX picture code

MSC Class: 18D10 (primary); 20C99 (secondary)

Quandles and Monodromy

Authors: D. N. Yetter

Abstract: We show that a variety of monodromy phenomena arising in geometric topology and algebraic geometry are most conveniently described in terms of quandle homomorphisms from a knot quandle associated to the base to a quandle associated to a fiber. We consider the cases of the monodromy of a branched covering, braid monodromy and the monodromy of a Lefschetz fibration. We show that a variety of monodromy phenomena arising in geometric topology and algebraic geometry are most conveniently described in terms of quandle homomorphisms from a knot quandle associated to the base to a quandle associated to a fiber. We consider the cases of the monodromy of a branched covering, braid monodromy and the monodromy of a Lefschetz fibration. △ Less

Submitted 14 May, 2002; originally announced May 2002.

Comments: Much expanded version of math.GT/0201270, covering instances of monodromy beyond the monodromy of Lefschetz fibrations

Quandles and Lefschetz Fibrations

Authors: D. N. Yetter

Abstract: We show that isotopy classes of simple closed curves in any oriented surface admit a quandle structure with operations induced by Dehn twists, the Dehn quandle of the surface. We further show that the monodromy of a Lefschetz fibration can be conveniently encoded as a quandle homomorphism from the knot quandle of the base as a manifold with a codimension 2 subspace (the set of singular values) t… ▽ More We show that isotopy classes of simple closed curves in any oriented surface admit a quandle structure with operations induced by Dehn twists, the Dehn quandle of the surface. We further show that the monodromy of a Lefschetz fibration can be conveniently encoded as a quandle homomorphism from the knot quandle of the base as a manifold with a codimension 2 subspace (the set of singular values) to the Dehn quandle of the generic fibre, and discuss prospects for construction of invariants arising naturally from this description of the monodromy. △ Less

Submitted 28 January, 2002; originally announced January 2002.

Comments: 10 pages

Abelian Categories of Modules over a (Lax) Monoidal Functor

Authors: David N. Yetter

Abstract: The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of a lax monoidal functor is abelian, that an analogue of the Hochschild cohomology of an algebra with coefficients in a bimodule exists for monoidal functors, a… ▽ More The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of a lax monoidal functor is abelian, that an analogue of the Hochschild cohomology of an algebra with coefficients in a bimodule exists for monoidal functors, and is given by right derived functors. The deformation cohmology of a monoidal natural transformation is shown to be a special case. △ Less

Submitted 29 December, 2001; originally announced December 2001.

MSC Class: 18D10; 18G60

The Area of the Medial Parallelogram of a Tetrahedron

Authors: David N. Yetter

Abstract: When a pair of non-incident edges of a tetrahedron is chosen, the midpoints of the remaining 4 edges are the vertices of a planar parallelogram. A formula is given in terms of the six edge lengths for the area of this parallelogram. It is not claimed that this formula is new, but it is certainly not well-known. The author would be very grateful for a citation to an occurence of the formula in prev… ▽ More When a pair of non-incident edges of a tetrahedron is chosen, the midpoints of the remaining 4 edges are the vertices of a planar parallelogram. A formula is given in terms of the six edge lengths for the area of this parallelogram. It is not claimed that this formula is new, but it is certainly not well-known. The author would be very grateful for a citation to an occurence of the formula in previously existing literature (by e-mail to [email protected]). The result is of some current interest due to the work of Barbieri and Barrett/Crane on attempts to formulate simplicial versions of quantum gravity. The new version corrects the coefficient in the main result. A paper of the same title but with a vectorial version of the derivation of the area formula was published by the author in the American Mathematical Monthly 106 (10) December 1999 pp. 956-598. △ Less

Submitted 9 September, 2019; v1 submitted 1 September, 1998; originally announced September 1998.

Comments: LaTeX (5 pages) 2 figures in LaTeX picture code

Generalized Barrett-Crane Vertices and Invariants of Embedded Graphs

Authors: David N. Yetter

Abstract: We describe q-analogues of the 4-vertices in the Spin(4)-recoupling theory introduced by Barrett and Crane in gr-qc/9709028 using Kauffman-Lins SU(2)-recoupling theory in each factor and generalize them to obtain operators with the symmetry properties of unframed n-vertices. The elementary properties of the resulting invariants of embedded unframed graphs are examined. We describe q-analogues of the 4-vertices in the Spin(4)-recoupling theory introduced by Barrett and Crane in gr-qc/9709028 using Kauffman-Lins SU(2)-recoupling theory in each factor and generalize them to obtain operators with the symmetry properties of unframed n-vertices. The elementary properties of the resulting invariants of embedded unframed graphs are examined. △ Less

Submitted 28 January, 1998; originally announced January 1998.

Comments: 15 pages LaTeX 1, Encapulated PostScript figure, other LaTex figs

Braided Deformations of Monoidal Categories and Vassiliev Invariants

Authors: David N. Yetter

Abstract: Braided deformations of (symmetric) monoidal categories are related to Vassiliev theory by a direct generalization of well-known results relating "quantum" knot invariants to Vassiliev invariants. The deformation theory of braidings is subsumed by the deformation theory of monoidal functors, which proves surprisingly rich: the deformation complex of a monoidal functor has the same structure as t… ▽ More Braided deformations of (symmetric) monoidal categories are related to Vassiliev theory by a direct generalization of well-known results relating "quantum" knot invariants to Vassiliev invariants. The deformation theory of braidings is subsumed by the deformation theory of monoidal functors, which proves surprisingly rich: the deformation complex of a monoidal functor has the same structure as the deformation complex of an algebra, including a pre-Lie structure, from which it is see that the problem of deforming monoidal functors (including braidings) is purely cohomological in nature. △ Less

Submitted 6 October, 1997; originally announced October 1997.

Comments: LaTeX 2.1, uses amssym.def and amssym, 20 pages, all figures in LaTeX

Deformations of (Bi) tensor Categories

Authors: Louis Crane, David Yetter

Abstract: We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig. We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig. △ Less

Submitted 5 December, 1996; originally announced December 1996.

Comments: 12 pages latex

Examples of categorification

Authors: Louis Crane, David N. Yetter

Abstract: We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light on several other constructions of TQFT's. We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light on several other constructions of TQFT's. △ Less

Submitted 27 July, 1996; originally announced July 1996.

Comments: LaTeX Sun Release 4.1, uses amssym.def and amsssym

MSC Class: 18D10

On Algebraic Structures Implicit in Topological Quantum Field Theories

Authors: L. Crane, D. Yetter

Abstract: We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras. We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras. △ Less

Submitted 2 December, 1994; originally announced December 1994.

Comments: Latex document. Hand drawn figures on request

Journal ref: J.Knot Theor.Ramifications 8 (1999) 125-163

State-Sum Invariants of 4-Manifolds I

Authors: Louis Crane, Louis H. Kauffman, David N. Yetter

Abstract: We provide, with proofs, a complete description of the authors' construction of state-sum invariants announced in [CY], and its generalization to an arbitrary (artinian) semisimple tortile category. We also discuss the relationship of these invariants to generalizations of Broda's surgery invariants [Br1,Br2] using techniques developed in the case of the semi-simple sub-quotient of… ▽ More We provide, with proofs, a complete description of the authors' construction of state-sum invariants announced in [CY], and its generalization to an arbitrary (artinian) semisimple tortile category. We also discuss the relationship of these invariants to generalizations of Broda's surgery invariants [Br1,Br2] using techniques developed in the case of the semi-simple sub-quotient of $Rep(U_q(sl_2))$ ($q$ a principal $4r^{th}$ root of unity) by Roberts [Ro1]. We briefly discuss the generalizations to invariants of 4-manifolds equipped with 2-dimensional (co)homology classes introduced by Yetter [Y6] and Roberts [Ro2], which are the subject of the sequel. (citations refer to bibliography in the paper) △ Less

Submitted 27 September, 1994; originally announced September 1994.

Comments: 46 pages

Homologically Twisted Invariants Related to (2+1)- and (3+1)-Dimensional State-Sum Topological Quantum Field Theories

Authors: David N. Yetter

Abstract: Motivated by suggestions of Paolo Cotta-Ramusino's work at the physical level of rigor relating BF theory to the Donaldson polynomials, we provide a construction applicable to the Turaev/Viro and Crane/Yetter invariants of *a priori* finer invariants dependent on a choice of (co)homology class on the manifold Motivated by suggestions of Paolo Cotta-Ramusino's work at the physical level of rigor relating BF theory to the Donaldson polynomials, we provide a construction applicable to the Turaev/Viro and Crane/Yetter invariants of *a priori* finer invariants dependent on a choice of (co)homology class on the manifold △ Less

Submitted 15 November, 1993; originally announced November 1993.

Comments: 6 pages

On the Classicality of Broda's SU(2) Invariant of 4-manifolds

Authors: Louis Crane, Louis H. Kauffman, David N. Yetter

Abstract: Recent work of Roberts has shown that the first surgical 4-manifold invariant of Broda and (up to an unspecified normalization factor) the state-sum invariant arising from the TQFT of Crane-Yetter are equivalent to the signature of the 4-manifold. Subsequently Broda defined another surgical invariant in which the 1- and 2-handles are treated differently. We use a refinement of Roberts' technique… ▽ More Recent work of Roberts has shown that the first surgical 4-manifold invariant of Broda and (up to an unspecified normalization factor) the state-sum invariant arising from the TQFT of Crane-Yetter are equivalent to the signature of the 4-manifold. Subsequently Broda defined another surgical invariant in which the 1- and 2-handles are treated differently. We use a refinement of Roberts' techniques developped by the authors in hep-th/9309063 to show that the "improved" surgical invariant of Broda also depends only on the signature and Euler character △ Less

Submitted 27 September, 1993; v1 submitted 18 September, 1993; originally announced September 1993.

Comments: 4 pages (revised to state correctly Lemma 1--the correct lemma was proved, and used throughout, but the original statement jumbled some phrases--and add an explanatory footnote on an abuse of language)

Evaluating the Crane-Yetter Invariant

Authors: Louis Crane, Louis H. Kauffman, David N. Yetter

Abstract: We provide an explicit formula for the invariant of 4-manifolds introduced by Crane and Yetter (in hep-th 9301062). A consequence of our result is the existence of a combinatorial formula for the signature of a 4-manifold in terms of local data from a triangulation. Potential physical applications of our result exist in light of the fact that the Crane-Yetter invariant is a rigorous version of i… ▽ More We provide an explicit formula for the invariant of 4-manifolds introduced by Crane and Yetter (in hep-th 9301062). A consequence of our result is the existence of a combinatorial formula for the signature of a 4-manifold in terms of local data from a triangulation. Potential physical applications of our result exist in light of the fact that the Crane-Yetter invariant is a rigorous version of ideas of Ooguri on B wedge F theory. △ Less

Submitted 10 September, 1993; originally announced September 1993.

Comments: 4 pages

We Are Not Stuck With Gluing

Authors: David N. Yetter, Louis Crane

Abstract: We show that the construction of Ocneanu, which yields 1 for any 4D manifold, is not identical to our construction, which gives different numbers for different manifolds. We show that the construction of Ocneanu, which yields 1 for any 4D manifold, is not identical to our construction, which gives different numbers for different manifolds. △ Less

Submitted 24 February, 1993; originally announced February 1993.

Comments: 2 pages

A categorical construction of 4D TQFTs

Authors: Louis Crane, David N. Yetter

Abstract: We construct a four dimensional topological Quantum Field Theory from a modular tensor category. We complete the proof in the case of SU(2)q at a root of unity. Our construction may be important in the physical interpretation of the Chern Simons state in the Ashtekar variables. We construct a four dimensional topological Quantum Field Theory from a modular tensor category. We complete the proof in the case of SU(2)q at a root of unity. Our construction may be important in the physical interpretation of the Chern Simons state in the Ashtekar variables. △ Less

Submitted 15 January, 1993; originally announced January 1993.

Comments: 11 pages