The decision problem for {\vec Z}C(p^3)-lattices with p prime

We show undecidability for lattices over a group ring where has a cyclic subgroup of order for some odd prime . Then we discuss the decision problem for -lattices where is a cyclic group of order 8, and we point out that a positive answer implies – in some sense – the solution of the “wild undecidable” conjecture. Received November 15, 1995     

The theory of {\vec Z}C(2)^2-lattices is decidable

For arbitrary finite group and countable Dedekind domain such that the residue field is finite for every maximal -ideal , we show that the localizations at every maximal ideal of two -lattices are isomorphic if and only if the two lattices satisfy the same first order sentences. Then we investigate generalizations of the above results to arbitrary -torsion-free -modules and we apply the previous results to show the decidability of the theory of -lattices. Eventually, we show that -lattices have undecidable theory. Received November 28, 1995     

${\cal H}^1$-estimates of Jacobians by subdeterminants

Let be a mapping in the Sobolev space . We assume that the cofactors of the differential matrix Df(x) belong to . Then, among other things, we prove that the Jacobian determinant detDf lies in the Hardy space . Received: 20 November 2000 / Revised version: 17 December 2001 / Published online: 5 September 2002 Iwaniec was supported by NSF grant DMS-0070807. This research was done while Onninen was visiting Mathematics Department at Syracuse University. He wishes to thank SU for the support and hospitality.     

Ordinal arithmetic and \Sigma_{1}-elementarity

We will introduce a partial ordering on the class of ordinals which will serve as a foundation for an approach to ordinal notations for formal systems of set theory and second-order arithmetic. In this paper we use to provide a new characterization of the ubiquitous ordinal . Received: 18 August 1997     

All finitely axiomatizable subframe logics containing the provability logic CSM_{0} are decidable

In this paper we investigate those extensions of the bimodal provability logic (alias or which are subframe logics, i.e. whose general frames are closed under a certain type of substructures. Most bimodal provability logics are in this class. The main result states that all finitely axiomatizable subframe logics containing are decidable. We note that, as a rule, interesting systems in this class do not have the finite model property and are not even complete with respect to Kripke semantics. Received July 15, 1997     

Asymptotics for the zeros and poles of normalized Pad\'{e} approximants to{\rm e}^{z}

Summary. With denoting the -th partial sum of ${\rm e}^{z}$, the exact rate of convergence of the zeros of the normalized partial sums, , to the Szeg\"o curve was recently studied by Carpenter et al. (1991), where is defined by Here, the above results are generalized to the convergence of the zeros and poles of certain sequences of normalized Pad\'{e} approximants to , where is the associated Pad\'{e} rational approximation to . Received February 2, 1994     

Dwork cohomology and algebraic ${\Cal D}$-modules

Using local cohomology and algebraic -Modules, we generalize a comparison theorem between relative de Rham cohomology and Dwork cohomology due to N. Katz, P. Monsky, A. Adolphson and S. Sperber. Received June 10, 1999 / Published online July 20, 2000     

Zero sets of solutions to semilinear elliptic systems of first order

Consider a nontrivial smooth solution to a semilinear elliptic system of first order with smooth coefficients defined over an n-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth (n−2)-dimensional submanifolds. Hence it is countably (n−2)-rectifiable and its Hausdorff dimension is at most n−2. Moreover, it has locally finite (n−2)-dimensional Hausdorff measure. We show by example that every real number between 0 and n−2 actually occurs as the Hausdorff dimension (for a suitable choice of operator). We also derive results for scalar elliptic equations of second order. Oblatum 22-V-1998 & 26-III-1999 / Published online: 10 June 1999     

On the Fréchet space L p −

This paper contains a study of the structure of the Fréchet space L _p ⁻, 1< p ≤∞, defined as the intersection of L _q [0,1] for q<p, and endowed with the projective topology. The main topics covered are: normable, Schwartz and nuclear subspaces of L _p ⁻; construction of uncomplemented copies of ?₂ inside L _p ⁻ for p<2; construction of Montel non-Schwartz subspaces; the space L _p ⁻ is primary. Received: 30 October 1996 / Revised version: 1 February 1998     

Exponential actions and maximal ?-invariant ideals

Let V be an exponential ?-module, ? being an exponential Lie algebra. Put ? = exp ?. Then every orbit of V under the action of ? admits a closed orbit in its closure. If G= exp ? is a nilpotent Lie group and ? an exponential algebra of derivations of ?, then ? = exp ? acts on G, L ¹(G), (?) and the maximal ?-invariant ideals of L ¹(G), resp. of (?) coincide with the kernels Ker Ω, resp. Ker Ω∩ (?), where Ω is a closed orbit of ?^*. Received: 6 December 1996 / Revised version: 7 December 1997     

L 2-torsion of hyperbolic manifolds

We show that the L ²-torsion of odd dimensional hyperbolic manifolds, which is proportional to the volume, is non-zero. This proves a conjecture of Lott. Received: 27 March 1998     

Instanton moduli on the quaternion Kähler manifold of type ${\mathbf G_2}$ and singular set

We prove the completeness of an instanton moduli space on quaternion-K?hler manifold . A point in the boundary of the moduli represents an ASD bundle with a particular singular set. It is shown that the singular set is a quaternion submanifold of and the Poincaré dual of the homology class represented by is the second Chern class o f the instanton bundle. Received: 4 July 2000 / Published online: 2 December 2002 Current Address: Faculty of Mathematics, Kyushu University, Ropponmatsu, Fukuoka, 810-8560, Japan (e-mail: nagatomo@math.kyushu-u.ac.jp)     

Pluripolarity of sets with small Hausdorff measure

We show that any set E⊂C ⁿ , n≥ 2, with finite Hausdorff measure? is pluripolar. The result is sharp with respect to the measuring function. The new idea in the proof is to combine a construction from potential theory, related to the real variational integral , , with properties of the pluricomplex relative extremal function for the Bedford–Taylor capacity. Received: 20 May 1999     

Fully discrete spectral boundary integral methods for Helmholtz problems on smooth closed surfaces in ${\mathbb R}^3$

Summary. In this paper we describe and analyse a class of spectral methods, based on spherical polynomial approximation, for second-kind weakly singular boundary integral equations arising from the Helmholtz equation on smooth closed 3D surfaces diffeomorphic to the sphere. Our methods are fully discrete Galerkin methods, based on the application of special quadrature rules for computing the outer and inner integrals arising in the Galerkin matrix entries. For the outer integrals we use, for example, product-Gauss rules. For the inner integrals, a variant of the classical product integration procedure is employed to remove the singularity arising in the kernel. The key to the analysis is a recent result of Sloan and Womersley on the norm of discrete orthogonal projection operators on the sphere. We prove that our methods are stable for continuous data and superalgebraically convergent for smooth data. Our theory includes as a special case a method closely related to one of those proposed by Wienert (1990) for the fast computation of direct and inverse acoustic scattering in 3D. Received May 29, 2000 / Revised version received March 26, 2001/ Published online December 18, 2001