Imaginaries in Boolean algebras

Given an infinite Boolean algebra B, we find a natural class of $\varnothing$‐definable equivalence relations $\mathcal {E}_{B}$ such that every imaginary element from B^eq is interdefinable with an element from a sort determined by some equivalence relation from $\mathcal {E}_{B}$. It follows that B together with the family of sorts determined by $\mathcal {E}_{B}$ admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean algebras, obtained in 10 .     

Logarithmic Dimension Bounds for the Maximal Function Along a Polynomial Curve

Let ℳ denote the maximal function along the polynomial curve (γ ₁ t,…,γ _d t ^d ):

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

The fundamental theory of abstract majorization inequalities

Using the axiomatic method,abstract concepts such as abstract mean, abstract convex function and abstract majorization are proposed. They are the generalizations of concepts of mean, convex function and majorization, respectively. Through the logical deduction, the fundamental theorems about abstract majorization inequalities are established as follows: for arbitrary abstract mean Σ and Σ , and abstract Σ → Σ strict convex function f(x) on the interval I, if xi, yi ∈ I (i = 1, 2, . . . , n) satisfy that (x1...     

Tiling Convex Polygons with Congruent Equilateral Triangles

We study the sets $\mathcal{T}_{v}=\{m \in\{1,2,\ldots\}: \mbox{there is a convex polygon in }\mathbb{R}^{2}\mbox{ that has }v\mbox{ vertices and can be tiled with $m$ congruent equilateral triangles}\}$ , v=3,4,5,6. $\mathcal{T}_{3}$ , $\mathcal{T}_{4}$ , and $\mathcal{T}_{6}$ can be quoted completely. The complement $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ of $\mathcal{T}_{5}$ turns out to be a subset of Euler’s numeri idonei. As a consequence, $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ can be characterized with up to two exceptions, and a complete characterization is given under the assumption of the Generalized Riemann Hypothesis.     

Absolutely continuous spectrum for random Schrödinger operators on the Bethe strip

The Bethe strip of width m is the cartesian product $\mathbb {B}\times \lbrace 1,\ldots ,m\rbrace$, where $\mathbb {B}$ is the Bethe lattice (Cayley tree). We prove that Anderson models on the Bethe strip have “extended states” for small disorder. More precisely, we consider Anderson‐like Hamiltonians $H_\lambda =\frac{1}{2} \Delta \otimes 1 + 1 \otimes A\,+\,\lambda \mathcal {V}$ on a Bethe strip with connectivity K ≥ 2, where A is an m × m symmetric matrix, $\mathcal {V}$ is a random matrix potential, and λ is the disorder parameter. Given any closed interval $I\subset \big (\!-\!\sqrt{K}+a_{{\rm max}},\sqrt{K}+a_{\rm {min}}\big )$, where a_min and a_max are the smallest and largest eigenvalues of the matrix A, we prove that for λ small the random Schrödinger operator H_λ has purely absolutely continuous spectrum in I with probability one and its integrated density of states is continuously differentiable on the interval I.     

Variational formulas of higher order mean curvatures

In this paper,we establish the first variational formula and its Euler-Lagrange equation for the total 2p-th mean curvature functional M2p of a submanifold M n in a general Riemannian manifold N n+m for p = 0,1,...,[n 2 ].As an example,we prove that closed complex submanifolds in complex projective spaces are critical points of the functional M2p,called relatively 2p-minimal submanifolds,for all p.At last,we discuss the relations between relatively 2p-minimal submanifolds and austere submanifolds in real space forms,as well as a special variational problem.     

Proper Holomorphic Embeddings of Riemann Surfaces with Arbitrary Topology into ℂ2

We prove that given an open Riemann surface $\mathcal{N}$ of arbitrary (finite or infinite) topology, there exists an open domain $\mathcal{M}\subset \mathcal{N}$ homeomorphic to $\mathcal{N}$ which properly holomorphically embeds in ?². Furthermore, $\mathcal{M}$ can be chosen with hyperbolic conformal type. In particular, any open orientable surface M admits a complex structure $\mathcal{C}$ such that $(M,\mathcal{C})$ can be properly holomorphically embedded into ?².     

On Algebraic Limits and Topological Properties of Sets of Möbius groups in $ \bar {R}^n $

Let G be the algebraic limit of a sequence $ \{ G_m\} $ of r generator subgroups of $ M(\bar {R}^n) $ . We prove that (i) if $ G_m $ is elementary, then G is elementary; (ii) if $ G_m $ is not non-elementary and non-discrete and G satisfies the Condition A, then G is not non-elementary and non-discrete. Let $ E_l = \{ (f_1, f_2,\ldots ,f_l): f_1,f_2,\ldots ,f_l\in M(\bar {R}^2), \langle \,f_1,f_2,\ldots , \,f_l \rangle\ elementary\} $ and $ D_l = \{ (f_1,f_2,\ldots ,f_l): f_1,f_2,\ldots ,f_l\in M(\bar {R}^2), \langle \,f_1,f_2,\ldots ,f_l \rangle\ discrete\} $ . we obtain that the set $ E_l , D_l\cup E_l $ and $ D_l\cap E_l^c $ are closed in $ \underbrace {M(\bar {R}^2)\times \cdots \times M(\bar {R}^2)}\limits _{l} $ .     

Double ergodicity of the Poisson boundary and applications to bounded cohomology

We prove that the Poisson boundary of any spread out non-degenerate symmetric randomwalk on an arbitrary locally compact second countable group G is doubly $\mathcal{M}$^sep-ergodic with respect to the class $\mathcal{M}$^sep of separable coefficient Banach G-modules. The proof is direct and based on an analogous property of the bilateral Bernoulli shift in the space of increments of the random walk. As a corollary we obtain that any locally compact s-compact group G admits a measure class preserving action which is both amenable and doubly $\mathcal{M}$^sep-ergodic. This generalizes an earlier result of Burger and Monod obtained under the assumption that G is compactly generated and allows one to dispose of this assumption in numerous applications to the theory of bounded cohomology.     

An inequality concerning the elasticity of Krull monoids with divisor class group $\mathbb{Z}_p$

Abstract  Let p be a prime integer and M a Krull monoid with divisor class group . We represent by S the set of nontrivial divisor classes of which contain prime divisors. We present a new inequality for the elasticity of M (denoted ρ (M)) which is dependent on the cardinality of S and argue that this inequality is the best possible. If M as above has | S| = 3, then it is known that , but for large p, not all the values in this containment set can be realized. For each | S| = 3, we produce a submonoid of such that

Topological Brandt semigroups

In the present paper, the properties of a locally compact Hausdorff topological Brandt semigroup, and the relation between its semigroup algebras and ? ¹-Munn algebras over group algebras are investigated. It is proved that for each locally compact Hausdorff topological group G, and each index set I, there exists a locally compact Hausdorff topological Brandt semigroup S=B(G,I) such that the Banach algebras $\mathcal {LM}_{I}(M(G))$ and $\mathcal{LM}_{I}(L^{1}(G))$ are isometrically isomorphic to M(S)/? ¹({0}) and M _a (S)/? ¹({0}), respectively.     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

On multilinear operators commuting with Lie derivatives

LetE ₁, ...,E _k andE be natural vector bundles defined over the categoryMf _m ⁺ of smooth orientedm-dimensional manifolds and orientation preserving local diffeomorphisms, withm2. LetM be an object ofMf _m ⁺ which is connected. We give a complete classification of all separately continuousk-linear operatorsD : _c(E ₁ M) × ... × _c(E _k M) (EM) defined on sections with compact supports, which commute whith Lie derivatives, i.e., which satisfy

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

A Spectral Gap Property for Random Walks Under Unitary Representations

Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $\pi ,\mathcal{H}Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation p,H\pi ,\mathcal{H} of G, we study spectral properties of the operator π(μ) acting on H\mathcal{H} Assume that μ is adapted and that the trivial representation 1 _G is not weakly contained in the tensor product p?[`(p)]\pi\otimes \overline\pi We show that π(μ) has a spectral gap, that is, for the spectral radius r_spec(p(m))r_{\rm spec}(\pi(\mu)) of π(μ), we have r_spec(p(m)) < 1.r_{\rm spec}(\pi(\mu))< 1. This provides a common generalization of several previously known results. Another consequence is that, if G has Kazhdan’s Property (T), then r_spec(p(m)) < 1r_{\rm spec}(\pi(\mu))< 1 for every unitary representation π of G without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.     

Strong rigidity of II1 factors arising from malleable actions of w-rigid groups, I

We consider crossed product II₁ factors , with G discrete ICC groups that contain infinite normal subgroups with the relative property (T) and σ trace preserving actions of G on finite von Neumann algebras N that are “malleable” and mixing. Examples are the actions of G by Bernoulli shifts (classical and non-classical) and by Bogoliubov shifts. We prove a rigidity result for isomorphisms of such factors, showing the uniqueness, up to unitary conjugacy, of the position of the group von Neumann algebra L(G) inside M. We use this result to calculate the fundamental group of M, , in terms of the weights of the shift σ, for and other special arithmetic groups. We deduce that for any subgroup S⊂ℝ₊^* there exist II₁ factors M (separable if S is countable or S=ℝ₊^*) with . This brings new light to a long standing open problem of Murray and von Neumann.     

The Dual Group of a Dense Subgroup

Throughout this abstract, G is a topological Abelian group and $\hat G$ is the space of continuous homomorphisms from G into the circle group ${\mathbb{T}}$ in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism $\hat G \to \hat D$ given by $h \mapsto h\left| D \right.$ is a homeomorphism, and G is determined if each dense subgroup of G determines G. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup D _i determines G _i with G _i compact, then $ \oplus _i D_i $ determines Π_i G _i. In particular, if each G _i is compact then $ \oplus _i G_i $ determines Π_i G _i. 3. Let G be a locally bounded group and let G ⁺ denote G with its Bohr topology. Then G is determined if and only if G ⁺ is determined. 4. Let non $\left( {\mathcal{N}} \right)$ be the least cardinal κ such that some $X \subseteq {\mathbb{T}}$ of cardinality κ has positive outer measure. No compact G with $w\left( G \right) \geqslant non\left( {\mathcal{N}} \right)$ is determined; thus if $\left( {\mathcal{N}} \right) = {\mathfrak{N}}_1 $ (in particular if CH holds), an infinite compact group G is determined if and only if w(G) = ω. Question. Is there in ZFC a cardinal κ such that a compact group G is determined if and only if w(G) < κ? Is $\kappa = non\left( {\mathcal{N}} \right)?\kappa = {\mathfrak{N}}_1 ?$      

Quasi‐convexly dense and suitable sets in the arc component of a compact group

Let G be an abelian topological group. The symbol $\widehat{G}Let G be an abelian topological group. The symbol $\widehat{G}$ denotes the group of all continuous characters $\chi :G\rightarrow {\mathbb T}$ endowed with the compact open topology. A subset E of G is said to be qc‐dense in G provided that χ(E)?φ([? 1/4, 1/4]) holds only for the trivial character $\chi \in \widehat{G}$, where $\varphi : {\mathbb R}\rightarrow {\mathbb T}={\mathbb R}/{\mathbb Z}$ is the canonical homomorphism. A super‐sequence is a non‐empty compact Hausdorff space S with at most one non‐isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super‐sequence converging to 0 that is qc‐dense in G. This gives as a corollary a recent theorem of Außenhofer: For a connected locally compact abelian group G, the restriction homomorphism $r:\widehat{G}\rightarrow \widehat{G}_a$ defined by $r(\chi )=\chi \upharpoonright _{G_a}$ for $\chi \in \widehat{G}$, is a topological isomorphism. We show that an infinite compact group G is connected if and only if its arc component G_a contains a super‐sequence converging to the identity that is qc‐dense in G and generates a dense subgroup of G. We also offer a short alternative proof of the result of Hofmann and Morris on the existence of suitable sets of minimal size in the arc component of a compact connected group.