A discrete conformal map (DCM) maps the square lattice to the Riemann sphere such that the image of every irreducible square has the same cross-ratio. This paper shows that every periodic DCM can be determined from spectral data (a hyperelliptic compact Riemann surface, called the spectral curve, equipped with some marked points). Each point of the map corresponds to a line bundle over the spectral curve so that the map corresponds to a discrete subgroup of the Jacobi variety. We derive an explicit formula for the generic maps using Riemann theta functions, describe the typical singularities and give a geometric interpretation of DCM's as a discrete version of the Schwarzian KdV equation. As such, the DCM equation is a discrete soliton equation and we describe the dressing action of a loop group on the set of DCM's. We also show that this action corresponds to a lattice of isospectral Darboux transforms for the finite gap solutions of the KdV equation.
Conformal harmonic maps from a 4-dimensional conformal manifold to a Riemannian manifold are maps satisfying a certain conformally invariant fourth order equation. We prove a general existence result for conformal harmonic maps, analogous to the Eells-Sampson theorem for harmonic maps. The proof uses a geometric flow and relies on results of Gursky-Viaclovsky and Lamm.
We characterise the maps into the space of $2$-spheres in $S^n$ that are the conformal Gauss maps of conformal immersions of a surface. In particular, we give an invariant formulation and efficient proof of a characterisation, due to Dorfmeister--Wang \cites{DorWan13,DorWan}, of the harmonic maps that are conformal Gauss maps of Willmore surfaces.
This note reviews some of the recent work on biharmonic conformal maps (see \cite{OC}, Chapter 11, for a detailed survey). It will be focused on biharmonic conformal immersions and biharmonic conformal maps between manifolds of the same dimension and their links to isoparametric functions and Yamabe type equations, though biharmonic morphisms (maps that preserve solutions of bi-Laplace equations), generalized harmonic morphisms (maps that pull back germs of harmonic functions to germs of biharmonic functions), and biharmonic conformal and Riemannian submersions will also be touched.
By Liouville's theorem, in dimensions 3 or more conformal transformations form a finite-dimensional group, an apparent drastic departure from the 2-dimensional case. We propose a derived enhancement of the conformal Lie algebra which is an infinite-dimensional dg-Lie algebra incorporating not only symmetries but also deformations of the conformal structure. Our approach is based on (derived) deformation theory of the ambitwistor space of complex null-geodesics.
Inspired by the all-important conformal invariance of harmonic maps on two-dimensional domains, this article studies the relationship between biharmonicity and conformality. We first give a characterization of biharmonic morphisms, analogues of harmonic morphisms investigated by Fuglede and Ishihara, which, in particular, explicits the conditions required for a conformal map in dimension four to preserve biharmonicity and helps producing the first example of a biharmonic morphism which is not a special type of harmonic morphism. Then, we compute the bitension field of horizontally weakly confo…
We give a complete classification of local and global conformal biharmonic maps between any two space forms by proving that a conformal map between two space forms is proper biharmonic if and only if the dimension is 4, the domain is flat, and it is a restriction of a Möbius transformation. We also show that proper k-polyharmonic conformal maps between Euclidean spaces exist if and only if the dimension is 2k and they are precisely the restrictions of Möbius transformations. This provides infinitely many simple examples of proper k-polyharmonic maps with nice geometric structure.
Let $(M, g)$, $(N, h)$ be compact Riemannian manifolds without boundary, and let $f$ be a smooth map from $M$ into $N$. We consider a covariant symmetric tensor $T_f$ $=$ ${\displaystyle f^*h - \frac{1}{m} |df|^2 g}$, where $f^*h$ denotes the pull-back metric of $h$ by $f$. The tensor $T_f$ vanishes if and only if the map $f$ is weakly conformal. The norm $|T_f|$ is a quantity which is a measure of conformality of $f$ at each point. We are concerned with maps which are critical points of the functional $Φ(f)$ $=$ ${\displaystyle \int_M |T_f|^2dv_g}$. We call such maps {\it C-stationary maps}. …
We study the topology of a complete asymptotically hyperbolic Einstein manifold such that its conformal boundary has positive Yamabe invariant. We proved that all maps from such manifold into any nonpositively curved manifold are homotopically trivial. Our proof is based on a Bochner type argument on harmonic maps.
This paper is devoted to the study of the conformal spectrum (and more precisely the first eigenvalue) of the Laplace-Beltrami operator on a smooth connected compact Riemannian surface without boundary, endowed with a conformal class. We give a constructive proof of a critical metric which is smooth except at some conical singularities and maximizes the first eigenvalue in the conformal class of the background metric. We also prove that the map associating a finite number of eigenvectors of the maximizing $λ_1$ into the sphere is harmonic, establishing a link between conformal spectrum and har…
A conformal map from a Riemann surface to the Euclidean four-space is explained in terms of its twistor lift. A local factorization of a differential of a conformal map is obtained. As an application, the factorization of a differential provides an upper bound of the area of a super-conformal map around a branch point.
We prove that the problem of constructing biharmonic conformal maps on a $4$-dimensional Einstein manifold reduces to a Yamabe-type equation. This allows us to construct an infinite family of examples on the Euclidean 4-sphere. In addition, we characterize all solutions on Euclidean 4-space and show that there exists at least one non-constant proper biharmonic conformal map from any closed Einstein 4-manifold of negative Ricci curvature.
We describe for any Riemannian manifold a certain infinitesimal neighbourhood of the diagonal. Semi-conformal maps are analyzed as those that preserve such neighbourhoods; harmonic maps are analyzed as those that preserve mirror image formation for pairs of points in such neighbourhoods.
Demoulin surfaces in real projective $3$-space are investigated. Our result enable us to establish a generalized Weierstrass type representation for definite Demoulin surfaces by virtue of primitive maps into a certain semi-Riemannian $6$-symmetric space.
We propose a novel meshless method to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3-space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its $ε$-neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples f…
The paper aims to initiate a systematic study of conformal mappings between Finsler spacetimes and, more generally, between pseudo-Finsler spaces. This is done by extending several results in pseudo-Riemannian geometry which are necessary for field-theoretical applications and by proposing a technique which reduces a series of problems involving pseudo-Finslerian conformal vector fields to their pseudo-Riemannian counterparts. Also, we point out, by constructing classes of examples, that conformal groups of flat (locally Minkowskian) pseudo-Finsler spaces can be much richer than both flat Fins…
Harmonic morphisms are maps between Riemannian manifolds that pull back harmonic functions to harmonic functions. These maps are characterized as horizontally weakly conformal harmonic maps and they have many interesting links and applications to several areas in mathematics (see the book by Baird and Wood for details). In this paper, we study generalized harmonic morphisms which are defined to be maps between Riemannian manifolds that pull back harmonic functions to biharmonic functions. We obtain some characterizations of generalized harmonic morphisms into a Euclidean space and give two met…
If f is a conformal mapping defined on a connected open subset of a Carnot group G, then either f is the composition of a translation, a dilation and an isometry, or G is the nilpotent Iwasawa component of a real rank 1 simple Lie group S, and f arises from the action of S on G, viewed as an open subset of S/P, where P is a parabolic subgroup of G and NP is open and dense in S.
We establish a connection between recent developments in the study of vortices in the abelian Higgs models, and in the theory of structure-preserving discrete conformal maps. We explain how both are related via conformal mapping problems involving prescribed linear combinations of the curvature and volume form, and show how the discrete conformal theory can be used to construct discrete vortex solutions.
We establish a connection between two previously unrelated topics: a particular discrete version of conformal geometry for triangulated surfaces, and the geometry of ideal polyhedra in hyperbolic three-space. Two triangulated surfaces are considered discretely conformally equivalent if the edge lengths are related by scale factors associated with the vertices. This simple definition leads to a surprisingly rich theory featuring Möbius invariance, the definition of discrete conformal maps as circumcircle preserving piecewise projective maps, and two variational principles. We show how literally…
We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, when $k,d$ are not both even. We use this result to derive a simple, self-contained proof of the famous Liouville theorem for conformal maps, under the weakest possible regularity assumptions, in even dimensions which are not multiple of $4$. This is based on the approach taken by Iwaniec and Martin in [Acta Mathematica, 170(1):29--81, 1993]. We also prove the regularity of $W^{1,d/2}$ conformal maps between Riemannian manifolds, under the additional assumption of conti…
In a recent paper the author introduced a new method based on viscosity techniques for producing minimal surfaces by minmax arguments. The present work corresponds to the regularity part of the method. Precisely we establish that any weakly conformal $W^{1,2}$ map from a riemann surface $S$ into a closed oriented sub-manifold $N^n$ of an euclidian space ${\mathbb R}^m$ realizes a stationary varifold if and only if it is a smooth conformal harmonic map form $S$ into $N^n$.
We study some aspects of conformal transformations in the context of twistor theory, leading to the definition of a frustrated conformal transformation. This equation relies on two instantons for the left and right copies of $Sp(1)$, one being self-dual and the other anti-self-dual. Solutions to this equation naturally generate maps on ambitwistor space due to an analog of the Penrose-Ward correspondence. A solution based on the BPST instanton is presented.
In this article, we prove several results about the extension to the boundary of conformal immersions from an open subset $Ω$ of a Riemannian manifold $L$, into another Riemannian manifold $N$ of the same dimension. In dimension $n \geq 3$, and when the $(n-1)$-dimensional Hausdorff measure of $\partial Ω$ is zero, we completely classify the cases when $\partial Ω$ contains essential singular points, showing that $L$ and $N$ are conformally flat and making the link with the theory of Kleinian groups.
In this paper, we provide new discrete uniformization theorems for bounded, $m$-connected planar domains. To this end, we consider a planar, bounded, $m$-connected domain $Ω$ and let $\bordΩ$ be its boundary. Let $\mathcal{T}$ denote a triangulation of $Ω\cup\bordΩ$. We construct a \emph{new} decomposition of $Ω\cup\bordΩ$ into a finite union of quadrilaterals with disjoint interiors. The construction is based on utilizing a {\it pair} of harmonic functions on ${\mathcal T}^{(0)}$ and properties of their level curves. In the sequel \cite{Her3} it will be proved that a particular discrete schem…
We consider codimension 2 sphere congruences in pseudo-conformal geometry that are harmonic with respect to the conformal structure of an orthogonal surface. We characterise the orthogonal surfaces of such congruences as either $S$-Willmore surfaces, quasi-umbilical surfaces, constant mean curvature surfaces in 3-dimensional space forms or surfaces of constant lightlike mean curvature in 3-dimensional lightcones. We then investigate Bryant's quartic differential in this context and show that generically this is divergence free if and only if the surface under consideration is either superconfo…
For the reduction ordinary differential equation due to Baird and Kamissoko \cite{BK} for biharmonic maps from a Riemannian manifold $(M^m,g)$ into another one $(N^n,h)$, we show that this ODE has no global positive solution for every $m\geq 5$. On the contrary, we show that there exist global positive solutions in the case $m=3$. As applications, for the the Riemannian product $(M^3,g)$ of the line and a Riemann surface, we construct the new metric $\widetilde{g}$ on $M^3$ conformal to $g$ such that every nontrivial product harmonic map from $M^3$ with respect to the original metric $g$ must …
In this paper we introduce the fourth fundamental form for the hypersurfaces in $H^{n+1}$ and the space-like hypersurfaces in $S_{1}^{n+1}$ and discuss the conformality of the normal Gauss maps of the hypersurfaces in $H^{n+1}$ and $S_{1}^{n+1}$. Particularly, we discuss the surfaces with conformal normal Gauss maps in $H^{3}$ and $S_{1}^{3}$ and prove a duality property. We give the Weierstrass representation formula for the space-like surfaces in $S_{1}^{3}$ with conformal normal Gauss maps. We also state the similar results for the time-like surfaces in $S_{1}^{3}.$
A conformal description of Poincare-Einstein manifolds is developed: these structures are seen to be a special case of a natural weakening of the Einstein condition termed an almost Einstein structure. This is used for two purposes: to shed light on the relationship between the scattering construction of Graham-Zworski and the higher order conformal Dirichlet-Neumann maps of Branson and the author; to sketch a new construction of non-local (Dirichlet-to-Neumann type) conformal operators between tensor bundles.
We are interested in the study of the space of $n$-ary differential operators denoted by $\mathfrak{D}_{\underlineł,μ}$ where $\underlineł=(ł_{1},...,ł_{n})$ acting on weighted densities from $\frak F_{ł_1}\otimes\frak F_{ł_2}\otimes...\otimes\frak F_{ł_n}$ to $\frak F_μ$ as a module over the orthosymplectic superalgebra $\mathfrak{osp}(1|2)$. As a consequence, we prove the existence and the uniqueness of a canonical conformally equivariant symbol map from $\mathfrak{D}_{\underlineλ,μ}^k$ to the corresponding space of symbols as well for the explicit expression of the associated quantization m…
We consider a class of stratified groups with a CR structure and a compatible control distance. For these Lie groups we show that the space of conformal maps coincide with the space of CR and anti-CR diffeomorphisms. Furthermore, we prove that on products of such groups, all CR and anti-CR maps are product maps, up to a permutation isomorphism, and affine in each component.
LIX Ecole Polytechnique IP Paris（巴黎综合理工学院计算机科学实验室）；Université de Lorraine CNRS Inria LORIA（洛林大学法国国家科学研究中心洛林计算机科学与应用研究实验室）；Sapienza University of Rome（罗马大学）
In this paper, we introduce complex functional maps, which extend the functional map framework to conformal maps between tangent vector fields on surfaces. A key property of these maps is their orientation awareness. More specifically, we demonstrate that unlike regular functional maps that link functional spaces of two manifolds, our complex functional maps establish a link between oriented tangent bundles, thus permitting robust and efficient transfer of tangent vector fields. By first endowing and then exploiting the tangent bundle of each shape with a complex structure, the resulting opera…
We introduce the notions of h-conformal slant submersions and almost h-conformal slant submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds as a generalization of Riemannian submersions, horizontally conformal submersions, slant submersions, h-slant submersions, almost h-slant submersion and conformal slant submersions. We investigate several properties of these including the integrability of distributions, the geometry of foliations and the conditions for such maps to be totally geodesic. Further we give some examples of such maps.
We study the space of conformal immersions of a 2-torus into the 4-sphere. The moduli space of generalized Darboux transforms of such an immersed torus has the structure of a Riemann surface, the spectral curve. This Riemann surface arises as the zero locus of the determinant of a holomorphic family of Dirac type operators parameterized over the complexified dual torus. The kernel line bundle of this family over the spectral curve describes the generalized Darboux transforms of the conformally immersed torus. If the spectral curve has finite genus the kernel bundle can be extended to the compa…
We extend harmonic map techniques to the setting of more general differential equations in conformal geometry. We obtain an extension of Siu's rigidity to Kahler-Weyl geometry and apply the latter to Vaisman's conjecture. Other applications include topological obstructions to the existence of Kahler-Weyl structures. For example, we show that no co-compact lattice in SO(1,n), n>2, can be the fundamental group of a compact Kahler-Weyl manifold of certain type.
A Willmore surface $y:M\rightarrow S^{n+2}$ has a natural harmonic oriented conformal Gauss map $Gr_y:M\rightarrow SO^{+}(1,n+3)/SO(1,3)\times SO(n)$, which maps each point $p\in M$ to its oriented mean curvature 2-sphere at $p$. An easy observation shows that all conformal Gauss maps of Willmore surfaces satisfy a restricted nilpotency condition which will be called "strongly conformally harmonic." The goal of this paper is to characterize those strongly conformally harmonic maps from a Riemann surface $M$ to $SO^+ (1, n + 3)/{SO^+(1, 3) \times SO(n) }$ which are the conformal Gauss maps of s…
We prove various inequalities measuring how far from an isometry a local map from a manifold of high curvature to a manifold of low curvature must be. We consider the cases of volume-preserving, conformal and quasi-conformal maps. The proofs relate to a conjectural isoperimetric inequality for manifolds whose curvature is bounded above, and to a higher-dimensional generalization of the Schwarz-Ahlfors lemma.
We study a class of weakly conformal $3$-harmonic maps, called associative Smith maps, from $3$-manifolds into $7$-manifolds that parametrize associative $3$-folds in Riemannian $7$-manifolds equipped with $\mathrm{G}_2$-structures. Associative Smith maps are solutions of a conformally invariant nonlinear first order PDE system, called the Smith equation, that may be viewed as a $\mathrm{G}_2$-analogue of the Cauchy-Riemann system for $J$-holomorphic curves. In this paper, we show that associative Smith maps enjoy many of the same analytic properties as $J$-holomorphic curves in symplectic geo…
We continue our study [Ou4] of f-biharmonic maps and f-biharmonic submanifolds by exploring the applications of f-biharmonic maps and the relationships among biharmonicity, f-biharmonicity and conformality of maps between Riemannian manifolds. We are able to characterize harmonic maps and minimal submanifolds by using the concept of f-biharmonic maps and prove that the set of all f-biharmonic maps from 2-dimensional domain is invariant under the conformal change of the metric on the domain. We give an improved equation for f-biharmonic hypersurfaces and use it to prove some rigidity theorems a…
A super-conformal map and a minimal surface are factored into a product of two maps by modeling the Euclidean four-space and the complex Euclidean plane on the set of all quaternions. One of these two maps is a holomorphic map or a meromorphic map. These conformal maps adopt properties of a holomorphic function or a meromorphic function. Analogs of the Liouville theorem, the Schwarz lemma, the Schwarz-Pick theorem, the Weierstrass factorization theorem, the Abel-Jacobi theorem, and a relation between zeros of a minimal surface and branch points of a super-conformal map are obtained.
In this note we revisit the notion of conformal barycenter of a measure on $\SS^n$ as defined by Douady and Earle in Acta Math. Vol 157, 1986. The aim is to extend rational maps from the Riemann sphere $\Cbar\isom\SS^2$ to the (hyperbolic) three ball $\BB^3$ and thus to $\SS^3$ by reflection. The construction which was pioneered by Douady and Earle in the case of homeomorphisms actually gives extensions for more general maps such as entire transcendental maps on $\C\subset\Cbar$. And it works for maps in any dimension.
We investigate both linear and nonlinear stability aspects of rigid motions (resp. Möbius transformations) of $\mathbb{S}^{n-1}$ among Sobolev maps from $\mathbb{S}^{n-1}$ into $\mathbb{R}^n$. Unlike similar in flavour results for maps defined on domains of $\mathbb{R}^n$ and mapping into $\mathbb{R}^n$, not only an isometric (resp. conformal) deficit is necessary in this more flexible setting, but also a deficit measuring the distortion of $\mathbb{S}^{n-1}$ under the maps in consideration. The latter is defined as an associated isoperimetric type of deficit. We mostly focus on the case $n=3$…
Let M be a compact Riemannian manifold and let $μ$,d be the associated measure and distance on M. Robert McCann obtained, generalizing results for the Euclidean case by Yann Brenier, the polar factorization of Borel maps S : M -> M pushing forward $μ$ to a measure $ν$: each S factors uniquely a.e. into the composition S = T \circ U, where U : M -> M is volume preserving and T : M -> M is the optimal map transporting $μ$ to $ν$ with respect to the cost function d^2/2. In this article we study the polar factorization of conformal and projective maps of the sphere S^n. For conformal maps, which m…
We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that the bordism groups $Ω^{spin,+}_{n+1}(S^1 \times BG)$ are infinite for any non-trivial group $G$ which is the fundamental group of a spin spherical space form of dimension $n=3$ or $5$.
The Gauss map of a conformal minimal immersion of an open Riemann surface $M$ into $\mathbb R^3$ is a meromorphic function on $M$. In this paper, we prove that the Gauss map assignment, taking a full conformal minimal immersion $M\to\mathbb R^3$ to its Gauss map, is a Serre fibration. We then determine the homotopy type of the space of meromorphic functions on $M$ that are the Gauss map of a complete full conformal minimal immersion, and show that it is the same as the homotopy type of the space of all continuous maps from $M$ to the 2-sphere. We obtain analogous results for the generalised Ga…
We consider the quasiconformal dilatation of projective transformations of the real projective plane. For non-affine transformations, the contour lines of dilatation form a hyperbolic pencil of circles, and these are the only circles that are mapped to circles. We apply this result to analyze the dilatation of the circumcircle preserving piecewise projective interpolation between discretely conformally equivalent triangulations. We show that another interpolation scheme, angle bisector preserving piecewise projective interpolation, is in a sense optimal with respect to dilatation. These two in…
We prove a classification theorem for conformal maps with respect to the control distance generated by a system of diagonal vector fields. It turns out that all such maps can be obtained as compositions of suitable dilations, inversions and isometries. We also classify all umbilical surfaces of the underlying metric.
Registration, which aims to find an optimal one-to-one correspondence between different data, is an important problem in various fields. This problem is especially challenging when large deformations occur. In this paper, we present a novel algorithm to obtain diffeomorphic image or surface registrations with large deformations via quasi-conformal maps. The basic idea is to minimize an energy functional involving a Beltrami coefficient term, which measures the distortion of the quasi-conformal map. The Beltrami coefficient effectively controls the bijectivity and smoothness of the registration…
