More Like this

1. Quadrilateral Mesh Generation III : Optimizing Singularity Configuration Based on Abel-Jacobi Theory

   Zheng, Xiaopeng ; Zhu, Yiming ; Chen, Wei ; Lei, Na ; Luo, Zhongxuan ; Gu, Xianfeng ( April 2022 , Computer methods in applied mechanics and engineering)

   null (Ed.)

   This work proposes a rigorous and practical algorithm for quad-mesh generation based the Abel-Jacobi theory of algebraic \textcolor{red}{curves}. We prove sufficient and necessary conditions for a flat metric with cone singularities to be compatible with a quad-mesh, in terms of the deck-transformation, then develop an algorithm based on the theorem. The algorithm has two stages: first, a meromorphic quartic differential is generated to induce a T-mesh; second, the edge lengths of the T-mesh are adjusted by solving a linear system to satisfy the deck transformation condition, which produces a quad-mesh. In the first stage, the algorithm pipeline can be summarized as follows: calculate the homology group; compute the holomorphic differential group; construct the period matrix of the surface and Jacobi variety; calculate the Abel-Jacobi map for a given divisor; optimize the divisor to satisfy the Abel-Jacobi condition by integer programming; compute \textcolor{red}{a} flat Riemannian metric with cone singularities at the divisor by Ricci flow; \textcolor{red}{isometrically} immerse the surface punctured at the divisor onto the complex plane and pull back the canonical holomorphic differential to the surface to obtain the meromorphic quartic differential; construct a motorcycle graph to generate a T-Mesh. In the second stage, the deck transformation constraints are formulated as a linear equation system of the edge lengths of the T-mesh. The solution provides a flat metric with integral deck transformations, which leads to the final quad-mesh. The proposed method is rigorous and practical. The T-mesh and quad-mesh results can be applied for constructing Splines directly. The efficiency and efficacy of the proposed algorithm are demonstrated by experimental results on surfaces with complicated topologies and geometries. 

   more » « less
2. Deformation Theory of Log Pseudo-holomorphic Curves and Logarithmic Ruan–Tian Perturbations

   https://doi.org/10.1007/s42543-023-00069-1  

   Farajzadeh-Tehrani, Mohammad ( May 2023 , Peking Mathematical Journal)

   In a previous paper (Farajzadeh-Tehrani in Geom Topol 26:989–1075, 2022), for any logarithmic symplectic pair (X, D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem for the moduli spaces of stable log curves. In this paper, we introduce a natural Fredholm setup for studying the deformation theory of log (and relative) curves. As a result, we obtain a logarithmic analog of the space of Ruan–Tian perturbations for these moduli spaces. For a generic compatible pair of an almost complex structure and a log perturbation term, we prove that the subspace of simple maps in each stratum is cut transversely. Such perturbations enable a geometric construction of Gromov–Witten type invariants for certain semi-positive pairs (X, D) in arbitrary genera. In future works, we will use local perturbations and a gluing theorem to construct log Gromov–Witten invariants of arbitrary such pair (X, D). 

   more » « less
3. Flat line bundles and the Cappell-Miller torsion in Arakelov geometry

   https://doi.org/10.24033/asens.2409  

   Freixas i Montplet, Gerard ; Wentworth, Richard A. ( January 2019 , Annales scientifiques de lÉcole normale supérieure)

   null (Ed.)

   In this paper, we extend Deligne’s functorial Riemann-Roch isomorphism for Hermitian holomorphic line bundles on Riemann surfaces to the case of flat, not necessarily unitary connections. The Quillen metric and ?-product of Gillet-Soulé are replaced with complex valued logarithms. On the determinant of cohomology side, we show that the Cappell-Miller torsion is the appropriate counterpart of the Quillen metric. On the Deligne pairing side, the logarithm is a refinement of the intersection connections considered in a previous work. The construction naturally leads to an Arakelov theory for flat line bundles on arithmetic surfaces and produces arithmetic intersection numbers valued in C/πi Z. In this context we prove an arithmetic Riemann-Roch theorem. This realizes a program proposed by Cappell-Miller to show that their holomorphic torsion exhibits properties similar to those of the Quillen metric proved by Bismut, Gillet and Soulé. Finally, we give examples that clarify the kind of invariants that the formalism captures; namely, periods of differential forms. 

   more » « less
4. Embedding codimension of the space of arcs

   https://doi.org/10.1017/fmp.2021.19  

   Chiu, Christopher ; de Fernex, Tommaso ; Docampo, Roi ( January 2022 , Forum of Mathematics, Pi)

   Abstract We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg and Kazhdan on formal neighbourhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld’s proof and a geometric meaningful way of realising the decomposition stated in the theorem. 

   more » « less
5. Carleson embedding on tri-tree and on tri-disc

   Mozolyako, Pavel ; Psaromiligkos, Georgios ; Volberg, Alexander ; Zorin-Kranich, Pavel ( May 2022 , Revista matemática iberoamericana)

   We prove multi-parameter dyadic embedding theorem for Hardy operator on the multi-tree. We also show that for a large class of Dirichlet spaces in bi-disc and tri-disc this proves the embedding theorem of those Dirichlet spaces of holomorphic function on bi- and tri-disc. We completely describe the Carleson measures for such embeddings. The result below generalizes embedding result of [AMPVZ] from bi- tree to tri-tree and from Carleson–Chang condition to Carleson box condition. One of our embedding description is similar to Carleson–Chang–Fefferman condition and involves dyadic open sets. On the other hand, the unusual feature is that embedding on bi-tree and tri-tree turned out to be equivalent to one box Carleson condition. This is in striking difference to works of Chang–Fefferman and well known Carleson quilt counterexample. Finally, we explain the obstacle that prevents us from proving our results on poly-discs of dimension four and higher. 

   more » « less