We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact 1-forms λ_1^* on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact 1-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on λ_1^* for several hyperbolic rational homology spheres.

For a random walk on a finitely generated group G we obtain a generalization of a classical inequality of Ancona. We deduce as a corollary that the identity map on G extends to a continuous equivariant surjection from the Martin boundary to the Floyd boundary, with preimages of conical points being singletons. This provides new results for Martin compactifications of relatively hyperbolic groups.

In this article we define new flows on the Hitchin components for PGL(V). Special examples of these flows are associated to simple closed curves on the surface and give generalized twist flows. Other examples, so called eruption flows, are associated to pair of pants in S and capture new phenomena which are not present in the case when n=2. We determine a global coordinate system on the Hitchin component. Using the computation of the Goldman symplectic form on the Hitchin component, that is developed by two of the authors in a companion paper to this article (Sun and Zhang in The Goldman symplectic form on the PGL(V)-Hitchin component, 2017. arXiv:1709.03589), this gives a global Darboux coordinate system on the Hitchin component.

In this article we show that for every finite area hyperbolic surface X of type (g,n) and any harmonic Beltrami differential μ on X , then the magnitude of μ at any point of small injectivity radius is uniform bounded from above by the ratio of the Weil–Petersson norm of μ over the square root of the systole of X up to a uniform positive constant multiplication. We apply the uniform bound above to show that the Weil–Petersson Ricci curvature, restricted at any hyperbolic surface of short systole in the moduli space, is uniformly bounded from below by the negative reciprocal of the systole up to a uniform positive constant multiplication. As an application, we show that the average total Weil–Petersson scalar curvature over the moduli space is uniformly comparable to -g as the genus g goes to infinity.

Let S be a compact, orientable surface of hyperbolic type and let ψ be a mapping class of S. The present article shows that there exists a finite cover X of S and a lift ψ_X of ψ to X such that the spectral radius of ψ_X, viewed as an automorphism of H_1(X,C), is greater than one if and only if ψ has infinite order and is not a Dehn multitwist. Among the corollaries of this result is the fact that a compact, irreducible 3-manifold with toroidal or empty boundary and positive simplicial volume admits a finite cover for which the multivariable Alexander polynomial is not identically zero and has Mahler measure strictly greater than one; such a manifold also admits a finite cover whose integral first homology has nontrivial torsion. An independent proof of the main result of this paper was given by A. Hadari [Geom. Topol. 24 (2020), no. 4, 1717–1750; MR4173920]. In that paper, the surface was assumed to have at least one boundary component, but stronger control over the required finite covers was obtained.

Let G={h_t|t∈ℝ} be a continuous flow on a connected n-manifold M. The flow G is said to be strongly reversible by an involution τ if h_{−t}=τh_tτ for all t∈ℝ, and it is said to be periodic if h_s= identity for some s∈ℝ^∗. A closed subset K of M is called a global section for G if every orbit G(x) intersects K in exactly one point. In this paper, we study how the two properties “strongly reversible” and “has a global section” are related. In particular, we show that if G is periodic and strongly reversible by a reflection, then G has a global section.

In this paper, we study the Pontryagin numbers of 24 dimensional String manifolds. In partic- ular, we find representatives of an integral basis of the String cobrodism group at dimension 24, based on the work of Mahowald and Hopkins (The structure of 24 dimensional manifolds having normal bundles which lift to B O [8], from “Recent progress in homotopy theory” (D. M. Davis, J. Morava, G. Nishida, W. S. Wilson, N. Yagita, editors), Contemp. Math. 293, Amer. Math. Soc., Providence, RI, 89-110, 2002), Borel and Hirzebruch (Am J Math 80: 459–538, 1958) and Wall (Ann Math 75:163–198, 1962). This has immediate applications on the divisibility of various characteristic numbers of the manifolds. In particular, we establish the 2-primary divisibilities of the signature and of the modified signature coupling with the integral Wu class of Hopkins and Singer (J Differ Geom 70:329–452, 2005), and also the 3- primary divisibility of the twisted signature. Our results provide potential clues to understand a question of Teichner.

No abstract uploaded!

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

In this paper, we study some algebraic topology aspects of Stringc structures, more precisely, from the perspective of Whitehead tower and the perspective of the loop group of Spinc(n). We also extend the generalized Witten genera constructed for the first time by Chen et al. [J. Differential Geom. 88 (2011), pp. 1–40] to correspond to Stringc structures of various levels and give vanishing results for them.

