Related papers: Think globally, compute locally

Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivant's result, however, is originally stated and proved only…

The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…

A new scheme is proposed for dealing with the problem of singularities in General Relativity. The proposal is, however, much more general than this. It can be used to deal with manifolds of any dimension which are endowed with nothing more…

The generalized Verlinde formulae expressing traces of mapping classes corresponding to automorphisms of certain Riemann surfaces, and the congruence relations on allowed modular representations following from them are presented. The…

We give an elementary and self-contained proof of the uniformization theorem for non-compact simply-connected Riemann surfaces.

A natural kind of compactification of the virtual moduli spaces of rational functions of one complex variable is given. To describe the boundary points geometrically, the authors introduce the concept of rational functions with nodes,…

Using the shuffle structure of the graphs, we introduce a new kind of the Hopf algebraic structure for tagged graphs with, or without loops. Like a quantum group structure, its product is non-commutative. With the help of the Hopf algebraic…

We extend the framework of submanifolds in Riemannian geometry to Riemann-Cartan geometry, which addresses connections with torsion. This procedure naturally introduces a 2-form on submanifolds associated with the nontrivial ambient…

We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits…

We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general…

It is shown that in dimension at least three a local diffeomorphism of Euclidean n-space into itself is injective provided that the pull-back of every plane is a Riemannian submanifold which is conformal to a plane. Using a similar…

The Witten-Kontsevich theorem states that a certain generating function for intersection numbers on the moduli space of stable curves is a tau-function for the KdV integrable hierarchy. This generating function can be recovered via the…

The notion of a symplectic expansion directly relates the topology of a surface to formal symplectic geometry. We give a method to construct a symplectic expansion by solving a recurrence formula given in terms of the…

Assuming complex functions defined on complex curves satisfy recursion relations with respect to number of parameters, we express the corresponding cohomology theory via generalizations of holomorphic connections. In examples provided, the…

This article is the second installment in a series on the Berkovich ramification locus for nonconstant rational functions f: P^1 -> P^1. Here we show the ramification locus of f is contained in a strong tubular neighborhood of finite radius…

We consider certain correspondences on a Riemann surface, and show that they admit a weak form of hyperbolicity: sufficiently long loops get shorter under lifting at a fixed point and closing. In terms of their algebraic encoding by bisets,…

The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…

The paper studies how to extend local calibration pairs to global ones in various situations. As a result, new discoveries involving mass-minimizing properties are exhibited. In particular, we show that a $\mathbb R$-homologically…

We enumerate plane complex algebraic curves of a given degree with one singularity of any given topological type. Our approach is to compute the homology classes of the corresponding equisingular strata in the parameter spaces of plane…

We extend the spectral theory of generalized Laplacians to integrable metrics on compact Riemann surfaces. As a consequence, we attach in a direct way, a holomorphic analytic torsion to any integrable metrics. We also provide a different…