Related papers: Computing Matveev's complexity via crystallization…

Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We…

In the early 2000s, Frigerio, Martelli, and Petronio studied $3$-manifolds of smallest combinatorial complexity that admit hyperbolic structures. As part of this work they defined and studied the class $M_{g,k}$ of smallest complexity…

Let $M$ be a connected compact PL 4-manifold with boundary. In this article, we have given several lower bounds for regular genus and gem-complexity of the manifold $M$. In particular, we have proved that if $M$ is a connected compact…

A simplicial complex $X$ is said to be tight with respect to a field $\mathbb{F}$ if $X$ is connected and, for every induced subcomplex $Y$ of $X$, the linear map $H_\ast (Y; \mathbb{F}) \rightarrow H_\ast (X; \mathbb{F})$ (induced by the…

We obtain generalizations of some results of Turaev relating leading order terms of the Turaev torsion of closed, oriented, connected 3-manifolds to certain ``determinants'' derived from cohomology operations such as the alternate trilinear…

The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time. The…

We introduce a natural-valued complexity c(X) for pairs X=(M,L), where M is a closed orientable 3-manifold and L is a link contained in M. The definition employs simple spines, but for well-behaved X's we show that c(X) equals the minimal…

Mixed boundary conditions are introduced to finite element exterior calculus. We construct smoothed projections from Sobolev de Rham complexes onto finite element de Rham complexes which commute with the exterior derivative, preserve…

We give new improvements to the Chudnovsky-Chudnovsky method that provides upper bounds on the bilinear complexity of multiplication in extensions of finite fields through interpolation on algebraic curves. Our approach features three…

This survey covers some of the results contained in the papers by Costantino, Geer and Patureau (https://arxiv.org/abs/1202.3553) and by Blanchet, Costantino, Geer and Patureau (https://arxiv.org/abs/1404.7289). In the first one the authors…

We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w…

Consider a closed connected $3$-manifold $M$ acted diffeomorphically on by a compact Lie group $G$ with at least one orbit of finite cardinality. We show an upper bound for the $G$-equivariant Yamabe invariant $\sigma_G(M)$ under certain…

We provide new constraints for algebro-geometric subgroups of mapping class groups, namely images of fundamental groups of curves under complex algebraic maps to the moduli space of smooth curves. Specifically, we prove that the restriction…

Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing.…

A covariant Hamiltonian description of Palatini's gravity on manifolds with boundary is presented. Palatini's gravity appears as a gauge theory satisfying a constraint in a certain topological limit. This approach allows the consideration…

We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…

This paper investigates the extension complexity of polytopes by exploiting the correspondence between non-negative factorizations of slack matrices and randomized communication protocols. We introduce a geometric characterization of…

In this paper we prove complex bounds, also referred to as a priori bounds, for real analytic (and even C3) interval maps. This means that we associate to such a map a complex box mapping (which provides a kind of Markov structure),…

In this paper we obtain a complete characterization of pseudo-collarable $n$-manifolds for $n\geq 6$. This extends earlier work by Guilbault and Tinsley to allow for manifolds with noncompact boundary. In the same way that their work can be…

We give explicit bounds on the intersection number between any curve on a tight multigeodesic and the two ending curves. We use this to construct all tight multigeodesics and so conclude that distances in the curve graph are computable. The…