A Decomposition of Complex Monge-Ampere Measures

Yang Xing

DOI: https://doi.org/10.48550/arXiv.math/0702572

2007-02-20

Complex Variables

Abstract:We prove one decomposition theorem of complex Monge-Ampere measures of plurisubharmonic functions in connection with their pluripolar sets.

What problem does this paper attempt to address?

On the L Monge–Ampère Equation

Shibing Chen,Qi-rui Li,Guangxian Zhu

DOI: https://doi.org/10.1016/j.jde.2017.06.007

IF: 2.615

2017-01-01

Journal of Differential Equations

Abstract:For the case where 0 < p < 1, we prove the existence of solutions of the L-p Monge Ampere equation for arbitrary measures and show that the solution is in general not unique. (C) 2017 Elsevier Inc. All rights reserved.
Characterizing the range of the complex Monge-Ampère operator

Songchen Liu

2024-12-05

Abstract:In this article, we solve the complex Monge-Ampère equation for measures with a pluripolar part in compact Kähler manifolds. This result generalizes the classical results obtained by Cegrell in bounded hyperconvex domains. We also discuss the properties of the complex Monge--Ampère operator in some special cases.

Complex Variables,Analysis of PDEs,Differential Geometry
A note on the structure of plurifinely open sets and the equality of some complex Monge-Ampère measures

Mohamed El Kadiri

2023-09-17

Abstract:In a recent preprint published on arXiv (see <a class="link-https" data-arxiv-id="2308.02993v2" href="https://arxiv.org/abs/2308.02993v2">arXiv:2308.02993v2</a>, referred here as \cite{NXH}), N.X. Hong stated that every plurifinely open set $U\subset \mathbb{C}^n$, $n\geq 1$, is of the form $U=\bigcup \{\varphi_j>-1\}$, where each $\phi_j$ is a negative plurisubharmonic function defined on an open ball $B_j\subset \mathbb{C}^n$ and used this result to prove an equality result on complex Monge-Ampère measures. Unfortunately, this result is wrong as we will see below.

Complex Variables
Non-Archimedean Green's functions and Zariski decompositions

Sebastien Boucksom,Mattias Jonsson

2023-04-01

Abstract:We study the non-Archimedean Monge-Ampère equation on a smooth projective variety over a discretely or trivially valued field. First, we give an example of a Green's function, associated to a divisorial valuation, which is not Q-PL (i.e. not a model function in the discretely valued case). Second, we produce an example of a function whose Monge-Ampère measure is a finite atomic measure supported in a dual complex, but which is not invariant under the retraction associated to any snc model. This answers a question by Burgos Gil et al in the negative. Our examples are based on geometric constructions by Cutkosky and Lesieutre, and arise via base change from Green's functions over a trivially valued field; this theory allows us to efficiently encode the Zariski decomposition of a pseudoeffective numerical class.

Algebraic Geometry
On the residual Monge-Ampère mass of plurisubharmonic functions, III: a single frequency

Weiyong He,Long Li,Xiaowei Xu

2024-10-19

Abstract:The purpose of this article is to study the residual Monge-Ampère mass of a plurisubharmonic function with an isolated unbounded locus. A general decomposition formula for the residual mass is obtained, under the Sasakian structure of the unit sphere. In complex dimension two, we further obtain an upper-bound estimate, provided with the uniform directional Lipschitz continuity. As an application, the zero mass conjecture is confirmed, if the function further has a single frequency on its alternating part.

Complex Variables,Differential Geometry
Degenerate complex Monge-Ampère equations on some compact Hermitian manifolds

Mohammed Salouf

2024-01-10

Abstract:Let $X$ be a compact complex manifold which admits a hermitian metric satisfying a curvature condition introduced by Guan-Li. Given a semipositive form $\theta$ with positive volume, we define the Monge-Ampère operator for unbounded $\theta$-psh functions and prove that it is continuous with respect to convergence in capacity. We then develop pluripotential tools to study degenerate complex Monge-Ampère equations in this context, extending recent results of Tosatti-Weinkove, Kolodziej-Nguyen, Guedj-Lu and many others who treat bounded solutions.

Complex Variables
The General Definition of the Complex Monge-Ampère Operator on Compact Kähler Manifolds

Yang Xing

