arXiv subjects

Ruth Lawrence

Publications and source records attributed to Ruth Lawrence.

11 recordsLinked to original sources

arXiv2025

Coding with the transverse intersection algebra

The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented Riemannian manifold leads to an Euler equation which is equivalent to the classical Euler equation which describes non-viscous fluid flow. In this paper, the recently introduced transverse intersection algebra associated to a cubic lattice of An-Lawrence-Sullivan is used to construct a finite-dimensional fluid algebra on a cubic lattice (with odd periods). The corresponding Euler equation is an ODE which it is proposed is a `good' discretisation of the continuum Euler equation. This paper contains all the explicit details necessary to implement numerically the corresponding Euler equation. Such an implementation has been carried out by our team and results are pending.

math.AP↗

arXiv2025

Infinite-order combinatorial Transverse Intersection Algebra TIA via the probabilistic wiggling model

This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general position. In order to define an intersection of cuboids which are not necessarily in general position, the boundaries of the cuboids are considered to be `wiggled' by a distance small compared with the lattice parameter, according to a suitable probability distribution and then almost always the wiggled cuboids will be in general position, producing a transverse intersection with new probability distributions on the bounding sides. In order to make a closed theory, each geometric cuboid appears in an infinite number of forms with different probability distributions on the wiggled boundaries. The resulting structure is commutative, associative and satisfies the product rule with respect to the natural boundary operator deduced from the geometric boundary of the wiggled cuboids. This TIA can be viewed as a combinatorial analogue of differential forms in which the continuity of space has been replaced by a lattice with corrections to infinite order. See the comparison to Whitney forms at the end of the paper. For application to fluid algebra we also consider the same construction starting with the $2h$ cubical complex instead of the $h$ cubical complex. The adjoined higher order elements will be identical to those required in the $h$ cubical complex. The $d$-dimensional theory is a tensor product of $d$ copies of the one-dimensional theory.

math.AT↗

arXiv2025

The combinatorial transverse intersection algebra

This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by transversality on the usual chains which are in general position. This, (with extra elements added) on the entire $h$-cubulated three torus whose differential satisfies the product rule and which agrees with the set theoretic intersection product appropriately weighted. The construction is characterized given these properties (see Comprehensive Theorem below). The challenge is to minimally adjoin infinitesimal elements when the geometric elements have glancing but transversal intersections weighted in such a way that the associativity (and commutativity) is not destroyed and the Leibniz product rule for the boundary operator is restored. Secondly, there is a $2h$ subcomplex introduced in Sullivan arXiv:1811.00086 and discussed further in Lawrence-Sullivan-Ranade arXiv:2011.07505 which shares the above good properties when ideal elements are added AND which also has a star bijection between degree zero and degree three and between one and degree two. This is introduced for the purposes of computations of 3D fluid motion, incompressible, with or without viscosity. For the latter purposes one only needs the good properties in dimensions zero, one and two, where the situation is a bit better. It is a new feature that the three good properties are respected by the crumbling chain mappings from coarse to finer subdivisions. The star operator does not cooperate with crumbling and is the sole reason in this discrete approximation for the Kolmogorov cascade to finer scales.

math.GT↗

arXiv2021

Jones rational coincidences

