arXiv subjects

Gideon Maschler

Publications and source records attributed to Gideon Maschler.

15 recordsLinked to original sources

arXiv2021

Cohomogeneity one central Kähler metrics in dimension four

A Kähler metric is called central if the determinant of its Ricci endomorphism is constant. For the case in which this constant is zero, we study on $4$-manifolds the existence of complete metrics of this type which are cohomogeneity one for three unimodular $3$-dimensional Lie groups: $SU(2)$, the group of Euclidean plane motions $E(2)$ and a quotient by a discrete subgroup of the Heisenberg group $\mathrm{nil}_3$. We obtain a complete classification for $SU(2)$, and some existence results for the other two groups, in terms of specific solutions of an associated ODE system.

math.DG↗

arXiv2021

On the completeness of some Bianchi type A and related Kähler-Einstein metrics

We prove the existence of complete cohomogeneity one triaxial Kähler-Einstein metrics in dimension four under an action of the Euclidean group $E(2)$. We also demonstrate local existence of Ricci flat Kähler metrics of a related type that are given via generalized PDEs, and determine, under mild conditions, whether they are complete. The common framework for both metric types is a frame-dependent system of Lie bracket relations and generalized PDEs yielding a class of Kähler-Einstein metrics on $4$-manifolds which includes all diagonal Bianchi type A metrics.

math.DG↗

arXiv2021

Cohomogeneity one Kähler-Ricci solitons under a Heisenberg group action and related metrics

We show that integrability of an almost complex structure in complex dimension $m$ is equivalent, in the presence of an almost hermitian metric, to $m(m-1)$ equations involving what we call shear operators. Inspired by this, we give an ansatz for Kähler metrics in dimension $m>1$, for which at most $m-1$ of these shear equations are non-trivial. The equations for gradient Kähler-Ricci solitons in this ansatz are frame dependent PDEs, which specialize to ODEs under extra assumptions. Metrics solving the latter system include a restricted class of cohomogeneity one metrics, and we find among them complete expanding gradient Kähler-Ricci solitons under the action of the $(2m-1)$-dimensional Heisenberg group, and some incomplete steady solitons. We examine curvature properties and asymptotics for the former Ricci solitons. In another special case of the ansatz we present, for $m=2$, a class of complete metrics of a more general type which we call gradient Kähler-Ricci skew-solitons, which are cohomogeneity one under the Euclidean plane group action. This paper continues research started in [MR, AM2].

math.DG↗

arXiv2020

Canonical Kähler metrics on classes of Lorentzian $4$-manifolds

Conditions for the existence of Kähler-Einstein metrics and central Kähler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize the general construction [AM] of Kähler metrics on such manifolds. The examples include both complete and incomplete metrics, and some reside on Lie groups associated to four types of Lie algebras. An appendix includes a similar construction for scalar-flat Kähler metrics.

math.DG↗

arXiv2020

Kähler metrics via Lorentzian Geometry in dimension four

Given a semi-Riemannian $4$-manifold $(M,g)$ with two distinguished vector fields satisfying properties determined by their shear, twist and various Lie bracket relations, a family of Kähler metrics $g_K$ is constructed, defined on an open set in $M$, which coincides with $M$ in many typical examples. Under certain conditions $g$ and $g_K$ share various properties, such as a Killing vector field or a vector field with a geodesic flow. In some cases the Kähler metrics are complete. The Ricci and scalar curvatures of $g_K$ are computed under certain assumptions in terms of data associated to $g$. Many examples are described, including classical spacetimes in warped products, for instance de Sitter spacetime, as well as gravitational plane waves, metrics of Petrov type $D$ such as Kerr and NUT metrics, and metrics for which $g_K$ is an SKR metric. For the latter an inverse ansatz is described, constructing $g$ from the SKR metric.

math.DG↗

arXiv2018

Weighted extremal Kähler metrics and the Einstein-Maxwell geometry of projective bundles

We study the existence of weighted extremal Kähler metrics in the sense of Apostolov-Calderbank-Gauduchon-Legendre and Lahdili on the total space of an admissible projective bundle over a Hodge Kähler manifold of constant scalar curvature. Admissible projective bundles have been defined by Apostolov-Calderbank-Gauduchon-Tønnesen-Friedman, and they include the projective line bundles (Hwang-Singer) and their blow-downs (Koiso-Sakane), thus providing a most general setting for extending the existence theory for extremal Kähler metrics pioneered by a seminal construction of Calabi. We obtain a general existence result for weighted extremal metrics on admissible manifolds, which yields many new examples of conformally Kähler, Einstein-Maxwell metrics of complex dimension $m>2$, thus extending the recent constructions of LeBrun and Koca-Tønnesen-Friedman to higher dimensions. For each admissible Kähler class on an admissible projective bundle, we associate an explicit function of one variable and show that if it is positive on the interval $(-1,1)$, then there exists a weighted extremal Kähler metric in the given class, whereas if it is strictly negative somewhere in $(-1,1)$, there is no Kähler metrics of constant weighted scalar curvature in that class. We also relate the positivity of the function to a notion of weighted K-stability, thus establishing a Yau-Tian-Donaldson type correspondence for the existence of Kähler metrics of constant weighted scalar curvature in the rational admissible Kähler classes on an admissible projective bundle. Weighted extremal orthotoric metrics are examined in an appendix.

