arXiv research

Study embedding calculus and link invariants using functor calculus.

Embedding calculus proves convergence for surfaces.

Study of embedding calculus using infinite operads.

Unified Lie structures in homotopy and isotopy calculus.

This paper investigates the space of codimension zero embeddings of a Poincare duality space in a disk. One of our main results exhibits a tower that interpolates from the space of Poincare immersions to a certain space of "unlinked" Poincare embeddings. The layers of this tower are described in terms of the coefficien…

Embedding calculus invariants solve knot connectivity and grope cobordism problems.

We give an overview of how calculus of the embedding functor can be used for the study of long knots and summarize various results connecting the calculus approach to the rational homotopy type of spaces of long knots, collapse of the Vassiliev spectral sequence, Hochschild homology of the Poisson operad, finite type k…

We develop a complete local theory for CR embedded submanifolds of CR manifolds in a way which parallels the Ricci calculus for Riemannian submanifold theory. In particular, we establish the subtle relationship between the submanifold and ambient standard tractor bundles, allowing us to relate the respective normal Car…

Study smooth manifolds using disc-presheaves.

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 …

Koszul duality for manifold modules proven.

We investigate a quantization problem which asks for the construction of an algebra for relative elliptic problems of pseudodifferential type associated to smooth embeddings. Specifically, we study the problem for embeddings in the category of compact manifolds with corners. The construction of a calculus for elliptic …

The Farey tree helps embed rational balls and lens spaces into complex projective space.

We obtain multirelative connectivity statements about spaces of Poincare embeddings, as precursors to analogous statements about spaces of smooth embeddings. The latter are the key to convergence results in the functor calculus approach to spaces of embeddings.

Two graph homologies help compute embedding space.

Residually finite groups found in manifold automorphisms.

Develops tensor calculus for submanifolds of arbitrary codimension.

This article provides a pedagogically oriented introduction to geometric (Clifford) calculus on pseudo-Riemannian manifolds. Unlike usual approaches to the topic, which rely on embedding the geometric algebra either within a tensor algebra or within a vector manifold framework, here we define geometric calculus directl…

Paper addresses hidden faces in configuration space integrals for embeddings.

We present a self-contained proof of the Gauss-Bonnet theorem for two-dimensional surfaces embedded in $R^3$ using just classical vector calculus. The exposition should be accessible to advanced undergraduate and non-expert graduate students. It may be viewed as an illustration and exercise in multivariate calculus and…

Geometrically reformulates elasticity theory using exterior calculus.

We associate a Taylor tower supplied by calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord diagrams with relations as in finite type knot theory. We show that the spectral …

Study on spectral asymptotics of Toeplitz operators on CR manifolds.

Solves inverse problem for Maxwell equations using vector fields.

Paper proves spectral sequences of knot spaces are isomorphic over fields.

Study of 3-handle attachments in 4D manifolds using Kirby calculus.

This thesis constructs families of arcs in 4-manifolds and analyzes their homotopy properties.

The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \g…

Let $X$ be a smooth compact manifold with corners which has two embedded boundary hypersurfaces $\partial_0 X , \partial_1 X$, and a fiber bundle $φ:\partial_0 X \to Y$ is given. By using the method of blowing up, we define a pseudodifferential culculus $Ψ^* _{Φ,b} (X)$ generalizing the $Φ$-calculus of Mazzeo and Melro…

Detecting exotic spheres involves analyzing framed configuration spaces.

We give a complete obstruction to turning an immersion of an m-dimensional manifold M in Euclidean n-space into an embedding when 3n>4m+4. It is a secondary obstruction, and exists only when the primary obstruction, due to Haefliger, vanishes. The obstruction lives in a twisted cobordism group, and its vanishing implie…

The invariant theory for conformal hypersurfaces is studied by treating these as the conformal infinity of a conformally compact manifold: For a given conformal hypersurface embedding, a distinguished ambient metric is found (within its conformal class) by solving a singular version of the Yamabe problem. Using existen…

We show that the map on components from the space of classical long knots to the n-th stage of its Goodwillie-Weiss embedding calculus tower is a map of monoids whose target is an abelian group and which is invariant under clasper surgery. We deduce that this map on components is a finite type-(n-1) knot invariant. We …

We study the dynamical behaviors of degenerate stochastic differential equations (SDEs). We select an auxiliary Fisher information functional as the Lyapunov functional. Using generalized Fisher information, we conduct the Lyapunov exponential convergence analysis of degenerate SDEs. We derive the convergence rate cond…

This paper details the techniques and algorithms implemented in Kahler, a Python library that implements discrete exterior calculus on arbitrary Hermitian manifolds. Borrowing techniques and ideas first implemented in PyDEC, Kahler provides a uniquely general framework for computation using discrete exterior calculus. …

We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedr…

We study harmonic and totally invariant measures in a foliated compact Riemannian manifold isometrically embedded in an Euclidean space. We introduce geometrical techniques for stochastic calculus in this space. In particular, using these techniques we can construct explicitely an Stratonovich equation for the foliated…

New tensors help determine if metrics are related to Poincaré-Einstein ones.

Study determines minimal surfaces from boundary data, proving topological and conformal recoverability.

The paper explores self-adjointness of Laplace-Beltrami operator on special geometric manifolds.

We establish new Calderón reproducing formulas for self-adjoint operators $D$ that generate strongly continuous groups with finite propagation speed. These formulas allow the analysing function to interact with $D$ through holomorphic functional calculus whilst the synthesising function interacts with $D$ through funct…

We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology …

A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants of 3--manifolds. We give a systematic exposition of a topological calculus of c…

Study of embedding spaces using homotopy theory and operads.

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class …

The paper develops obstructions for embedding 2D complexes into 4D space.

Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…