The Farahat-Higman ring of wreath products and Hilbert schemes

We study the structure constants of the class algebra of the wreath products Γ_n associated to an arbitrary finite group Γ with respect to the basis of conjugacy classes. We show that a suitable filtration on gives rise to the graded ring with non-negative integer structure constants independent of n (some of which are computed), which are then encoded in a Farahat-Higman ring . The real conjugacy classes of Γ come to play a distinguished role and are treated in detail in the case when Γ is a subgroup of . The above results provide new insight to the cohomology rings of Hilbert schemes of points on a quasi-projective surface X.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

The ring of quasimodular forms for a cocompact group

We describe the additive structure of the graded ring of quasimodular forms over any discrete and cocompact group Γ⊂PSL(2,R). We show that this ring is never finitely generated. We calculate the exact number of new generators in each weight k. This number is constant for k sufficiently large and equals where I and are the ideals of modular forms and quasimodular forms, respectively, of positive weight. We show that is contained in some finitely generated ring of meromorphic quasimodular forms with i.e., the same order of growth as      

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Compactness via symmetrization

Consider two types of translation-invariant functionals and on , and a sequence of functions f_n whose corresponding symmetric rearrangements are convergent. We show that f_n themselves converge up to translations if either or . These compactness results lead to applications in variational problems and stability problems in stellar dynamics.     

The zero-divisor graph of a reduced ring

In this paper the zero-divisor graph Γ(R) of a commutative reduced ring R is studied. We associate the ring properties of R, the graph properties of Γ(R) and the topological properties of . Cycles in Γ(R) are investigated and an algebraic and a topological characterization is given for the graph Γ(R) to be triangulated or hypertriangulated. We show that the clique number of Γ(R), the cellularity of and the Goldie dimension of R coincide. We prove that when R has the annihilator condition and ; Γ(R) is complemented if and only if is compact. In a semiprimitive Gelfand ring, it turns out that the dominating number of Γ(R) is between the density and the weight of . We show that Γ(R) is not triangulated and the set of centers of Γ(R) is a dominating set if and only if the set of isolated points of is dense in .     

Wavelet frames with irregular matrix dilations and their stability

Let , B and A_j () be real nonsingular n×n matrices, λ_k () be real numbers. In this paper we present a sufficient condition for the system to be a frame for . This sufficient condition also shows the stability of the system with respect to the perturbation of matrix dilation parameters and the perturbation of translation parameters .     

Realizable classes of tetrahedral extensions

Let k be a number field and O_k its ring of integers. Let Γ be the alternating group A₄. Let be a maximal O_k-order in k[Γ] containing O_k[Γ] and its class group. We denote by the set of realizable classes, that is the set of classes such that there exists a Galois extension N/k at most tamely ramified, with Galois group isomorphic to Γ, for which the class of is equal to c, where O_N is the ring of integers of N. In this article we determine and we prove that it is a subgroup of provided that k and the 3rd cyclotomic field of are linearly disjoint, and the class number of k is odd.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

Quasi sure analysis of local times of anticipating smooth semimartingales

Let be the anticipating smooth semimartingale and be its generalized local time. In this paper, we give some estimates about the quasi sure property of Xt and its quadratic variation process t〈X〉. We also study the fractional smoothness of and prove that the quadratic variation process of can be constructed as the quasi sure limit of the form , where is a sequence of subdivisions of [a,b], , i=0,1,…,n².     

Covering numbers of different points in Dvoretzky covering

Consider the Dvoretzky random covering on the circle T with a decreasing length sequence {?n}_n?1 such that . We study, for a given β?0, the set Fβ of points which are asymptotically covered by a number βLn of the first n randomly placed intervals where . Three typical situations arise, delimited by two “phase transitions”, according to is zero, positive-finite or infinite, where . More precisely, if ?n tends to zero rapidly enough so that then, with probability one, dimHFβ=1 for all β?0; if ?n is moderate so that then, with probability one, we have for and Fβ=∅ for where and is the interval consisting of β's such that ; eventually, if ?n is so slow that then, with probability one, F₁=T. This solves a problem raised by L. Carleson in a rather satisfactory fashion.Analogous results are obtained for the Poisson covering of the line, which is studied as a tool.     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.