Maximal domains of radial harmonic functions
We examine the maximal domain of radial harmonic functions on harmonic spaces in the context of positive, zero, and negative curvature.
Discover
Research tools
Network
Opportunities
Account
Source author record
Peter Gilkey appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We examine the maximal domain of radial harmonic functions on harmonic spaces in the context of positive, zero, and negative curvature.
A closed 1-form $Θ$ on a manifold induces a perturbation $d_Θ$ of the de~Rham complex. This perturbation was originally introduced Witten for exact $Θ$, and later extended by Novikov to the case of arbitrary closed $Θ$. Once a Riemannian metric is chosen, one obtains a perturbed Laplacian $Δ_Θ$ on a Riemannian manifold and a corresponding perturbed local index density for the de~Rham complex. Invariance theory is used to show that this local index density in fact does not depend on $Θ$; it vanishes if the dimension $m$ is odd, and it is the Euler form if $m$ is even. (The first author, Kordyukov, and Leichtnam (2020) established this result previously using other methods). The higher order heat trace asymptotics of the twisted de~Rham complex are shown to exhibit non-trivial dependence on $Θ$ so this rigidity result is specific to the local index density. This result is extended to the case of manifolds with boundary where suitable boundary conditions are imposed. An equivariant version giving a Lefschetz trace formula for $d_Θ$ is also established; in neither instance does the twisting 1-form $Θ$ enter. Let $Φ$ be a $\bar\partial$ closed $1$-form of type $(0,1)$ on a Riemann surface. Analogously, one can use $Φ$ to define a twisted Dolbeault complex. By contrast with the de~Rham setting, the local index density for the twisted Dolbeault complex does exhibit a non-trivial dependence upon the twisting $\bar\partial$-closed 1-form $Φ$.
We use the density function of a harmonic space to obtain estimates for the eigenvalues of the Jacobi operator; when these estimates are sharp, then the harmonic space is a symmetric Osserman space.
We study symmetric affine surfaces which have non-vanishing torsion tensor. We give a complete classification of the local geometries possible if the torsion is assumed parallel. This generalizes a previous result of Opozda in the torsion free setting; these geometries are all locally homogeneous. If the torsion is not parallel, we assume the underlying surface is locally homogeneous and provide a complete classification in this setting as well.
We examine the moduli space of oriented locally homogeneous manifolds of Type A which have non-degenerate symmetric Ricci tensor both in the setting of manifolds with torsion and also in the torsion free setting where the dimension is at least 3. These exhibit phenomena that is very different than in the case of surfaces. In dimension 3, we determine all the possible symmetry groups in the torsion free setting.
A curvature model (V,A) is a real vector space V which is equipped with a "curvature operator" A(x,y)z that A has the same symmetries as an affine curvature operator; A(x,y)z=-A(y,x)z and A(x,y)z+A(y,z)x+A(z,x)y=0. Such a model is called projective affine Osserman if the spectrum of the Jacobi operator J(y):x->A(x,y)y, is projectively constant. There are topological conditions imposed on such a model by Adam's Theorem concerning vector fields on spheres. In this paper we construct projective affine Osserman curvature models when the dimension is odd, when the dimension is congruent to 2 mod 4, and when the dimension is congruent to 4 mod 8 for all the eigenvalue structure is allowed by Adam's Theorem.
By considering the projectivized spectrum of the Jacobi operator, we introduce the concept of projective Osserman manifold in both the affine and in the pseudo-Riemannian settings. If M is an affine projective Osserman manifold, then the modified Riemannian extension metric on the cotangent bundle is both spacelike and timelike projective Osserman. Since any rank 1 symmetric space is affine projective Osserman, this provides additional information concerning the cotangent bundle of a rank 1 Riemannian symmetric space with the modified Riemannian extension metric. We construct other examples of affine projective Osserman manifolds where the Ricci tensor is not symmetric and thus the connection is not the Levi-Civita connection of any metric. If M is an affine projective Osserman manifold of odd dimension, we use methods of algebraic topology to show the Jacobi operator has only one non-zero eigenvalue and that eigenvalue is real.
We give an elementary proof of the fact that any 4-dimensional para-Hermitian manifold admits a unique para-Kaehler--Weyl structure. We then use analytic continuation to pass from the para-complex to the complex setting and thereby show any 4-dimensional pseudo-Hermitian manifold also admits a unique Kaehler--Weyl structure.
We show in the smooth category that the heat trace asymptotics and the heat content asymptotics can be made to grow arbitrarily rapidly. In the real analytic context, however, this is not true and we establish universal bounds on their growth.
Let H be a 4 dimensional almost Hermitian manifold which satisfies the Kaehler identity. Then H is complex Osserman if and only if H has constant holomorphic sectional curvature. We also classify in arbitrary dimensions all the complex Osserman Kaehler manifolds which do not have 3 eigenvalues.
The covariant derivative of the Kähler form of an almost pseudo-Hermitian or of an almost para-Hermitian manifold satisfies certain algebraic relations. We show, conversely, that any 3-tensor which satisfies these algebraic relations can be realized geometrically.
We show any Weyl curvature model can be geometrically realized by a Weyl manifold
We study the weighted heat trace asymptotics of an operator of Laplace type with mixed boundary conditions where the weight function exhibits radial blowup. We give formulas for the first three boundary terms in the expansion in terms of geometrical data.
We show that the Weyl structure of an almost-Hermitian Weyl manifold of dimension at least 6 is trivial if the associated curvature operator satisfies the Kaehler identity. Similarly if the curvature of an almost para-Hermitian Weyl manifold of dimension at least 6 satisfies the para-Kaehler identity, then the Weyl structure is trivial as well.
We show the existence of a modified Cliff(1,1) structure compatible with an Osserman 0-model of signature (2,2). We then apply this algebraic result to certain classes of pseudo-Riemannian manifolds of signature (2,2). We obtain a new characterization of the Weyl curvature tensor of an (anti-)self-dual manifold and we prove some new results regarding (Jordan) Osserman manifolds.
We use invariance theory to determine the coefficient $a_{m+1,m}^{d+δ}$ in the supertrace for the twisted de Rham complex with absolute boundary conditions.