DOI: https://doi.org/10.48550/arXiv.0705.2099

2007-05-15

Abstract:We introduce a wide subclass ${\cal F}(X,\omega)$ of quasi-plurisubharmonic functions in a compact Kähler manifold, on which the complex Monge-Ampère operator is well-defined and the convergence theorem is valid. We also prove that ${\cal F}(X,\omega)$ is a convex cone and includes all quasi-plurisubharmonic functions which are in the Cegrell class.

Complex Variables,Differential Geometry
Weak convergence of complex Monge-Ampère operators on compact Hermitian manifolds

Kai Pang,Haoyuan Sun,Zhiwei Wang

2024-12-16

Abstract:Let $(X,\omega)$ be a compact Hermitian manifold and let $\{\beta\}\in H^{1,1}(X,\mathbb R)$ be a real $(1,1)$-class with a smooth representative $\beta$, such that $\int_X\beta^n>0$. Assume that there is a bounded $\beta$-plurisubharmonic function $\rho$ on $X$. First, we provide a criterion for the weak convergence of non-pluripolar complex Monge-Ampère measures associated to a sequence of $\beta$-plurisubharmonic functions. Second, this criterion is utilized to solve a degenerate complex Monge-Ampère equation with an $L^1$-density. Finally, an $L^\infty$-estimate of the solution to the complex Monge-Ampère equation for a finite positive Radon measure is given.

Complex Variables
A priori estimate for the complex Monge-Ampere equation

J. X. Wang,Xu‐Jia Wang,Bin Zhou

DOI: https://doi.org/10.48550/arxiv.2003.06059

2020-01-01

Abstract:In this paper, we prove a Moser-Trudinger type inequality for pluri-subharmonic functions vanishing on the boundary. Our proof uses a descent gradient flow for the complex Monge-Ampere functional.
The weigthed Monge-Ampère energy of quasiplurisubharmonic functions

Vincent Guedj,Ahmed Zeriahi

DOI: https://doi.org/10.48550/arXiv.math/0612630

2007-04-24

Abstract:We study degenerate complex Monge-Ampère equations on a compact Kähler manifold $(X,\omega)$. We show that the complex Monge-Ampère operator $(\omega + dd^c \cdot)^n$ is well-defined on the class ${\mathcal E}(X,\omega)$ of $\omega$-plurisubharmonic functions with finite weighted Monge-Ampère energy. The class ${\mathcal E}(X,\omega)$ is the largest class of $\omega$-psh functions on which the Monge-Ampère operator is well-defined and the comparison principle is valid. It contains several functions whose gradient is not square integrable. We give a complete description of the range of the Monge-Ampère operator $(\omega +dd^c \cdot)^n$ on ${\mathcal E}(X,\omega)$, as well as on some of its subclasses. We also study uniqueness properties, extending Calabi's result to this unbounded and degenerate situation, and we give applications to complex dynamics and to the existence of singular Kähler-Einstein metrics.

Complex Variables,Differential Geometry
Weighted Pluricomplex energy II

Slimane Benelkourchi

DOI: https://doi.org/10.48550/arXiv.1708.00371

2017-08-01

Abstract:We continue our study of the Complex Monge-Ampère Operator on the Weighted Pluricomplex energy classes. We give more characterizations of the range of the classes $\mathcal E_ \chi$ by the Complex Monge-Ampère Operator. In particular, we prove that a non-negative Borel measure $\mu $ is the Monge-Ampère of a unique function $\varphi \in \mathcal E_\chi$ if and only if $\chi(\mathcal E_\chi ) \subset L^1(d\mu ).$ Then we show that if $\mu = (dd^c \varphi )^n $ for some $\varphi \in \mathcal E_\chi $ then $\mu = (dd^c u )^n $ for some $u \in \mathcal E_\chi (f) $ where $f$ is a given boundary data. If moreover, the non-negative Borel measure$\mu $ is suitably dominated by the Monge-Ampère capacity, we establish a priori estimates on the capacity of sub-level sets of the solutions. As consequence, we give a priori bounds of the solution of the Dirichlet problem in the case when the measure has a density in some Orlicz space.

Complex Variables,Differential Geometry
Quaternionic Monge–Ampère Measure on Pluripolar Set

