Analytic models for commuting operator tuples on bounded symmetric domains

For a domain in and a Hilbert space of analytic functions on which satisfies certain conditions, we characterize the commuting -tuples of operators on a separable Hilbert space  such that is unitarily equivalent to the restriction of to an invariant subspace, where is the operator -tuple on the Hilbert space tensor product  . For the unit disc and the Hardy space , this reduces to a well-known theorem of Sz.-Nagy and Foias; for a reproducing kernel Hilbert space on such that the reciprocal of its reproducing kernel is a polynomial in and  , this is a recent result of Ambrozie, Müller and the second author. In this paper, we extend the latter result by treating spaces for which ceases to be a polynomial, or even has a pole: namely, the standard weighted Bergman spaces (or, rather, their analytic continuation) on a Cartan domain corresponding to the parameter in the continuous Wallach set, and reproducing kernel Hilbert spaces for which is a rational function. Further, we treat also the more general problem when the operator is replaced by ,  being a certain generalization of a unitary operator tuple. For the case of the spaces on Cartan domains, our results are based on an analysis of the homogeneous multiplication operators on , which seems to be of an independent interest.

     

An extension theorem for separately holomorphic functions with pluripolar singularities

Let be a pseudoconvex domain and let be a locally pluriregular set, . Put

Let be an open neighborhood of and let be a relatively closed subset of . For let be the set of all for which the fiber is not pluripolar. Assume that are pluripolar. Put

Then there exists a relatively closed pluripolar subset of the ``envelope of holomorphy' of such that:

,

for every function separately holomorphic on there exists exactly one function holomorphic on with on , and

is singular with respect to the family of all functions .

     

Limits of interpolatory processes

Given distinct real numbers and a positive approximation of the identity , which converges weakly to the Dirac delta measure as goes to zero, we investigate the polynomials which solve the interpolation problem

with prescribed data . More specifically, we are interested in the behavior of when the data is of the form for some prescribed function . One of our results asserts that if is sufficiently nice and has sufficiently well-behaved moments, then converges to a limit which can be completely characterized. As an application we identify the limits of certain fundamental interpolatory splines whose knot set is , where is an arbitrary finite subset of the integer lattice , as their degree goes to infinity.

     

Hyperbolic mean growth of bounded holomorphic functions in the ball

We consider the hyperbolic Hardy class , . It consists of holomorphic in the unit complex ball for which and

where denotes the hyperbolic distance of the unit disc. The hyperbolic version of the Littlewood-Paley type -function and the area function are defined in terms of the invariant gradient of , and membership of is expressed by the property of the functions. As an application, we can characterize the boundedness and the compactness of the composition operator , defined by , from the Bloch space into the Hardy space .

     

On the inversion of the convolution and Laplace transform

We present a new inversion formula for the classical, finite, and asymptotic Laplace transform of continuous or generalized functions . The inversion is given as a limit of a sequence of finite linear combinations of exponential functions whose construction requires only the values of evaluated on a Müntz set of real numbers. The inversion sequence converges in the strongest possible sense. The limit is uniform if is continuous, it is in if , and converges in an appropriate norm or Fréchet topology for generalized functions . As a corollary we obtain a new constructive inversion procedure for the convolution transform ; i.e., for given and we construct a sequence of continuous functions such that .

     

Hyperbolic -spheres with conical singularities, accessory parameters and Kähler metrics on

We show that the real-valued function on the moduli space of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic -sphere with conical singularities of arbitrary orders , generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kähler metrics on parameterized by the set of orders , explicitly relate accessory parameters to these metrics, and prove that the functions are their Kähler potentials.

     

The -module structure of -modules

Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.

     

Monomial bases for -Schur algebras

Using the Beilinson-Lusztig-MacPherson construction of the quantized enveloping algebra of and its associated monomial basis, we investigate -Schur algebras as ``little quantum groups". We give a presentation for and obtain a new basis for the integral -Schur algebra , which consists of certain monomials in the original generators. Finally, when , we interpret the Hecke algebra part of the monomial basis for in terms of Kazhdan-Lusztig basis elements.

     

On the capacity of sets of divergence associated with the spherical partial integral operator

In this article, we study the pointwise convergence of the spherical partial integral operator when it is applied to functions with a certain amount of smoothness. In particular, for , , , we prove that -quasieverywhere on , where is such that almost everywhere. A weaker version of this result in the range as well as some related localisation principles are also obtained. For and , we construct a function such that diverges everywhere.

     

On one-dimensional self-similar tilings and -tiles

Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.

We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.

     

Maximal functions with polynomial densities in lacunary directions

Given a real polynomial in one variable such that , we consider the maximal operator in ,

0\,,\,i,j\in \mathbb{Z}}\frac{1... ...t f\big (x_{1}-2^{i}p(t),x_{2}-2^{j}p(t)\big )\big \vert\,dt . \end{displaymath}">

We prove that is bounded on for 1$"> with bounds that only depend on the degree of .

     

Extensions for finite Chevalley groups II

Let be a semisimple simply connected algebraic group defined and split over the field with elements, let be the finite Chevalley group consisting of the -rational points of where , and let be the th Frobenius kernel. The purpose of this paper is to relate extensions between modules in and with extensions between modules in . Among the results obtained are the following: for 2$"> and , the -extensions between two simple -modules are isomorphic to the -extensions between two simple -restricted -modules with suitably ``twisted" highest weights. For , we provide a complete characterization of where and is -restricted. Furthermore, for , necessary and sufficient bounds on the size of the highest weight of a -module are given to insure that the restriction map is an isomorphism. Finally, it is shown that the extensions between two simple -restricted -modules coincide in all three categories provided the highest weights are ``close" together.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

The Dirichlet problem and nondivergence harmonic measure

We consider the Dirichlet problem

for two second-order elliptic operators , , in a bounded Lipschitz domain . The coefficients belong to the space of bounded mean oscillation with a suitable small modulus. We assume that is regular in for some , , that is, for all continuous boundary data . Here is the surface measure on and is the nontangential maximal operator. The aim of this paper is to establish sufficient conditions on the difference of the coefficients that will assure the perturbed operator to be regular in for some , .

     

Serre's generalization of Nagao's theorem: An elementary approach

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

     

Fixed points of commuting holomorphic mappings other than the Wolff point

Let be the unit disc of and let be such that . For 1$">, let . We study the behavior of on . In particular, we prove that . As a consequence, besides conditions for , we prove a conjecture of C. Cowen in case and are univalent mappings.

     

On the minimal free resolution of general forms

Let and let be the ideal of generically chosen forms of degrees . We give the precise graded Betti numbers of in the following cases:

• ;
• and is even;
• , is odd and ;
• is even and all generators have the same degree, , which is even;
• is even and ;
• is odd, is even, and .

We give very good bounds on the graded Betti numbers in many other cases. We also extend a result of M. Boij by giving the graded Betti numbers for a generic compressed Gorenstein algebra (i.e., one for which the Hilbert function is maximal, given and the socle degree) when is even and the socle degree is large. A recurring theme is to examine when and why the minimal free resolution may be forced to have redundant summands. We conjecture that if the forms all have the same degree, then there are no redundant summands, and we present some evidence for this conjecture.

     

The co-area formula for Sobolev mappings

We extend Federer's co-area formula to mappings belonging to the Sobolev class , , m$">, and more generally, to mappings with gradient in the Lorentz space . This is accomplished by showing that the graph of in is a Hausdorff -rectifiable set.

     

Another way to say harmonic

It is known that solutions of , that is, the -harmonic functions, are exactly those functions having a comparison property with respect to the family of translates of the radial solutions . We establish a more difficult linear result: a function in is harmonic if it has the comparison property with respect to sums of translates of the radial harmonic functions for and for . An attempt to generalize these results for () and () to the general -Laplacian leads to the fascinating discovery that certain sums of translates of radial -superharmonic functions are again -superharmonic. Mystery remains: the class of -superharmonic functions so constructed for does not suffice to characterize -subharmonic functions.

     

Galois coverings of selfinjective algebras by repetitive algebras

In the representation theory of selfinjective artin algebras an important role is played by selfinjective algebras of the form where is the repetitive algebra of an artin algebra and is an admissible group of automorphisms of . If is of finite global dimension, then the stable module category of finitely generated -modules is equivalent to the derived category of bounded complexes of finitely generated -modules. For a selfinjective artin algebra , an ideal and , we establish a criterion for to admit a Galois covering with an infinite cyclic Galois group . As an application we prove that all selfinjective artin algebras whose Auslander-Reiten quiver has a non-periodic generalized standard translation subquiver closed under successors in are socle equivalent to the algebras , where is a representation-infinite tilted algebra and is an infinite cyclic group of automorphisms of .