arXiv research

Odd-dimensional manifolds have contact maps of non-zero degree.

The study connects projective codes to the distribution of zeros of odd maps.

Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the geometry of circle actions on Euclidean space, the structure of zeros of trigonometr…

For any two disjoint oriented circles embedded into the 3-dimensional real projective space, we construct a 3-dimensional configuration space and its map to the projective space such that the linking number of the circles is the half of the degree of the map. Similar interpretations are given for the linking number of …

In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifold; one then obtains an elementary proof that odd-dimensional manifolds have zero Euler characteristic. In a previous paper, the author defi…

Study spectral flow for Callias operators to prove obstructions to positive scalar curvature.

The moduli space of genus 3 translation surfaces with a single zero has two connected components. We show that in the odd connected component H^{odd}(4) the only GL^+(2,R) orbit closures are closed orbits, the Prym locus Q(3,-1^3), and H^{odd}(4). Together with work of Matheus-Wright, this implies that there are only f…

It is well known that the Euler characteristic of an odd dimensional compact manifold is zero. An Euler complex is a combinatorial analogue of a compact manifold. We present here an elementary proof of the corresponding result for Euler complexes.

Algorithm decides if odd-dimensional maps can be immersed.

Odd connections on supermanifolds are defined and their properties studied.

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q…

In this paper we state and prove a higher index theorem for an odd-dimensional connected spin riemannian manifold $(M,g)$ which is partitioned by an oriented closed hypersurface $N$. This index theorem generalizes a theorem due to N. Higson and J. Roe in the context of Hilbert modules. Then we apply this theorem to pro…

A pretzel knot $K$ is called $odd$ if all its twist parameters are odd, and $mutant$ $ribbon$ if it is mutant to a simple ribbon knot. We prove that the family of odd, 5-stranded pretzel knots satisfies a weaker version of the Slice-Ribbon Conjecture: All slice, odd, 5-stranded pretzel knots are $mutant$ $ribbon$. We d…

A theorem on odd dimensional noncompact manifolds shows curvature bounds.

Adapts scanning algorithm for odd Khovanov homology.

Given a compact manifold $M$ and $g\in C^{\infty}(M,U(l;\mathbb{C}))$ we construct a Chern character $\mathrm{Ch}^-(g)$ which lives in the odd part of the equivariant (entire) cyclic Chen-normalized bar complex $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{T}))$ of $M$, and which is mapped to the odd Bismut-C…

We construct examples in any odd dimension of contact manifolds with finite and non-zero algebraic torsion (in the sense of Latschev-Wendl), which are therefore tight and do not admit strong symplectic fillings. We prove that Giroux torsion implies algebraic $1$-torsion in any odd dimension, which proves a conjecture b…

We give an exposition of graded and microformal geometry, and the language of $Q$-manifolds. $Q$-manifolds are supermanifolds endowed with an odd vector field of square zero. They can be seen as a non-linear analogue of Lie algebras (in parallel with even and odd Poisson manifolds), a basis of "non-linear homological a…

A group action on a moduli space is shown to be faithful.

Study essentiality and simplicial volume of manifolds fibered over spheres.

We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal commutative bidifferential algebra. From a more conceptual point of view, differentia…

We use the mapping cone for the relative deRham cohomology of a manifold with boundary in order to show that the Chern-Gauss-Bonnet Theorem for oriented Riemannian vector bundles over such manifolds is a manifestation of Lefschetz Duality in any of the two embodiments of the latter. We explain how Thom isomorphism fits…

Proves a conjecture about knotted spheres using plane Floer homology.

Let K be a an alternating prime knot in the 3-sphere. We investigate the category of flypes between reduced alternating diagrams for K. As a consequence, we show that any odd prime order action on K is isotopic through maps of pairs to a single flype. This implies that for any odd prime order action on K there is eithe…

Constructs maps on skein modules using non-semisimple quantum invariants.

An odd Seiberg-Witten invariant imposes bounds on the signature of a closed, almost complex 4-manifold with vanishing first Chern class. This applies in particular to symplectic 4-manifolds of Kodaira dimension zero.

New proof of Llarull's rigidity theorem in odd dimensions via spectral flow.