Hichame Amal,Saïd Asserda,Fadoua Boukhari

DOI: https://doi.org/10.1007/s10114-024-2227-x

2024-02-13

Acta Mathematica Sinica English Series

Abstract:In this paper, we prove that in a hyperconvex domain Ω in H n , if a non-negative Borel measure is dominated by a quaternionic Monge–Ampère measure, then it is a quaternionic Monge–Ampère measure of a function in the class .

mathematics, applied
Complex Monge-Ampere operators via pseudo-isomorphisms: the well-defined cases

Tuyen Trung Truong

DOI: https://doi.org/10.48550/arXiv.1403.6425

2014-03-31

Abstract:Let $X$ and $Y$ be compact Kähler manifolds of dimension $3$. A bimeromorphic map $f:X\rightarrow Y$ is pseudo-isomorphic if $f:X-I(f)\rightarrow Y-I(f^{-1})$ is an isomorphism. Let $T=T^+-T^-$ be a current on $Y$, where $T^{\pm}$ are positive closed $(1,1)$ currents which are smooth outside a finite number of points. We assume that the following condition is satisfied: {\bf Condition 1.} For every curve $C$ in $I(f^{-1})$, then in cohomology $\{T\}.\{C\}=0$. Then, we define a natural push-forward $f_*(\varphi dd^cu\wedge f^*(T))$ for a quasi-psh function $u$ and a smooth function $\varphi$ on $Y$. We show that this pushforward satisfies a Bedford-Taylor's monotone convergence type. Assume moreover that the following two conditions are satisfied {\bf Condition 2.} The signed measure $T\wedge T\wedge T$ has no mass on $I(f^{-1})$. {\bf Condition 3.} For every curve $C$ in $I(f^{-1})$, the measure $T\wedge [C]$ has no Dirac mass. Then, we define a Monge-Ampere operator $MA(f^*(T))=f^*(T)\wedge f^*(T)\wedge f^*(T)$ for $f^*(T)$. We show that this Monge-Ampere operator satisfies several continuous properties, including a Bedford-Taylor's monotone convergence type when $T$ is positive. The measures $MA(f^*(T))$ are in general quite singular. Also, note that it may be not possible to define $f^*(T^{\pm})\wedge f^*(T^{\pm})\wedge f^*(T^{\pm})$.

Complex Variables,Dynamical Systems
On the complex Monge–Ampère operator for quasi‐plurisubharmonic functions with analytic singularities

Zbigniew Błocki

DOI: https://doi.org/10.1112/blms.12239

IF: 1.036

2019-02-10

Bulletin of the London Mathematical Society

Abstract:We give a modified, very natural definition for the complex Monge–Ampère operator for an ω‐plurisubharmonic (psh) function φ with analytic singularities on a Kähler manifold (X,ω) of dimension n which has the property ∫X(ω+ddcφ)n=∫Xωn if X is compact. This means that, unlike in the previous definition, no mass is lost here. In fact, the definition works for any smooth (1,1)‐form ω (we need neither closedness nor positivity) and quasi‐psh φ with analytic singularities.

mathematics
Moser-Trudinger Inequality for the Complex Monge-Ampère Equation

Jiaxiang Wang,Xu-jia Wang,Bin Zhou

DOI: https://doi.org/10.1016/j.jfa.2020.108765

IF: 1.891

2020-01-01

Journal of Functional Analysis

Abstract:In this paper, we prove a Moser-Trudinger type inequality for pluri-subharmonic functions vanishing on the boundary. Our proof uses a descent gradient flow for the complex Monge-Ampère functional.
Monge-Ampère type equation on compact Hermitian manifolds

Yinji Li,Genglong Lin,Xiangyu Zhou

2024-06-03

Abstract:Given a cohomology $(1,1)$-class $\{\beta\}$ of compact Hermitian manifold $(X,\omega)$ possessing a bounded potential and fixed a model potential $\phi$, motivated by Darvas-Di Nezza-Lu and Li-Wang-Zhou's work, we show that degenerate complex Monge-Ampère equation $(\beta+dd^c \varphi)^n=e^{\lambda \varphi}\mu$ has a unique solution in the relative full mass class $\mathcal{E}(X,\beta,\phi)$, where $\mu$ is a non-pluripolar measure on $X$ and $\lambda\geq0$ is a fixed constant. As an application, we give an explicit description of Lelong numbers of elements in $\mathcal{E}(X,\beta,\phi)$ which generalized a theorem of Darvas-Di Nezza-Lu in the Hermitian context.

