arXiv research

This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html We introduce a 2-category dMan of "d-manifolds", new geometric objects which are 'derived' smooth manifolds, in the sense of the 'derived algeb…

This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on d-manifolds without boundary, is arXiv:1206.4207, and readers just wanting a general o…

For $d\geq 2$, Walkup's class $\Kd$ consists of the $d$-dimensional simplicial complexes whose vertex-links are stacked $(d-1)$-spheres. Recently Lutz, Sulanke and Swartz have shown that all $\mathbb{F}$-orientable triangulated $d$-manifolds satisfy the inequality $\binom{f_0-d-1}{2} \geq \binom{d+2}{2}β_1$ for $d\geq …

Classifies semi-equivelar gems on surfaces with Euler characteristic -1.

We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following the…

We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links are stacked spheres. The only other non-trivial series of such tight triangulated …

This paper is concerned with lower bounds for the connectivity of graphs (one-dimensional skeleta) of triangulations of compact manifolds. We introduce a structural invariant b_M for simplicial d-manifolds M taking values in the range 0 <= b_M <= d-1. The main result is that b_M influences connectivity in the following…

We give a version of Gromov's compactess theorem for pseudoholomorphic curves in the case of quasiregular mappings between closed manifolds. More precisely we show that, given $K\ge 1$ and $D\ge 1$, any sequence $(f_n \colon M \to N)$ of $K$-quasiregular mappings of degree $D$ between closed Riemannian $d$-manifolds ha…

In this paper we show that bending a finite volume hyperbolic $d$-manifold $M$ along a totally geodesic hypersurface $Σ$ results in a properly convex projective structure on $M$ with finite volume. We also discuss various geometric properties of bent manifolds and algebraic properties of their fundamental groups. We th…

Characterizes homology d-manifolds with g2=3 for d≥3.

A triangulated $d$-manifold $K$, satisfies the inequality $\binom{f_0(K)-d-1}{2}\geq \binom{d+2}{2}β_1(K;\mathbb{Z}_2)$ for $d\geq 3$. The triangulated $d$-manifolds that meet the bound with equality are called {\em tight neighborly}. In this paper, we present tight neighborly triangulations of 4-manifolds on 15 vertic…

Branched covers are applied frequently in topology - most prominently in the construction of closed oriented PL d-manifolds. In particular, strong bounds for the number of sheets and the topology of the branching set are known for dimension d<=4. On the other hand, Izmestiev and Joswig described how to obtain a simplic…

New lattice extensions of Schottky groups in hyperbolic space.

Continues work on derived manifolds and symplectic schemes, constructing virtual classes.

Global EQG sums boundary states over manifold diffeomorphism classes.

Maps discrete manifolds to partitions to define new manifolds.

Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) triangulated manifolds and showed that all the LC 2- and 3-manifolds are spheres. We show here that for each d>3 some LC d-manifolds are not spheres. We prove this result by studying how to collapse products of manifolds with exactly one fa…

Arboricity of manifolds is explored, with specific results for 2D surfaces.

Alexander trick applied to homology spheres for manifold homeomorphisms.

The paper proves shellability is hard for d-balls when d is at least 3.

We describe an algorithm for the enumeration of (candidates of) vertex-transitive combinatorial $d$-manifolds. With an implementation of our algorithm, we determine, up to combinatorial equivalence, all combinatorial manifolds with a vertex-transitive automorphism group on $n\leq 13$ vertices. With the exception of act…

New $t$-LC triangulated manifolds are exponentially many.

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy categories is full and essentially surjective, giving a bijection between the sets of equ…

Rigidity results are obtained for Riemannian $d$-manifolds with $\sec \geqslant 1$ and spherical rank at least $d-2>0$. Conjecturally, all such manifolds are locally isometric to a round sphere or complex projective space with the (symmetric) Fubini--Study metric. This conjecture is verified in all odd dimensions, for …

Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce …

Study virtual fundamental classes of derived manifolds, proving invariant vanishes.

This paper classifies semi-equivelar gems on a double torus.

We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension $d \geq 4$, if $Δ$ is a tight connected closed homology $d$…

In this article we give combinatorial criteria to decide whether a transitive cyclic combinatorial d-manifold can be generalized to an infinite family of such complexes, together with an explicit construction in the case that such a family exists. In addition, we substantially extend the classification of combinatorial…

Collapsibility is a combinatorial strengthening of contractibility. We relate this property to metric geometry by proving the collapsibility of any complex that is CAT(0) with a metric for which all vertex stars are convex. This strengthens and generalizes a result by Crowley. Further consequences of our work are: (1) …

In this paper we prove new embedding results for compactly supported deformations of $CR$ submanifolds of $\mathbb{C}^{n+d}$: We show that if $M$ is a $2$-pseudoconcave $CR$ submanifold of type $(n,d)$ in $\mathbb{C}^{n+d}$, then any compactly supported $CR$ deformation stays in the space of globally $CR$ embeddable in…

For $d=4, 5, 6$, we exhibit the first examples of complete finite volume hyperbolic $d$-manifolds $M$ with cusps such that infinitely many $d$-orbifolds $M_{m}$ obtained from $M$ by generalized Dehn filling admit properly convex real projective structures. The orbifold fundamental groups of $M_m$ are Gromov-hyperbolic …

The paper classifies compact 4-manifolds using generalized regular genus and G-degree.

We find vertex bounds for triangulated manifolds and apply them to 4-manifold complexity.

For integers $d \geq 2$ and $ε= 0$ or 1, let $S^{1, d - 1}(ε)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $ε= 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $ε= 1$. The main results of this paper are: (a) if $d \equiv ε$ (mod 2) then $S^{1, d - 1}(ε)$ has a unique minimal triangulation using $2d + 3$ …

634 vertex-transitive and over 10^103 non-vertex-transitive 27-vertex triangulations of octonionic projective plane.

RSHT algorithm simplifies complex shapes to points.

In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Mo…

We discuss a possible definition for "$k$-width" of both a closed $d$-manifold $M^d$, and on embedding $M^d \overset{e}{\hookrightarrow} \mathbb{R}^n$, $n > d \ge k$, generalizing the classical notion of width of a knot. We show that for every 3-manifold 2-width$(M^3) \le 2$ but that there are embeddings $e_i: T^3 \hoo…

We prove diffeomorphisms of polygonal linkage moduli spaces to Euclidean spaces.

PL Morse theory proves strong regularity in low dimensions.

A normal pseudomanifold is a pseudomanifold in which the links of simplices are also pseudomanifolds. So, a normal 2-pseudomanifold triangulates a connected closed 2-manifold. But, normal $d$-pseudomanifolds form a broader class than triangulations of connected closed $d$-manifolds for $d \geq 3$. Here, we classify all…

In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dimension d, including all t…

We study unimodular measures on the space $\mathcal M^d$ of all pointed Riemannian $d$-manifolds. Examples can be constructed from finite volume manifolds, from measured foliations with Riemannian leaves, and from invariant random subgroups of Lie groups. Unimodularity is preserved under weak* limits, and under certain…

Within crystallization theory, two interesting PL invariants for $d$-manifolds have been introduced and studied, namely {\it gem-complexity} and {\it regular genus}. In the present paper we prove that, for any closed connected PL $4$-manifold $M$, its gem-complexity $\mathit{k}(M)$ and its regular genus $ \mathcal G(M)…

A Wasserstein spaces is a metric space of sufficiently concentrated probability measures over a general metric space. The main goal of this paper is to estimate the largeness of Wasserstein spaces, in a sense to be precised. In a first part, we generalize the Hausdorff dimension by defining a family of bi-Lipschitz inv…

Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be…

The paper simplifies embedding spaces in manifolds by attaching handles.