Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

On the Structure of Solutions of the Moisil-Théodoresco System in Euclidean Space

Let be open, let be the Dirac operator in and let be the Clifford algebra constructed over the quadratic space . If for fixed, denotes the space of r-vectors in , then an -valued smooth function W = W ^r  + W ^r+2 in Ω is said to satisfy the Moisil-Théodoresco system if . In terms of differential forms, this means that the corresponding - valued smooth form w = w ^r  + w ^r+2 satisfies in Ω the system d ^* w ^r = 0, dw ^r  + d ^* w ^r+2 = 0; dw ^r+2 = 0. Based on techniques and results concerning conjugate harmonic functions in the framework of Clifford analysis, a structure theorem is proved for the solutions of the Moisil-Théodoresco system.      

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.     

Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

Reconstruction of Function Fields

For k an algebraic closure of the finite field , ℓ prime distinct from p and X a surface over k, we prove that the field of rational functions k(X) can be recovered from the maximal pro-ℓ-quotient of its absolute Galois group – in fact already from the second central descending series quotient of . Submitted: July 2004, Revision: October 2005, Final revision: February 2008, Accepted: February 2008     

Topological dimensions and multifractal Rényi dimensions of Polish spaces: a multifractal Szpilrajn type theorem

In this paper we consider the relationship between the topological dimension and the lower and upper q-Rényi dimensions and of a Polish space X for q ∈ [1, ∞]. Let and denote the Hausdorff dimension and the packing dimension, respectively. We prove that for all analytic metric spaces X (whose upper box dimension is finite) and all q ∈ (1, ∞); of course, trivially, for all q ∈ [1, ∞]. As a corollary to this we obtain the following result relating the topological dimension and the lower and upper q-Rényi dimensions: for all Polish spaces X and all q ∈ [1, ∞]; in (1) and (2) we have used the following notation, namely, for two metric spaces X and Y, we write X ∼ Y if and only if X is homeomorphic to Y. Equality (1) has recently been proved for q = ∞ by Myjak et al. Author’s address: Department of Mathematics, University of St. Andrews, St. Andrews, Fife KY16 9SS, Scotland     

Geometry in preduals of spaces of 2-homogeneous polynomials on Hilbert spaces

Let H be a (real or complex) Hilbert space. Using spectral theory and properties of the Schatten–Von Neumann operators, we prove that every symmetric tensor of unit norm in is an infinite absolute convex combination of points of the form with x in the unit sphere of the Hilbert space. We use this to obtain explicit characterizations of the smooth points of the unit ball of . D. García and M. Maestre were supported by MEC and FEDER Project MTM2005-08210. B. C. Grecu wishes to acknowledge the financial support of a Marie Curie Intra European Fellowship (MEIF-CT-2005-006958).     

The <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> sphere of a 4-manifold

Let denote the set of even integers . We prove that when H ≥ X ^0.33, almost all integers can be represented as the sum of a prime and the square of a prime. We also prove a similar result for sums of three squares of primes.      

Anisotropic version of a theorem of H. Hopf

Given a positive function F on S ² which satisfies a convexity condition, we define a function for surfaces in which is a generalization of the usual mean curvature function. We prove that an immersed topological sphere in with = constant is the Wulff shape, up to translations and homotheties.      

The $${\overline{\partial}}$$-equation on homogeneous varieties with an isolated singularity

Let X be a regular irreducible variety in , Y the associated homogeneous variety in , and N the restriction of the universal bundle of to X. In the present paper, we compute the obstructions to solving the -equation in the L ^p -sense on Y for 1 ≤  p ≤  ∞ in terms of cohomology groups . That allows to identify obstructions explicitly if X is specified more precisely, for example if it is equivalent to or an elliptic curve.      

On the Multiplicity of Nodal Solutions to a Singularly Perturbed Neumann Problem

We consider the problem

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.     

Critical Nonlinear Nonlocal Equations on a Half-Line

