Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

Hopf Algebras of Type <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>, Twistings and the FRT-construction

We study pointed Hopf algebras of the form U(R _Q ), (Faddeev et al., Quantization of Lie groups and Lie algebras. Algebraic Analysis, vol. I, Academic, Boston, MA, pp. 129–139, 1988; Faddeev et al., Quantum groups. Braid group, knot theory and statistical mechanics. Adv. Ser. Math. Phys., vol. 9, World Science, Teaneck, NJ, pp. 97–110, 1989; Larson and Towber, Commun. Algebra 19(12):3295–3345, 1991), where R _Q is the Yang–Baxter operator associated with the multiparameter deformation of GL _n supplied in Artin et al. (Commun. Pure Appl. Math. 44:8–9, 879–895, 1991) and Sudbery (J. Phys. A, 23(15):697–704, 1990). We show that U(R _Q ) is of type A _n in the sense of Andruskiewitsch and Schneider (Adv. Math. 154:1–45, 2000; Pointed Hopf algebras. Recent developments in Hopf Algebras Theory, MSRI Series, Cambridge University Press, Cambridge, 2002). We consider the non-negative part of U(R _Q ) and show that for two sets of parameters, the corresponding Hopf sub-algebras can be obtained from each other by twisting the multiplication if and only if they possess the same groups of grouplike elements. We exhibit families of finite-dimensional Hopf algebras arising from U(R _Q ) with non-isomorphic groups of grouplike elements. We then discuss the case when the quantum determinant is central in A(R _Q ) and show that under some assumptions on the group of grouplike elements, two finite-dimensional Hopf algebras U(R _Q ), U(R _Q′) can be obtained from each other by twisting the comultiplication if and only if In the last part we show that U _Q is always a quotient of a double crossproduct. I wish to thank UIC, where some of the work was done, for hospitality.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

<Emphasis Type="BoldItalic">C</Emphasis>(<Emphasis Type="BoldItalic">X</Emphasis>)-objects in the Category of Semi-affine Lattices

In our previous paper (Hušek and Pulgarín, Topol Appl, doi:, 2009) we characterized the set C(X) of real-valued continuous functions on a topological space X as a real ℓ-group. The present paper weakens the situation to the level of semi-affine lattices.     

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> boundedness for multilinear fractional integral on product spaces

For 0 < α < mn and nonnegative integers n ≥ 2, m ≥ 1, the multilinear fractional integral is defined by

Realizability of the <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript>-distance functions by homology classes of path spaces

In previous papers, we have constructed and studied mappings d _k : M × M → ℝ called the H _k -distance functions. The main result of this paper is a theorem on realizability of the generalized distances d _k (υ, w), υ, w ∈ M, by critical values of the length functional L: Ω(M, υ, w) → ℝ generated by nontrivial homology classes of the space Ω(M, υ, w) of paths joining the points υ and w.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

On representation theorem of <Emphasis Type="Italic">G</Emphasis>-expectations and paths of <Emphasis Type="Italic">G</Emphasis>-Brownian motion

We give a very simple and elementary proof of the existence of a weakly compact family of probability measures {Pθ ： θ∈θ} representing an important sublinear expectation- G-expectation E[·]. We also give a concrete approximation of a bounded continuous function X（ω） by an increasing sequence of cylinder functions Lip（Ω） in order to prove that Cb（Ω） belongs to the completion of Lip（Ω） under the natural norm E[｜·｜].     

Unitarily covariant maps in approximately finite-dimensional <Emphasis Type="Italic">C</Emphasis>*-algebras

We consider maps defined on a real space Asa of all self-adjoint elements of a C*-algebra A commuting with the conjugation by unitaries: F(u* au) = u* F(a)u for any a ∈ A _sa, u ∈ (A). In the case where A is a full matrix algebra, there is a functional realization of these maps (in terms of multivariable functions) and analytical properties of these maps can be expressed in terms of corresponding functions. In the present work, these results are generalized to the class of uniformly hyperfinite C*-algebras and to the algebra of all compact operators in a Hilbert space. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 213–227, 2007.     