We investigate coincidences of the (one-variable) Jones polynomial amongst rational knots, what we call `Jones rational coincidences'. We provide moves on the continued fraction expansion of the associated rational which we prove do not change the Jones polynomial and conjecture (based on experimental evidence from all rational knots with determinant $<900$) that these moves are sufficient to generate all Jones rational coincidences. These coincidences are generically not mutants, as is verified by checking the HOMFLYPT polynomial. In the process we give a new formula for the Jones polynomial of a rational knot based on a continued fraction expansion of the associated rational, which has significantly fewer terms than other formulae known to us. The paper is based on the second author's Ph.D. thesis and gives an essentially self-contained account.

math.GT↗

arXiv2020

Explicit symmetric DGLA models of 3-cells

We give explicit formulae for differential graded Lie algebra (DGLA) models of 3-cells. In particular, for a cube and an $n$-faceted banana-shaped 3-cell with two vertices, $n$ edges each joining those two vertices and $n$ bi-gon 2-cells, we construct a model symmetric under the geometric symmetries of the cell fixing two antipodal vertices. The cube model is to be used in forthcoming work for discrete analogues of differential geometry on cubulated manifolds.

math.AT↗

arXiv2019

Universal averages in gauge actions

We give a construction of a universal average of Lie algebra elements whose exponentiation gives (when there is an associated Lie group) a totally symmetric geometric mean of Lie group elements (sufficiently closed to the identity) with the property that in an action of the group on a space $X$ for which $n$ elements all take a particular point $a\in{}X$ to a common point $b\in{}X$, also the mean will take $a$ to $b$. The construction holds without the necessity for the existence of a Lie group and the universal average $\mu_n(x_1,\ldots,x_n)$ is a totally symmetric universal expression in the free Lie algebra generated by $x_1,\ldots,x_n$. Its expansion up to three brackets is found explicitly and various properties of iterated averages are given. There are applications to the construction of explicit symmetric differential graded Lie algebra models. This work is based on the second author's minor thesis.

math.QA↗

arXiv2018

An explicit symmetric DGLA model of a triangle

We give explicit formulae for a differential graded Lie algebra (DGLA) model of the triangle which is symmetric under the geometric symmetries of the cell. This follows the work of Lawrence-Sullivan on the (unique) DGLA model of the interval and of Gadish-Griniasty-Lawrence on an explicit symmetric model of the bi-gon. As in the case of the bi-gon, the essential intermediate step is the construction of a symmetric point. Although in this warped geometry of points given by solutions of the Maurer-Cartan equation and lines given by a gauge transformation by Lie algebra elements of grading zero, the medians of a triangle are not concurrent, various other geometric constructions can be carried out. The construction can similarly be applied to give symmetric model of arbitrary $k$-gons.

math.AT↗

arXiv2017

An explicit symmetric DGLA model of a bi-gon

We give explicit formulae for a DGLA model of the bi-gon which is symmetric under the geometric symmetries of the cell. This follows the work of Lawrence-Sullivan on the (unique) DGLA model of the interval and its construction uses deeper knowledge of the structure of such models and their localisations for non-simply connected spaces.

math.AT↗

arXiv2006

A formula for topology/deformations and its significance

The formula is $\partial{e}=({\rm ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({\rm ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is that (I) this formula for $\partial$ on generators extends to a derivation of square zero on $L[a,b,e]$, (II) the formula for $\partial{e}$ is unique satisfying the first property, once given the formulae for $\partial{a}$ and $\partial{b}$, along with the condition that the "flow" generated by $e$ moves $a$ to $b$ in unit time. The immediate significance of this formula is that it computes the infinity cocommutative coalgebra structure on the chains of the closed interval. It may be derived and proved using the geometrical idea of flat connections and one parameter groups or flows of gauge transformations. The deeper significance of such general DGLAs which want to combine deformation theory and rational homotopy theory is proposed as a research problem.

math.AT↗

arXiv2005

On Habiro's cyclotomic expansions of the Ohtsuki invariant

We give a self-contained treatment of Le and Habiro's approach to the Jones function of a knot and Habiro's cyclotomic form of the Ohtsuki invariant for manifolds obtained by surgery around a knot. On the way we reproduce a state sum formula of Garoufalidis and Le for the colored Jones function of a knot. As a corollary, we obtain bounds on the growth of coefficients in the Ohtsuki series for manifolds obtained by surgery around a knot, which support the slope conjecture of Jacoby and the first author.

math.GT↗

arXiv2000

A Rational Surgery Formula for the LMO Invariant

We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give explicit formulas for the values of the Kontsevich integral on the Hopf link and on Hopf chains, and for the LMO invariant of lens spaces and Seifert fibered spaces. We find that the LMO invariant does not separate lens spaces, is far from separating general Seifert fibered spaces, but does separate Seifert fibered spaces which are integral homology spheres.

math.GT↗