Differential Geometry,Complex Variables
DECOMPOSITION OF COMPLEX HYPERBOLIC ISOMETRIES BY TWO COMPLEX SYMMETRIES

Xue-Jing Ren,Bao-Hua Xie,Yue-Ping Jiang

DOI: https://doi.org/10.18910/67006

2017-01-01

Osaka journal of mathematics

Abstract:Let PU(2, 1) denote the holomorphic isometry group of the 2-dimensional complex hyperbolic space H-C(2), and the group SU(2, 1) is a 3-fold covering of PU(2, 1): PU(2, 1) = SU(2, 1)/{omega I : omega(3) = 1}. We study how to decompose a given pair of isometries (A, B). SU(2, 1) 2 under the form A = I1I2 and B = I3I2, where the I-k's are complex symmetries about complex lines. If (A, B) can be written as above, we call it is C-decomposable. The main results are decomposability criteria, which improve and supplement the result of [17].
Complex Monge-Ampère equations with oblique boundary value

Ni Xiang,Xiaoping Yang

DOI: https://doi.org/10.48550/arXiv.1403.3536

2014-03-14

Abstract:The existence and regularity of the classical plurisubharmonic solution for complex Monge-Ampère equations subject to the semilinear oblique boundary condition which is C^1 perturbation of the Neumann boundary condition, are proved in the certain strictly pseudoconvex domain in C^n.

Analysis of PDEs
Measures of finite pluricomplex energy

Urban Cegrell

DOI: https://doi.org/10.48550/arXiv.1107.1899

2011-09-21

Abstract:In this note we study a complex Monge-Ampère type equation of the form (dd^cu)^n = \frac {ke^{-u}dV}{\int e^{-u}dV}\,

Complex Variables
A note on equality on plurifinely open sets of some complex Monge-Ampère measures

Mohamed El Kadiri

2023-10-16

Abstract:Our aim in this paper is to prove that if plurisubharmonic functions $u_1,. . . , u_n$, $v_1,. . ., v_n$ in the domain of definition of the complex Monge-Ampère operator on a domain set $D\subset \mathbb{C}^n$ ($n\geq 1$) are such that $u_1= v_1, . . ., u_n=v_n$ on a Borel plurifinely open set $\Omega\subset D$, then $$dd^cu_1\wedge ...\wedge dd^cu_n=dd^cv_1\wedge ...\wedge dd^cv_n$$ on $\Omega$. This extends an earlier result obtained by the author in \cite{EK}.

Complex Variables

A Decomposition of Complex Monge-Ampere Measures

On the L Monge–Ampère Equation

Characterizing the range of the complex Monge-Ampère operator

A note on the structure of plurifinely open sets and the equality of some complex Monge-Ampère measures

Non-Archimedean Green's functions and Zariski decompositions

On the residual Monge-Ampère mass of plurisubharmonic functions, III: a single frequency

Degenerate complex Monge-Ampère equations on some compact Hermitian manifolds

The General Definition of the Complex Monge-Ampère Operator on Compact Kähler Manifolds

Weak convergence of complex Monge-Ampère operators on compact Hermitian manifolds

A priori estimate for the complex Monge-Ampere equation

The weigthed Monge-Ampère energy of quasiplurisubharmonic functions

Weighted Pluricomplex energy II

Quaternionic Monge–Ampère Measure on Pluripolar Set

Complex Monge-Ampere operators via pseudo-isomorphisms: the well-defined cases

On the complex Monge–Ampère operator for quasi‐plurisubharmonic functions with analytic singularities

Moser-Trudinger Inequality for the Complex Monge-Ampère Equation

Monge-Ampère type equation on compact Hermitian manifolds

DECOMPOSITION OF COMPLEX HYPERBOLIC ISOMETRIES BY TWO COMPLEX SYMMETRIES

Complex Monge-Ampère equations with oblique boundary value

Measures of finite pluricomplex energy

A note on equality on plurifinely open sets of some complex Monge-Ampère measures