arXiv research

Study negative definite spin fillings of knot covers.

Algorithm transforms weakly negative plumbing trees to negative definite ones.

Classifies contact structures on negative-definite Seifert fibred spaces.

This paper classifies minimal fillings of lens spaces.

Given a knot K in the three-sphere, we address the question: which Dehn surgeries on K bound negative-definite four-manifolds? We show that the answer depends on a number m(K), which is a smooth concordance invariant. We study the properties of this invariant, and compute it for torus knots.

A new metric for comparing probability measures on graphs, scalable and negative definite.

Paper proves a conjecture about a Heegaard Floer invariant for certain rational homology spheres.

Counterexamples found for knot conjectures.

New proof shows certain 4D metrics are non-degenerate if curvature is negative definite.

Recently Andrei Teleman considered instanton moduli spaces over negative definite four-manifolds $X$ with $b_2(X) \geq 1$. If $b_2(X)$ is divisible by four and $b_1(X) =1$ a gauge-theoretic invariant can be defined; it is a count of flat connections modulo the gauge group. Our first result shows that if such a moduli s…

We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide …

We show that every negative definite configuration of symplectic surfaces in a symplectic 4--manifold has a strongly symplectically convex neighborhood. We use this to show that, if a negative definite configuration satisfies an additional negativity condition at each surface in the configuration, and if the complex si…

Survey on embedding 3-manifolds in definite 4-manifolds, focusing on Donaldson's theorem.

Study shows surgeries on certain knots bound rational homology 4-balls.

New invariant connects knot homology and BPS series for plumbed knot complements.

Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology o…

We classify semi-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to three and the metrics induced on fibres are negative definite. Also, we obtain the classificat…

New indefinite false theta functions match homological blocks for a specific 3-manifold.

We extend Sobolev transport to unbalanced measures on graphs.

Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem,…

Study lens spaces' definite fillings, classifying those with specific inequalities.

New method for comparing different mass measures on tree structures using entropy partial transport.

In this paper we present a slight modification of the Fourier estimation method of the spot volatility (matrix) process of a continuous Itô semimartingale where the estimators are always non-negative definite. Since the estimators are factorized, computational cost will be saved a lot.

Optimal transport for measures on noisy tree metrics is solved with robust approach.

Lattice cohomology, defined by Némethi in (arXiv:0709.0841), is an invariant of negative definite plumbed 3-manifolds which conjecturally computes the Heegaard Floer homology HF^+. We prove a surgery exact triangle for the lattice cohomology analogous to the one for HF^+. This is a step towards comparing these two inva…

Optimal transport (\OT) theory defines a powerful set of tools to compare probability distributions. \OT~suffers however from a few drawbacks, computational and statistical, which have encouraged the proposal of several regularized variants of OT in the recent literature, one of the most notable being the \textit{slice…

The main goal of the present article is the computation of the Heegaard Floer homology introduced by Ozsvath and Szabo for a family of plumbed rational homology 3-spheres. The main motivation is the study of the Seiberg-Witten type invariants of links of normal surface singularities.

Proves conjecture linking WRT invariants and homological blocks for plumbed 3-manifolds.

In this paper we study the problem of conformally deforming a metric to a prescribed symmetric function of the eigenvalues of the Schouten tensor on compact Riemannian manifolds with boundary. We prove its solvability and the compactness of the solution set, provided the Ricci tensor is non-negative definite.

We exhibit the first examples of links which are homologically thin but not quasi-alternating. To show that they are not quasi-alternating, we argue that none of their branched double-covers bounds a negative definite 4-manifold with non-torsion H_1. Using this method, we also complete the determination of the quasi-al…

Study compares two methods to extend $\widehat{Z}$ invariants, finding incompatibility for Brieskorn spheres.

By using the gluing formulae of the Seiberg-Witten invariant, we show the nonexistence of Einstein metric on manifolds obtained from a 4-manifold with nontrivial Seiberg-Witten invariant by performing sufficiently many connected sums or appropriate surgeries along circles or homologically trivial 2-spheres with closed …

In this paper we give a necessary combinatorial condition for a negative--definite plumbing tree to be suitable for rational blow--down, or to be the graph of a complex surface singularity which admits a rational homology disk smoothing. New examples of surface singularities with rational homology disk smoothings are a…

Optimal transport kernels improve neural architecture search efficiency.

Knot lattice homology invariant is preserved under certain 3-manifold diffeomorphisms.

We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus …

Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of th…

We construct a non-normal affine monoid together with its modules associated with a negative definite plumbed $3$-manifold $M$. In terms of their structure, we describe the $H_1(M,\mathbb{Z})$-equivariant parts of the topological Poincaré series. In particular, we give combinatorial formulas for the Seiberg--Witten inv…

Counterexample disproves conjecture on flat metrics and fiber bundles.

The class of Schoenberg transformations, embedding Euclidean distances into higher dimensional Euclidean spaces, is presented, and derived from theorems on positive definite and conditionally negative definite matrices. Original results on the arc lengths, angles and curvature of the transformations are proposed, and v…

For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more structure. If M is a complex singularity link then the normalized Euler-characteristic…

In this note, we complete the classification of quasi-alternating Montesinos links. We show that the quasi-alternating Montesinos links are precisely those identified independently by Qazaqzeh-Chbili-Qublan and Champanerkar-Ording. A consequence of our proof is that a Montesinos link $L$ is quasi-alternating if and onl…

3D space without definite 4D counterpart found.

Given a minimal Lagrangian submanifold L in a negative Kaehler--Einstein manifold M, we show that any small Kaehler--Einstein perturbation of M induces a deformation of L which is minimal Lagrangian with respect to the new structure. This provides a new source of examples of minimal Lagrangians. More generally, the sam…

A polynomial counterpart of the Seiberg-Witten invariant associated with a negative definite plumbed 3-manifold has been proposed by earlier work of the authors. It is provided by a special decomposition of the zeta-function defined by the combinatorics of the manifold. In this article we give an algorithm, based on mu…

Study shows 3D shapes can't fit in certain 4D spaces.

Ozsváth and Szabó used the knot filtration on $\widehat{CF}(S^3)$ to define the $τ$-invariant for knots in the 3-sphere. In this article, we generalize their construction and define a collection of $τ$-invariants associated to a knot $K$ in a rational homology sphere $Y$. We then show that some of these invariants prov…

An oriented compact 4-manifold $V$ with boundary $S^3$ is called a positon (resp. negaton) if its intersection form is positive definite (resp. negative definite) and it is simply connected. In this paper, we prove that there exist infinitely many knots which cannot bound null-homologous disks either in positons or in …