The goal of urban building mesh simplification is to generate a compact representation of a building from a given mesh. Local smoothness and sharp contours of urban buildings are important features for converting unstructured data into solid models, which should be preserved during the simplification. In this paper, we present a general method to filter and simplify 3D building mesh models, capable of preserving piecewise planar structures and sharp features. Given a building mesh model, a mesh filtering technique is firstly designed to yield piecewise planar regions and extract crease contours. The planar regions are used to constrain the simplification of the mesh. Mesh decimation is achieved through a series of edge collapse operations, which uses regional structural constraints and local geometric error metrics to handle planar and non-planar areas respectively. The proposed method preserves the mesh structure with meaningful levels of detail while reducing the number of faces. The effectiveness of this method is evaluated on various building models generated from different observation scales, and the performance is validated by extensive comparisons to state-of-the-art techniques.

Forest above-ground biomass (AGB) can be estimated based on light detection and ranging (LiDAR) point clouds. This paper introduces an accurate and detailed quantitative structure model (AdQSM), which can estimate the AGB of large tropical trees. AdQSM is based on the reconstruction of 3D tree models from terrestrial laser scanning (TLS) point clouds. It represents a tree as a set of closed and complete convex polyhedra. We use AdQSM to model 29 trees of various species (total 18 species) scanned by TLS from three study sites (the dense tropical forests of Peru, Indonesia, and Guyana). The destructively sampled tree geometry measurement data is used as reference values to evaluate the accuracy of diameter at breast height (DBH), tree height, tree volume, branch volume, and AGB estimated from AdQSM. After AdQSM reconstructs the structure and volume of each tree, AGB is derived by combining the wood density of the specific tree species from destructive sampling. The AGB estimation from AdQSM and the post-harvest reference measurement data show a satisfying agreement. The coefficient of variation of root mean square error (CV-RMSE) and the concordance correlation coefficient (CCC) are 20.37% and 0.97, respectively. AdQSM provides accurate tree volume estimation, regardless of the characteristics of the tree structure, without major systematic deviations. We compared the accuracy of AdQSM and TreeQSM in modeling the volume of 29 trees. The tree volume from AdQSM is compared with the reference value, and the determination coefficient (R2), relative bias (rBias), and CV-RMSE of tree volume are 0.96, 6.98%, and 22.62%, respectively. The tree volume from TreeQSM is compared with the reference value, and the R2, relative Bias (rBias), and CV-RMSE of tree volume are 0.94, −9.69%, and 23.20%, respectively. The CCCs between the volume estimates based on AdQSM, TreeQSM, and the reference values are 0.97 and 0.96. AdQSM also models the branches in detail. The volume of branches from AdQSM is compared with the destructive measurement reference data. The R2, rBias, and CV-RMSE of the branches volume are 0.97, 12.38%, and 36.86%, respectively. The DBH and height of the harvested trees were used as reference values to test the accuracy of AdQSM’s estimation of DBH and tree height. The R2, rBias, and CV-RMSE of DBH are 0.94, −5.01%, and 9.06%, respectively. The R2, rBias, and CV-RMSE of the tree height were 0.95, 1.88%, and 5.79%, respectively. This paper provides not only a new QSM method for estimating AGB based on TLS point clouds but also the potential for further development and testing of allometric equations.

We introduce a novel approach for the polygonization of Multi-view Stereo (MVS) meshes of buildings, which results in compact and topologically valid models. The main characteristic of our method is structure awareness, i.e., the recovery and preservation of the initial mesh primitives and their adjacencies. Our proposed methodology consists of three main stages: (a) primitive detection via mesh segmentation, (b) encoding of primitive adjacencies into a graph, and (c) polygonization. Polygonization is based on the approximation of the original mesh with a candidate set of planar polygonal faces. On this candidate set, we apply a binary labelling formulation to select and assemble an optimal set of faces under hard constraints that ensure that the final model is both manifold and watertight. Experiments on various building models demonstrate that our simplification method can produce simpler representations for both closed and open building meshes. Furthermore, these representations highly conform to the initial structure and are ready to be used for spatial analysis. The source code of this work is freely available at https://github.com/VasileiosBouzas/MeshPolygonization.

No abstract uploaded!

Traditional point cloud registration methods require large overlap between scans, which imposes strict constraints on data acquisition. To facilitate registration, users have to carefully position scanners to ensure sufficient overlap. In this work, we propose to use high-level structural information (i.e., plane/line features and their inter-relationship) for registration, which is capable of registering point clouds with small overlap, allowing more freedom in data acquisition. We design a novel plane/linebased descriptor dedicated to establishing structure level correspondences between point clouds. Based on this descriptor, we propose a simple but effective registration algorithm. We also provide a dataset of real-world scenes containing a larger number of scans with a wide range of overlap. Experiments and comparisons with state-of-the-art methods on various datasets reveal that our method is superior to existing techniques. Though the proposed algorithm outperforms state-of-the-art methods on the most challenging dataset, the point cloud registration problem is still far from being solved, leaving significant room for improvement and future work.

