Constant angle surfaces in $ {\Bbb S}^2\times {\Bbb R} $

In this article we study surfaces in for which the unit normal makes a constant angle with the -direction. We give a complete classification for surfaces satisfying this simple geometric condition.     

Smooth threefolds in ${\Bbb P}^5$ without apparent triple or quadruple points and a quadruple-point formula

For a projective variety X of codimension 2 in defined over the complex number field , it is traditionally said that X has no apparent -ple points if the -secant lines of X do not fill up the ambient projective space , equivalently, the locus of -ple points of a generic projection of X to ${\Bbb P}^{n+1}$ is empty. We show that a smooth threefold in has no apparent triple points if and only if it is contained in a quadric hypersurface. We also obtain an enumerative formula counting the quadrisecant lines of X passing through a general point of and give necessary cohomological conditions for smooth threefolds in without apparent quadruple points. This work is intended to generalize the work of F. Severi [fSe] and A. Aure [Au], where it was shown that a smooth surface in has no triple points if and only if it is either a quintic elliptic scroll or contained in a hyperquadric. Furthermore we give open questions along these lines. Received: 24 January 2000 / Published online: 18 June 2001     

Tameness of Pseudovariety Joins Involving ${\sf R}$

In this paper, we establish several decidability results for pseudovariety joins of the form , where is a subpseudovariety of or the pseudovariety . Here, (resp. ) denotes the pseudovariety of all -trivial (resp. -trivial) semigroups. In particular, we show that the pseudovariety is (completely) κ-tame when is a subpseudovariety of with decidable κ-word problem and is (completely) κ-tame. Moreover, if is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that is also κ-tame. In particular the joins , , , and are decidable. Partial support by FCT, through the Centro de Matemática da Universidade do Porto, is also gratefully acknowledged. Partial support by FCT, through the Centro de Matemática da Universidade do Minho, is also gratefully acknowledged.     

Certain classes of pluricomplex Green functions on ${\mathbb C}^n$

We consider (pluricomplex) Green functions defined on , with logarithmic poles in a finite set and with logarithmic growth at infinity. For certain sets, we describe all the corresponding Green functions. The set of these functions is large and it carries a certain algebraic structure. We also show that for some sets no such Green functions exist. Our results indicate the fact that the set of poles should have certain algebro-geometric properties in order for these Green functions to exist. Received November 24, 1998; in final form April 19, 1999 / Published online July 3, 2000     

Remarks on my paper: packing of incongruent circles on the sphere

The paper [3] contains an upper bound to the weighted density of a packing of circles on the unit sphere with radii from a given finite set. This bound is attained by many packings and has applications to problems of solidity. In the present note it is shown that a certain condition imposed on the set of admissible radii can be removed by modifying the original proof of the theorem.     

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     

${\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.     

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     

Self-similar solutions and large time asymptotics for the dissipative quasi-geostrophic equation

We analyze the well-posedness of the initial value problem for the dissipative quasi-geostrophic equations in the subcritical case. Mild solutions are obtained in several spaces with the right homogeneity to allow the existence of self-similar solutions. While the only small self-similar solution in the strong space is the null solution, infinitely many self-similar solutions do exist in weak- spaces and in a recently introduced [7] space of tempered distributions. The asymptotic stability of solutions is obtained in both spaces, and as a consequence, a criterion of self-similarity persistence at large times is obtained.     

A topological proof of cancellation theorem for ${\vec C}^2$

We give a new proof of the Cancellation Theorem for which says that if V is a smooth complex affine surface such that is isomorphic to then V is isomorphic to The proof is based on the topological method of Mumford-Ramanujam. Received: 2 November 2000 / in final form: 10 September 2001 / Published online: 1 February 2002     

Simultaneous Packing and Covering in the Euclidean Plane

 In this article we study the simultaneous packing and covering constants of two-dimensional centrally symmetric convex domains. Besides an identity result between translative case and lattice case and a general upper bound, exact values for some special domains are determined. Similar to Mahler and Reinhardt’s result about packing densities, we show that the simultaneous packing and covering constant of an octagon is larger than that of a circle. (Received 17 January 2001; in revised form 13 July 2001)     

Homological Invariants for pro- p Grou ps and Some Finitely Presented pro-${\cal C}$ Grou ps

Let G be a finitely presented pro- group with discrete relations. We prove that the kernel of an epimorphism of G to is topologically finitely generated if G does not contain a free pro- group of rank 2. In the case of pro-p groups the result is due to J. Wilson and E. Zelmanov and does not require that the relations are discrete ([15], [17]).For a pro-p group G of type FP_m we define a homological invariant ^m(G) and prove that this invariant determines when a subgroup H of G that contains the commutator subgroup G is itself of type FP_m. This generalises work of J. King for ¹(G) in the case when G is metabelian [9].Both parts of the paper are linked via two conjectures for finitely presented pro-p groups G without free non-cyclic pro-p subgroups. The conjectures suggest that the above conditions on G impose some restrictions on ¹(G) and on the automorphism group of G.Both authors are partially supported by CNPq, Brazil.     

General interpolation on the lattice h{\Bbb Z}^s: Compactly supported fundamental solutions

Summary. In this paper we combine an earlier method developed with K. Jetter on general cardinal interpolation with constructions of compactly supported solutions for cardinal interpolation to gain compactly supported fundamental solutions for the general interpolation problem. The general interpolation problem admits the interpolation of the functional and derivative values under very weak restrictions on the derivatives to be interpolated. In the univariate case, some known general constructions of compactly supported fundamental solutions for cardinal interpolation are discussed together with algorithms for their construction that make use of MAPLE. Another construction based on finite decomposition and reconstruction for spline spaces is also provided. Ideas used in the latter construction are lifted to provide a general construction of compactly supported fundamental solutions for cardinal interpolation in the multivariate case. Examples are provided, several in the context of some general interpolation problem to illustrate how easy is the transition from cardinal interpolation to general interpolation. Received May 11, 1993 / Revised version received August 16, 1994     

The Segal Algebra {\bf S}_0({\Bbb R}^d) and Norm Summability of Fourier Series and Fourier Transforms

A general summability method, the so-called θ-summability is considered for multi-dimensional Fourier series. Equivalent conditions are derived for the uniform and L ₁-norm convergence of the θ-means σ _n ^θ f to the function f. If f is in a homogeneous Banach space, then the preceeding convergence holds in the norm of the space. In case θ is an element of Feichtinger’s Segal algebra , then these convergence results hold. Some new sufficient conditions are given for θ to be in . A long list of concrete special cases of the θ-summation is listed. The same results are also provided in the context of Fourier transforms, indicating how proofs have to be changed in this case. This research was supported by Lise Meitner fellowship No M733-N04 and the Hungarian Scientific Research Funds (OTKA) No T043769, T047128, T047132.