Related papers: Endperiodic maps, splitting sequences, and branche…

Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by…

Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…

We show that planar graphs have bounded queue-number, thus proving a conjecture of Heath, Leighton and Rosenberg from 1992. The key to the proof is a new structural tool called layered partitions, and the result that every planar graph has…

We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group…

In this paper we consider non-singular Morse-Smale flows on closed orientable 3-manifolds, under the assumption that among the periodic orbits of the flow there is only one saddle orbit and it is twisted. It is found that any manifold…

In this paper we extend Efimov's Theorem by proving that any complete surface in $\mathbb{R}^3$ with Gauss curvature bounded above by a negative constant outside a compact set has finite total curvature, finite area and is properly…

This paper has two aims. The former is to give an introduction to our earlier work on the Hodge theory of algebraic maps and more generally to some of the main themes of the theory of perverse sheaves and to some of its geometric…

Let $S$ and $X$ be two connected topological surfaces without boundary, and assume that $S$ is either of infinite type or has negative Euler characteristic. In this paper, we prove that if $p:S\rightarrow X$ is a fully ramified branched…

A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices. The…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

We show that the complete graphs on $24s+21$ vertices have decompositions into two edge-disjoint subgraphs, each of which triangulates an orientable surface. The special case where the two surfaces are homeomorphic solves a generalized…

Let $M$ be a fibered 3-manifold with multiple boundary components. We show that the fiber structure of $M$ transforms to closely related transversely oriented taut foliations realizing all rational multislopes in some open neighborhood of…

We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that…

We prove that for every surface $\Sigma$ of Euler genus $g$, every edge-maximal embedding of a graph in $\Sigma$ is at most $O(g)$ edges short of a triangulation of $\Sigma$. This provides the first answer to an open problem of Kainen…

We prove that the characteristic foliation $F$ on a non-singular divisor $D$ in an irreducible projective hyperkaehler manifold $X$ cannot be algebraic, unless the leaves of $F$ are rational curves or $X$ is a surface. More generally, we…

Stallings remarked that an outer automorphism of a free group may be thought of as a subdivision of a graph followed by a sequence of folds. In this thesis, we prove that automorphisms of fundamental groups of graphs of groups satisfying…

We study rotational surfaces in Euclidean 3-space whose Gauss curvature is given as a prescribed function of its Gauss map. By means of a phase plane analysis and under mild assumptions on the prescribed function, we generalize the…

A line field on a manifold is a smooth map which assigns a tangent line to all but a finite number of points of the manifold. As such, it can be seen as a generalization of vector fields. They model a number of geometric and physical…

We define a norm on the homology of a foliated manifold, which refines and majorizes the usual Gromov norm on homology. This norm depends in an upper semi-continuous way on the underlying foliation, in the geometric topology, and can…

Recently a simple proof of the generalizations of Hawking's black hole topology theorem and its application to topological black holes for higher dimensional ($n\geq 4$) spacetimes was given \cite{rnew}. By applying the associated new line…