We prove that every closed oriented smooth 4-manifold X admits a broken Lefschetz fibration (aka singular Lefschetz fibration) over the 2-sphere. Given any closed orientable surface F of square zero in X, we can choose the fibration so that F is a fiber. Moreover, we can arrange it so that there is only one Lefschetz c…

Proves module structure on odd Khovanov homology and applies to ribbon 2-knots.

We prove a holomorphic residue localization formula for odd holomorphic vector fields on compact complex supermanifolds whose fermionic and bosonic dimensions coincide. Under isolated non-degeneracy hypotheses on the reduced zero set, we give an explicit local residue formula.

It is well-known that odd-dimensional manifolds have Euler characteristic zero. Furthemore orientable manifolds have an even Euler characteristic unless the dimension is a multiple of $4$. We prove here a generalisation of these statements: a $k$-orientable manifold (or more generally Poincaré complex) has even Euler c…

Let K be the space of long j-knots in R^n. In this paper we introduce a graph complex D and a linear map I from D to the de Rham complex of K via configuration space integral, and prove that (1) when both n>j>=3 are odd, the map I is a cochain map if restricted to graphs with at most one loop component, (2) when n-j>=2…

Formulas for spectra of higher spin operators on sphere subbundles.

Gauss-Bonnet for simple graphs G assures that the sum of curvatures K(x) over the vertex set V of G is the Euler characteristic X(G). Poincare-Hopf tells that for any injective function f on V the sum of i(f,x) is X(G). We also know that averaging the indices E[i(f,x)] over all functions gives curvature K(x). We explor…

We give a correspondence between toric 3-Sasaki 7-manifolds S and certain toric Sasaki-Einstein 5-manifolds M. These 5-manifolds are all diffeomorphic to k#(S^2\times S^3), where k=2b_2(S)+1, and are given by a pencil of Sasaki embeddings of M in S and are given concretely by the zero set of a component of the 3-Sasaki…

Let $N$ be a connected nonorientable surface of genus $g$ with $n$ punctures. Suppose that $g$ is odd and $g+n \geqslant 6$. We prove that the automorphism group of the complex of curves of $N$ is isomorphic to the mapping class group $\mathcal M_{N}$ of $N$.

There is an equivalence relation on the set of smooth maps of a manifold into the stable unitary group, defined using a Chern-Simons type form, whose equivalence classes form an abelian group under ordinary block sum of matrices. This construction is functorial, and defines a differential extension of odd K-theory, fit…

We show that the universal odd Chern form, defined on the stable unitary group $U$, extends to the loop group $LU$ in a way that is closed with respect to an equivariant-type differential. This provides an odd analogue to the Bismut-Chern form. We also describe the associated transgression form, the so-called Bismut-Ch…

Study shows periodic cohomology of non-orientable surface mapping class groups for odd primes.

In this paper, we determine the abelianization of the level d mapping class group for d=2 and odd d. We also extend the homomorphism of the Torelli group defined by Heap to a homomorphism of the level 2 mapping class group.

No regular algebraic hypersurfaces with non-zero constant mean curvature in Euclidean spaces are found.

In this paper we prove geometric residue theorems for bundle maps over a compact manifold. The theory developed associates residues to the singularity submanifolds of the map for any invariant polynomial. The theory is then applied to a variety of settings: smooth maps between equidimensional manifolds, CR-singularitie…

New contact manifolds with many fillings found.

Bayesian model for discrete data with conditional transformations.

We prove that the homotopy class of a Morin mapping f: P^p --> Q^q with p-q odd contains a cusp mapping. This affirmatively solves a strengthened version of the Chess conjecture [DS Chess, A note on the classes [S_1^k(f)], Proc. Symp. Pure Math., 40 (1983) 221-224] and [VI Arnol'd, VA Vasil'ev, VV Goryunov, OV Lyashenk…

We calculate the abelianizations of the level $L$ subgroup of the genus $g$ mapping class group and the level $L$ congruence subgroup of the $2g \times 2g$ symplectic group for $L$ odd and $g \geq 3$.

The paper calculates area Siegel--Veech constants for specific submanifolds of REL zero.

We generalize the transgression formula for the eta form of Bismut, Cheeger and Berline, Getzler, Vergne for vertical Dirac operators on a fibre bundle with odd dimensional fibres where the Dirac operators have locally at most one eigenvalue of multiplicity one crossing zero transversally.