Universal geometric cluster algebras

We consider, for each exchange matrix $B$ , a category of geometric cluster algebras over $B$ and coefficient specializations between the cluster algebras. The category also depends on an underlying ring $R$ , usually $\mathbb {Z},\,\mathbb {Q}$ , or $\mathbb {R}$ . We broaden the definition of geometric cluster algebras slightly over the usual definition and adjust the definition of coefficient specializations accordingly. If the broader category admits a universal object, the universal object is called the cluster algebra over $B$ with universal geometric coefficients, or the universal geometric cluster algebra over $B$ . Constructing universal geometric coefficients is equivalent to finding an $R$ -basis for $B$ (a “mutation-linear” analog of the usual linear-algebraic notion of a basis). Polyhedral geometry plays a key role, through the mutation fan ${\mathcal {F}}_B$ , which we suspect to be an important object beyond its role in constructing universal geometric coefficients. We make the connection between ${\mathcal {F}}_B$ and $\mathbf{g}$ -vectors. We construct universal geometric coefficients in rank $2$ and in finite type and discuss the construction in affine type.     

Generalized derivations with annihilating and centralizing Engel conditions on Lie ideals

Let $R$ be a non-commutative prime ring, with center $Z(R)$ , extended centroid $C$ and let $F$ be a non-zero generalized derivation of $R$ . Denote by $L$ a non-central Lie ideal of $R$ . If there exists $0\ne a\in R$ such that $a[F(x),x]_k\in Z(R)$ for all $x\in L$ , where $k$ is a fixed integer, then one of the followings holds: (1) either there exists $\lambda \in C$ such that $F(x)=\lambda x$ for all $x\in R$ , (2) or $R$ satisfies $s_4$ , the standard identity in $4$ variables, and $char(R)=2$ ; (3) or $R$ satisfies $s_4$ and there exist $q\in U, \gamma \in C$ such that $F(x)=qx+xq+\gamma x$ .     

Units of compatible nearrings,IV

This is the fourth in a sequence of papers originating in a effort to study the units of a compatible nearring $R$ satisfying the descending chain condition on right ideals using a faithful compatible module $G$ of $R$ . A key point in this endeavor involves determining $1 + Ann_R(G/H)$ where $H$ is a direct sum of isomorphic minimal $R$ -ideals where success in doing so gives us not only information about the units of $R$ , but also information about $R$ and $J_2(R)$ . In the previous papers, $1 + Ann_R(G/H)$ has been determined whenever $G/H$ does not contain a minimal factor isomorphic to the minimal summands of $H$ . In this paper we determine $1 + Ann_R(G/H)$ when $G/H$ does contain a minimal factor isomorphic to the minimal summands of $H$ . With the completion of the determination of $1 + Ann_R(G/H)$ in all cases, we illustrate how things work in practice by considering the nearrings generated by the inner automorphisms of a finite dihedral group, special linear group, and general linear group and nearrings of congruence preserving functions on an expanded group.     

Sufficient Criteria for \varepsilon Starlike Mappings in a Complex Banach Space

Several sufficient conditions for $\varepsilon $ starlike mappings on the unit ball $B$ in a complex Banach space are provided. From these, we may construct many concrete $\varepsilon $ starlike mappings on $B$ . Furthermore, several growth results associated with these sufficient conditions are also provided.     

\alpha -Admissibility for Ritt Operators

Let $T:X\rightarrow X$ be a power bounded operator on Banach space. An operator $C:X\rightarrow Y$ is called admissible for $T$ if it satisfies an estimate $\sum _k\Vert CT^k(x)\Vert ^2\,\le M^2\Vert x\Vert ^2$ . Following Harper and Wynn, we study the validity of a certain Weiss conjecture in this discrete setting. We show that when $X$ is reflexive and $T$ is a Ritt operator satisfying a appropriate square function estimate, $C$ is admissible for $T$ if and only if it satisfies a uniform estimate $(1-\vert \omega \vert ^2)^{\frac{1}{2}}\Vert C(I-\omega T)^{-1}\Vert \,\le K\,$ for $\omega \in \mathbb{C }$ , $\vert \omega \vert <1$ . We extend this result to the more general setting of $\alpha $ -admissibility. Then we investigate a natural variant of admissibility involving $R$ -boundedness and provide examples to which our general results apply.     

