Discreteness criteria for Möbius groups acting on $$\mathcal{O}\mathcal{L}_p $$

In this paper, three new discreteness criteria for Möbius groups acting on\(\bar R^{n * } \) are obtained; they are generalizations of known results using the information of two-generator subgroups.     

Infinite time extensions of Kleene’s $${\mathcal{O}}$$

Using infinite time Turing machines we define two successive extensions of Kleene’s O{\mathcal{O}} and characterize both their height and their complexity. Specifically, we first prove that the one extension—which we will call O⁺{\mathcal{O}^{+}}—has height equal to the supremum of the writable ordinals, and that the other extension—which we will call O⁺⁺{\mathcal{O}}^{++}—has height equal to the supremum of the eventually writable ordinals. Next we prove that O⁺{\mathcal{O}^+} is Turing computably isomorphic to the halting problem of infinite time Turing computability, and that O⁺⁺{\mathcal{O}^{++}} is Turing computably isomorphic to the halting problem of eventual computability.     

Z∗$$ {\mathcal{Z}}^{\ast } $$-Semilocal Modules and the Proper Class ℛS$$ \mathrm{\mathcal{R}}\mathcal{S} $$

Ukrainian Mathematical Journal - Over an arbitrary ring, a module M is said to be $$ {\mathcal{Z}}^{\ast } $$-semilocal if every submodule U of M has a $$ {\mathcal{Z}}^{\ast } $$ -supplement V in...     

On $${\mathcal {I}}_{

Tóth  János T.  Filip  Ferdinánd  Bukor  József  Zsilinszky  László 《Periodica Mathematica Hungarica》2021,82(2):125-135

A control theorem for p-adic automorphic forms and Teitelbaum’s $$\mathcal {L}$$ L -invariant

The Ramanujan Journal - We extend the results of Kaneko–Zagier and Baba–Granath on relations of supersingular polynomials and solutions of certain second-order modular differential...     

Surfaces with $${K^2=2\mathcal{X}-2}$$ and pg ≥ 5

This note describes minimal surfaces S of general type satisfying p _g  ≥ 5 and K ² = 2p _g . For p _g  ≥ 8 the canonical map of such surfaces is generically finite of degree 2 and the bulk of the paper is a complete characterization of such surfaces with non birational canonical map. It turns out that if p _g  ≥ 13, S has always an (unique) genus 2 fibration, whose non 2-connected fibres can be characterized, whilst for p _g  ≤ 12 there are two other classes of such surfaces with non birational canonical map.     

On $$ \mathcal{C} $$*-sets and decompositions of continuous and ηζ-continuous functions

The main purpose of this paper is to introduce the concepts of *-sets, *-continuous functions and to obtain new decompositions of continuous and ηζ-continuous functions. Moreover, properties of *-sets and some properties of -sets are discussed.      

A perfect stratification of $${\mathcal M_ g}$$ for g ≤ 5

We find for g ≤ 5 a stratification of depth g − 2 of the moduli space of curves with the property that its strata are affine and the classes of their closures provide a -basis for the Chow ring of . The first property confirms a conjecture of one of us. The way we establish the second property yields new (and simpler) proofs of theorems of Faber and Izadi which, taken together, amount to the statement that in this range the Chow ring is generated by the λ-class.      

The Aronszajn–Donoghue Theory for Rank One Perturbations of the $$\mathcal{H}_{-2} {\text{-Class}}$$

A singular rank one perturbation of a self-adjoint operator A in a Hilbert space is considered, where and but with the usual A–scale of Hilbert spaces. A modified version of the Aronszajn-Krein formula is given. It has the form where F denotes the regularized Borel transform of the scalar spectral measure of A associated with . Using this formula we develop a variant of the well known Aronszajn–Donoghue spectral theory for a general rank one perturbation of the class.Submitted: March 14, 2002 Revised: December 15, 2002     

Cartan-Dieudonné Theorem for {\mathcal {A}}-Modules

Like the classical Cartan-Dieudonné theorem, the sheaf-theoretic version shows that A{\mathcal {A}}-isometries on a convenient A{\mathcal {A}}-module E{\mathcal {E}} of rank n can be decomposed in at most n orthogonal symmetries (reflections) with respect to non-isotropic hyperplanes. However, the coefficient sheaf of \mathbb C{\mathbb {C}}-algebras A{\mathcal {A}} is assumed to be a PID \mathbb C{\mathbb {C}}-algebra sheaf and, if (E,f){(\mathcal {E},\phi)} is a pairing with f{\phi} a non-degenerate A{\mathcal {A}}-bilinear morphism, we assume that E{\mathcal {E}} has nowhere-zero (local) isotropic sections; but, for Riemannian sheaves of A{\mathcal {A}}-modules, this is not necessarily required.     

Strict comparison and $$ \mathcal{Z} $$-absorption of nuclear C∗-algebras

For any unital separable simple infinite-dimensional nuclear C ^∗-algebra with finitely many extremal traces, we prove that -absorption, strict comparison and property (SI) are equivalent. We also show that any unital separable simple nuclear C ^∗-algebra with tracial rank zero is approximately divisible, and hence is -absorbing.     

与群PSL2(\mathcal{R})相关的交叉积{\mathcal{R}(\mathcal{A}},α)的一点注记

在上半复平面$\mathbb{H}$上给定双曲测度$dxdy/y^{2}$, 群$G={\rm PSL}_{2}(\mathbb{R})$ 在$\mathbb{H}$上的分式线性作用导出了$G$在Hilbert空间$L^{2}(\mathbb{H}, dxdy/y^{2})$上的酉表示$\alpha$. 证明了交叉积 $\mathcal{R}(\mathcal{A}, \alpha)$是$\mathrm{I}$型von Neumann代数, 其中$\mathcal{A}= \{M_{f}:f\in L^{\infty}(\mathbb{H},dxdy/y^{2} )\}$. 具体地, 交叉积代数$\mathcal{R}(\mathcal{A}, \alpha)$与von Neumann代数$\mathcal{B}(L^{2}(P, \nu))\overline{\otimes}\mathcal{L}_{K}$是*-同构的, 其中$\mathcal{L}_{K}$是$G$中子群 $K$的左正则表示生成的群von Neumann代数.     

System Representations for the Paley–Wiener Space $$\mathcal {PW}_{\pi }^2$$

In this paper we study the approximation of stable linear time-invariant systems for the Paley–Wiener space \(\mathcal {PW}_{\pi }^2\), i.e., the set of bandlimited functions with finite \(L^2\)-norm, by convolution sums. It is possible to use either, the convolution sum where the time variable is in the argument of the bandlimited impulse response, or the convolution sum where the time variable is in the argument of the function, as an approximation process. In addition to the pointwise and uniform convergence behavior, the convergence behavior in the norm of the considered function space, i.e. the \(L^2\)-norm in our case, is important. While it is well-known that both convolution sums converge uniformly on the whole real axis, the \(L^2\)-norm of the second convolution sum can be divergent for certain functions and systems. We show that the there exist an infinite dimensional closed subspace of functions and an infinite dimensional closed subspace of systems, such that for any pair of function and system from these two sets, we have norm divergence.     

Distortio n theorems o n the Lie ball $$ \mathcal{R}_{IV} $$ ( n) i n ℂ n

In this paper, we introduce the subfamilies H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) of holomorphic mappings defined on the Lie ball $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m → +∞, respectively. Various distortion theorems for holomophic mappings H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are established. The distortion theorems coincide with Liu and Minda’s as the special case of the unit disk. When m = 1 and m → +∞, the distortion theorems reduce to the results obtained by Gong for $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n), respectively. Moreover, our method is different. As an application, the bounds for Bloch constants of H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are given.     

