A Group Algebra for Inductive Limit Groups. Continuity Problems of the Canonical Commutation Relations

Given an inductive limit group where each is locally compact, and a continuous two-cocycle , we construct a C^*-algebra group algebra is imbedded in its multiplier algebra , and the representations of are identified with the strong operator continuous of G. If any of these representations are faithful, the above imbedding is faithful. When G is locally compact, is precisely , the twisted group algebra of G, and for these reasons we regard in the general case as a twisted group algebra for G. Applying this construction to the CCR-algebra over an infinite dimensional symplectic space (S,\,B),we realise the regular representations as the representation space of the C^*-algebra , and show that pointwise continuous symplectic group actions on (S,\, B) produce pointwise continuous actions on , though not on the CCR-algebra. We also develop the theory to accommodate and classify 'partially regular' representations, i.e. representations which are strong operator continuous on some subgroup H of G (of suitable type) but not necessarily on G, given that such representations occur in constrained quantum systems.     

Decomposition Numbers and Canonical Bases

We obtain some simple relations between decomposition numbers of quantized Schur algebras at an nth root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a decomposition number for some Hecke algebra of type A. We prove similar relations between coefficients of the canonical basis of the q-deformed Fock space representation of . It follows that these coefficients can all be expressed in terms of those of the global crystal basis of the irreducible subrepresentation generated by the vacuum vector. As a consequence, using the works of Ariki and Varagnolo and Vasserot, it is possible to give a new proof of Lusztig"s character formula for the simple U _v (sl _r )-modules at roots of unity, which does not involve representations of of negative level.     

Conformally Invariant Regularization and Skeleton Expansions in Gauge Theory

We consider a conformally invariant regularization of an Abelian gauge theory in an Euclidean space of even dimension D 4 and regularized skeleton expansions for vertices and higher Green's functions. We set the respective regularized fields and with the scaling dimensions and into correspondence to the gauge field A and Euclidean current j . We postulate special rules for the limiting transition 0. These rules are different for the transversal and longitudinal components of the field and the current . We show that in the limit 0, there appear conformally invariant fields A and j each of which is transformed by a direct sum of two irreducible representations of the conformal group. Removing the regularization, we obtain a well-defined skeleton theory constructed from conformal two- and three-point correlation functions. We consider skeleton equations on the transversal component of the vertex operator and of the spinor propagator in conformal quantum electrodynamics. For simplicity, we restrict the consideration to an Abelian gauge field A , but generalization to a non-Abelian theory is straightforward.     

On Some Entire Modular Forms of an Integral Weight for the Congruence subgroup Γ0(4N)

Four types of entire modular forms of weight are constructed for the congruence subgroup ₀(4N) when s is even. One can find these forms helpful in revealing the arithmetical meaning of additional terms in the formulas for the number of representations of positive integers by positive quadratic forms with integral coefficients in an even number of variables.     

On the Problem of Maximizing the Product of Powers of Conformal Radii Nonoverlapping Domains

A sharp estimate of the product

On Lie Algebras in the Category of Yetter—Drinfeld Modules

The category of Yetter—Drinfeld modules over a Hopf algebra K (with bijective antipode over a field k) is a braided monoidal category. If H is a Hopf algebra in this category then the primitive elements of H do not form an ordinary Lie algebra anymore. We introduce the notion of a (generalized) Lie algebra in such that the set of primitive elements P(H) is a Lie algebra in this sense. Also the Yetter—Drinfeld module of derivations of an algebra A in is a Lie algebra. Furthermore for each Lie algebra in there is a universal enveloping algebra which turns out to be a Hopf algebra in .     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

Extensions of Modules over Hopf Algebras Arising from Lie Algebras of Cartan Type

In this paper we prove that there are no self-extensions of simple modules over restricted Lie algebras of Cartan type. The proof given by Andersen for classical Lie algebras not only uses the representation theory of the Lie algebra, but also representations of the corresponding reductive algebraic group. The proof presented in the paper follows in the same spirit by using the construction of a infinite-dimensional Hopf algebra D(G) u( ) containing u( ) as a normal Hopf subalgebra, and the representation theory of this algebra developed in our previous work. Finite-dimensional hyperalgebra analogs D(G _r ) u( ) have also been constructed, and the results are stated in this setting.     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

Finitely generated relatively universal varieties of Heyting algebras

Given distinct varieties and of the same type, we say that is relatively -universal if there exists an embedding :K from a universal categoryK such that for every pairA, B ofK-objects, a homomorphismf:A B has the formf=_g for someK-morphismg:A B if and only if Im(f) . Finitely generated relatively -universal varieties of Heyting algebras are described for the variety of Boolean algebras, the variety generated by a three element chain, and for the variety generated by the four element Boolean algebra with an added greatest element.Dedicated to the memory of Alan DayPresented by J. Sichler.The support of the NSERC is gratefully acknowledged.     

The fractional parts of a sum of polynomials

LetX=(x ₁,...,x _s ) be a vector ofs real components and , whereP _j (x _j ) are polynomials of exact degree k with real coefficients and without constant terms. The authors extend a result of Davenport and obtain an approximation on f(X) where t means the distance fromt to the nearest integer.     

Investments in stochastic maximum flow networks

Each are (i, j) of the network has capacity _ij where _ij is a non-negative random variable. The capacity of any arc may be reduced increased by an amountu _ij 0 at a cost ofc _ij u _ij . The objective is to maximizev–Kc _ij u _ij wherev is the expected maximum flow. This problem is formulated as a two-stage linear program under uncertainty. Each feasible generates a constraint where is the probability arc (i, j) is in the minimum cut set and the expected value of the maximum flow under . The formulation is later generalized to include certain conditions under which the increase in capacity of an arc may be a non-deterministic function of the investmentc _ij u _ij .     

Special Lagrangian Submanifolds with Isolated Conical Singularities. II. Moduli spaces

This is the second in a series of five papers studying special Lagrangiansubmanifolds (SLV m-folds) X in (almost) Calabi–Yau m-folds M with singularities x ₁ , ..., x _n locally modelled on specialLagrangian cones C ₁, ..., C _n in ^m with isolated singularities at 0.Readers are advised to begin with Paper V.This paper studies the deformation theory of compact SL m-folds X in Mwith conical singularities. We define the moduli space _X of deformations of X in M, and construct a natural topology on it. Then we show that _X is locally homeomorphic to the zeroes of a smooth map : _{X X} between finite-dimensional vector spaces.Here the infinitesimal deformation space _X depends only on the topology of X, and the obstruction space _X only on the cones C ₁, ..., C _n at x ₁, ..., x _n . If the cones C _i are stable then _X is zero, and _X is a smooth manifold. We also extend our results to families of almost Calabi–Yau structures on M.     

Toroidal Lie algebras and vertex representations

The paper describes the theory of the toroidal Lie algebra, i.e. the Lie algebra of polynomial maps of a complex torus ^××^× into a finite-dimensional simple Lie algebra g. We describe the universal central extension t of this algebra and give an abstract presentation for it in terms of generators and relations involving the extended Cartan matrix of g. Using this presentation and vertex operators we obtain a large class of integrable indecomposable representations of t in the case that g is of type A, D, or E. The submodule structure of these indecomposable modules is described in terms of the ideal structure of a suitable commutative associative algebra.To Professor J. Tits for his sixtieth birthday     

Dual vectors and lower bounds for the nearest lattice point problem

We prove that given a point outside a given latticeL then there is a dual vector which gives a fairly good estimate for how far from the lattice the vector is. To be more precise, there is a set of translated hyperplanesH _i, such thatL _iH_i andd( _iH_i)(6n ²+1)^–1 d( ,L).Supported by an IBM fellowship.     

Tensor ideals in the category of tilting modules

We study the tensor category of tilting modules over a quantum groupU _q with divided powers. The setX ₊ of dominant weights is a union of closed alcoves numbered by the elementswW ^f of a certain subset of affine Weyl groupW. G. Lusztig and N. Xi defined a partition ofW ^f into canonical right cells and the right order _R on the set of cells. For a cellAW ^f we consider a full subcategory formed by direct sums of tilting modulesQ() with highest weights . We prove that is a tensor ideal in , generalizing H. Andersen's theorem about the ideal of negligible modules which in our notations is nothing else then . The proof is an application of a recent result by W. Soergel who has computed the characters of tilting modules.This material is based upon work supported by the U.S. Civilian Research and Development Foundation under Award No. RM1-265.     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003