CyberSec Research

We prove that the displacement group of the dihedral quandle with n elements is isomorphic to the group generated by rotations of the n/2-gon when n is even and the n-gon when n is odd. We additionally show that any quandle with at least one trivial column has equivalent displacement and inner automorphism groups. Then, using a known enumeration of quandles which we confirm up to order 10, we verify the automorphism group and the inner automorphism group of all quandles (up to isomorphism) of orders less than or equal to 7, compute these for all 115,431 quandles orders 8, 9, and 10, and extend these results by computing the displacement group of all 115,837 quandles (up to isomorphism) of order less than or equal to 10.

We explore 4-Legendrian rack structures and the effectiveness of 4-Legendrian racks to distinguish Legendrian knots. We prove that permutation racks with a 4-Legendrain rack structure cannot distinguish sets of Legendrian knots with the same knot type, Thurston-Bennequin number, and rotation number.

In this paper we introduce the notion of a spherical knot mosaic where a knot is represented by tiling the surface of an n by n by n topological 2-sphere with 11 canonical knot mosaic tiles and show this gives rise to several novel knot (and link) invariants: the spherical mosaic number, spherical tiling number, minimal spherical mosaic tile number, spherical face number, spherical n-mosaic face number, and minimal spherical mosaic face number. We show examples where this framework is an improvement over classical knot mosaics. Furthermore, we explore several bounds involving other classical knot invariants that these spherical mosaic invariants gives rise to.

The goal of this paper is twofold: (i) define a symplectic Khovanov type homology for a transverse link in a fibered closed $3$-manifold $M$ (with an auxiliary choice of a homotopy class of loops that intersect each fiber once) and (ii) give conjectural combinatorial dga descriptions of surface categories that appear in (i). These dgas are higher-dimensional analogs of the strands algebras in bordered Heegaard Floer homology, due to Lipshitz-Ozsv\'ath-Thurston \cite{LOT}.

Although every flat manifold occurs as a cusp cross-section in at least one commensurability class of arithmetic hyperbolic manifolds, it turns out that some flat manifolds have the property that they occur as cusp cross-sections in precisely one commensurability class of arithmetic hyperbolic manifolds -- a phenomena which we will refer to as the UCC property. We construct flat manifolds with the UCC property in all dimensions $ n \geq 32 $. We also show that the number of distinct commensurability classes containing cusp cross-sections with the UCC property is unbounded. We also exhibit pairs of manifolds in all dimensions $ n \geq 24 $ that cannot arise as cusp cross-sections in the same commensurability class of arithmetic hyperbolic manifolds. The main tool is previous work of the authors algebraically characterizing when a given flat manifold arises as the cusp cross-section of a manifold in a given commensurability class of arithmetic hyperbolic manifolds.

The purpose of this short note is twofold: First to elucidate some connections between the ``building block'' of Dimofte--Gaiotto--Gukov's $3$D index, known as the tetrahedral index $I_\Delta (m,e)$, and Hahn--Exton's $q$-analogue of the Bessel function $J_\nu (z;q)$. The correspondence between $I_\Delta$ and $J_\nu$ will allow us to translate useful relations from one setting to the other. Second, we want to introduce to the $q$-hypergeometric community some possibly new techniques, theory and conjectures arising from applications of physical mathematics to geometric topology.

A group has normal rank (or weight) greater than one if no single element normally generates the group. The Wiegold problem from 1976 asks about the existence of a finitely generated perfect group of normal rank greater than one. We show that any free product of nontrivial left-orderable groups has normal rank greater than one. This solves the Wiegold problem by taking free products of finitely generated perfect left-orderable groups, a plethora of which are known to exist. We obtain our estimate of normal rank by a topological argument, proving a type of spectral gap property for an unsigned version of stable commutator length. A key ingredient in the proof is an intricate new construction of a family of left-orders on free products of two left-orderable groups.

Let $S_g$ be a closed, oriented surface of genus $g$, and let $\operatorname{Mod}(S_g)$ denote its mapping class group. The Torelli group $\mathcal{I}_g$ is the subgroup of $\operatorname{Mod}(S_g)$ consisting of mapping classes that act trivially on $H_1(S_g)$. For any collection of pairwise disjoint, separating simple closed curves on $S_g$, the corresponding Dehn twists pairwise commute and determine a homology class in $H_k(\mathcal{I}_g)$, which is called an abelian cycle. We prove that the subgroup of $H_k(\mathcal{I}_g)$ generated by such abelian cycles is a $\mathbb{Z}/2\mathbb{Z}$-vector space for all $k$, and that it is finite-dimensional for $k = 2$ and $g \geq 4$.

