Searcharxiv⌕ Search

arXiv subjects

P. Gilkey

Publications and source records attributed to P. Gilkey.

At least 55 records · Page 3Linked to original sources

Mathematics, Recursion, and Universals in Human Languages

There are many scientific problems generated by the multiple and conflicting alternative definitions of linguistic recursion and human recursive processing that exist in the literature. The purpose of this article is to make available to the linguistic community the standard mathematical definition of recursion and to apply it to discuss linguistic recursion. As a byproduct, we obtain an insight into certain "soft universals" of human languages, which are related to cognitive constructs necessary to implement mathematical reasoning, i.e. mathematical model theory.

cs.CL↗

Geometric realizations of Kaehler and of para-Kaehler curvature models

We show that every Kaehler algebraic curvature tensor is geometrically realizable by a Kaehler manifold of constant scalar curvature. We also show that every para-Kaehler algebraic curvature tensor is geometrically realizable by a para-Kaehler manifold of constant scalar curvature

math.DG↗

Geometric realizations of curvature

We study geometric realization questions of curvature in the affine, Riemannian, almost Hermitian, almost para Hermitian, almost hyper Hermitian, almost hyper para Hermitian, Hermitian, and para Hermitian settings. We also express questions in Ivanov-Petrova geometry, Osserman geometry, and curvature homogeneity in terms of geometric realizations.

math.DG↗

Geometric theory of equiaffine curvature tensors

We present an algebraic investigation of generalized and equiaffine curvature tensors in a given pseudo-Euclidean vector space and study different orthogonal, irreducible decompositions in analogy to the known decomposition of algebraic curvature tensors. We apply the decomposition results to characterize geometric properties of Codazzi structures and relative hypersurfaces; particular emphasis is on projectively flat structures.

math.DG↗

Geometric Realizations of para-Hermitian curvature models

We show that a para-Hermitian algebraic curvature model satisfies the para-Gray identity if and only if it is geometrically realizable by a para-Hermitian manifold. This requires extending the Tricerri-Vanhecke curvature decomposition to the para-Hermitian setting. Additionally, the geometric realization can be chosen to have constant scalar curvature and constant *-scalar curvature.

math.DG↗

The geometry of modified Riemannian extensions

We show that every paracomplex space form is locally isometric to a modified Riemannian extension and give necessary and sufficient conditions so that a modified Riemannian extension is Einstein. We exhibit Riemannian extension Osserman manifolds of signature (3,3) whose Jacobi operators have non-trivial Jordan normal form and which are not nilpotent. We present new four dimensional results in Osserman geometry.

math.DG↗

Geometric Realizations of Hermitian curvature models

We show that a Hermitian algebraic curvature model satisfies the Gray identity if and only if it is geometrically realizable by a Hermitian manifold. Furthermore, such a curvature model can in fact be realized by a Hermitian manifold of constant scalar curvature and constant *-scalar curvature which satisfies the Kaehler condition at the point in question.

math.DG↗

Riemannian geometric realizations for Ricci tensors of generalized algebraic curvature operators

We examine questions of geometric realizability for algebraic structures which arise naturally in affine and Riemannian geometry. Suppose given an algebraic curvature operator R at a point P of a manifold M and suppose given a real analytic (resp. C-k for finite k at least 2) pseudo-Riemannian metric on M defined near P. We construct a torsion free real analytic (resp. C-k) connection D which is defined near P on the tangent bundle of M whose curvature operator is the given operator R at P and so that D has constant scalar curvature. We show that if R is Ricci symmetric, then D can be chosen to be Ricci symmetric; if R has trace free Ricci tensor, then D can be chosen to have trace free Ricci tensor; if R is Ricci alternating, then D can be chosen to be Ricci alternating.

math.DG↗

Geometric realizations of generalized algebraic curvature operators

We study the 8 natural GL equivariant geometric realization questions for the space of generalized algebraic curvature tensors. All but one of them is solvable; a non-zero projectively flat Ricci antisymmetric generalized algebraic curvature is not geometrically realizable by a projectively flat Ricci antisymmetric torsion free connection.

math.DG↗

Geometric realizations of curvature models by manifolds with constant scalar curvature

We show any Riemannian curvature model can be geometrically realized by a manifold with constant scalar curvature. We also show that any pseudo-Hermitian curvature model, para-Hermitian curvature model, hyper-pseudo-Hermitian curvature model, or hyper-para-Hermitian curvature model can be realized by a manifold with constant scalar and *-scalar curvature.

math.DG↗

Heat trace asymptotics with singular weight functions

We study the weighted heat trace asymptotics of an operator of Laplace type with Dirichlet boundary conditions where the weight function exhibits radial blowup. We give formulas for the first few terms in the expansion in terms of geometrical data.

math.AP↗

Four-dimensional Osserman metrics of neutral signature

In the algebraic context, we show that null Osserman, spacelike Osserman, and timelike Osserman are equivalent conditions for a model of signature (2,2). We also classify the null Jordan Osserman models of signature (2,2). In the geometric context, we show that a pseudo-Riemannian manifold of signature (2,2) is null Jordan Osserman if and only if either it has constant sectional curvature or it is locally a complex space form.

math.DG↗

Heat content

We study the heat content asymptotics with either Dirichlet or Robin boundary conditions where the initial temperature exhibits radial blowup near the boundary. We show that there is a complete small-time asymptotic expansion and give explicit geometrical formulas for the first few terms in the expansion.

math.AP↗

The classification of simple Jacobi--Ricci commuting algebraic curvature tensors

We classify algebraic curvature tensors such that the Ricci operator is simple (i.e. the Ricci operator is complex diagonalizable and either the complex spectrum consists of a single real eigenvalue or the complex spectrum consists of a pair of eigenvalues which are complex conjugates of each other) and which are Jacobi--Ricci commuting (i.e. the Ricci operator commutes with the Jacobi operator of any vector).

math.DG↗

Stanilov-Tsankov-Videv Theory

We survey some recent results concerning Stanilov-Tsankov-Videv theory, conformal Osserman geometry, and Walker geometry which relate algebraic properties of the curvature operator to the underlying geometry of the manifold.

math.DG↗

Examples of signature (2,2) manifolds with commuting curvature operators

We exhibit Walker manifolds of signature (2,2) with various commutativity properties for the Ricci operator, the skew-symmetric curvature operator, and the Jacobi operator. If the Walker metric is a Riemannian extension of an underlying affine structure A, these properties are related to the Ricci tensor of A.

math.DG↗

Projectively Osserman manifolds

One says that a smooth manifold M is a pseudo-Riemannian manifold of signature (p,q) if the tangent bundle TM is equipped with a smooth non-degenerate symmetric inner product g of signature (p,q). Similarly one says that M is an affine manifold if TM is equipped with a torsion free connection. One says g is Osserman if the eigenvalues of the Jacobi operator are constant on the pseudo-sphere bundles of unit timelike and spacelike vectors. We extend this concept from the pseudo-Riemannian to the affine setting to define the notion of a projectively Osserman manifold. This notion is the focus of the paper. We establish some basic results concerning projectively Osserman manifolds and exhibit examples of this structure which arise in several different geometrical contexts.

math.DG↗