Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient , for certain external subspaces of the hyperfinite dimensional Banach space , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and are isometrically isomorphic as Banach algebras. Research of both authors supported by a grant by VEGA – Scientific Grant Agency of Slovak Republic.     

Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

We establish a close link between the amenability property of a unitary representation p \pi of a group G (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) , where \Bbb S_H {\Bbb S}_{\cal H} is the unit sphere the Hilbert space of representation. We prove that p \pi is amenable if and only if either p \pi contains a finite-dimensional subrepresentation or the maximal uniform compactification of (\Bbb S_p ({\Bbb S}_{\pi} has a G-fixed point. Equivalently, the latter means that the G-space (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) has the concentration property: every finite cover of the sphere \Bbb S_p {\Bbb S}_{\pi} contains a set A such that for every e > 0 \epsilon > 0 the e \epsilon -neighbourhoods of the translations of A by finitely many elements of G always intersect. As a corollary, amenability of p \pi is equivalent to the existence of a G-invariant mean on the uniformly continuous bounded functions on \Bbb S_p {\Bbb S}_{\pi} . As another corollary, a locally compact group G is amenable if and only if for every strongly continuous unitary representation of G in an infinite-dimensional Hilbert space H {\cal H} the system (\Bbb S_H, G) ({\Bbb S}_{\cal H}, G) has the property of concentration.     

On the singularities of residual intertwining operators

Let G be a reductive algebraic group defined over \Bbb Q {\Bbb Q} . Let P, P' be parabolic subgroups of G, defined over \Bbb Q {\Bbb Q} , and let _boxclose_boxclose, a_P') t \in W({\frak a}_{P}, {\frak a}_{P'}) . In this paper we study the intertwining operator M_P￠|P(t,l), l ? \frak a^*_{P,\Bbb C} M_{P' \vert P}(t,\lambda),\,\lambda \in {\frak a}^*_{P,{\Bbb C}} , acting in corresponding spaces of automorphic forms. One of the main results states that each matrix coefficient of M_P￠|P(t,l) M_{P' \vert P}(t,\lambda) is a meromorphic function of order ￡ n + 1 \le n + 1 , where n = dim G. Using this result, we further investigate the rank one intertwining operators, in particular, we study the distribution of their poles.     

Geometric progressions in sumsets over finite fields

Given two sets A, B í \Bbb F_q^d{\cal A}, {\cal B}\subseteq {\Bbb F}_q^d , the set of d dimensional vectors over the finite field \Bbb F_q{\Bbb F}_q with q elements, we show that the sumset A+B = {a+b | a ? A, b ? B}{\cal A}+{\cal B} = \{{\bf a}+{\bf b}\ \vert\ {\bf a} \in {\cal A}, {\bf b} \in {\cal B}\} contains a geometric progression of length k of the form vΛ ^j , where j = 0,…, k − 1, with a nonzero vector v ? \Bbb F_q^d{\bf v} \in {\Bbb F}_q^d and a nonsingular d × d matrix Λ whenever # A # B 3 20 q^2d-2/k\# {\cal A} \# {\cal B} \ge 20 q^{2d-2/k} . We also consider some modifications of this problem including the question of the existence of elements of sumsets on algebraic varieties.     

Graph von Neumann Algebras

In this paper, we will define a graph von Neumann algebra over a fixed von Neumann algebra M, where G is a countable directed graph, by a crossed product algebra = M × _α , where is the graph groupoid of G and α is the graph-representation. After defining a certain conditional expectation from onto its M-diagonal subalgebra we can see that this crossed product algebra is *-isomorphic to an amalgamated free product where = vN(M × _α where is the subset of consisting of all reduced words in {e, e ^–1} and M × _α is a W ^*-subalgebra of as a new graph von Neumann algebra induced by a graph G _e . Also, we will show that, as a Banach space, a graph von Neumann algebra is isomorphic to a Banach space ⊕ where is a certain subset of the set E(G)* of all words in the edge set E(G) of G. The author really appreciates to Prof F. Radulescu and Prof P. Jorgensen for the valuable discussion and kind advice. Also, he appreciates all supports from St. Ambrose Univ.. In particular, he thanks to Prof T. Anderson and Prof V. Vega for the useful conversations and suggestions.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

A Splitting of the Frobenius Morphism on the Whole Algebra of Distributions of SL 2

We define, over k = \BbbF_pk = {\Bbb{F}}_{p}, a splitting of the Frobenius morphism Fr : \textDist (G) ? \textDist (G)Fr : {\text{Dist}}\,(G) \rightarrow {\text{Dist}}\,(G) on the whole \textDist (G){\text{Dist}}\,(G), the algebra of distributions of the k-algebraic group G: = SL ₂. This splitting is compatible (and lifts) the theory of Frobenius descent for arithmetic D{\cal{D}}-modules over X:=\BbbP_k¹X:={\Bbb{P}}_{k}^{1}.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Multipliers of weighted semigroups and associated Beurling Banach algebras

Given a weighted discrete abelian semigroup (S, ω), the semigroup M _ω (S) of ω-bounded multipliers as well as the Rees quotient M _ω (S)/S together with their respective weights [(w)\tilde]\tilde{\omega} and [(w)\tilde]_q\tilde{\omega}_q induced by ω are studied; for a large class of weights ω, the quotient l¹(M_w(S),[(w)\tilde])/l¹(S,w)\ell^1(M_{\omega}(S),\tilde{\omega})/\ell^1(S,{\omega}) is realized as a Beurling algebra on the quotient semigroup M _ω (S)/S; the Gel’fand spaces of these algebras are determined; and Banach algebra properties like semisimplicity, uniqueness of uniform norm and regularity of associated Beurling algebras on these semigroups are investigated. The involutive analogues of these are also considered. The results are exhibited in the context of several examples.     

On products of k atoms

Let H be an atomic monoid. For k ? \Bbb Nk \in {\Bbb N} let V_k (H){\cal V}_k (H) denote the set of all m ? \Bbb Nm \in {\Bbb N} with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets V_k (H){\cal V}_k (H) are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every k ? \Bbb Nk \in {\Bbb N}, max V_2k+1 (H) = k |G|+ 1{\cal V}_{2k+1} (H) = k \vert G\vert + 1 which settles Problem 38 in [4].     

Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I

Let ω,ω ₀ be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WF_FL^q(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FL^q_(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S^(w₀)_r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

Ergodic Subequivalence Relations Induced by a Bernoulli Action

Let Γ be a countable group and denote by S{\mathcal{S}} the equivalence relation induced by the Bernoulli action G\curvearrowright [0, 1]^G{\Gamma\curvearrowright [0, 1]^{\Gamma}}, where [0, 1]^Γ is endowed with the product Lebesgue measure. We prove that, for any subequivalence relation R{\mathcal{R}} of S{\mathcal{S}}, there exists a partition {X _i } _i≥0 of [0, 1]^Γ into R{\mathcal{R}}-invariant measurable sets such that R_|X0{\mathcal{R}_{\vert X_{0}}} is hyperfinite and R_|Xi{\mathcal{R}_{\vert X_{i}}} is strongly ergodic (hence ergodic and non-hyperfinite), for every i ≥ 1.     

Interpolation of Banach Lattices and Factorization of p-Convex and q-Concave Operators

We extend a result of ?estakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction ${{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}We extend a result of Šestakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction X^1-q₀X^q₁{{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}, in the context of abstract Banach lattices. This allows us to prove that an operator between Banach lattices T : E → F which is p-convex and q-concave, factors, for any q ? (0, 1){{{{\theta \in (0, 1)}}}}, as T =  T ₂ T ₁, where T ₂ is ( (\fracpq+ (1 - q)p ){{\left({\frac{p}{{\theta + (1 - \theta)p}}} \right)}}-convex and T ₁ is (\fracq1 - q ){{\left({\frac{q}{{1 - \theta }}} \right)}}-concave.     

Arithmetic mean of differences of Dedekind sums

Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums \frac1j(N) ? _{0 ￡ m < Ngcd(m,N)=1} |S(m,N)|\frac{1}{\varphi(N)} \sum_{\mathop{\mathop{ 0 \le m< N}}\limits_{\gcd(m,N)=1}} \vert S(m,N)\vert , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form A_h(Q)=\frac1?_{\fracaq ? FQ}h(\fracaq) ×?_{\fracaq ? FQ}h(\fracaq) |s(a^￠,q^￠)-s(a,q)|A_{h}(Q)=\frac{1}{\sum_{\frac{a}{q} \in {\cal F}_{Q}}h\left(\frac{a}{q}\right)} \times \sum_{\frac{a}{q} \in {\cal F}_{\!Q}}h\left(\frac{a}{q}\right) \vert s(a^{\prime},q^{\prime})-s(a,q)\vert , where h:[0,1] ? \Bbb Ch:[0,1] \rightarrow {\Bbb C} is a continuous function with ò₀¹ h(t)  d t 1 0\int_0^1 h(t) \, {\rm d} t \ne 0 , \fracaq{\frac{a}{q}} runs over F_Q{\cal F}_{\!Q} , the set of Farey fractions of order Q in the unit interval [0,1] and \fracaq < \fraca^￠q^￠{\frac{a}{q}}<\frac{a^{\prime}}{q^{\prime}} are consecutive elements of F_Q{\cal F}_{\!Q} . We show that the limit lim _Q→∞ A _h (Q) exists and is independent of h.     

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

A Characteristic Property of Injective Holomorphic Germs

Let X ₀ be the germ at 0 of a complex variety and let f: X₀? \Bbb Cⁿ₀f:\ X_0\rightarrow {\Bbb C}^n_0 be a holomorphic germ. We say that f is pseudoimmersive if for any g: \Bbb R₀? X₀g:\ {\Bbb R}_0\rightarrow X_0 such that f °g ? C^￥ f \circ g \in C^{\infty} , we have g ? C^￥g\in C^{\infty} . We prove that f is pseudoimmersive if and only if it is injective. Some results about the real case are also considered.     

AF-Embedding of Crossed Products of Certain Graph C＊-algebras by Quasi-free Actions （II）

Let E be a row-finite directed graph, let G be a locally compact abelian group with dual group Ĝ = Γ, let ω be a labeling map from E* to Γ, and let (C*(E), G, α ^ω ) be the C*-dynamical system defined by ω. Some mappings concerning the AF-embedding construction of C*(E) ×_a^w GC*(E) \times _{\alpha ^\omega } G are studied in more detail. Several necessary conditions of AF-embedding and some properties of almost proper labeling map are obtained. Moreover it is proved that if E is constructed by attaching some 1-loops to a directed graph T consisting of some rooted directed trees and G is compact, then ω is almost proper, that is a sufficient condition for AF-embedding, if and only if Σ _j=1 ^k w_gj 1 1_G\omega _{\gamma _j } \ne 1_\Gamma for any loop γ _i , γ ₂, ..., γ _k attached to one path in T.     

Inverse-preserving Linear Maps Between Spaces of Matrices over Fields

Suppose F is a field different from F2, the field with two elements. Let Mn（F） and Sn（F） be the space of n × n full matrices and the space of n ×n symmetric matrices over F, respectively. For any G1, G2 ∈ {Sn（F）, Mn（F）}, we say that a linear map f from G1 to G2 is inverse-preserving if f（X）^-1 = f（X^-1） for every invertible X ∈ G1. Let L （G1, G2） denote the set of all inverse-preserving linear maps from G1 to G2. In this paper the sets .L（Sn（F）,Mn（F））, L（Sn（F）,Sn（F））, L （Mn（F）,Mn（F）） and L（Mn （F）, Sn （F）） are characterized.