We completely classify the bijections of the Thurston geometries that preserve geodesics as sets. For Riemannian manifolds that satisfy a certain technical condition, we prove that a totally geodesic subset is a submanifold. We also classify the geodesic-preserving bijections of the Euclidean cylinder $\mathbb{S}^1 \times \mathbb{R}$ and the bijections of the hyperbolic plane $\mathbb{H}^2$ that preserve constant curvature curves.

In our previous work, we introduced the notion of the twisted Alexander vanishing order of knots, defined as the order of the smallest finite group for which the corresponding twisted Alexander polynomial vanishes. In this paper, we explore several properties of this invariant in detail and present a list of twisted Alexander vanishing groups of order less than $201$.

We give criteria to determine when a degree-2 Azumaya algebra with $C_2$-action over a dense open subvariety of a curve extends to the entire curve as an algebra with $C_2$-action. These consist of conditions for the extension of the algebra, combined with a new condition for the extension of the algebra with the action. The new condition is testable by computer algebra systems, and we explain how the result applies to the canonical components of the character varieties of certain hyperbolic knots with order-2 symmetries. We conclude by carrying out the calculations for different symmetries of the Figure-8 knot.

We show that the pseudo-effective cone of divisors of $\overline{M}_{0,n}$ is not polyhedral for $n\geq 8$ by constructing an extremal non-polyhedral ray of the dual cone of moving curves via maps on meromorphic strata of differentials returning the residues at the poles of the parameterised differentials. An immediate corollary is that these spaces are not Mori Dream Spaces.

We show that in every even dimension there are closed manifolds that are doubles, but have no open book decomposition. In high dimensions, this contradicts the conclusions in Ranicki's book on high-dimensional knot theory. In all dimensions, examples arise from the non-multiplicativity of the signature in fibre bundles. We discuss many examples and applications in dimension four, where this phenomenon is related to the simplicial volume.

Let $M$ be the disk or a compact, connected surface without boundary different from the sphere $S^2$ and the real projective plane $\mathbb{R}P^2$, and let $N$ be a compact, connected surface (possibly with boundary). It is known that the pure braid groups $P_n(M)$ of $M$ are bi-orderable, and, for $n\geq 3$, that the full braid groups $B_n(M)$ of $M$ are not bi-orderable. The main purpose of this article is to show that for all $n \geq 3$, any subgroup $H$ of $B_n(N)$ that satisfies $P_n(N) \subsetneq H \subset B_n(N)$ is not bi-orderable.

The goal of this paper is to put the theory of approximate fibrations into the framework of higher topos theory. We define the notion of an approximate fibration for a general geometric morphism of $\infty$-topoi, give several characterizations in terms of shape theory and compare it to the original definition for maps of topological spaces of Coram and Duvall. Furthermore, we revisit the notion of cell-like maps between topoi, and generalize Lurie's shape-theoretic characterization by giving a purely topos-theoretical proof.

We construct geometrically infinite hyperbolic surfaces supporting horocycles with tailored recurrence properties. In particular, we obtain the first examples of non-trivial minimal horocyclic orbit closures and of infinite locally-finite conservative horocyclic invariant measures which are singular with respect to the geodesic flow. Other examples include surfaces supporting horocyclic orbit closures of arbitrary Hausdorff dimension in $(1,2)$.

We study flute surfaces and extend results of Pandazis and \v{S}ari\'c giving necessary and sufficient conditions on the Fenchel-Nielsen coordinates of the surface to be of the first kind. As a consequence of the first result, we characterize parabolic flute surfaces (i.e. flute surfaces with ergodic geodesic flow) with twist parameters in {0,1/2}, extending the work of Pandazis and \v{S}ari\'c.

A topological space is called self-covering if it is a nontrivial cover of itself. We prove that, under mild assumptions, a closed self-covering manifold with an abelian fundamental group fibers over a torus in various senses. As a corollary, if its dimension is above $5$ and its fundamental group is free abelian, then it is a fiber bundle over a circle. We also construct non-fibering examples when these assumptions are not fulfilled. In particular, one class of examples illustrates that the structure of self-covering manifolds is more complicated when the fundamental groups are nonabelian, and the corresponding fibering problem encounters significant difficulties.