Rational matrix pseudodifferential operators

The skewfield $\mathcal{K }(\partial )$ of rational pseudodifferential operators over a differential field $\mathcal{K }$ is the skewfield of fractions of the algebra of differential operators $\mathcal{K }[\partial ]$ . In our previous paper, we showed that any $H\in \mathcal{K }(\partial )$ has a minimal fractional decomposition $H=AB^{-1}$ , where $A,B\in \mathcal{K }[\partial ],\,B\ne 0$ , and any common right divisor of $A$ and $B$ is a non-zero element of $\mathcal{K }$ . Moreover, any right fractional decomposition of $H$ is obtained by multiplying $A$ and $B$ on the right by the same non-zero element of $\mathcal{K }[\partial ]$ . In the present paper, we study the ring $M_n(\mathcal{K }(\partial ))$ of $n\times n$ matrices over the skewfield $\mathcal{K }(\partial )$ . We show that similarly, any $H\in M_n(\mathcal{K }(\partial ))$ has a minimal fractional decomposition $H=AB^{-1}$ , where $A,B\in M_n(\mathcal{K }[\partial ]),\,B$ is non-degenerate, and any common right divisor of $A$ and $B$ is an invertible element of the ring $M_n(\mathcal{K }[\partial ])$ . Moreover, any right fractional decomposition of $H$ is obtained by multiplying $A$ and $B$ on the right by the same non-degenerate element of $M_n(\mathcal{K } [\partial ])$ . We give several equivalent definitions of the minimal fractional decomposition. These results are applied to the study of maximal isotropicity property, used in the theory of Dirac structures.     

Quotient Algebras of Toeplitz-Composition C^{*}-Algebras for Finite Blaschke Products

Let $R$ be a finite Blaschke product. We study the $C^*$ -algebra $\mathcal TC _R$ generated by both the composition operator $C_R$ and the Toeplitz operator $T_z$ on the Hardy space. We show that the simplicity of the quotient algebra $\mathcal OC _R$ by the ideal of the compact operators can be characterized by the dynamics near the Denjoy–Wolff point of $R$ if the degree of $R$ is at least two. Moreover we prove that the degree of finite Blaschke products is a complete isomorphism invariant for the class of $\mathcal OC _R$ such that $R$ is a finite Blaschke product of degree at least two and the Julia set of $R$ is the unit circle, using the Kirchberg–Phillips classification theorem.     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.     

New results about normal pairs of rings with zero-divisors

Let $R\subset S$ be a (unital) extension of (commutative) rings. It is proved in Theorem 1, that $(R, S)$ is a normal pair (i.e. $T$ is integrally closed in $S$ for each ring $T$ such that $R \subseteq T \subseteq S$ ) if and only if $R\subset S$ is a $P$ -extension and $R$ is integrally closed in $S$ . Theorem 2 states that for rings $R\subseteq T \subseteq S, R\subseteq S$ is a $P$ -extension if and only if $R\subseteq T$ and $T\subseteq S$ are $P$ -extensions. As a consequence, we prove that if $R\subseteq T \subseteq B$ are rings and if $\overline{R}_T$ (respectively, $\overline{R}_B$ ) is the integral closure of $R$ in $T$ (respectively, in $B$ ), then $(\overline{R}_T, T)$ is a normal pair if and only if $(\overline{R}_B, \overline{R}_BT)$ is a normal pair. This generalizes results of Prüfer and Heinzer on Prüfer domains to normal pairs of arbitrary rings.     

C^*-algebras of Toeplitz type associated with algebraic number fields

We associate with the ring $R$ of algebraic integers in a number field a C*-algebra ${\mathfrak T }[R]$ . It is an extension of the ring C*-algebra ${\mathfrak A }[R]$ studied previously by the first named author in collaboration with X. Li. In contrast to ${\mathfrak A }[R]$ , it is functorial under homomorphisms of rings. It can also be defined using the left regular representation of the $ax+b$ -semigroup $R\rtimes R^\times $ on $\ell ^2 (R\rtimes R^\times )$ . The algebra ${\mathfrak T }[R]$ carries a natural one-parameter automorphism group $(\sigma _t)_{t\in {\mathbb R }}$ . We determine its KMS-structure. The technical difficulties that we encounter are due to the presence of the class group in the case where $R$ is not a principal ideal domain. In that case, for a fixed large inverse temperature, the simplex of KMS-states splits over the class group. The “partition functions” are partial Dedekind $\zeta $ -functions. We prove a result characterizing the asymptotic behavior of quotients of such partial $\zeta $ -functions, which we then use to show uniqueness of the $\beta $ -KMS state for each inverse temperature $\beta \in (1,2]$ .     

