arXiv research

We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to def…

An excision theorem connects Heegaard Floer homology of 3-manifolds.

Satellite formula connects knot concordance invariants to surgery.

We observe that the main theorem in \cite{KMsuture} immediately implies its analogue for closed 3--manifolds.

Excises interesting subsets from symplectic manifolds.

In this article, we introduce the notion of a functor on coarse spaces being coarsely excisive- a coarse analogue of the notion of a functor on topological spaces being excisive. Further, taking cones, a coarsely excisive functor yields a topologically excisive functor, and for coarse topological spaces there is an ass…

Paper compares higher torsions and removes fiberwise Morse function assumption.

Smooth groupoid algebras are H-unital, with implications for algebraic and homological properties.

Study calculates ring structure in instanton homology for a surface with points.

We develop a categorical index calculus for elliptic symbol families. The categorified index problems we consider are a secondary version of the traditional problem of expressing the index class in K-theory in terms of differential-topological data. They include orientation problems for moduli spaces as well as similar…

We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong additivity properties. In the case of cobordisms between manifolds with boundary, we pr…

We develop an epsilon-controlled algebraic L-theory, extending our earlier work on epsilon-controlled algebraic K-theory. The controlled L-theory is very close to being a generalized homology theory; we study analogues of the homology exact sequence of a pair, excision properties, and the Mayer--Vietoris exact sequence…

Relates two types of skein algebras using explicit correspondences.

An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1\times{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection i…

We study the index theory of a class of perturbed Dirac operators on non-compact manifolds of the form $\mathsf{D}+\mathrm{i}\mathsf{c}(X)$, where $\mathsf{c}(X)$ is a Clifford multiplication operator by an orbital vector field with respect to the action of a compact Lie group. Our main result is that the index class o…

We develop monopole and instanton Floer homology groups for balanced sutured manifolds. Applications include a new proof of Property P for knots.

In this paper, we explore the interplay between contact structures and sutured monopole Floer homology. First, we study the behavior of contact elements, which were defined by Baldwin and Sivek, under the operation of performing Floer excisions, which was introduced to the context of sutured monopole Floer homology by …

Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod axioms along with Milnor's map excision axiom and a (non-obvious) common genera…

New invariant distinguishes lens spaces via categorified homotopy E_3-algebra.

Study embedding calculus and link invariants using functor calculus.

We prove that the instanton knot homology KHI(K) as defined by Kronheimer and Mrowka (Knots, sutures and excision, preprint), recovers the Alexander polynomial for knots K in the 3-sphere.

Revisits Pontryagin's proof of stable stems 0, 1, and 2.

Formulae prove equivalence of two invariants on specific 4-manifolds.

New mapping class group actions on Hochschild complexes for modular categories.

By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology …

We prove that any noncompact symplectic manifold which admits a properly embedded ray with a wide neighborhood is symplectomorphic to the complement of the ray by constructing an explicit symplectomorphism in the case of the standard Euclidean space. We use this excision trick to construct a nowhere vanishing Liouville…

Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M to spaces. We therefore abstract some of the properties of this cofunctor, and …

Many clustering schemes are defined by optimizing an objective function defined on the partitions of the underlying set of a finite metric space. In this paper, we construct a framework for studying what happens when we instead impose various structural conditions on the clustering schemes, under the general heading of…

We prove a generalization of Bennequin's inequality for Legendrian knots in a 3-dimensional contact manifold (Y,xi), under the assumption that Y is the boundary of a 4-dimensional manifold M and the version of Seiberg-Witten invariants introduced by Kronheimer and Mrowka [Invent. Math. 130 (1997) 209-255] is nonvanishi…

In this paper, we study a certain cohomology attached to a smooth function, which arose naturally in Poisson geometry. We explain how this cohomology depends on the function, and we prove that it satisfies both the excision and the Mayer-Vietoris axioms. For a regular function we show that the cohomology is related to …

We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $Ω^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum of the inverse of the canonical bundle over $BTop(d)$. We also give versions with tangential structures and boundary. The pro…

We give a framework of localization for the index of a Dirac-type operator on an open manifold. Suppose the open manifold has a compact subset whose complement is covered by a family of finitely many open subsets, each of which has a structure of the total space of a torus bundle. Under an acyclic condition we define t…

Study shows a modified cobordism category's first derivative is equivalent to a Thom spectrum.

We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we …

Causality violations are typically seen as unrealistic and undesirable features of a physical model. The following points out three reasons why causality violations, which Bonnor and Steadman identified even in solutions to the Einstein equation referring to ordinary laboratory situations, are not necessarily undesirab…

There are two objects naturally associated with a braid $β\in B_n$ of pseudo-Anosov type: a (relative) pseudo-Anosov homeomorphism $\varphi_β\colon S^2\to S^2$; and the finite volume complete hyperbolic structure on the 3-manifold $M_β$ obtained by excising the braid closure of $β$, together with its braid axis, from $…

Let $(X_1, \bar g_1)$ and $(X_2, \bar g_2)$ be two compact Riemannian manifolds with boundary $(M_1,g_1)$ and $(M_2,g_2)$ respectively. The Escobar problem consists in prescribing a conformal metric on a compact manifold with boundary with zero scalar curvature in the interior and constant mean curvature of the boundar…

Develops a new theory of localization in algebraic geometry.

New algorithm reduces ERM problem size while maintaining accuracy.

In Ben-David et al.'s "Learnability Can Be Undecidable," they prove an independence result in theoretical machine learning. In particular, they define a new type of learnability, called Estimating The Maximum (EMX) learnability. They argue that this type of learnability fits in with other notions such as PAC learnabili…

Develops a new theory of localization in algebraic geometry.

Calculates spectral flow bounds for reducible solutions to Vafa-Witten equations.

Early last century witnessed both the complete classification of 2-dimensional manifolds and a proof that classification of 4-dimensional manifolds is undecidable, setting up 3-dimensional manifolds as a central battleground of topology to this day. A rather important subset of the 3-manifolds has turned out to be the …

The regularity of systolically extremal surfaces is a notoriously difficult problem already discussed by M. Gromov in 1983, who proposed an argument toward the existence of $L^2$-extremizers exploiting the theory of $r$-regularity developed by P. A. White and others by the 1950s. We propose to study the problem of syst…

New method trims network data to resist adversarial contamination.

The detection of gravitational waves with LIGO and Virgo requires a detailed understanding of the response of these instruments in the presence of environmental and instrumental noise. Of particular interest is the study of anomalous non-Gaussian noise transients known as glitches, since their high occurrence rate in L…

We propose a general theory for constructing functorial assignments $Σ\longmapsto Ω_Σ \in E(Σ)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pai…

We use partial class memberships in soft classification to model uncertain labelling and mixtures of classes. Partial class memberships are not restricted to predictions, but may also occur in reference labels (ground truth, gold standard diagnosis) for training and validation data. Classifier performance is usually ex…