The Hopf algebra Rep U_{q} \widehat{\frak g \frak l}_\infty

We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of in the limitN→∞. The resulting Hopf algebra Rep is a tensor product of its Hopf subalgebras Rep_a ,a ∈ ℂ^×/q^2ℤ. Whenq is generic (resp.,q ² is a primitive root of unity of orderl), we construct an isomorphism between the Hopf algebra Rep _a and the algebra of regular functions on the prounipotent proalgebraic group (resp., ). Whenq is a root of unity, this isomorphism identifies the Hopf subalgebra of Rep _a spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of considered as anl×l matrix over the Taylor series. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver withl vertices) on Rep _a and describe the span of tensor products of evaluation representations taken at fixed points as a module over this Hall algebra.     

Interior superconvergence error estimates for mixed finite element methods for second order elliptic problem

1.IntroductionLetfibeaplanedomainwithsmoothboundaryonandWm,p(fl)betheusualSobolevspaceonnwithnormWhenp=2,pisusuallyomitted.WeshalldenotetheusualinnerproductinL'(fl)orLa(O)'by','),andinL'(ofl)by't').Weshallusethesamenotationstoindicatethedualltiesbetw...     

An example of pointwise non-convergence of iterated conditional expectation operators

Given ∈, we construct a sequence , … of Borel sub-sigma-algebras on the unit interval with the following property. Suppose the identity functionf(x)=x is transformed by successive conditioning on , then , then , Then the lim sup, with respect ton, will exceed (pointwise almost-everywhere) 1−∈ and its lim inf will be less than ∈. The sequence of functions also will fail to converge in the . This contrasts with the long-open conjecture that if all the come from a finite set of sigma-algebras, then the resulting sequence of functions must converge in . J. L. King was partially supported by NSF grant DMS-9112595.     

Functional Identities on Upper Triangular Matrix Algebras

Let , be the algebra of upper triangular r×r matrices over field aF. We describe multilinear maps , where n≤r, such that [f(A,...,A), A]=0 for all , provided that |F| >n + 1. As an application of the results obtained, we describe linear automorphisms θ of such that [θ(A²), θ(A)]=0 for all . Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 74, Algebra-15, 2000.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

Martin boundary of unlimited covering surfaces

LetW be an open Riemann surface and ap-sheeted (1<p<∞) unlimited covering surface ofW. Denote by Δ¹ (resp., ) the minimal Martin boundary ofW (resp., ). For ζ ∈ Δ, let ζ be the (cardinal) number of the set of pionts which lie over ζ and the class of open connected subsetsM ofW such thatM∪{ζ} is a minimal fine neighborhood of ζ. Our main result is the following: , where is the number of components of π^-1 M and π is the projection of ontoW. Moreover, some applications of the above results are discussed whenW is the unit disc.     

Integral-valued rational functions on valued fields

Let K be a field and a non-trivial valuation ring of K withm as its maximal ideal. Denote by and the rings of polynomials f∈K[X] and rational functions f∈K(X) resp. such that . We prove that for one variable X we have if and only if the completion of (K, ) is locally compact or algebraically closed. In the second case—i.e. if K is dense in the algebraic closure of (K, )—we even get for any number of variables X=(X₁,...,X_n). This work contains parts of the second author's thesis [Ri] written under the supervision of the first author.     

Asymptotic expansion of the log-likelihood function based on stopping times defined on a Markov process

Consider the parameter space Θ which is an open subset of ℝ ^k ,k≧1, and for each θ∈Θ, let the r.v.′sY _n ,n=0, 1, ... be defined on the probability space (X,A,P _θ) and take values in a Borel setS of a Euclidean space. It is assumed that the process {Y _n },n≧0, is Markovian satisfying certain suitable regularity conditions. For eachn≧1, let υ _n be a stopping time defined on this process and have some desirable properties. For 0 < τ _n → ∞ asn→∞, set h _n →h ∈R ^k , and consider the log-likelihood function of the probability measure with respect to the probability measure . Here is the restriction ofP _θ to the σ-field induced by the r.v.′sY ₀,Y ₁, ..., . The main purpose of this paper is to obtain an asymptotic expansion of in the probability sense. The asymptotic distribution of , as well as that of another r.v. closely related to it, is obtained under both and . This research was supported by the National Science Foundation, Grant MCS77-09574. Research supported by the National Science Foundation, Grant MCS76-11620.     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Carleson measures and the heat equation

Let { }, where { } is the open unit disk on the complex plane { }. In G, we consider analytic solutions u(t, z) ({ }, { }) of the heat equation 2u_t=u_zz with initial data f(z)=u(0, z) belonging to the Fock space F, i.e., to the space of entire functions square summable with the weight e−|z|2.Conditions on a nonnegative measure μ on G are described under which for all f ∈ F we have { } Bibliography: 17 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 247, 1997, pp. 146–155. Translated by S. V. Kislyakov.     

