arXiv Science⌕ Search

arXiv subjects

Nancy Scherich

Publications and source records attributed to Nancy Scherich.

14 recordsLinked to original sources
arXiv2026

Danceability, A New Definition of Bridge Index

There are many commonly known definitions of the bridge index coming from combinatorial knot theory, Morse theory, geometry, and algebra. In this paper, we prove that the danceability index is a new equivalent definition of the bridge index which can be seen as an oriented version of the Wirtinger number. We extend the danceability invariant to virtual knots in multiple ways and compare these invariants to two different notions of bridge index for virtual knots.

math.GT↗
arXiv2026

Searching for non-order-preserving braids algorithmically

An $n$-strand braid is order-preserving if its action on the free group $F_n$ preserves some bi-order of $F_n$. A braid $β$ is order-preserving if and only if the link $L$ obtained as the union of the closure of $β$ and its axis has bi-orderable complement. We describe and implement an algorithm which, given a non-order-preserving braid $β$, confirms this property and returns a proof that $β$ is indeed not order-preserving. Guided by the algorithm, we prove that the infinite family of simple 3-braids $σ_1σ_2^{2m+1}$ are not order-preserving for any integer $m$.

math.GT↗
arXiv2026

Congruence Subgroups of the Virtual Braid Group

We extend the notion of congruence subgroups of the braid group to the virtual braid group using an extension of the integral Burau representation. We prove that the level 2 congruence subgroup of the virtual braid group is the pure virtual braid group, recovering a virtual analogue of a result of Arnol'd. We pose several questions which highlight the difference between the classical and virtual braid groups.

math.GT↗
arXiv2025

Goldman-Turaev formality from the Kontsevich integral

We present a new solution to the formality problem for the framed Goldman--Turaev Lie bialgebra, constructing Goldman-Turaev homomorphic expansions (formality isomorphisms) from the Kontsevich integral. Our proof uses a three dimensional derivation of the Goldman-Turaev Lie biaglebra arising from a low-degree Vassiliev quotient -- the {\em emergent} quotient -- of tangles in a thickened punctured disk, modulo a Conway skein relation. This is in contrast to Massuyeau's 2018 proof using braids. A feature of our approach is a general conceptual framework which is applied to prove the compatibility of the homomorphic expansion with both the Goldman bracket and the technically challenging Turaev cobracket.

math.QA↗
arXiv2025

Computing Finite Type Invariants Efficiently

We describe an efficient algorithm to compute finite type invariants of type $k$ by first creating, for a given knot $K$ with $n$ crossings, a look-up table for all subdiagrams of $K$ of size $\lceil \frac{k}{2}\rceil$ indexed by dyadic intervals in $[0,2n-1]$. Using this algorithm, any such finite type invariant can be computed on an $n$-crossing knot in time $\tilde{O}( n^{\lceil \frac{k}{2}\rceil})$, a lot faster than the previously best published bound of $\tilde{O} (n^k)$.

math.GT↗
arXiv2025

Danceability of twisted virtual knots

Over the years, several Bridges papers have delved into the concept of danceability of a knot diagram. Inspired by dancing on non-orientable surfaces, in this paper, we expand danceability to twisted virtual knot diagrams. This paper is accompanied by a Math-Dance video which can be found at https://youtu.be/G4u2xMK-fxU.

math.GT↗
arXiv2024

Danceability, Directed by Braid Index

Schaffer introduced the concept of danceability of a knot diagram. In this paper, we expand upon Schaffer's ideas to create a danceability knot invariant and show that this invariant is bounded above by the braid index.

math.GT↗
arXiv2024

An Invariant of Virtual Trivalent Spatial Graphs

We create an invariant of virtual Y-oriented trivalent spatial graphs using colorings by virtual Niebrzydowski algebras. This paper generalizes the color invariants using virtual tribrackets and Niebrzydowski algebras by Nelson and Pico, and Graves, Nelson, and the second author. We provide usable data sets of Latin Cubes and virtual Niebrzydowski algebras for computational implementation.

math.GT↗
arXiv2024

Yarn Ball Knots and Faster Computations

We make use of the 3D nature of knots and links to find savings in computational complexity when computing knot invariants such as the linking number and, in general, most finite type invariants. These savings are achieved in comparison with the 2D approach to knots using knot diagrams.

math.GT↗
arXiv2023

Quotients of braid groups by their congruence subgroups

The congruence subgroups of braid groups arise from a congruence condition on the integral Burau representation $B_n \to \operatorname{GL}_{n}(\mathbb Z)$. We find the image of such congruence subgroups in $\operatorname{GL}_{n}(\mathbb Z)$-an open problem posed by Dan Margalit. Additionally, we characterize the quotients of braid groups by their congruence subgroups in terms of symplectic congruence subgroups.

math.GR↗
arXiv2021

Large 1-systems of Curves in Non-orientable Surfaces

A longstanding avenue of research in orientable surface topology is to create and enumerate collections of curves in surfaces with certain intersection properties. We look for similar collections of curves in non-orientable surfaces. A surface is non-orientable if and only if it contains a Möbius band. We generalize a construction of Malestein-Rivin-Theran to non-orientable surfaces to exhibit a lower bound for the maximum number of curves that pairwise intersect 0 or 1 times in a generic non-orientable surface.

math.GT↗
arXiv2021

Finite image homomorphisms of the braid group and its generalizations

Using totally symmetric sets, Chudnovsky, Kordek, Li, and Partin gave a superexponential lower bound on the cardinality of non-abelian finite quotients of the braid group. In this paper, we develop new techniques using multiple totally symmetric sets to count elements in non-abelian finite quotients of the braid group. Using these techniques, we improve the lower bound found by Chudnovsky et al. We exhibit totally symmetric sets in the virtual and welded braid groups, and use our new techniques to find superexponential bounds for the finite quotients of the virtual and welded braid groups.

math.GR↗
arXiv2018

Ribbon 2-Knots, $1+1=2$, and Duflo's Theorem for Arbitrary Lie Algebras

We explain a direct topological proof for the multiplicativity of Duflo isomorphism for arbitrary finite dimensional Lie algebras, and derive the explicit formula for the Duflo map. The proof follows a series of implications, starting with "the calculation 1+1=2 on a 4D abacus", using the study of homomorphic expansions (aka universal finite type invariants) for ribbon 2-knots, and the relationship between the corresponding associated graded space of arrow diagrams and universal enveloping algebras. This complements the results of the first author, Le and Thurston, where similar arguments using a "3D abacus" and the Kontsevich Integral were used to derive Duflo's theorem for metrized Lie algebras; and results of the first two authors on finite type invariants of w-knotted objects, which also imply a relation of 2-knots with Duflo's theorem in full generality, though via a lengthier path.

math.QA↗