Heine’s method and $$A_{n}$$ A n to $$A_{m}$$ A m transformation formulas

The Ramanujan Journal - We apply Heine’s method—the key idea Heine used in 1846 to derive his famous transformation formula for $$_2\phi _1$$ series—to multiple basic series over...     

Covers ℘ for Abstract Regular Polytopes \mathcal {Q} such that \mathcal{Q}=\mathcal{P}/\mathbf{Z}_{p}^{k}

One key problem in the theory of abstract polytopes is the so-called amalgamation problem. In its most general form, this is the problem of characterising the polytopes with given facets  $\mathcal {K}$ and vertex figures ?. The first step in solving it for particular  $\mathcal{K}$ and ? is to find the universal such polytope, which covers all the others. This article explains a construction that may be attempted on an arbitrary polytope ?, which often yields an infinite family of finite polytopes covering ? and sharing its facets and vertex figures. The existence of such an infinite family proves that the universal polytope is infinite; alternatively, the construction can produce an explicit example of an infinite polytope of the desired type. An algorithm for attempting the construction is explained, along with sufficient conditions for it to work. The construction is applied to a few  $\mathcal{K}$ and ? for which it was previously not known whether or not the universal polytope was infinite, or for which only a finite number of finite polytopes was previously known. It is conjectured that the construction is quite broadly applicable.     

The variety generated by {\mathbb {A}(\mathcal {T})}– two counterexamples

We show that \({\mathcal {V}(\mathbb {A}(\mathcal {T}))}\) does not have definable principal subcongruences or bounded Maltsev depth. When the Turing machine \({\mathcal {T}}\) halts, \({\mathcal {V}(\mathbb {A}(\mathcal {T}))}\) is an example of a finitely generated semilattice based (and hence congruence \({\wedge}\)-semidistributive) variety with only finitely many subdirectly irreducible members, all finite. This is the first known example of a variety with these properties that does not have definable principal subcongruences or bounded Maltsev depth.     

ON HEYDE’S THEOREM ON THE GROUP $$\mathbb{R}$$ × $$\mathbb{T}$$

Doklady Mathematics - According to the well-knows Heyde theorem the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of...     

Products of Functions in $$H^1_{\rho }({{\mathcal {X}}})$$ and $${\mathrm {BMO}}_{\rho }({{\mathcal {X}}})$$BMOρ(X) over RD-Spaces and Applications to Schrödinger Operators

Let \(({{\mathcal {X}}},d,\mu )\) be an RD-space, \(H^1_{\rho }({{\mathcal {X}}})\), and \({\mathrm {BMO}}_{\rho }({{\mathcal {X}}})\) be, respectively, the local Hardy space and the local BMO space associated with an admissible function \(\rho \). Under an additional assumption that there exists a specific generalized approximation of the identity, the authors prove that the product \(f\times g\) of \(f\in H^1_{\rho }({{\mathcal {X}}})\) and \(g\in {\mathrm {BMO}}_{\rho }({{\mathcal {X}}})\), viewed as a distribution, can be written into a sum of two bounded bilinear operators, respectively, from \(H^1_{\rho }({{\mathcal {X}}})\times {\mathrm {BMO}}_{\rho } ({{\mathcal {X}}})\) into \(L^1({{\mathcal {X}}})\) and from \(H^1_{\rho }({{\mathcal {X}}}) \times {\mathrm {BMO}}_{\rho } ({{\mathcal {X}}})\) into \(H^{\log }({{\mathcal {X}}})\), which is of wide generality. The authors also give out four applications of this result to Schrödinger operators, respectively, over different underlying spaces, where three of these applications are new.