Flat manifolds isospectral on p-forms

We study isospectrality on p-forms of compact flat manifolds by using the equivariant spectrum of the Hodge-Laplacian on the torus. We give an explicit formula for the multiplicity of eigenvalues and a criterion for isospectrality. We construct a variety of new isospectral pairs, some of which are the first such examples in the context of compact Riemannian manifolds. For instance, we give pairs of flat manifolds of dimension n=2p, p≥2, not homeomorphic to each other, which are isospectral on p-forms but not on q-forms for q∈p, 0≤q≤n. Also, we give manifolds isospectral on p-forms if and only if p is odd, one of them orientable and the other not, and a pair of 0-isospectral flat manifolds, one of them Kähler, and the other not admitting any Kähler structure. We also construct pairs, M, M′ of dimension n≥6, which are isospectral on functions and such that β_p(M)<β_p(M’), for 04 and ? ₂ ² , respectively.     

Isospectral orbifolds with different maximal isotropy orders

We construct pairs of compact Riemannian orbifolds which are isospectral for the Laplace operator on functions such that the maximal isotropy order of singular points in one of the orbifolds is higher than in the other. In one type of examples, isospectrality arises from a version of the famous Sunada theorem which also implies isospectrality on p-forms; here the orbifolds are quotients of certain compact normal homogeneous spaces. In another type of examples, the orbifolds are quotients of Euclidean and are shown to be isospectral on functions using dimension formulas for the eigenspaces developed in [12]. In the latter type of examples the orbifolds are not isospectral on 1-forms. Along the way we also give several additional examples of isospectral orbifolds which do not have maximal isotropy groups of different size but other interesting properties. All three authors were partially supported by DFG Sonderforschungsbereich 647.     

Comparison of Twisted P-Form Spectra for Flat Manifolds with Diagonal Holonomy

We give an explicit formula for the multiplicities of the eigenvalues ofthe Laplacian acting on sections of natural vector bundles over acompact flat Riemannian manifold M = \ ⁿ , a Bieberbach group. In the case of the Laplacian acting onp-forms, twisted by a unitary character of , when hasdiagonal holonomy group F ₂ ^k , these multiplicities have acombinatorial expression in terms of integral values of Krawtchoukpolynomials and the so called Sunada numbers. If the Krawtchoukpolynomial K _p ⁿ (x)does not have an integral root, this expressioncan be inverted and conversely, the presence of such roots allows toproduce many examples of p-isospectral manifolds that are notisospectral on functions. We compare the notions of twistedp-isospectrality, twisted Sunada isospectrality and twisted finitep-isospectrality, a condition having to do with a finite part of thespectrum, proving several implications among them and getting a converseto Sunada's theorem in our context, for n 8. Furthermore, a finitepart of the spectrum determines the full spectrum. We give new pairs ofnonhomeomorphic flat manifolds satisfying some kind of isospectralityand not another. For instance: (a) manifolds which are isospectral onp-forms for only a few values of p 0, (b) manifolds which aretwisted isospectral for every , a nontrivial character of F, and(c) large twisted isospectral sets.     

Length spectra and<Emphasis Type="Italic">p</Emphasis>-spectra of compact flat manifolds

We compare and contrast various length vs Laplace spectra of compact flat Riemannian manifolds. As a major consequence we produce the first examples of pairs of closed manifolds that are isospectral on p-forms for some p ≠ 0, but have different weak length spectrum. For instance, we give a pair of 4-dimensional manifolds that are isospectral on p-forms for p = 1, 3and we exhibit a length of a closed geodesic that occurs in one manifold but cannot occur in the other. We also exhibit examples of this kind having different injectivity radius and different first eigenvalue of the Laplace spectrum on functions. These results follow from a method that uses integral roots of the Krawtchouk polynomials. We prove a Poisson summation formula relating the p-eigenvalue spectrum with the lengths of closed geodesics. As a consequence we show that the Laplace spectrum on functions determines the lengths of closed geodesics and, by an example, that it does not determine the complex lengths. Furthermore we show that orientability is an audible property for closed flat manifolds. We give a variety of examples, for instance, a pair of manifolds isospectral on functions (resp. Sunada isospectral) with different multiplicities of length of closed geodesies and a pair with the same multiplicities of complex lengths of closed geodesies and not isospectral on p-forms for any p, or else isospectral on p-forms for only one value of p ≠ 0.     

Continuous families of Riemannian manifolds, Isospectral on functions but not on 1-forms

The purpose of this paper is to present the first continuous families of Riemannian manifolds that are isospectral on functions but not on 1-forms, and, simultaneously, the first continuous families of Riemannian manifolds with the same marked length spectrum but not the same 1-form spectrum. Examples of isospectral manifolds that are not isospectral on forms are sparse, as most examples of isospectral manifolds can be explained by Sunada’s method or its generalizations, hence are strongly isospectral. The examples here are three-step Riemannian nilmanifolds, arising from a general method for constructing isospectral Riemannian nilmanifolds previously presented by the author. Gordon and Wilson constructed the first examples of nontrivial isospectral deformations, continuous families of Riemannian nilmanifolds. Isospectral manifolds constructed using the Gordon-Wilson method, a generalized Sunada method, are strongly isospectral and must have the same marked length spectrum. Conversely, Ouyang and Pesce independently showed that all isospectral deformations of two-step nilmanifolds must arise from the Gordon-Wilson method, and Eberlein showed that all pairs of two-step nilmanifolds with the same marked length spectrum must come from the Gordon-Wilson method. To the memory of Hubert Pesce, a valued friend and colleague.     

$${\mathbb{Z}}_2^k$$ -Manifolds are isospectral on forms

We obtain a simple formula for the multiplicity of eigenvalues of the Hodge-Laplace operator, Δ _f , acting on sections of the full exterior bundle over an arbitrary compact flat Riemannian n-manifold M with holonomy group , 1 ≤ k ≤ n − 1. This formula implies that any two such manifolds having isospectral lattices of translations are isospectral with respect to Δ _f . As a consequence, we construct a large family of pairwise Δ _f -isospectral and nonhomeomorphic n-manifolds of cardinality greater than . Supported by Conicet, Secyt-UNC.     

Spin structures and spectra of ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>-manifolds

We give necessary and sufficient conditions for the existence of pin^± and spin structures on Riemannian manifolds with holonomy group ₂^k. For any n4 (resp. n6) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M₁, M₂, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M₁ admits a pin^± (resp. spin) structure whereas M₂ does not.Mathematics Subject Classification (2000):58J53, 57R15, 20H15Partially supported by Conicet and grants from SecytUNC, Foncyt and AgCba.     

Quaternionic and para-quaternionic <Emphasis Type="Italic">CR</Emphasis> structure on (4n+3)-dimensional manifolds

We define notion of a quaternionic and para-quaternionic CR structure on a (4n+3)-dimensional manifold M as a triple (ω₁,ω₂,ω₃) of 1-forms such that the corresponding 2-forms satisfy some algebraic relations. We associate with such a structure an Einstein metric on M and establish relations between quaternionic CR structures, contact pseudo-metric 3-structures and pseudo-Sasakian 3-structures. Homogeneous examples of (para)-quaternionic CR manifolds are given and a reduction construction of non homogeneous (para)-quaternionic CR manifolds is described.     

Equivariant isospectrality and Sunada’s method

We construct pairs and continuous families of isospectral yet locally non-isometric orbifolds via an equivariant version of Sunada’s method. We also observe that if a good orbifold ${\mathcal{O}}We construct pairs and continuous families of isospectral yet locally non-isometric orbifolds via an equivariant version of Sunada’s method. We also observe that if a good orbifold O{\mathcal{O}} and a smooth manifold M are isospectral, then they cannot admit non-trivial finite Riemannian covers M₁ ?O{M_1 \to\mathcal{O}} and M ₂ → M where M ₁ and M ₂ are isospectral manifolds.     

Approximation to the Sobolev classesW q r of functions of several variables by bilinear forms inL p for 2≤q≤p≤∞

We study the approximation of functions of several variables by bilinear forms that are the pairwise products of functions of fewer variables. The order of approximation of Sobolev classesW _q ^r by bilinear forms inL _p for 2≤q≤p≤∞ is found. Translated by N. K. Kulman Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 18–34, July, 1997.     

Weighted integral formulas on manifolds

We present a method of finding weighted Koppelman formulas for (p,q)-forms on n-dimensional complex manifolds X which admit a vector bundle of rank n over X×X, such that the diagonal of X×X has a defining section. We apply the method to ℙ ⁿ and find weighted Koppelman formulas for (p,q)-forms with values in a line bundle over ℙ ⁿ . As an application, we look at the cohomology groups of (p,q)-forms over ℙ ⁿ with values in various line bundles, and find explicit solutions to the -equation in some of the trivial groups. We also look at cohomology groups of (0,q)-forms over ℙ ⁿ ×ℙ ^m with values in various line bundles. Finally, we apply our method to developing weighted Koppelman formulas on Stein manifolds.     

Successions in integer partitions

A partition of an integer n is a representation n=a ₁+a ₂+⋅⋅⋅+a _k , with integer parts 1≤a ₁≤a ₂≤…≤a _k . For any fixed positive integer p, a p-succession in a partition is defined to be a pair of adjacent parts such that a _i+1−a _i =p. We find generating functions for the number of partitions of n with no p-successions, as well as for the total number of such successions taken over all partitions of n. In the process, various interesting partition identities are derived. In addition, the Hardy-Ramanujan asymptotic formula for the number of partitions is used to obtain an asymptotic estimate for the average number of p-successions in the partitions of n. This material is based upon work supported by the National Research Foundation under grant number 2053740.     

To the question about the maximum principle for manifolds over local algebras

We consider manifolds over a local algebra A. We study basis functions of the canonical foliation which represent the real parts of A-differentiable functions. We prove that these are constant functions. We find the form of A-differentiable functions on some manifolds over local algebras, in particular, on compact manifolds. We obtain an estimate for the dimension of some spaces of 1-forms and analogs of the above results for the projective mappings of foliations.     

Isospectral potentials and conformally equivalent isospectral metrics on spheres,balls and Lie groups

We construct pairs of conformally equivalent isospectral Riemannian metrics ?1g and ?2g on spheres Sⁿ and balls Bⁿ⁺¹ for certain dimensions n, the smallest of which is n=7, and on certain compact simple Lie groups. In the case of Lie groups, the metric g is left-invariant. In the case of spheres and balls, the metric g not the standard metric but may be chosen arbitrarily close to the standard one. For the same manifolds (M, g) we also show that the functions ?₁ and ?₂ are isospectral potentials for the Schrödinger operator ?₂\gD + \gf. To our knowledge, these are the first examples of isospectral potentials and of isospectral conformally equivalent metrics on simply connected closed manifolds.     

Best linear methods for the approximation of functions of the Bergman class by algebraic polynomials

On concentric circles T _ϱ = {z ∈ ℂ: ∣z∣ = ϱ}, 0 ≤ ϱ < 1, we determine the exact values of the quantities of the best approximation of holomorphic functions of the Bergman class A _p , 2 ≤ p ≤ ∞, in the uniform metric by algebraic polynomials generated by linear methods of summation of Taylor series. For 1 ≤ p < 2, we establish exact order estimates for these quantities. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 12, pp. 1674–1685, December, 2006.     

On a relation between spectral theory of lens spaces and Ehrhart theory

In this article Ehrhart quasi-polynomials of simplices are employed to determine isospectral lens spaces in terms of a finite set of numbers. Using the natural lattice associated with a lens space the associated toric variety of a lens space is introduced. It is proved that if two lens spaces are isospectral then the dimension of global sections of powers of a natural line bundle on these two toric varieties are equal and they have the same general intersection number. Also, harmonic polynomial representation of the group SO($n$) is used to provide a more elementary proof for a theorem of Lauret, Miatello and Rossetti on isospectrality of lens spaces.     

Geometric Optimization Problems Likely Not Contained in APX

Abstract. Maximizing geometric functionals such as the classical l _p -norms over polytopes plays an important role in many applications, hence it is desirable to know how efficiently the solutions can be computed or at least approximated. While the maximum of the l _∞ -norm over polytopes can be computed in polynomial time, for 2≤ p < ∞ the l _p -norm-maxima cannot be computed in polynomial time within a factor of 1.090 , unless P=NP. This result holds even if the polytopes are centrally symmetric parallelotopes. Quadratic Programming is a problem closely related to norm-maximization, in that in addition to a polytope P ⊂ R ⁿ , numbers c _ij , 1≤ i≤ j≤ n , are given and the goal is to maximize Σ _{1≤ i≤ j≤ n} c _ij x _i x _j over P . It is known that Quadratic Programming does not admit polynomial-time approximation within a constant factor, unless P=NP. Using the observation that the latter result remains true even if the existence of an integral optimal point is guaranteed, in this paper it is proved that analogous inapproximability results hold for computing the l _p -norm-maximum and various l _p -radii of centrally symmetric polytopes for 2≤ p < ∞.     

Geometric Optimization Problems Likely Not Contained in $$\mathbb{A}\mathbb{P}\mathbb{X}$$

   Abstract. Maximizing geometric functionals such as the classical l _p -norms over polytopes plays an important role in many applications, hence it is desirable to know how efficiently the solutions can be computed or at least approximated. While the maximum of the l _∞ -norm over polytopes can be computed in polynomial time, for 2≤ p < ∞ the l _p -norm-maxima cannot be computed in polynomial time within a factor of 1.090 , unless P=NP. This result holds even if the polytopes are centrally symmetric parallelotopes. Quadratic Programming is a problem closely related to norm-maximization, in that in addition to a polytope P ⊂ R ⁿ , numbers c _ij , 1≤ i≤ j≤ n , are given and the goal is to maximize Σ _{1≤ i≤ j≤ n} c _ij x _i x _j over P . It is known that Quadratic Programming does not admit polynomial-time approximation within a constant factor, unless P=NP. Using the observation that the latter result remains true even if the existence of an integral optimal point is guaranteed, in this paper it is proved that analogous inapproximability results hold for computing the l _p -norm-maximum and various l _p -radii of centrally symmetric polytopes for 2≤ p < ∞.