Weakly B-orthodox semigroups

We introduce the notions of a band category and of a weakly orthodox category over a band. Our focus is to describe a class of weakly $B$ -orthodox semigroups, where $B$ denotes a band of idempotents. In particular, we investigate orthodox semigroups, by using orthodox groupoids. Weakly $B$ -orthodox semigroups are analogues of orthodox semigroups, where the relations $\widetilde{\mathcal {R}}_B$ and $\widetilde{\mathcal {L}}_B$ play the role that ${\mathcal {R}}$ and $\mathcal {L}$ take in the regular case. We show that the category of weakly $B$ -orthodox semigroups and admissible morphisms is equivalent to the category of weakly orthodox categories over bands and orthodox functors. The same class of weakly $B$ -orthodox semigroups was studied in an earlier article by Gould and the author using generalised categories. Our approach here is more akin to that of Nambooripad. The significant difference in strategy is that it is more convenient to consider categories equipped with pre-orders, rather than with partial orders.     

C^*-Algebras Associated with Complex Dynamical Systems and Backward Orbit Structure

Let $R$ be a rational function. The iterations $(R^n)_n$ of $R$ gives a complex dynamical system on the Riemann sphere. We associate a $C^*$ -algebra and study a relation between the $C^*$ -algebra and the original complex dynamical system. In this short note, we recover the number of $n$ th backward orbits counted without multiplicity starting at branched points in terms of associated $C^*$ -algebras with gauge actions. In particular, we can partially imagine how a branched point is moved to another branched point under the iteration of $R$ . We use KMS states and a Perron–Frobenius type operator on the space of traces to show it.     

Decomposable and indecomposable algebras of degree 8 and exponent 2

We study the decomposition of central simple algebras of exponent 2 into tensor products of quaternion algebras. We consider in particular decompositions in which one of the quaternion algebras contains a given quadratic extension. Let $B$ be a biquaternion algebra over $F(\sqrt{a})$ with trivial corestriction. A degree 3 cohomological invariant is defined and we show that it determines whether $B$ has a descent to $F$ . This invariant is used to give examples of indecomposable algebras of degree $8$ and exponent 2 over a field of 2-cohomological dimension 3 and over a field $\mathbb M(t)$ where the $u$ -invariant of $\mathbb M$ is $8$ and $t$ is an indeterminate. The construction of these indecomposable algebras uses Chow group computations provided by Merkurjev in “Appendix”.     

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

On the Broadcast Independence Number of Grid Graph

A broadcast on a nontrivial connected graph G is a function ${f:V \longrightarrow \{0, \ldots,\operatorname{diam}(G)\}}$ such that for every vertex ${v \in V(G)}$ , ${f(v) \leq e(v)}$ , where ${\operatorname{diam}(G)}$ denotes the diameter of G and e(v) denotes the eccentricity of vertex v. The broadcast independence number is the maximum value of ${\sum_{v \in V} f(v)}$ over all broadcasts f that satisfy ${d(u,v) > \max \{f(u), f(v)\}}$ for every pair of distinct vertices u, v with positive values. We determine this invariant for grid graphs ${G_{m,n} = P_m \square P_n}$ , where ${2 \leq m \leq n}$ and □ denotes the Cartesian product. We hereby answer one of the open problems raised by Dunbar et al. in (Discrete Appl Math 154:59–75, 2006).     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Syzygies and tensor product of modules

We give an application of the New Intersection Theorem and prove the following: let $R$ be a local complete intersection ring of codimension $c$ and let $M$ and $N$ be nonzero finitely generated $R$ -modules. Assume $n$ is a nonnegative integer and that the tensor product $M\otimes _{R}N$ is an $(n+c)$ th syzygy of some finitely generated $R$ -module. If ${{\mathrm{Tor}}}^{R}_{>0}(M,N)=0$ , then both $M$ and $N$ are $n$ th syzygies of some finitely generated $R$ -modules.     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .