Related papers: Hurwitz theorem and parallelizable spheres from te…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

In earlier work, Chekhov and Fock have given a quantization of Teichm\"uller space as a Poisson manifold, and the current paper first surveys this material adding further mathematical and other detail, including the underlying geometric…

We prove an analogue of the Riemann-Hurwitz theorem for computing Euler characteristics of pullbacks of coherent sheaves through finite maps of smooth projective varieties, subject only to the condition that the irreducible components of…

In 1891, Hurwitz introduced the enumeration of genus $g$, degree $d$, branched covers of the Riemann sphere with simple ramification over prescribed points and no branching elsewhere. He showed that for fixed degree $d$, the enumeration…

We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [B\"ohm J., Bringmann…

In this paper we present an example of a derivation of an ELSV-type formula using the methods of topological recursion. Namely, for orbifold Hurwitz numbers we give a new proof of the spectral curve topological recursion, in the sense of…

We prove that if A is a finite algebra with a parallelogram term that satisfies the split centralizer condition, then A is dualizable. This yields yet another proof of the dualizability of any finite algebra with a near unanimity term, but…

This work uncovers the tropical analogue for measured laminations of the convex hull construction of decorated Teichmueller theory, namely, it is a study in coordinates of geometric degeneration to a point of Thurston's boundary for…

A direct analog of Hadamard's three-circle theorem is obtained for harmonic functions (in weighted L^2-norm) in case of (n-1)-dimensional non-concentric spheres in R^n. The result extends the concentric case to correlated non-concentric,…

Hurwitz spaces are homotopy quotients of the braid group action on the moduli space of principal bundles over a punctured plane. By considering a certain model for this homotopy quotient we build an aspherical topological operad that we…

Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…

Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…

We develop a number of general techniques for comparing analytifications and tropicalizations of algebraic varieties. Our basic results include a projection formula for tropical multiplicities and a generalization of the Sturmfels-Tevelev…

This paper analyses the convergence and degeneration of sequences of metrics on a 3-manifold, and relations of such with Thurston's geometrization conjecture. The sequences are minimizing sequences for a certain (optimal) scalar-curvature…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

This paper provides a non-standard analogue of Bezout's theorem. This is acheived by showing that, in all characteristics, the notion of Zariski multiplicity coincides with intersection multiplicity when we consider the full families of…

We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as…

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of…

For a periodically perforated structure, for which homogenization takes place in the linear theory of elasticity, the components of the effective elasticity tensor depend in general on the geometry of the holes as well as on the local…

In this paper we continue to explore the connection between tensor algebras and displacement structure. We focus on recursive orthonormalization and we develop an analogue of the Szego type theory of orthogonal polynomials in the unit…