Characterization of derivations on B(X) by local actions

Let A be a unital algebra and M be a unital A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈ A if δ(A) ? B + A ? δ(B) =δ(A ? B) for any A, B ∈ A with A ? B = P, here A ? B = AB + BA is the usual Jordan product. In this article, we show that if A = Alg N is a Hilbert space nest algebra and M = B(H), or A = M = B(X), then, a linear map δ : A → M is Jordan derivable at a nontrivial projection P ∈ N or an arbitrary but fixed nontrivial idempotent P ∈ B(X) if and only if it is a derivation. New equivalent characterization of derivations on these operator algebras was obtained.     

Ideals in deformation quantizations over Z/pnZ

Let k be a perfect field of characteristic $p>2$. Let $A_1$ be an Azumaya algebra over a smooth symplectic affine variety over k. Let $A_n$ be a deformation quantization of $A_1$ over $W_n(\mathbf{k})$. We prove that all $W_n(\mathbf{k})$-flat two-sided ideals of $A_n$ are generated by central elements.     

Dedekind–Mertens lemma and content formulas in power series rings

Let $R?X?$ be the power series ring over a commutative ring R with identity. For $f\in R?X?$, let $A_f$ denote the content ideal of f, i.e., the ideal of R generated by the coefficients of f. We show that if R is a Prüfer domain and if $g\in R?X?$ such that $A_g$ is locally finitely generated (or equivalently locally principal), then a Dedekind–Mertens type formula holds for g, namely $A_f^2{A}_g=A_f{A}_{fg}$ for all $f\in R?X?$. More generally for a Prüfer domain R, we prove the content formula ${(A_f{A}_g)}^2=(A_f{A}_g)A_{fg}$ for all $f,g\in R?X?$. As a consequence it is shown that an integral domain R is completely integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R?X?$, which is a beautiful result corresponding to the well-known fact that an integral domain R is integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R[X]$, where $R[X]$ is the polynomial ring over R.For a ring R and $g\in R?X?$, if $A_g$ is not locally finitely generated, then there may be no positive integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. Assuming that the locally minimal number of generators of $A_g$ is $k+1$, Epstein and Shapiro posed a question about the validation of the formula $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. We give a negative answer to this question and show that the finiteness of the locally minimal number of special generators of $A_g$ is in fact a more suitable assumption. More precisely we prove that if the locally minimal number of special generators of $A_g$ is $k+1$, then $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. As a consequence we show that if $A_g$ is finitely generated (in particular if $g\in R[X]$), then there exists a nonnegative integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$.     

On geometric convergence rate of Markov search towards the fat target

Let $f:A\to \mathbb{R}$ be a continuous function with the minimal value $f^{?}$, where $A$ is the compact metric space. Let ${\left\{X_t\right\}}_{t\in \mathbb{N}}$ be a Markov chain which represents the global optimization process on $A$. We present sufficient conditions for very strong, geometric convergence mode of the form $Ef\left(X_t\right)?f^1\le c^t?(Ef\left(X_0\right)?f^1)$, where $c\in (0,1)$ is some constant. This convergence mode is natural if the set of global minima is fat.     

Weak Dirichlet processes with jumps

This paper develops systematically the stochastic calculus via regularization in the case of jump processes. In particular one continues the analysis of real-valued càdlàg weak Dirichlet processes with respect to a given filtration. Such a process is the sum of a local martingale and an adapted process $A$ such that $[N,A]=0$, for any continuous local martingale $N$. Given a function $u:[0,T]\times \mathbb{R}\to \mathbb{R}$, which is of class $C^{0,1}$ (or sometimes less), we provide a chain rule type expansion for $u(t,X_t)$ which stands in applications for a chain Itô type rule.     

Approximation schemes satisfying Shapiro’s Theorem

An approximation scheme is a family of homogeneous subsets $\left(A_n\right)$ of a quasi-Banach space $X$, such that $A_1?A_2?\dots ?X$, $A_n+A_n?A_{K\left(n\right)}$, and $\overline{{\cup }_n{A}_n}=X$. Continuing the line of research originating at the classical paper [8] by Bernstein, we give several characterizations of the approximation schemes with the property that, for every sequence $\left\{{\epsilon }_n\right\}\searrow 0$, there exists $x\in X$ such that $\mathrm{dist}(x,A_n)\ne O\left({\epsilon }_n\right)$ (in this case we say that $(X,\left\{A_n\right\})$ satisfies Shapiro’s Theorem). If $X$ is a Banach space, $x\in X$ as above exists if and only if, for every sequence $\left\{{\delta }_n\right\}\searrow 0$, there exists $y\in X$ such that $\mathrm{dist}(y,A_n)\ge {\delta }_n$. We give numerous examples of approximation schemes satisfying Shapiro’s Theorem.     

Decomposition of integer-valued polynomial algebras

Let D be a commutative domain with field of fractions K, let A be a torsion-free D-algebra, and let B be the extension of A to a K-algebra. The set of integer-valued polynomials on A is $\mathrm{Int}(A)=\{f\in B[X]|f(A)?A\}$, and the intersection of $\mathrm{Int}(A)$ with $K[X]$ is ${\mathrm{Int}}_K(A)$, which is a commutative subring of $K[X]$. The set $\mathrm{Int}(A)$ may or may not be a ring, but it always has the structure of a left ${\mathrm{Int}}_K(A)$-module.A D-algebra A which is free as a D-module and of finite rank is called ${\mathrm{Int}}_K$-decomposable if a D-module basis for A is also an ${\mathrm{Int}}_K(A)$-module basis for $\mathrm{Int}(A)$; in other words, if $\mathrm{Int}(A)$ can be generated by ${\mathrm{Int}}_K(A)$ and A. A classification of such algebras has been given when D is a Dedekind domain with finite residue rings. In the present article, we modify the definition of ${\mathrm{Int}}_K$-decomposable so that it can be applied to D-algebras that are not necessarily free by defining A to be ${\mathrm{Int}}_K$-decomposable when $\mathrm{Int}(A)$ is isomorphic to ${\mathrm{Int}}_K(A){?}_{D}A$. We then provide multiple characterizations of such algebras in the case where D is a discrete valuation ring or a Dedekind domain with finite residue rings. In particular, if D is the ring of integers of a number field K, we show that an ${\mathrm{Int}}_K$-decomposable algebra A must be a maximal D-order in a separable K-algebra B, whose simple components have as center the same finite unramified Galois extension F of K and are unramified at each finite place of F. Finally, when both D and A are rings of integers in number fields, we prove that ${\mathrm{Int}}_K$-decomposable algebras correspond to unramified Galois extensions of K.