math.DG↗

arXiv2017

Equivariant APS index for Dirac operators of non-product type near the boundary

We consider a generalized APS boundary problem for a G-invariant Dirac-type operator, which is not of product type near the boundary. We establish a delocalized version (a so-called Kirillov formula) of the equivariant index theorem for this operator. We obtain more explicit formulas for different geometric Dirac-type operators. In particular, we get a formula for the equivariant signature of a local system over a manifold with boundary. In case of a trivial local system, our formula can be viewed as a new way to compute the infinitesimal equivariant eta-invariant of S. Goette. We explicitly compute all the terms in this formula, which involve the equivariant Hirzebruch L-form and its transgression, for four-dimensional SKR manifolds, a class including many Kaehler conformally Einstein manifolds, in the case where the boundary is given as the zero level set of a certain Killing potential. In the case of SKR metrics which are local Kaehler products, these terms are zero, and we obtain a vanishing result for the infinitesimal equivariant eta invariant.

math.DG↗

arXiv2015

Conformally Kähler, Einstein-Maxwell Geometry

On a given compact complex manifold or orbifold $(M,J)$, we study the existence of Hermitian metrics $\tilde g$ in the conformal classes of Kähler metrics on $(M,J)$, such that the Ricci tensor of $\tilde g$ is of type $(1,1)$ with respect to the complex structure, and the scalar curvature of $\tilde g$ is constant. In real dimension $4$, such Hermitian metrics provide a Riemannian counter-part of the Einstein--Maxwell (EM) equations in general relativity, and have been recently studied in \cite{ambitoric1, LeB0, LeB, KTF}. We show how the existence problem of such Hermitian metrics (which we call in any dimension {\it conformally Kähler, EM} metrics) fits into a formal momentum map interpretation, analogous to results by Donaldson and Fujiki~\cite{donaldson, fujiki} in the cscK case. This leads to a suitable notion of a Futaki invariant which provides an obstruction to the existence of conformally Kähler, EM metrics invariant under a certain group of automorphisms which are associated to a given Kähler class, a real holomorphic vector field on $(M,J)$, and a positive normalization constant. Specializing to the toric case, we further define a suitable notion of $K$-polystability and show it provides a (stronger) necessary condition for the existence of toric, conformally Kähler, EM metrics. We use the methods of \cite{ambitoric2} to show that on a compact symplectic toric $4$-orbifold with second Betti number equal to $2$, $K$-polystability is also a sufficient condition for the existence of (toric) conformally Kähler, EM metrics, and the latter are explicitly described as ambitoric in the sense of \cite{ambitoric1}. As an application, we exhibit many new examples of conformally Kähler, EM metrics defined on compact $4$-orbifolds, and obtain a uniqueness result for the construction in \cite{LeB0}.

math.DG↗

arXiv2015

Conformally-Kähler Ricci solitons and base metrics for warped product Ricci solitons

We investigate Kähler metrics conformal to gradient Ricci solitons, and base metrics of warped product gradient Ricci solitons. The latter we name quasi-solitons. A main assumption that is employed is functional dependence of the soliton potential, with the conformal factor in the first case, and with the warping function in the second. The main result in the first case is a partial classification in dimension $n\geq 4$. In the second case, Kähler quasi-soliton metrics satisfying the above main assumption are shown to be, under an additional genericity hypothesis, necessarily Riemannian products. Another theorem concerns quasi-soliton metrics satisfying the above main assumption, which are also conformally Kähler. With some additional assumptions it is shown that such metrics are necessarily base metrics of Einstein warped products, that is, quasi-Einstein.

math.DG↗

arXiv2013

Almost soliton duality

Gradient Ricci almost solitons were introduced by Pigola, Rigoli, Rimoldi and Setti. They are defined as solitons except that the metric coefficient is required to be a smooth function rather than a constant. It is shown that any almost soliton is conformal to another almost soliton having a soliton function which is minus the original one. Uniqueness, and the case where both the source and target are solitons, are studied. Completeness of the target metric is also examined in the case where the source is Kähler and admits a special Kähler-Ricci potential in the sense given by Derdzinski and Maschler.

math.DG↗

arXiv2011

Scalar curvature and holomorphy potentials

