Related papers: An algorithm to find vertical tori in small Seifer…

We systematically develop a transform of the Fourier-Mukai type for sheaves on symplectic manifolds $X$ of any dimension fibred in Lagrangian tori. One obtains a bijective correspondence between unitary local systems supported on Lagrangian…

The Teichmueller polynomial of a fibered 3-manifold plays a useful role in the construction of mapping class having small stretch factor. We provide an algorithm that computes this polynomial of the fibered face associated to a…

The 3D index of Dimofte-Gaiotto-Gukov a partially defined function on the set of ideal triangulations of 3-manifolds with $r$ torii boundary components. For a fixed $2r$ tuple of integers, the index takes values in the set of $q$-series…

We give a proof of the convergence of an algorithm for the construction of lower dimensional elliptic tori in nearly integrable Hamiltonian systems. The existence of such invariant tori is proved by leading the Hamiltonian to a suitable…

We study the existence of infinite-dimensional invariant tori in a mechanical system of infinitely many rotators weakly interacting with each other. We consider explicitly interactions depending only on the angles, with the aim of…

We classify tight contact structures on the small Seifert fibered 3--manifold M(-1; r_1, r_2, r_3) with r_i in (0,1) and r_1, r_2 \geq 1/2. The result is obtained by combining convex surface theory with computations of contact…

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…

In this paper, we prove the strong Morse inequalities for the area functional in the space of embedded tori and spheres in the three sphere. As a consequence, we prove that in the three dimensional sphere with positive Ricci curvature,…

The reduced system in the problem of the inertial motion of a rigid body with a fixed point (the Euler case) is equivalent, by the Maupertuis principle, to some geodesic flow on the 2-sphere. We describe the phase topology of this case…

To study problems involving heights as, eg, Manin's conjecture on the number of points of bounded height on an algebraic variety defined over a number field, it is desirable to have a good normalization of these height functions. We show…

We consider autonomous Hamiltonian systems and present an algorithm to compute at the same time partially hyperbolic invariant tori (whiskered tori), as well as high-order expansions of their stable and unstable manifolds. Such whiskered…

In this paper, we investigate topological aspects of indices of twisted geometric operators on manifolds equipped with fibered boundaries. We define $K$-groups relative to the pushforward for boundary fibration, and show that indices of…

Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in ${{\mathbb R}}^d$ into constant-complexity subcells. In this paper, we settle in the affirmative a few…

We provide an algorithm to determine the Heegaard genus of simple 3-manifolds with non-empty boundary. More generally, we supply an algorithm to determine (up to ambient isotopy) all the Heegaard splittings of any given genus for the…

This paper is the second in a series where we attempt to give a complete description of the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed 3-manifold. The key for understanding such surfaces is to…

In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible…

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

We give an iteration scheme for finding zeros of maximal monotone operators in Hilbert spaces. We assume that the operator is defined in the whole space. The iterates converge strongly to a solution if there exists any, otherwise they tend…

Using contact surgery we define families of contact structures on certain Seifert fibered three-manifolds. We prove that all these contact structures are tight using contact Ozsath-Szabo invariants. We use these examples to show that, given…

An oriented three-manifold with torus boundary admits either no L-space Dehn filling, a unique L-space filling, or an interval of L-space fillings. In the latter case, which we call "Floer simple," we construct an invariant which computes…