We study nonlinear nonlocal equations on a half-line in the critical case

Convergence of the Iterated Aluthge Transform Sequence for Diagonalizable Matrices II: λ-Aluthge Transform

Let λ ∈ (0, 1) and let T be a r × r complex matrix with polar decomposition T = U|T|. Then the λ-Aluthge transform is defined by

Surfaces with many solitary points

It is classically known that a real cubic surface in cannot have more than one solitary point (or -singularity, locally given by x ² + y ² + z ² = 0) whereas it can have up to four nodes (or -singularity, locally given by x ² + y ² − z ² = 0). We show that on any surface of degree d ≥ 3 in the maximum possible number of solitary points is strictly smaller than the maximum possible number of nodes. Conversely, we adapt a construction of Chmutov to obtain surfaces with many solitary points by using a refined version of Brusotti’s Theorem. Combining lower and upper bounds, we deduce: , where denotes the maximum possible number of solitary points on a real surface of degree d in . Finally, we adapt this construction to get real algebraic surfaces in with many singular points of type for all k ≥ 1.      

On tight projective designs

It is shown that among all tight designs in , where is or , or (quaternions), only 5-designs in (Lyubich, Shatalora Geom Dedicata 86: 169–178, 2001) have irrational angle set. This is the only case of equal ranks of the first and the last irreducible idempotent in the corresponding Bose-Mesner algebra.      

Plurisubharmonic polynomials and bumping

We wish to study the problem of bumping outwards a pseudoconvex, finite-type domain in such a way that pseudoconvexity is preserved and such that the lowest possible orders of contact of the bumped domain with ∂Ω, at the site of the bumping, are explicitly realised. Generally, when , the known methods lead to bumpings with high orders of contact—which are not explicitly known either—at the site of the bumping. Precise orders are known for h-extendible/semiregular domains. This paper is motivated by certain families of non-semiregular domains in . These families are identified by the behaviour of the least-weight plurisubharmonic polynomial in the Catlin normal form. Accordingly, we study how to perturb certain homogeneous plurisubharmonic polynomials without destroying plurisubharmonicity. The first-named author is supported by a grant from the UGC under DSA-SAP, Phase IV.     

Geometric second derivative estimates in Carnot groups and convexity

We prove some new a priori estimates for H ₂-convex functions which are zero on the boundary of a bounded smooth domain Ω in a Carnot group . Such estimates are global and are geometric in nature as they involve the horizontal mean curvature of ∂Ω. As a consequence of our bounds we show that if has step two, then for any smooth H ₂-convex function in vanishing on ∂Ω one has

Push-outs of derivations

Let be a Banach algebra and let X be a Banach -bimodule. In studying (,X) it is often useful to extend a given derivation D: → X to a Banach algebra containing as an ideal, thereby exploiting (or establishing) hereditary properties. This is usually done using (bounded/unbounded) approximate identities to obtain the extension as a limit of operators b ↦ D(ba) − b.D(a), a ε in an appropriate operator topology, the main point in the proof being to show that the limit map is in fact a derivation. In this paper we make clear which part of this approach is analytic and which algebraic by presenting an algebraic scheme that gives derivations in all situations at the cost of enlarging the module. We use our construction to give improvements and shorter proofs of some results from the literature and to give a necessary and sufficient condition that biprojectivity and biflatness is inherited to ideals.     

Plane polynomial automorphisms of fixed multidegree

Let be the group of polynomial automorphisms of the complex affine plane. On one hand, can be endowed with the structure of an infinite dimensional algebraic group (see Shafarevich in Math USSR Izv 18:214–226, 1982) and on the other hand there is a partition of according to the multidegree (see Friedland and Milnor in Ergod Th Dyn Syst 9:67–99, 1989). Let denote the set of automorphisms whose multidegree is equal to d. We prove that is a smooth, locally closed subset of and show some related results. We give some applications to the study of the varieties (resp. ) of automorphisms whose degree is equal to m (resp. is less than or equal to m).