A holomorphy potential is a complex valued function whose complex gradient, with respect to some Kähler metric, is a holomorphic vector field. Given $k$ holomorphic vector fields on a compact complex manifold, form, for a given Kähler metric, a product of the following type: a function of the scalar curvature multiplied by functions of the holomorphy potentials of each of the vector fields. It is shown that the stipulation that such a product be itself a holomorphy potential for yet another vector field singles out critical metrics for a particular functional. This may be regarded as a generalization of the extremal metric variation of Calabi, where $k=0$ and the functional is the square of the $L^2$-norm of the scalar curvature. The existence question for such metrics is examined in a number of special cases. Examples are constructed in the case of certain multifactored product manifolds. For the \sk metrics investigated by Derdzinski and Maschler and residing in the complex projective space, it is shown that only one type of nontrivial criticality holds in dimension three and above.

math.DG↗

arXiv2011

The eta invariant in the doubly Kählerian conformally compact Einstein case

On a 3-manifold bounding a compact 4-manifold, let a conformal structure be induced from a complete Einstein metric which conformally compactifies to a Kähler metric. Formulas are derived for the eta invariant of this conformal structure under additional assumptions. One such assumption is that the Kähler metric admits a special Kähler-Ricci potential in the sense defined by Derdzinski and Maschler. Another is that the Kähler metric is part of an ambitoric structure, in the sense defined by Apostolov, Calderbank and Gauduchon, as well as a toric one. The formulas are derived using the Duistermaat-Heckman theorem. This result is closely related to earlier work of Hitchin on the Einstein selfdual case.

math.DG↗

arXiv2010

Conformally Kähler base metrics for Einstein warped products

A Riemannian metric $\wht{g}$ with Ricci curvature $\wht{\ri}$ is called nontrivial quasi-Einstein, in the sense of Case, Shu and Wei, if it satisfies $(-a/f)\wht{\nab} df+\wht{\ri}=λ\wht{g}$, for a smooth nonconstant function $f$ and constants $λ$ and $a>0$. If $a$ is a positive integer, by a result of Kim and Kim, such a metric forms a base for certain warped Einstein metrics. On a manifold $M$ of real dimension at least six, let $(g,\t)$ be a pair consisting of a Kähler metric $g$ which is locally Kähler irreducible, and a nonconstant Killing potential $\t$. Suppose the metric $\wht{g}=g/\t^2$ is nontrivial \bee on $M\setminus\t^{-1}(0)$, and the associated function $f$ is locally a function of $\t$. Then $(g,\t)$ is an \sk\ pair, a notion defined by Derdzinski and Maschler. This implies that $M$ is biholomorphic to an open set in the total space of a $CP^1$ bundle whose base manifold admits a Kähler-Einstein metric. If $M$ is additionally compact, it is a total space of such a bundle or complex projective space. Also, the function $f$ is affine in $\t^{-1}$ with nonzero constants. Conversely, in all even dimensions $n\geq 4$, there exist \sk pairs $(g,\t)$ and corresponding nonzero constants $K$ and $L$ for which $g/\t^2$ is nontrivial quasi-Einstein with $f=K\t^{-1}+L$. Additionally, a result of Case, Shu and Wei on the Kähler reducibility of nontrivial Kähler \bers is reproduced in dimension at least six in a more explicit form.

math.DG↗

arXiv2009

Generalized Quasi-Einstein metrics on admissible manifolds

We prove that an admissible manifold (as defined by Apostolov, Calderbank, Gauduchon and Tønnesen-Friedman), arising from a base with a local Kähler product of constant scalar curvature metrics, admits Generalized Quasi-Einstein Kähler metrics (as defined by D. Guan) in all "sufficiently small" admissible Kähler classes. We give an example where the existence of Generalized Quasi-Einstein metrics fails in some Kähler classes while not in others. We also prove an analogous existence theorem for an additional metric type, defined by the requirement that the scalar curvature is an affine combination of a Killing potential and its Laplacian.

math.DG↗

arXiv2007

Special Kähler-Ricci potentials and Ricci solitons

On a manifold of dimension at least six, let $(g,τ)$ be a pair consisting of a Kähler metric g which is locally Kähler irreducible, and a nonconstant smooth function $τ$. Off the zero set of $τ$, if the metric $\hat{g}=g/τ^2$ is a gradient Ricci soliton which has soliton function $1/τ$, we show that $\hat{g}$ is Kähler with respect to another complex structure, and locally of a type first described by Koiso. Moreover, $τ$ is a special Kähler-Ricci potential, a notion defined in earlier works of Derdzinski and Maschler. The result extends to dimension four with additional assumptions. We also discuss a Ricci-Hessian equation, which is a generalization of the soliton equation, and observe that the set of pairs $(g,τ)$ satisfying a Ricci-Hessian equation is invariant, in a suitable sense, under the map $(g,τ)\to (\hat{g},1/τ)$.

math.DG↗