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.     

On a graph related to permutability in finite groups

For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes ${\mathcal {A}, \mathcal {B}}For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes A, B{\mathcal {A}, \mathcal {B}} are joined by an edge if for some A ? A, B ? B A{A \in \mathcal {A},\, B \in \mathcal {B}\, A} and B permute. We characterise those groups G for which Γ(G) is complete.     

Topology and Smooth Structure for Pseudoframes

Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets F_S{\mathcal{F}_\mathcal{S}} of pseudo-frames, CF_S{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakX_S{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({f_n}_{n ? \mathbbN},{h_n}_{n ? \mathbbN}){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},

F:l2? H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,      4. Actions of symbolic dynamical systems on C*-algebras. II. Simplicity of C*-symbolic crossed products and some examples      Kengo Matsumoto 《Mathematische Zeitschrift》2010,265(4):735-760 A C*-symbolic dynamical system ${(\mathcal{A}, \rho, \Sigma)}A C*-symbolic dynamical system (A, r, S){(\mathcal{A}, \rho, \Sigma)} consists of a unital C*-algebra A{\mathcal{A}} and a finite family { ra }a ? S{\{ \rho_\alpha \}_{\alpha \in \Sigma}} of endomorphisms ρ α of A{\mathcal{A}} indexed by symbols α of Σ satisfying some conditions. The endomorphisms ra, a ? S{\rho_\alpha, \alpha \in \Sigma } yield both a subshift Λ and a C*-algebra of a Hilbert C*-bimodule. The obtained C*-algebra is regarded as a crossed product of A{\mathcal{A}} by the subshift Λ. We will study simplicity condition of these C*-algebras. Some examples such as irrational rotation Cuntz–Krieger algebras will be studied.      5. On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}      Jean Bourgain  Alex Kontorovich 《Geometric And Functional Analysis》2010,20(5):1144-1174 Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v0, w0 ? \mathbb Z2  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv0g, w0?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R2{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N1-e0{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.      6. On the Right (Left) Invertible Completions for Operator Matrices      Guojun Hai  Alatancang Chen 《Integral Equations and Operator Theory》2010,67(1):79-93 Let ${\mathcal {H}_{1}}Let H1{\mathcal {H}_{1}} and H2{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H1), B ? B(H2){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H2, H1){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H1, H2){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.      7. Projection decomposition in multiplier algebras      Victor Kaftal  P. W. Ng  Shuang Zhang 《Mathematische Annalen》2012,352(3):543-566 In this paper we present new structural information about the multiplier algebra M (A ){\mathcal M (\mathcal A )} of a σ-unital purely infinite simple C*-algebra A{\mathcal {A}}, by characterizing the positive elements A ? M (A ){A\in \mathcal M (\mathcal A )} that are strict sums of projections belonging to A{\mathcal A } . If A ? A{A\not\in \mathcal {A}} and A itself is not a projection, then the necessary and sufficient condition for A to be a strict sum of projections belonging to A{\mathcal {A} } is that ${\|A\| >1 }${\|A\| >1 } and that the essential norm ||A||ess 3 1{\|A\|_{ess} \geq 1}. Based on a generalization of the Perera–Rordam weak divisibility of separable simple C*-algebras of real rank zero to all σ-unital simple C*-algebras of real rank zero, we show that every positive element of A{\mathcal {A}} with norm >1 can be approximated by finite sums of projections. Based on block tri-diagonal approximations, we decompose any positive element A ? M (A ){A\in \mathcal M (\mathcal {A} )} with ${\| A\| >1 }${\| A\| >1 } and || A||ess 3 1{\| A\|_{ess} \geq 1} into a strictly converging sum of positive elements in A{\mathcal A} with norm >1.      8. Counting Ω-ideals      Igor V. Protasov 《Algebra Universalis》2009,62(4):339-343 Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(An) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 22à0{2^{2^{\aleph_0}}} Ω-ideals in P\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.      9. Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces      Nalini Anantharaman  Steve Zelditch 《Mathematische Annalen》2012,353(4):1103-1156 We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group eit \frac\triangle2{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X Γ of a compact hyperbolic surface X Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution WGj,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces HPS{\mathcal H_{PS}} (whose dual is spanned by {PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}}}), resp. HW{\mathcal H_W} (whose dual is spanned by {WGj,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from HW ? HPS.{\mathcal H_{W} \to \mathcal H_{PS}.}      10. On the Second Cohomology of K?hler Groups      Bruno Klingler  Vincent Koziarz  Julien Maubon 《Geometric And Functional Analysis》2011,21(2):419-442 Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H2(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.      11. Closed-Range Composition Operators on {\mathbb{A}^2} and the Bloch Space      John R. Akeroyd  Pratibha G. Ghatage  Maria Tjani 《Integral Equations and Operator Theory》2010,68(4):503-517 For any analytic self-map j{\varphi} of {z : |z| <  1} we give four separate conditions, each of which is necessary and sufficient for the composition operator Cj{C_{\varphi}} to be closed-range on the Bloch space B{\mathcal{B}} . Among these conditions are some that appear in the literature, where we provide new proofs. We further show that if Cj{C_{\varphi}} is closed-range on the Bergman space \mathbbA2{\mathbb{A}^2} , then it is closed-range on B{\mathcal{B}} , but that the converse of this fails with a vengeance. Our analysis involves an extension of the Julia-Carathéodory Theorem.      12. Polynomial Basins of Infinity      Laura DeMarco  Kevin M. Pilgrim 《Geometric And Functional Analysis》2011,21(4):920-950 We study the projection p: Md ? Bd{\pi : \mathcal{M}_d \rightarrow \mathcal{B}_d} which sends an affine conjugacy class of polynomial f : \mathbbC ? \mathbbC{f : \mathbb{C} \rightarrow \mathbb{C}} to the holomorphic conjugacy class of the restriction of f to its basin of infinity. When Bd{\mathcal{B}_d} is equipped with a dynamically natural Gromov–Hausdorff topology, the map π becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of π are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.      13. Numerical properties of isotrivial fibrations      Francesco Polizzi 《Geometriae Dedicata》2010,147(1):323-355 In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations j: X ? C{\varphi : X \longrightarrow C}, where X is a smooth, projective surface and C is a curve. In particular we prove that, if g(C) ≥ 1 and X is neither ruled nor isomorphic to a quasi-bundle, then KX2 ￡ 8 c(OX)-2{K_X^2 \leq 8 \chi(\mathcal{O}_X)-2} ; this inequality is sharp and if equality holds then X is a minimal surface of general type whose canonical model has precisely two ordinary double points as singularities. Under the further assumption that K X is ample, we obtain KX2 ￡ 8c(OX)-5{K_X^2 \leq 8\chi(\mathcal{O}_X)-5} and the inequality is also sharp. This improves previous results of Serrano and Tan.      14. Ideals of a C *-algebra generated by an operator algebra      Kate Juschenko 《Mathematische Zeitschrift》2010,266(3):693-705 In this paper, we consider ideals of a C *-algebra C*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K −1. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C *-algebra which is a completion of the *-double of M2(\mathbbC){M_2(\mathbb{C})} .      15. Averaging of directional derivatives in vertices of nonobtuse regular triangulations      Josef Dalík 《Numerische Mathematik》2010,116(4):619-644 For a shape-regular triangulation ${\mathcal{T}_h}For a shape-regular triangulation _h{\mathcal{T}_h} without obtuse angles of a bounded polygonal domain W ì ?2{\Omega\subset\Re^2} , let Lh{\mathcal L_h} be the space of continuous functions linear on the triangles from Th{\mathcal{T}_h} and Π h the interpolation operator from C([`(W)]){C(\overline\Omega)} to Lh{\mathcal L_h} . This paper is devoted to the following classical problem: Find a second-order approximation of the derivative ?u/?z(a){\partial u/\partial z(a)} in a direction z of a function u ? C3([`(W)]){u\in C^3(\overline\Omega)} in a vertex a in the form of a linear combination of the constant directional derivatives ?Ph(u)/?z{\partial \Pi_h(u)/\partial z} on the triangles surrounding a. An effective procedure for such an approximation is presented, its error is proved to be of the size O(h 2), an operator Wh: Lh?Lh×Lh{\mbox{W}_h: \mathcal L_h\longrightarrow\mathcal L_h\times\mathcal L_h} relating a second-order approximation W h [Π h (u)] of ?u{\nabla u} to every u ? C3([`(W)]){u\in C^3(\overline\Omega)} is constructed and shown to be a so-called recovery operator. The accuracy of the presented approximation is compared with the accuracies of the local approximations by other known techniques numerically.      16. Pan-H-Linked Graphs      Michael Ferrara  Colton Magnant  Jeffrey Powell 《Graphs and Combinatorics》2010,26(2):225-242 Let H be a multigraph, possibly containing loops. An H-subdivision is any simple graph obtained by replacing the edges of H with paths of arbitrary length. Let H be an arbitrary multigraph of order k, size m, n 0(H) isolated vertices and n 1(H) vertices of degree one. In Gould and Whalen (Graphs Comb. 23:165–182, 2007) it was shown that if G is a simple graph of order n containing an H-subdivision H{\mathcal{H}} and d(G) 3 \fracn+m-k+n1(H)+2n0(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}}, then G contains a spanning H-subdivision with the same ground set as H{\mathcal{H}} . As a corollary to this result, the authors were able to obtain Dirac’s famed theorem on hamiltonian graphs; namely that if G is a graph of order n ≥ 3 with d(G) 3 \fracn2{\delta(G)\ge\frac{n}{2}} , then G is hamiltonian. Bondy (J. Comb. Theory Ser. B 11:80–84, 1971) extended Dirac’s theorem by showing that if G satisfied the condition d(G) 3 \fracn2{\delta(G) \ge \frac{n}{2}} then G was either pancyclic or a complete bipartite graph. In this paper, we extend the result from Gould and Whalen (Graphs Comb. 23:165–182, 2007) in a similar manner. An H-subdivision H{\mathcal{H}} in G is 1-extendible if there exists an H-subdivision H*{\mathcal{H}^{*}} with the same ground set as H{\mathcal{H}} and |H*| = |H| + 1{|\mathcal{H}^{*}| = |\mathcal{H}| + 1} . If every H-subdivision in G is 1-extendible, then G is pan-H-linked. We demonstrate that if H is sufficiently dense and G is a graph of large enough order n such that d(G) 3 \fracn+m-k+n1(H)+2n0(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}} , then G is pan-H-linked. This result is sharp.      17. Small clones and the projection property      Maurice Pouzet  Ivo G. Rosenberg 《Algebra Universalis》2010,63(1):37-44 In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a “small” clone of one of the five types. From it we deduce, in part, an earlier result, namely that if ${\mathcal{C}}In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a “small” clone of one of the five types. From it we deduce, in part, an earlier result, namely that if C{\mathcal{C}} is a clone on a universe A with at least two elements that contains all constant operations, then all binary idempotent operations are projections and some m-ary idempotent operation is not a projection for some m ≥ 3 if and only if there is a boolean group G on A for which C{\mathcal{C}} is the set of all operations f(x 1, . . . , x n ) of the form a + ?i ? Ixia + {\sum_{i \in I}x_{i}} for a ? A{a \in A} and I í {1, . . . ,n}{I \subseteq \{1,\,.\,.\,.\,,n\}}.      18. The Ground State and the Long-Time Evolution in the CMC Einstein Flow      Martin Reiris 《Annales Henri Poincare》2010,10(8):1559-1604 Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)3Volg(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by Vinf=(\frac-16Y(S))\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g i , K i )} satisfying: (i) k i  = −3, (ii) Viˉ Vinf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q 0((g i , K i )) ≤ Λ, where Q 0 is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)2g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E1)\tilde]=E1(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E1=Q0+Q1{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ Vinf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.      19. Singularities of secant maps of immersed surfaces      Sunayana Ghosh  Joachim H. Rieger 《Geometriae Dedicata》2006,121(1):73-87 The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion $X\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c}The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion X:\mathbb Rn ? \mathbb Rn+cX\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c} at the diagonal in the source is a \mathbb Z2{\mathbb Z}_2 stable map-germ \mathbb R2n ? \mathbb Rn+c-1{\mathbb R}^{2n} \to {\mathbb R}^{n+c-1} in the following cases: (i) c≥ 2 and (2n,n + c − 1) is a pair of dimensions for which the \mathbb Z2{\mathbb Z}_2 stable germs of rank at least n are dense, and (ii) for generically immersed surfaces (i.e., n = 2 and any c≥ 1). In the latter surface case the A\mathbb Z2{\mathcal A}^{{\mathbb Z}_2}-classification of germs of secant maps at the diagonal is described and it is related to the A{\mathcal A}-classification of certain singular projections of the surfaces.      20. On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$      Christophe Dupont 《Mathematische Annalen》2011,349(3):509-528 Let f be an endomorphism of \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ 1, . . . , λ k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dimHm 3 [(log d)/(l1)] + [(log d)/(l2)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f n in \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f n .

Actions of symbolic dynamical systems on C*-algebras. II. Simplicity of C*-symbolic crossed products and some examples

A C*-symbolic dynamical system ${(\mathcal{A}, \rho, \Sigma)}A C*-symbolic dynamical system (A, r, S){(\mathcal{A}, \rho, \Sigma)} consists of a unital C*-algebra A{\mathcal{A}} and a finite family { r_a }_{a ? S}{\{ \rho_\alpha \}_{\alpha \in \Sigma}} of endomorphisms ρ _α of A{\mathcal{A}} indexed by symbols α of Σ satisfying some conditions. The endomorphisms r_a, a ? S{\rho_\alpha, \alpha \in \Sigma } yield both a subshift Λ and a C*-algebra of a Hilbert C*-bimodule. The obtained C*-algebra is regarded as a crossed product of A{\mathcal{A}} by the subshift Λ. We will study simplicity condition of these C*-algebras. Some examples such as irrational rotation Cuntz–Krieger algebras will be studied.     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.     

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

Projection decomposition in multiplier algebras

In this paper we present new structural information about the multiplier algebra M (A ){\mathcal M (\mathcal A )} of a σ-unital purely infinite simple C*-algebra A{\mathcal {A}}, by characterizing the positive elements A ? M (A ){A\in \mathcal M (\mathcal A )} that are strict sums of projections belonging to A{\mathcal A } . If A ? A{A\not\in \mathcal {A}} and A itself is not a projection, then the necessary and sufficient condition for A to be a strict sum of projections belonging to A{\mathcal {A} } is that ${\|A\| >1 }${\|A\| >1 } and that the essential norm ||A||_ess 3 1{\|A\|_{ess} \geq 1}. Based on a generalization of the Perera–Rordam weak divisibility of separable simple C*-algebras of real rank zero to all σ-unital simple C*-algebras of real rank zero, we show that every positive element of A{\mathcal {A}} with norm >1 can be approximated by finite sums of projections. Based on block tri-diagonal approximations, we decompose any positive element A ? M (A ){A\in \mathcal M (\mathcal {A} )} with ${\| A\| >1 }${\| A\| >1 } and || A||_ess 3 1{\| A\|_{ess} \geq 1} into a strictly converging sum of positive elements in A{\mathcal A} with norm >1.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces

We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group e^{it \frac\triangle2}{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X _Γ of a compact hyperbolic surface X _Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution W^G_j,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces H_PS{\mathcal H_{PS}} (whose dual is spanned by {PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}}}), resp. H_W{\mathcal H_W} (whose dual is spanned by {W^G_j,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from H_W ? H_PS.{\mathcal H_{W} \to \mathcal H_{PS}.}     

On the Second Cohomology of K?hler Groups

Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H²(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.     

Closed-Range Composition Operators on {\mathbb{A}^2} and the Bloch Space

For any analytic self-map j{\varphi} of {z : |z| <  1} we give four separate conditions, each of which is necessary and sufficient for the composition operator C_j{C_{\varphi}} to be closed-range on the Bloch space B{\mathcal{B}} . Among these conditions are some that appear in the literature, where we provide new proofs. We further show that if C_j{C_{\varphi}} is closed-range on the Bergman space \mathbbA²{\mathbb{A}^2} , then it is closed-range on B{\mathcal{B}} , but that the converse of this fails with a vengeance. Our analysis involves an extension of the Julia-Carathéodory Theorem.     

Polynomial Basins of Infinity

We study the projection p: M_d ? B_d{\pi : \mathcal{M}_d \rightarrow \mathcal{B}_d} which sends an affine conjugacy class of polynomial f : \mathbbC ? \mathbbC{f : \mathbb{C} \rightarrow \mathbb{C}} to the holomorphic conjugacy class of the restriction of f to its basin of infinity. When B_d{\mathcal{B}_d} is equipped with a dynamically natural Gromov–Hausdorff topology, the map π becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of π are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.     

Numerical properties of isotrivial fibrations

In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations j: X ? C{\varphi : X \longrightarrow C}, where X is a smooth, projective surface and C is a curve. In particular we prove that, if g(C) ≥ 1 and X is neither ruled nor isomorphic to a quasi-bundle, then K_X² ￡ 8 c(O_X)-2{K_X^2 \leq 8 \chi(\mathcal{O}_X)-2} ; this inequality is sharp and if equality holds then X is a minimal surface of general type whose canonical model has precisely two ordinary double points as singularities. Under the further assumption that K _X is ample, we obtain K_X² ￡ 8c(O_X)-5{K_X^2 \leq 8\chi(\mathcal{O}_X)-5} and the inequality is also sharp. This improves previous results of Serrano and Tan.     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

Averaging of directional derivatives in vertices of nonobtuse regular triangulations

For a shape-regular triangulation ${\mathcal{T}_h}For a shape-regular triangulation _h{\mathcal{T}_h} without obtuse angles of a bounded polygonal domain W ì ?²{\Omega\subset\Re^2} , let L_h{\mathcal L_h} be the space of continuous functions linear on the triangles from T_h{\mathcal{T}_h} and Π _h the interpolation operator from C([`(W)]){C(\overline\Omega)} to L<sub>h</sub>{\mathcal L_h} . This paper is devoted to the following classical problem: Find a second-order approximation of the derivative ?u/?z(a){\partial u/\partial z(a)} in a direction z of a function u ? C<sup>3</sup>([`(W)]){u\in C^3(\overline\Omega)} in a vertex a in the form of a linear combination of the constant directional derivatives ?P_h(u)/?z{\partial \Pi_h(u)/\partial z} on the triangles surrounding a. An effective procedure for such an approximation is presented, its error is proved to be of the size O(h ²), an operator W_h: L_h?L_h×L_h{\mbox{W}_h: \mathcal L_h\longrightarrow\mathcal L_h\times\mathcal L_h} relating a second-order approximation W _h [Π _h (u)] of ?u{\nabla u} to every u ? C³([`(W)]){u\in C^3(\overline\Omega)} is constructed and shown to be a so-called recovery operator. The accuracy of the presented approximation is compared with the accuracies of the local approximations by other known techniques numerically.     

Pan-H-Linked Graphs

Let H be a multigraph, possibly containing loops. An H-subdivision is any simple graph obtained by replacing the edges of H with paths of arbitrary length. Let H be an arbitrary multigraph of order k, size m, n ₀(H) isolated vertices and n ₁(H) vertices of degree one. In Gould and Whalen (Graphs Comb. 23:165–182, 2007) it was shown that if G is a simple graph of order n containing an H-subdivision H{\mathcal{H}} and d(G) 3 \fracn+m-k+n₁(H)+2n₀(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}}, then G contains a spanning H-subdivision with the same ground set as H{\mathcal{H}} . As a corollary to this result, the authors were able to obtain Dirac’s famed theorem on hamiltonian graphs; namely that if G is a graph of order n ≥ 3 with d(G) 3 \fracn2{\delta(G)\ge\frac{n}{2}} , then G is hamiltonian. Bondy (J. Comb. Theory Ser. B 11:80–84, 1971) extended Dirac’s theorem by showing that if G satisfied the condition d(G) 3 \fracn2{\delta(G) \ge \frac{n}{2}} then G was either pancyclic or a complete bipartite graph. In this paper, we extend the result from Gould and Whalen (Graphs Comb. 23:165–182, 2007) in a similar manner. An H-subdivision H{\mathcal{H}} in G is 1-extendible if there exists an H-subdivision H^*{\mathcal{H}^{*}} with the same ground set as H{\mathcal{H}} and |H^*| = |H| + 1{|\mathcal{H}^{*}| = |\mathcal{H}| + 1} . If every H-subdivision in G is 1-extendible, then G is pan-H-linked. We demonstrate that if H is sufficiently dense and G is a graph of large enough order n such that d(G) 3 \fracn+m-k+n₁(H)+2n₀(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}} , then G is pan-H-linked. This result is sharp.     

Small clones and the projection property

In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a “small” clone of one of the five types. From it we deduce, in part, an earlier result, namely that if ${\mathcal{C}}In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a “small” clone of one of the five types. From it we deduce, in part, an earlier result, namely that if C{\mathcal{C}} is a clone on a universe A with at least two elements that contains all constant operations, then all binary idempotent operations are projections and some m-ary idempotent operation is not a projection for some m ≥ 3 if and only if there is a boolean group G on A for which C{\mathcal{C}} is the set of all operations f(x ₁, . . . , x _n ) of the form a + ?_{i ? I}x_ia + {\sum_{i \in I}x_{i}} for a ? A{a \in A} and I í {1, . . . ,n}{I \subseteq \{1,\,.\,.\,.\,,n\}}.     

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.     

Singularities of secant maps of immersed surfaces

The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion $X\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c}The secant map of an immersion sends a pair of points to the direction of the line joining the images of the points under the immersion. The germ of the secant map of a generic codimension-c immersion X:\mathbb Rⁿ ? \mathbb R^n+cX\!\!:{\mathbb R}^n \to {\mathbb R}^{n+c} at the diagonal in the source is a \mathbb Z₂{\mathbb Z}_2 stable map-germ \mathbb R²ⁿ ? \mathbb R^n+c-1{\mathbb R}^{2n} \to {\mathbb R}^{n+c-1} in the following cases: (i) c≥ 2 and (2n,n + c − 1) is a pair of dimensions for which the \mathbb Z₂{\mathbb Z}_2 stable germs of rank at least n are dense, and (ii) for generically immersed surfaces (i.e., n = 2 and any c≥ 1). In the latter surface case the A^{\mathbb Z₂}{\mathcal A}^{{\mathbb Z}_2}-classification of germs of secant maps at the diagonal is described and it is related to the A{\mathcal A}-classification of certain singular projections of the surfaces.     

On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .