arXiv research

Introduces integer-valued Heegaard Floer theory with canonical orientations.

This note describes a canonical way to orient the Heisenberg 3-manifold.

Polynomial-time algorithm finds short non-orientable loops intersecting graph edges up to 30 times.

This paper solves a problem in 3D geometry by defining a canonical partition for certain manifolds.

We introduce the warping crossing polynomial of an oriented knot diagram by using the warping degrees of crossing points of the diagram. Given a closed transversely intersected plane curve, we consider oriented knot diagrams obtained from the plane curve as states to take the sum of the warping crossing polynomials for…

Canonical metrics and conformal invariants are presented for closed oriented even-dimensional manifolds with non-degenerate conformal structures and in particular for compact Riemann surfaces.

The book develops a new bordism-theoretic approach to understanding orientations of moduli spaces.

Algorithm determines spatial graph isomorphism with vertex, edge colorings and orientations.

A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater tha…

We discuss Gauss codes of virtual diagrams and virtual doodles. The notion of a left canonical Gauss code is introduced and it is shown that oriented virtual doodles are uniquely presented by left canonical Gauss codes.

Quantum polynomials are derived from a specific tribracket structure.

We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the decomposition of the group naturally obtained from canonical splittings is closely related t…

It is proved that the Hasse-Weil zeta functions of the canonical components of the ${\rm SL}_2$ (${\rm PSL}_2$)-character varieties of closed orientable complete hyperbolic $3$-manifolds of finite volume are equal to the Dedekind zeta functions of their trace fields (invariant trace fields). When the closed $3$-manifol…

We give a self contained proof using Seiberg Witten invariants that for Kähler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is deter…

We introduce a local coordinate description for the correspondence between the space of oriented affine lines in Euclidean ${\Bbb{R}}^3$ and the tangent bundle to the 2-sphere. These can be utilised to give canonical coordinates on surfaces in ${\Bbb{R}}^3$, as we illustrate with a number of explicit examples.

Alternative proof and description of orientations for instanton moduli spaces.

Knots in circle bundles are uniquely identified by their complements.

Let M be a closed oriented smooth 4-manifold admitting symplectic structures. If M is minimal and has b^+=1, we prove that there is a unique symplectic canonical class up to sign, and any real second cohomology class of positive square is represented by symplectic forms. Similar results hold when M is not minimal.

Suppose $(X, g)$ is a compact, spin Riemannian 7-manifold, with Dirac operator $D$. Let $G$ be SU$(m)$ or U$(m)$, and $E\to X$ be a rank $m$ complex bundle with $G$-structure. Write ${\mathcal B}_E$ for the infinite-dimensional moduli space of connections on $E$, modulo gauge. There is a natural principal ${\mathbb Z}_…

We establish a canonical gluing procedure for Seiberg-Witten monopoles on the two pieces of a closed, oriented 4-manifold X which is split along a 3-dimensional closed, oriented submanifold. We only assume that the (unperturbed) character variety is Kuranishi-smooth and the limiting maps are transversal -- then we will…

The study provides a structure theorem for a new class of noncompact 3-manifolds.

Paper proves orientability of gauge theory moduli spaces using bordism theory.

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable mapping class group of non-orientable surfaces, up to homology isomorphism, is the inf…

On a compact oriented four-manifold with an orientation preserving involution c, we count solutions of Seiberg-Witten equations, which are moreover symmetrical in relation to c, to construct "real" Seiberg-Witten invariants. Using Taubes' results, we prove that on a symplectic almost complex manifold with an antisymple…

Let $X$ be a compact manifold, $D$ a real elliptic operator on $X$, $G$ a Lie group, $P\to X$ a principal $G$-bundle, and ${\mathcal B}_P$ the infinite-dimensional moduli space of all connections $\nabla_P$ on $P$ modulo gauge, as a topological stack. For each $[\nabla_P]\in{\mathcal B}_P$, we can consider the twisted …

Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free abelian groups. The constructions are based on the 3-dimensional interpretation of the…

We prove that if a closed oriented 4-manifold X fibers over a 2- or 3-dimensional manifold, in most cases all of its virtual Betti numbers are infinite. In turn, we show that a closed oriented 4-manifold X which is not a tower of torus bundles and fibering over a 2- or 3-dimensional manifold does not admit a torsion sy…

The study confirms the non-existence of rational homology ball symplectic fillings for certain Brieskorn spheres.

Let $X$ be a compact manifold, $G$ a Lie group, $P \to X$ a principal $G$-bundle, and $\mathcal{B}_P$ the infinite-dimensional moduli space of connections on $P$ modulo gauge. For a real elliptic operator $E_\bullet$ we previously studied orientations on the real determinant line bundle over $\mathcal{B}_P$. These are …

We describe a Lefschetz fibration of genus one on the disk cotangent bundle of any closed orientable surface S. As a corollary, we obtain an explicit genus one open book decomposition adapted to the canonical contact structure on the unit cotangent bundle of S.

Study shortest non-separating curves on non-orientable surfaces, proving NP-hardness and tractability.

We study area-stationary, or maximal, surfaces in the space ${\mathbb L}({\mathbb H}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. We prove that every holomorphic curve in ${\mathbb L}({\mathbb H}^3)$ is a maximal surface. We then classify Lagrangian maximal surfa…

The paper explores geometric structures on Weil bundles and their canonical lifts.

Modeling curvature-sensitive cells in visual cortex using manifold geometry.

We call a cusped hyperbolic 3-manifold tetrahedral if it can be decomposed into regular ideal tetrahedra. Following an earlier publication by three of the authors, we give a census of all tetrahedral manifolds and all of their combinatorial tetrahedral tessellations with at most 25 (orientable case) and 21 (non-orienta…

Geometrically proves twisted Poincaré duality for orientable Poisson manifolds.

The paper extends orientability results for DT invariants on Calabi-Yau 4-folds.

We show that the canonical contact structure on the link of a normal complex singularity is universally tight. As a corollary we show the existence of closed, oriented, atoroidal 3-manifolds with infinite fundamental groups which carry universally tight contact structures that are not deformations of taut (or Reebless)…

Half grid diagrams prove every link can be represented by a special type of grid diagram.

We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures. We prove that every rank one surface in these four manifolds i…

In joint work with Yang Huang, we defined a canonical absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields. A similar grading was defined on embedded contact homology by Michael Hutchings. In this paper we show that the isomorphism between these homology theories defined by Colin-G…

L. Paoluzzi constructed a family of compact orientable three-dimensional hyperbolic manifolds with totally geodesic boundary, which were, by construction, closely related to the three-dimensional torus. This paper gives their complete classification up to isometry, and also their isometry groups. The key tool is the so…

Goldman parametrizes the $\mathrm{PSL}_3(\mathbb{R})$-Hitchin component of a closed oriented hyperbolic surface of genus $g$ by $16g-16$ parameters. Among them, $10g-10$ coordinates are canonical. We prove that the $\mathrm{PSL}_3(\mathbb{R})$-Hitchin component equipped with the Atiyah-Bott-Goldman symplectic form admi…

We consider manifolds of oriented flags SO(n)/SO(2)xSO(n-3) (n>=4) as 4- and 6-symmetric spaces and indicate characteristic conditions for invariant Riemannian metrics under which the canonical f-structures on these homogeneous $Φ$-spaces belong to the classes Kill f, NKf and G_1f of generalized Hermitian geometry.

In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index…

Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(ς^{p+2})$ on $M$ canonically induced from the embedding. If an orientation-preserving diffeomorphism $τ$ of $M$ extends over $\imath$ as an o…

$Γ$-structures are weak forms of multiplications on closed oriented manifolds. As shown by Hopf the rational cohomology algebras of manifolds admitting $Γ$-structures are free over odd degree generators. We prove that this condition is also sufficient for the existence of $Γ$-structures on manifolds which are nilpotent…

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable…