Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

Pointwise estimates for relative fundamental solutions of heat equations in $${\mathbb{R} \times \mathbb{C}}$$

Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C ^∞ off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.      

Poincaré inequality and Palais–Smale condition for the <Emphasis Type="Italic">p</Emphasis>-Laplacian

An improved Poincaré inequality and validity of the Palais-Smale condition are investigated for the energy functional on , 1 < p < ∞, where Ω is a bounded domain in , is a spectral (control) parameter, and is a given function, in Ω. Analysis is focused on the case λ = λ₁, where −λ₁ is the first eigenvalue of the Dirichlet p-Laplacian Δ _p on , λ₁ > 0, and on the “quadratization” of within an arbitrarily small cone in around the axis spanned by , where stands for the first eigenfunction of Δ _p associated with −λ₁.     

Quasiperiodic Group Factorizations

If is any ring or semi-ring (e.g., ) and G is a finite abelian group, two elements a, b of the group (semi-)ring are said to form a factorization of G if ab = rΣ _g∈G g for some . A factorization is called quasiperiodic if there is some element g ∈ G of order m > 1 such that either a or b – say b – can be written as a sum b ₀ + ... + b _m−1 of m elements of such that ab _h = g ^h ab ₀ for h = 0, ... , m − 1. Hajós [5] conjectured that all factorizations are quasiperiodic when and r = 1 but Sands [15] found a counterexample for the group . Here we show however that all factorizations of abelian groups are quasiperiodic when and that all factorizations of cyclic groups or of groups of the type are quasiperiodic when . We also give some new examples of non-quasiperiodic factorizations with for the smaller groups and . Received: May 12, 2006. Revised: October 3, 2007.     

Tolokonnikov’s Lemma for Real H ∞ and the Real Disc Algebra

We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space , the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies for all z ∈ . Tolokonnikov’s Lemma for means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in , such that F = [ f f _c ] for some f _c in . In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over , then it has a doubly coprime factorization in . We prove the lemma for the real disc algebra as well. In particular, and are Hermite rings. The work of the first author was supported by Magnus Ehrnrooth Foundation. Received: December 5, 2006. Revised: February 4, 2007.     

Projective curves of degree=codimension+2

In this article we study nondegenerate projective curves of degree d which are not arithmetically Cohen-Macaulay. Note that for a rational normal curve and a point . Our main result is about the relation between the geometric properties of X and the position of P with respect to . We show that the graded Betti numbers of X are uniquely determined by the rank of P with respect to . In particular, X satisfies property N _2,p if and only if . Therefore property N _2,p of X is controlled by and conversely can be read off from the minimal free resolution of X. This result provides a non-linearly normal example for which the converse to Theorem 1.1 in (Eisenbud et al., Compositio Math 141:1460–1478, 2005) holds. Also our result implies that for nondegenerate projective curves of degree d which are not arithmetically Cohen–Macaulay, there are exactly distinct Betti tables.     

Minimal dynamical systems on the product of the Cantor set and the circle II

Let X be the Cantor set and φ be a minimal homeomorphism on . We show that the crossed product C^*-algebra is a simple A -algebra provided that the associated cocycle takes its values in rotations on . Given two minimal systems and such that φ and ψ arise from cocycles with values in isometric homeomorphisms on , we show that two systems are approximately K-conjugate when they have the same K-theoretical information.     

Limit sets and strengths of convergence for sequences in the duals of thread-like Lie groups

We consider a properly converging sequence of non-characters in the dual space of a thread-like group and investigate the limit set and the strength with which the sequence converges to each of its limits. We show that, if (π _k ) is a properly convergent sequence of non-characters in , then there is a trade-off between the number of limits σ which are not characters, their degrees, and the strength of convergence i _σ to each of these limits (Theorem 3.2). This enables us to describe various possibilities for maximal limit sets consisting entirely of non-characters (Theorem 4.6). In Sect. 5, we show that if (π _k ) is a properly converging sequence of non-characters in and if the limit set contains a character then the intersection of the set of characters (which is homeomorphic to ) with the limit set has at most two components. In the case of two components, each is a half-plane. In Theorem 7.7, we show that if a sequence has a character as a cluster point then, by passing to a properly convergent subsequence and then a further subsequence, it is possible to find a real null sequence (c _k ) (with ) such that, for a in the Pedersen ideal of C ^*(G _N ), exists (not identically zero) and is given by a sum of integrals over .     

The general dévissage theorem for Witt groups of schemes

Let be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex then there exists a dualizing complex of Z such that there is an isomorphism of coherent Witt groups for all . Received: 3 March 2006     

An Lp-Lq-Version of Morgan’s Theorem for the Dunkl-Bessel Transform

In this paper, we give an L^p-L^q-version of Morgans theorem for the Dunkl-Bessel transform on More precisely, we prove that for all and then for all measurable function f on the conditions and imply f = 0, if and only if where are the Lebesgue spaces associated with the Dunkl-Bessel transform.Received: November 21, 2003 Revised: April 26, 2004 Accepted: May 28, 2004     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real line. We consider a general class of Banach function spaces denoted and we prove that if with and the pair is admissible for an evolution family then is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs and with      

Uniqueness in the characteristic Cauchy problem of the Klein–Gordon equation and tame restrictions of generalized functions

We show that every tempered distribution, which is a solution of the (homogenous) Klein–Gordon equation, admits a “tame” restriction to the characteristic (hyper)surface {x ⁰ + x ⁿ = 0} in (1 + n)-dimensional Minkowski space and is uniquely determined by this restriction. The restriction belongs to the space which we have introduced in (Ullrich in J. Math. Phys. 45, 2004). Moreover, we show that every element of appears as the “tame” restriction of a solution of the (homogeneous) Klein–Gordon equation.     

Super-cocharacters,star-cocharacters and multiplicities bounded by one

Let A be an algebra over a field of characteristic zero with an additional structure of superalgebra or algebra with involution. The ordinary representation theory of the hyperoctahedral group is exploited in order to study the super-identities or the star-identities of A. One associates to A a sequence -characters and one of the main objective of the theory is to determine their decomposition into irreducibles. Here we classify the super-identities and the star-identities in case the corresponding multiplicities are bounded by one. This is strictly related to the varieties of algebras whose lattice of subvarieties is distributive. A. Giambruno was partially supported by MIUR of Italy. S. Mishchenko was partially supported by RFBR grant 07-01-00080.     

The Essential Norm of Hankel Operators on the Weighted Bergman Spaces with Exponential Type Weights

Let denote the closed subspace of consisting of analytic functions in the unit disc . For certain class of subharmonic functions and , it is shown that the essential norm of Hankel operator is comparable to the distance norm from H_f to compact Hankel operators.     

Note on a Theorem of Munkres

We prove that given a Riemannian manifold with boundary, having a finite number of compact boundary components, any fat triangulation of the boundary can be extended to the whole manifold. We also show that this result extends to manifolds and to embedded PL manifolds of dimensions 2, 3 and 4. We employ these results to prove that manifolds of the types above admit quasimeromorphic mappings onto As an application we prove the existence of G-automorphic quasimeromorphic mappings, where G is a Kleinian group acting on Dedicated to the memory of Robert BrooksThis paper represents part of the authors Ph.D. thesis written under the supervision of Prof. Uri Srebro.     

Zeta functions of three-dimensional <Emphasis Type="Italic">p</Emphasis>-adic Lie algebras

We give an explicit formula for the subalgebra zeta function of a general three-dimensional Lie algebra over the p-adic integers . To this end, we associate to such a Lie algebra a ternary quadratic form over . The formula for the zeta function is given in terms of Igusa’s local zeta function associated to this form. We acknowledge support from the Mathematisches Forschungsinstitut Oberwolfach and the Nuffield Foundation.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

The Monge Problem in Banach Spaces

In this paper, we generalize the Kantorovich functional to K?the-spaces for a cost or a profit function. We examine the convergence of probabilities with respect to this functional for some K?the-spaces. We study the Monge problem: Let be a K?the-space, P and Q two Borel probabilities defined on a Polish space M and a cost function . A K?the functional is defined by (P, Q) = inf where is the law of X. If c is a profit function, we note . (P, Q) = sup Under some conditions, we show the existence of a Monge function, φ, such that , or .      

On a problem of K. Mahler: Diophantine approximation and Cantor sets

Let K denote the middle third Cantor set and . Given a real, positive function ψ let denote the set of real numbers x in the unit interval for which there exist infinitely many such that |x − p/q| < ψ(q). The analogue of the Hausdorff measure version of the Duffin–Schaeffer conjecture is established for . One of the consequences of this is that there exist very well approximable numbers, other than Liouville numbers, in K—an assertion attributed to K. Mahler. Explicit examples of irrational numbers satisfying Mahler’s assertion are also given. Dedicated to Maurice Dodson on his retirement—finally!     

Invariants and spaces of zero solutions of linear partial differential operators

It is shown that for open convex , d > 1 and a nontrivial polynomial P the space does not have property . If P is elliptic or homogeneous, then this holds for every open Ω. For even cannot occur and if it occurs for some Ω, then P must be hypoelliptic. Received: 18 July 2005