Laser scanning is an effective tool for acquiring geometric attributes of trees and vegetation, which lays a solid foundation for 3-dimensional tree modelling. Existing studies on tree modelling from laser scanning data are vast. However, some works cannot guarantee sufficient modelling accuracy, while some other works are mainly rule-based and therefore highly depend on user inputs. In this paper, we propose a novel method to accurately and automatically reconstruct detailed 3D tree models from laser scans. We first extract an initial tree skeleton from the input point cloud by establishing a minimum spanning tree using the Dijkstra shortest-path algorithm. Then, the initial tree skeleton is pruned by iteratively removing redundant components. After that, an optimization-based approach is performed to fit a sequence of cylinders to approximate the geometry of the tree branches. Experiments on various types of trees from different data sources demonstrate the effectiveness and robustness of our method. The overall fitting error (i.e., the distance between the input points and the output model) is less than 10 cm. The reconstructed tree models can be further applied in the precise estimation of tree attributes, urban landscape visualization, etc. The source code of this work is freely available at https://github.com/tudelft3d/adtree

In 3D printing, it is critical to use as few as possible supporting materials for efficiency and material saving. Multiple model decomposition methods and multi-DOF (degrees of freedom) 3D printers have been developed to address this issue. However, most systems utilize model decomposition and multi-DOF independently. Only a few existing approaches combine the two, i.e. partitioning the models for multi-DOF printing. In this paper, we present a novel model decomposition method for multidirectional 3D printing, allowing consistent printing with the least cost of supporting materials. Our method is based on a global optimization that minimizes the surface area to be supported for a 3D model. The printing sequence is determined inherently by minimizing a single global objective function. Experiments on various complex 3D models using a five-DOF 3D printer have demonstrated the effectiveness of our approach.

No abstract uploaded!

No abstract uploaded!

In this paper, the first in a series, we study the deformed Hermitian-Yang-Mills (dHYM) equation from the variational point of view as an infinite dimensional GIT problem. The dHYM equation is mirror to the special Lagrangian equation, and our infinite dimensional GIT problem is mirror to Thomas' GIT picture for special Lagrangians. This gives rise to infinite dimensional manifold $\mathcal{H}$ closely related to Solomon's space of positive Lagrangians. In the hypercritical phase case we prove the existence of smooth approximate geodesics, and weak geodesics with $C^{1,\alpha}$ regularity. This is accomplished by proving sharp with respect to scale estimates for the Lagrangian phase operator on collapsing manifolds with boundary. As an application of our techniques we give a simplified proof of Chen's theorem on the existence of $C^{1,\alpha}$ geodesics in the space of K\"ahler metrics. In two follow up papers, these results will be used to examine algebraic obstructions to the existence of solutions to dHYM and special Lagrangians in Landau-Ginzburg models.

Inversive distance circle packing metric was introduced by P Bowers and K Stephenson as a generalization of Thurston’s circle packing metric. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo proved the infinitesimal rigidity and then Luo proved the global rigidity. In this paper, based on an observation of Zhou, we prove this conjecture for inversive distance in (−1, +∞)by variational principles. We also study the global rigidity of a combinatorial curvature with respect to the inversive distance circle packing metrics where the inversive distance is in (−1, +∞).

Computing uniformization maps for surfaces has been a challenging problem and has many practical applications. In this paper, we provide a theoretically rigorous algorithm to compute such maps via combinatorial Calabi flow for vertex scaling of polyhedral metrics on surfaces, which is an analogue of the combinatorial Yamabe flow introduced by Luo (Commun Contemp Math 6(5):765–780, 2004). To handle the singularies along the combinatorial Calabi flow, we do surgery on the flow by flipping. Using the discrete conformal theory established in Gu et al. (J Differ Geom 109(3):431–466, 2018; J Differ Geom 109(2):223–256, 2018), we prove that for any initial Euclidean or hyperbolic polyhedral metric on a closed surface, the combinatorial Calabi flow with surgery exists for all time and converges exponentially fast after finite number of surgeries. The convergence is independent of the combinatorial structure of the initial triangulation on the surface.

In this paper, we prove the global rigidity of sphere packings on 3-dimensional manifolds. This is a 3-dimensional analogue of the rigidity theorem of Andreev-Thurston and was conjectured by Cooper and Rivin. We also prove a global rigidity result using a combinatorial scalar curvature introduced by Ge and the author.

Sufficient conditions are given for the existence of solutions to the discrete LpMinkowski problem for p-capacity when 0 <p <1and 1 <p <2.

A variational formula for the Lutwak affine surface areas j of convex bodies in Rn is established when 1 ≤ j ≤ n − 1. By using introduced new ellipsoids associated with projection functions of convex bodies, we prove a sharp isoperimetric inequality for j , which opens up a new passage to attack the longstanding Lutwak conjecture in convex geometry.