Relative <Emphasis Type="Italic">FI</Emphasis>-injective and <Emphasis Type="Italic">FI</Emphasis>-flat modules

Let R be a ring, n a fixed nonnegative integer and FP _n (F _n ) the class of all left (right) R-modules of FP-injective (flat) dimensions at most n. A left R-module M (resp., right R-module F) is called n-FI-injective (resp., n-FI-flat) if Ext ¹(N,M) = 0 (resp., Tor ₁(F,N) = 0) for any N ∈ FP _n . It is shown that a left R-module M over any ring R is n-FI-injective if and only if M is a kernel of an FP _n -precover f: A → B with A injective. For a left coherent ring R, it is proven that a finitely presented right R-module M is n-FI-flat if and only if M is a cokernel of an F _n -preenvelope K → F of a right R-module K with F projective if and only if M ∈^⊥ F _n . These classes of modules are used to construct cotorsion theories and to characterize the global dimension of a ring.     

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

A New Method for Finding the Characteristic Roots of E<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>/E<Subscript><Emphasis Type="Italic">m</Emphasis></Subscript>/1 Queues

In 1953, Smith (Proc Camb Philos Soc 49:449–461, 1953), and, following him, Syski (1960) suggested a method to find the waiting time distribution for one server queues with Erlang-n arrivals and Erlang-m service times by using characteristic roots. Syski shows that these roots can be determined from a very simple equation, but an equation of degree n + m. Syski also shows that almost all of the characteristic roots are complex. In this paper, we derive a set of equations, one for each complex root, which can be solved by Newton’s method using real arithmetic. This method simplifies the programming logic because it avoids deflation and the subsequent polishing of the roots. Using the waiting time distribution, Syski then derived the distribution of the number in the system after a departure. E _n /E _m /1 queues can also formulated as quasi birth-death (QBD) processes, and in this case, the characteristic roots discussed by Syski are closely related to the eigenvalues of the QBD process. The QBD process provides information about the number in system at random times, but they are much more difficult to formulate and solve.     

A Lower Bound of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> Norms in the CLT for Strongly Mixing Random Variables

We derive a lower bound of L _p norms, 1 ⩽ p ⩽ ∞, in the central limit theorem for strongly mixing random variables X ₁,..., X _n with under the boundedness condition ℙ{|X _i | ⩽ M} = 1 with a nonrandom constantM > 0 and condition ∑ _r⩾1 r ²α(r) < ∞, where α(r) are the Rosenblatt strong mixing coefficients. __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 4, pp. 587–602, October–December, 2005.     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

On modules with <Emphasis Type="Italic">d</Emphasis>-Koszul-type submodules

The so-called weakly d-Koszul-type module is introduced and it turns out that each weakly d-Koszul-type module contains a d-Koszul-type submodule. It is proved that, M ∈ W H J^d（A） if and only if M admits a filtration of submodules： 0 belong to U0 belong to U1 belong to ... belong to Up = M such that all Ui/Ui-1 are d-Koszul-type modules, from which we obtain that the finitistic dimension conjecture holds in W H J^d（A） in a special case. Let M ∈ W H J^d（A）. It is proved that the Koszul dual E（M） is Noetherian, Hopfian, of finite dimension in special cases, and E（M） ∈ gr0（E（A））. In particular, we show that M ∈ W H J^d（A） if and only if E（G（M）） ∈ gr0（E（A））, where G is the associated graded functor.     

Factorization of the r-matrix for the quantum algebra <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

We propose a method for construction of the general solution of the Yang–Baxter equation with the U _q (sℓ _n ) symmetry algebra. This method is based on the factorization property of the corresponding L-operator. We present a closed-form expression for the universal R-matrix in the form of a difference operator acting on the space of functions of n(n − 1) variables. Bibliography: 16 titles.