A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Defines observer-invariant time derivatives on moving surfaces.
Minimal moves for surfaces in 4D discovered, linking planar and spatial moves.
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…
Lecture notes on Teichmüller spaces with boundary examples.
CMS formulation solves Poincare conjecture for all dimensions.
A diagrammatic language for 3D manifolds with boundary.
The Markov Theorem Without Stabilization (MTWS) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isoto…
The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive the…
We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains -Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs.
The techniques used in this paper are based on the exterior calculus of Maurer-Cartan forms, and Weingarten surfaces are used to illustrate the methods that apply to quadratic exterior equations with constant coefficients. Isothermic {\it surfaces of constant astigmatism} (non-linear Weingarten surfaces whose differenc…
We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.
We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of homological width at most three, then the flow categories are move equivalent. The proc…
We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
We show how the theory of tangles is equivalent to that of well-connected tangles. These are drawn on a surface with boundary, and equivalent via Reidemeister moves of a restricted kind. This reworking of the graphical foundations for link and tangle theory can be expected to have a variety of applications, including o…
We exhibit a finite set of local moves that connect any two surgery presentations of the same 3-manifold via framed links in the three-sphere. The moves are handle-slides and blow-downs/ups of a particular simple kind.
We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over…
We recall an extension of Kirby's Calculus on non-simply connected 3-manifolds given in [FR], and the surgery calculus of bridged links from [Ke], which involves only local moves. We give a short combinatorial proof that the two calculi are equivalent, and thus describe the same classes of 3-manifolds. This makes the p…
Embedding calculus proves convergence for surfaces.
A combinatorial presentation of closed orientable 3-manifolds as bi-tricolored links is given together with two versions of a calculus via moves to manipulate bi-tricolored links without changing the represented manifold. That is, we provide a finite set of moves sufficient to relate any two manifestations of the same …
Paper derives invariantised Euler-Lagrange equations for Herglotz problems.
Refining the notion of an ideal triangulation of a compact three-manifold, we provide in this paper a combinatorial presentation of the set of pairs (M,a), where M is a three-manifold and a is a collection of properly embedded arcs. We also show that certain well-understood combinatorial moves are sufficient to relate …
We study the effect of Nielsen moves and their geometric counterparts, handle slides, on good boundary links. A collection of links, universal for 4-dimensional surgery, is shown to admit Seifert surfaces with trivial Lagrangian. They are good boundary links, with Seifert matrices of a more general form than in known c…
We analyze the effect of adding, removing, and moving basepoints on link Floer homology. We prove that adding or removing basepoints via a procedure called quasi-stabilization is a natural operation on a certain version of link Floer homology, which we call . We consider the effect on the full link Flo…
Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move generators.
Study of curves in Lie sphere geometry using moving frames and variational principles.
A quaternionic calculus for surface pairs in the conformal 4-sphere is elaborated. This calculus is then used to discuss the relation between curved flats in the symmetric space of point pairs and Darboux and Christoffel pairs of isothermic surfaces. A new viewpoint on relations between surfaces of constant mean curvat…
We develop a calculus of surgery data, called bridged links, which involves besides links also pairs of balls that describe one-handle attachements. As opposed to the usual link calculi of Kirby and others this description uses only elementary, local moves(namely modifications and isolated cancellations), and it is val…
Algorithm transforms weakly negative plumbing trees to negative definite ones.
Minimal moves for surfaces in 4D identified.
Derives new orthogonal coordinates for evolving surfaces and curves.
Extends knot polynomial to knotted 4-valent graphs.
Derives Lagrangian for minimal surfaces, proving tangential variations vanish.
A marked graph diagram is a link diagram possibly with marked -valent vertices. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of representing surface-links by marked graph diagrams. Specially, K. Yoshikawa gave local moves on marked graph diagrams, nowadays called Yoshikawa moves. It is now known that two…
Study of 3-handle attachments in 4D manifolds using Kirby calculus.
Introduces minimal surfaces to undergraduates.
A theorem of Kirby states that two framed links in the 3-sphere produce orientation-preserving homeomorphic results of surgery if they are related by a sequence of stabilization and handle-slide moves. The purpose of the present paper is twofold: First, we give a sufficient condition for a sequence of handle-slides on …
Round surgery diagrams represent 3-manifolds in .
New invariant shows fifth move is unique and extends biquandle theory for surface-links.
Roseman moves are seven types of local modification for surface-link diagrams in -space which generate ambient isotopies of surface-links in -space. In this paper, we focus on Roseman moves involving triple points, one of which is the famous tetrahedral move, and discuss their independence. For each diagram of an…
We consider ribbon n-knots for n\geq 2. For such knots we define a set of moves on ribbon disks, and show that any two ribbon disks for isotopic knots are related by a finite sequence of such moves and ambient isotopies. Using this we are able to prove that there is a natural geometric correspondence between ribbon n-k…
Discussing moving frames for curve and surface invariants.
Yoshikawa moves were introduced at least quarter-century ago and are still actively used by researchers. For any marked graph diagram we will define its twisted diagram and its mirror cut surface. By using a surface-link group of a mirror cut surface of a twisted diagram we will prove the independence of Yoshikawa eigh…
Study Legendrian surfaces using N-graphs and flag moduli.
This work has the purpose of applying the concept of Geometric Calculus (Clifford Algebras) to the Fibre Bundle description of Quantum Mechanics. Thus, it is intended to generalize that formulation to curved spacetimes [the base space of the fibre bundle in question] in a more natural way. It starts off with a review o…
By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The key is a pseudo-group analog of the classic result that characterizes congruence o…
New contact Kirby moves complete the set for contact surgery diagrams.
Unified invariant for immersed surface-links using biquandle cocycles.
We prove that strictly convex surfaces moving by become spherical as they contract to points, provided lies in the range . In the process we provide a natural candidate for a curvature pinching quantity for surfaces moving by arbitrary functions of curvature, by finding a quantity conserved by the …