TY - JOUR

T1 - Quadrilateral mesh generation II

T2 - Meromorphic quartic differentials and Abel–Jacobi condition

AU - Lei, Na

AU - Zheng, Xiaopeng

AU - Luo, Zhongxuan

AU - Luo, Feng

AU - Gu, Xianfeng

N1 - Funding Information:
This work is partially supported by National Natural Science Foundation of China (Grant No. 61720106005 , No. 61772105 , No. 61907005 , No. 61936002 ), the National Science Foundation of the United States (Grant No. CMMI-1762287 , DMS-1737812 ).
Funding Information:
This work is partially supported by National Natural Science Foundation of China (Grant No. 61720106005, No. 61772105, No. 61907005, No. 61936002), the National Science Foundation of the United States (Grant No. CMMI-1762287, DMS-1737812).

PY - 2020/7/1

Y1 - 2020/7/1

N2 - This work discovers the equivalence relation between quadrilateral meshes and meromorphic quartic differentials. Each quad-mesh induces a conformal structure of the surface, and a meromorphic quartic differential, where the configuration of singular vertices corresponds to the configurations of the poles and zeros (divisor) of the meromorphic differential. Due to Riemann surface theory, the configuration of singularities of a quad-mesh satisfies the Abel–Jacobi condition. Inversely, if a divisor satisfies the Abel–Jacobi condition, then there exists a meromorphic quartic differential whose divisor equals the given one. Furthermore, if the meromorphic quartic differential is with finite trajectories, then it also induces a quad-mesh, the poles and zeros of the meromorphic differential correspond to the singular vertices of the quad-mesh. Besides the theoretic proofs, the computational algorithm for verification of Abel–Jacobi condition is also explained in detail. Furthermore, constructive algorithm of meromorphic quartic differential on genus zero surfaces is proposed, which is based on the global algebraic representation of meromorphic differentials. Our experimental results demonstrate the efficiency and efficacy of the algorithm. This opens up a novel direction for quad-mesh generation using algebraic geometric approach.

AB - This work discovers the equivalence relation between quadrilateral meshes and meromorphic quartic differentials. Each quad-mesh induces a conformal structure of the surface, and a meromorphic quartic differential, where the configuration of singular vertices corresponds to the configurations of the poles and zeros (divisor) of the meromorphic differential. Due to Riemann surface theory, the configuration of singularities of a quad-mesh satisfies the Abel–Jacobi condition. Inversely, if a divisor satisfies the Abel–Jacobi condition, then there exists a meromorphic quartic differential whose divisor equals the given one. Furthermore, if the meromorphic quartic differential is with finite trajectories, then it also induces a quad-mesh, the poles and zeros of the meromorphic differential correspond to the singular vertices of the quad-mesh. Besides the theoretic proofs, the computational algorithm for verification of Abel–Jacobi condition is also explained in detail. Furthermore, constructive algorithm of meromorphic quartic differential on genus zero surfaces is proposed, which is based on the global algebraic representation of meromorphic differentials. Our experimental results demonstrate the efficiency and efficacy of the algorithm. This opens up a novel direction for quad-mesh generation using algebraic geometric approach.

KW - Abel–Jacobi condition

KW - Algebraic geometry

KW - Meromorphic quartic differential

KW - Quadrilateral mesh

KW - Singularity distribution

UR - http://www.scopus.com/inward/record.url?scp=85083000326&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85083000326&partnerID=8YFLogxK

U2 - 10.1016/j.cma.2020.112980

DO - 10.1016/j.cma.2020.112980

M3 - Article

AN - SCOPUS:85083000326

VL - 366

JO - Computer Methods in Applied Mechanics and Engineering

JF - Computer Methods in Applied Mechanics and Engineering

SN - 0374-2830

M1 - 112980

ER -