Year: 2017
Type: preprint
Abstract: In this article, we introduce rack invariants of oriented Legendrian knots in the 3-dimensional Euclidean space endowed with the standard contact structure, which we call Legendrian racks. These invariants form a generalization of the quandle invariants of knots. These rack invariants do not result in a complete invariant, but detect some of the geometric properties such as cusps in a Legendrian knot. In the case of topologically trivial Legendrian knots, we test this family of invariants for its strengths and limitations. We further prove that these invariants form a natural generalization of the quandle invariant, by which we mean that any rack invariant under certain restrictions is equivalent to a Legendrian rack. The axioms of these racks are expressible in first order logic, and were discovered through a series of experiments using an automated theorem prover for first order logic. We also present the results from the experiments on Legendrian unknots involving auto-mated theorem provers, and describe how they led to our current formulation.
Source: arXiv (Cornell University)
Authors: Kulkarni, Dheeraj, Prathamesh, T. V. H.
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2706888732