Approximation of classesC_\infty ^{\bar \psi } by zygmund sumsby zygmund sums

We consider the approximation of functions of the classes of by Zygmund sums. In papticular, we present asymptotic equalities for the quantities under various conditions imposed on functions ψ₁(·) and ψ₂(·). Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 52, No. 6, pp. 856–860, June, 2000.     

Topological and metric product\mathbb{Z}^d -actions and their applications-actions and their applications

We show that for a -action Ψ being the Kronecker sum of a symbolic strictly ergodic -actionT and a Chacon -actionS, the rank (covering number) of Ψ is the same as that forT. Using this result we construct, for a given natural numberr≥2 and a real numberb∈(0,1) withr\b≥1, a -action with rankr, covering numberb and a simple spectrum. On the other hand, for any positive integersr, m with 1≤m≤r≤∞ we construct a -action with rankr and spectral multiplicitym.     

A free boundary problem of type-I superconductivity

1.IntroductionSuperconductorsofTypeIarematerialswhicharecapableofchangingfromthephaseofbeingnormalconductorstoaphasewherethereisnoresistancetothemotionoffreeelections.InnormalconductorphasethenormalizedMaxwellequations(neglectingdisplacementcurrents)aretogetherwithOhm'slawj~acEwhereuistheelectricconductivity.InasuperconductingphaseOhm'slawisnolongervalidandMaxwell'sequationsaresupplemelltedbytheGinzburg-Landaufieldequationsll].Underisothermalconditions,thechangeofphasefromsuperconductingto…     

A local duality theorem for categories of modules

Let Λ be an associative ring with identity and let be the category of left unitary Λ-modules. A subcateqory of the category is said to be small if the pairwise nonisomorphic objects of form a set. The main result of this paper consists of the fact that for every small full subcategory , there exists a ring Γ such that is dual to a small full subcategory of the category . Some applications of this result are indicated. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995, pp. 66–73.     

Invariants of classCk for finite coxeter groups and their representations in terms of anisotropic spaces

This article is devoted to the study of representations of C^k { } functions f invariant with respect to finite Coxeter groups W in the form f=F op, where p is a base in the algebra of W-invariant polynomials. We examine the lowering of smoothness of F as compared with f and conclude that this lowering has an anisotropic nature and that, more precisely, at each point Po it is described by a vector { }. We examine the cases W=A_n, B_n, D_n, { }; in each case the greatest component { } of { } is equal to the Coxeter number of the stabilizer W_yo of the point yo, where po=p(yo). Bibliography: 22 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 247, 1997, pp. 46–70. Translated by S. Yu. Pilyugin.     

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

Zamolodchikov-Faddeev algebras for Yangian doubles at level 1

The representation theory of centrally extended Yangian doubles is investigated. The intertwining operators are constructed for infinite dimensional representations of , which are deformed analogs of the highest weight representations of the affine algebra at level 1. We give bosonized expressions for the intertwining operators and verify that they generate an algebra isomorphic to the Zamolodchikov-Faddeev algebra for the SU(2)-invariant Thirring model. From them, we compose L-operators by Miki’s method and verify that they coincide with L-operators constructed from the universal R-matrix. The matrix elements of the product of these operators are calculated explicitly and are shown to satisfy the quantum (deformed) Knizhnik-Zamolodchikov equation associated with the universal R-matrix for . This paper was written at the request of the Editorial Board. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 110, No. 1, pp. 25–45. January, 1997.     

Blaschke-decomposable convex bodies

For a given centred convex bodyK of ℝ,n≥3, let be the class of all convex bodies with the same projection body asK. The question whetherK can be expressed as a Blaschke average of two non-homothetic bodies from is considered. Necessary and sufficient conditions onK to be Blaschke decomposable in are given. The paper provides also a characterization of the bodiesK such that the Blaschke indecomposable bodies in are dense in itself.     

An optimal bound for high-quality conforming triangulations

This paper shows that, for any plane geometric graph withn vertices, there is a triangulation that conforms to , i.e., each edge of is the union of some edges of , where hasO(n²) vertices with each angle of its triangles measuring no more than 11/15π. Additionally, can be computed inO(n ² logn) time. This research was partially supported by the National University of Singapore under Grant RP940641.     

Pseudo algebraically closed fields over rings

We prove that for almost allσ ∈G ℚ the field has the following property: For each absolutely irreducible affine varietyV of dimensionr and each dominating separable rational mapϕ:V→ there exists a point a ∈ such thatϕ(a) ∈ ℤ^r. We then say that is PAC over ℤ. This is a stronger property then being PAC. Indeed we show that beside the fields other fields which are algebraic over ℤ and are known in the literature to be PAC are not PAC over ℤ.