arXiv research

Develops a categorified excision principle for elliptic symbol families.

Excises interesting subsets from symplectic manifolds.

An excision theorem connects Heegaard Floer homology of 3-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…

New instanton Floer homology for sutured manifolds with tangles defined.

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

Study contact structures and sutured monopole Floer homology, computing and deriving formulas.

Relates two types of skein algebras using explicit correspondences.

Proves symplectomorphism of noncompact manifolds with embedded rays.

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.

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

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

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.

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

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

Paper compares higher torsions and removes fiberwise Morse function assumption.

Develops a new theory of localization in algebraic geometry.

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…

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 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…

Flat surfaces with finitely many singularities solve systolic extremal problem.

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…

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…

Study embedding calculus and link invariants using functor calculus.

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

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

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 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 …

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 …

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…

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 …

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

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…

Study perturbed Dirac operators on non-compact manifolds using KK-theory.

Develops a new theory of localization in algebraic geometry.

New algorithm reduces ERM problem size while maintaining accuracy.

Study shows disconnect between pseudo-Anosov homeomorphisms and hyperbolic 3-manifolds.

New learnability concept shown independent of ZFC axioms.

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

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…

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 …

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…

Research examines how Islamic banking principles spread among managers and scholars.

The paper establishes maximum principles and stochastic completeness for pseudo-Hermitian manifolds.