Traces of Permuting n-Additive Maps and Permuting n-Derivations of Rings

Let R be a prime ring with center Z(R). For a fixed positive integer n, a permuting n-additive map ${\Delta : R^n \to R}$ is known to be permuting n-derivation if ${\Delta(x_1, x_2, \ldots, x_i x'_{i},\ldots, x_n) = \Delta(x_1, x_2, \ldots, x_i, \ldots, x_n)x'_i + x_i \Delta(x_1, x_2, \ldots, x'_i, \ldots, x_n)}$ holds for all ${x_i, x'_i \in R}$ . A mapping ${\delta : R \to R}$ defined by δ(x) = Δ(x, x, . . . ,x) for all ${x \in R}$ is said to be the trace of Δ. In the present paper, we have proved that a ring R is commutative if there exists a permuting n-additive map ${\Delta : R^n \to R}$ such that ${xy + \delta(xy) = yx + \delta(yx), xy- \delta(xy) = yx - \delta(yx), xy - yx = \delta(x) \pm \delta(y)}$ and ${xy + yx = \delta(x) \pm \delta(y)}$ holds for all ${x, y \in R}$ . Further, we have proved that if R is a prime ring with suitable torsion restriction then R is commutative if there exist non-zero permuting n-derivations Δ₁ and Δ₂ from ${R^n \to R}$ such that Δ₁(δ ₂(x), x, . . . ,x) =  0 for all ${x \in R,}$ where δ ₂ is the trace of Δ₂. Finally, it is shown that in a prime ring R of suitable torsion restriction, if ${\Delta_1, \Delta_2 : R^n \longrightarrow R}$ are non-zero permuting n-derivations with traces δ ₁, δ ₂, respectively, and ${B : R^n \longrightarrow R}$ is a permuting n-additive map with trace f such that δ ₁ δ ₂(x) =  f(x) holds for all ${x \in R}$ , then R is commutative.     

On one sided ideals of a semiprime ring with generalized derivations

Let R be a ring with center Z(R). An additive mapping ${F : R \longrightarrow R}$ is said to be a generalized derivation on R if there exists a derivation ${d : R \longrightarrow R}$ such that F(xy) = F(x)y + xd(y), for all ${x, y \in R}$ (the map d is called the derivation associated with F). Let R be a semiprime ring and U be a nonzero left ideal of R. In the present note we prove that if R admits a generalized derivation F, d is the derivation associated with F such that d(U) ≠ (0) then R contains some nonzero central ideal, if one of the following conditions holds: (1) R is 2-torsion free and ${F(xy) \in Z(R)}$ , for all ${x, y \in U}$ , unless F(U)U = UF(U) = Ud(U) = (0); (2) ${F(xy) \mp yx \in Z(R)}$ , for all ${x,y \in U}$ ; (3) ${F(xy) \mp [x,y] \in Z(R)}$ , for all ${x,y \in U}$ ; (4) F ≠ 0 and F([x,y]) = 0, for all ${x, y \in U}$ , unless Ud(U) = (0); (5) F ≠ 0 and ${F([x, y]) \in Z(R)}$ , for all ${x, y \in U}$ , unless either d(Z(R))U = (0) or Ud(U) = (0)n.     

Nef line bundles on flag bundles on a curve over {\overline{{\mathbb F}}_p}

Let E be a vector bundle of rank r over an irreducible smooth projective curve X defined over the field ${\overline{{\mathbb F}}_p}$ F ¯ p . For fixed integers ${r_1\, , \ldots\, , r_\nu}$ r 1 , ... , r ν with ${1\, \leq\, r_1\, <\, \cdots\, <\, r_\nu\, <\, r}$ 1 ≤ r 1 < ? < r ν < r , let ${\text{Fl}(E)}$ Fl ( E ) be the corresponding flag bundle over X associated to E. Let ${\xi\, \longrightarrow \, {\rm Fl}(E)}$ ξ ? Fl ( E ) be a line bundle such that for every pair of the form ${(C\, ,\phi)}$ ( C , ? ) , where C is an irreducible smooth projective curve defined over ${\overline{\mathbb F}_p}$ F ¯ p and ${\phi\, :\, C\, \longrightarrow\, {\rm Fl}(E)}$ ? : C ? Fl ( E ) is a nonconstant morphism, the inequality ${{\rm degree}(\phi^* \xi)\, > \, 0}$ degree ( ? ? ξ ) > 0 holds. We prove that the line bundle ${\xi}$ ξ is ample.     

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra

It is assumed that a Kripke–Joyal semantics ${\mathcal{A} = \left\langle \mathbb{C},{\rm Cov}, {\it F},\Vdash \right\rangle}$ A = C , Cov , F , ? has been defined for a first-order language ${\mathcal{L}}$ L . To transform ${\mathbb{C}}$ C into a Heyting algebra ${\overline{\mathbb{C}}}$ C ¯ on which the forcing relation is preserved, a standard construction is used to obtain a complete Heyting algebra made up of cribles of ${\mathbb{C}}$ C . A pretopology ${\overline{{\rm Cov}}}$ Cov ¯ is defined on ${\overline{\mathbb{C}}}$ C ¯ using the pretopology on ${\mathbb{C}}$ C . A sheaf ${\overline{{\it F}}}$ F ¯ is made up of sections of F that obey functoriality. A forcing relation ${\overline{\Vdash}}$ ? ¯ is defined and it is shown that ${\overline{\mathcal{A}} = \left\langle \overline{\mathbb{C}},\overline{\rm{Cov}},\overline{{\it F}}, \overline{\Vdash} \right\rangle }$ A ¯ = C ¯ , Cov ¯ , F ¯ , ? ¯ is a Kripke–Joyal semantics that faithfully preserves the notion of forcing of ${\mathcal{A}}$ A . That is to say, an object a of ${\mathbb{C}Ob}$ C O b forces a sentence with respect to ${\mathcal{A}}$ A if and only if the maximal a-crible forces it with respect to ${\overline{\mathcal{A}}}$ A ¯ . This reduces a Kripke–Joyal semantics defined over an arbitrary site to a Kripke–Joyal semantics defined over a site which is based on a complete Heyting algebra.     

The 2-Page Crossing Number of K_{n}

Around 1958, Hill described how to draw the complete graph $K_n$ K n with $$\begin{aligned} Z(n) :=\frac{1}{4}\Big \lfloor \frac{n}{2}\Big \rfloor \Big \lfloor \frac{n-1}{2}\Big \rfloor \Big \lfloor \frac{n-2}{2}\Big \rfloor \Big \lfloor \frac{n-3}{2}\Big \rfloor \end{aligned}$$ Z ( n ) : = 1 4 ? n 2 ? ? n ? 1 2 ? ? n ? 2 2 ? ? n ? 3 2 ? crossings, and conjectured that the crossing number ${{\mathrm{cr}}}(K_{n})$ cr ( K n ) of $K_n$ K n is exactly $Z(n)$ Z ( n ) . This is also known as Guy’s conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ K n with $Z(n)$ Z ( n ) crossings were found. These drawings are 2-page book drawings, that is, drawings where all the vertices are on a line $\ell $ ? (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by  $\ell $ ? . The 2-page crossing number of $K_{n} $ K n , denoted by $\nu _{2}(K_{n})$ ν 2 ( K n ) , is the minimum number of crossings determined by a 2-page book drawing of $K_{n}$ K n . Since ${{\mathrm{cr}}}(K_{n}) \le \nu _{2}(K_{n})$ cr ( K n ) ≤ ν 2 ( K n ) and $\nu _{2}(K_{n}) \le Z(n)$ ν 2 ( K n ) ≤ Z ( n ) , a natural step towards Hill’s Conjecture is the weaker conjecture $\nu _{2}(K_{n}) = Z(n)$ ν 2 ( K n ) = Z ( n ) , popularized by Vrt’o. In this paper we develop a new technique to investigate crossings in drawings of $K_{n}$ K n , and use it to prove that $\nu _{2}(K_{n}) = Z(n) $ ν 2 ( K n ) = Z ( n ) . To this end, we extend the inherent geometric definition of $k$ k -edges for finite sets of points in the plane to topological drawings of $K_{n}$ K n . We also introduce the concept of ${\le }{\le }k$ ≤ ≤ k -edges as a useful generalization of ${\le }k$ ≤ k -edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ K n in terms of its number of ${\le }k$ ≤ k -edges to the topological setting. Finally, we give a complete characterization of crossing minimal 2-page book drawings of $K_{n}$ K n and show that, up to equivalence, they are unique for $n$ n even, but that there exist an exponential number of non homeomorphic such drawings for $n$ n odd.     

Appell Bases for Monogenic Functions of Three Variables

Monogenic (or hyperholomorphic) functions are well known in general Clifford algebras but have been little studied in the particular case ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 . We describe for this case the collection of all Appell systems: bases for the finite-dimensional spaces of monogenic homogeneous polynomials which respect the operator ${D = \partial_{0} - \vec{\partial}}$ D = ? 0 ? ? → . We prove that no purely algebraic recursive formula (in a specific sense) exists for these Appell systems, in contrast to the existence of known constructions for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{4}}$ R 3 → R 4 and ${\mathbb{R}^{4} \rightarrow \mathbb{R}^{4}}$ R 4 → R 4 . However, we give a simple recursive procedure for constructing Appell bases for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 which uses the operation of integration of polynomials.     

Quasi-Banach operator ideals with a very strange trace

As shown by S. Lord, F. Sukochev, and D. Zanin (see [7]), the theory of singular traces is well understood for operators on the Hilbert space. The situation turns out to be completely different in the Banach space setting. Indeed, quite strange phenomena may occur. We will construct quasi-Banach operator ideals ${\mathfrak A}$ A with seemingly contradictory properties: On the one hand, ${\mathfrak A}$ A supports a continuous trace τ that vanishes at all finite rank operators, which means that τ is singular. On the other hand, ${\mathfrak A}$ A contains the identity map I _Z of an infinite-dimensional Banach space Z and τ (I _Z ) =  1. This implies that there exist operators ${T \in \mathfrak A (Z)}$ T ∈ A ( Z ) such that ${\tau (T^n) = 1}$ τ ( T n ) = 1 for ${n = 1,2,{\dots} \;}$ n = 1 , 2 , ? , which is impossible for singular traces in the case of a Hilbert space. As most counterexamples, the new operator ideals have no useful application. They provide, however, a deeper insight into the philosophy of traces.     

Solution of the Propeller Conjecture in \mathbb R ^3

It is shown that every measurable partition $\{A_1,\ldots , A_k\}$ { A 1 , … , A k } of $\mathbb R ^3$ R 3 satisfies 1 $$\begin{aligned} \sum _{i=1}^k\big \Vert \int _{A_i} x\mathrm{{e}}^{-\frac{1}{2}\Vert x\Vert _2^2}\mathrm{{d}}x\big \Vert _2^2\leqslant 9\pi ^2. \end{aligned}$$ ∑ i = 1 k ‖ ∫ A i x e - 1 2 ‖ x ‖ 2 2 d x ‖ 2 2 ? 9 π 2 . Let $\{P_1,P_2,P_3\}$ { P 1 , P 2 , P 3 } be the partition of $\mathbb R ^2$ R 2 into $120^{\circ }$ 120 ° sectors centered at the origin. The bound (1) is sharp, with equality holding if $A_i=P_i\times \mathbb R $ A i = P i × R for $i\in \{1,2,3\}$ i ∈ { 1 , 2 , 3 } and $A_i=\emptyset $ A i = ? for $i\in \{4,\ldots ,k\}$ i ∈ { 4 , … , k } . This settles positively the $3$ 3 -dimensional Propeller Conjecture of Khot and Naor [(Mathematika 55(1-2):129–165, 2009 (FOCS 2008)]. The proof of (1) reduces the problem to a finite set of numerical inequalities which are then verified with full rigor in a computer-assisted fashion. The main consequence (and motivation) of (1) is complexity-theoretic: the unique games hardness threshold of the kernel clustering problem with $4\times 4$ 4 × 4 centered and spherical hypothesis matrix equals $\frac{2\pi }{3}$ 2 π 3 .     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Algebraic Boundaries of \mathrm{SO}(2)-Orbitopes

Let $X\subset \mathbb{A }^{2r}$ X ? A 2 r be a real curve embedded into an even-dimensional affine space. We characterise when the $r$ r th secant variety to $X$ X is an irreducible component of the algebraic boundary of the convex hull of the real points $X(\mathbb{R })$ X ( R ) of $X$ X . This fact is then applied to $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes and to the so called Barvinok–Novik orbitopes to study when they are basic closed semi-algebraic sets. In the case of $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes, we find all irreducible components of their algebraic boundary.     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Recovering an Homogeneous Polynomial from Moments of Its Level Set

Let $\mathbf{K }:=\left\{ \mathbf{x }: g(\mathbf{x })\le 1\right\} $ K : = x : g ( x ) ≤ 1 be the compact (and not necessarily convex) sub-level set of some homogeneous polynomial $g$ g . Assume that the only knowledge about $\mathbf{K }$ K is the degree of $g$ g as well as the moments of the Lebesgue measure on $\mathbf{K }$ K up to order $2d$ 2 d . Then the vector of coefficients of $g$ g is the solution of a simple linear system whose associated matrix is nonsingular. In other words, the moments up to order $2d$ 2 d of the Lebesgue measure on $\mathbf{K }$ K encode all information on the homogeneous polynomial $g$ g that defines $\mathbf{K }$ K (in fact, only moments of order $d$ d and $2d$ 2 d are needed).     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

*-Quantizations of Fourier–Mukai Transforms

We study deformations of Fourier–Mukai transforms in general complex analytic settings. Suppose X and Y are complex manifolds, and let P be a coherent sheaf on X ×  Y. Suppose that the Fourier–Mukai transform ${\Phi}$ Φ given by the kernel P is an equivalence between the coherent derived categories of X and of Y. Suppose also that we are given a formal *-quantization ${\mathbb{X}}$ X of X. Our main result is that ${\mathbb{X}}$ X gives rise to a unique formal *-quantization ${\mathbb{Y}}$ Y of Y. For the statement to hold, *-quantizations must be understood in the framework of stacks of algebroids. The quantization ${\mathbb{Y}}$ Y is uniquely determined by the condition that ${\Phi}$ Φ deforms to an equivalence between the derived categories of ${\mathbb{X}}$ X and ${\mathbb{Y}}$ Y . Equivalently, the condition is that P deforms to a coherent sheaf ${\tilde{P}}$ P ~ on the formal *-quantization ${\mathbb{X} \times\mathbb{Y}^{op}}$ X × Y o p of X × Y; here ${\mathbb{Y}^{op}}$ Y o p is the opposite of the quantization ${\mathbb{Y}}$ Y .     

Local and 2-Local Lie Derivations of Operator Algebras on Banach Spaces

Let X be a Banach space of dimension > 2. We show that every local Lie derivation of B(X) is a Lie derivation, and that a map of B(X) is a 2-local Lie derivation if and only if it has the form ${A \mapsto AT - TA + \psi(A)}$ A ? A T - T A + ψ ( A ) , where ${T \in B(X)}$ T ∈ B ( X ) and ψ is a homogeneous map from B(X) into ${\mathbb{F}I}$ F I satisfying ${\psi(A + B) = \psi(A)}$ ψ ( A + B ) = ψ ( A ) for ${A, B \in B(X)}$ A , B ∈ B ( X ) with B being a sum of commutators.     

The Generalization of the Decomposition of Functions by Energy Operators

This work starts with the introduction of a family of differential energy operators. Energy operators $({\varPsi}_{R}^{+}, {\varPsi}_{R}^{-})$ were defined together with a method to decompose the wave equation in a previous work. Here the energy operators are defined following the order of their derivatives $(\varPsi^{-}_{k}, \varPsi^{+}_{k}, k=\{0,\pm 1,\pm 2,\ldots\})$ . The main part of the work demonstrates for any smooth real-valued function f in the Schwartz space $(\mathbf{S}^{-}(\mathbb{R}))$ , the successive derivatives of the n-th power of f ( $n \in \mathbb{Z}$ and n≠0) can be decomposed using only $\varPsi^{+}_{k}$ (Lemma); or if f in a subset of $\mathbf{S}^{-}(\mathbb{R})$ , called $\mathbf{s}^{-}(\mathbb{R})$ , $\varPsi^{+}_{k}$ and $\varPsi^{-}_{k}$ ( $k\in \mathbb{Z}$ ) decompose in a unique way the successive derivatives of the n-th power of f (Theorem). Some properties of the Kernel and the Image of the energy operators are given along with the development. Finally, the paper ends with the application to the energy function.     

Triangle-Free Geometric Intersection Graphs with Large Chromatic Number

Several classical constructions illustrate the fact that the chromatic number of a graph may be arbitrarily large compared to its clique number. However, until very recently no such construction was known for intersection graphs of geometric objects in the plane. We provide a general construction that for any arc-connected compact set $X$ X in $\mathbb{R }^2$ R 2 that is not an axis-aligned rectangle and for any positive integer $k$ k produces a family $\mathcal{F }$ F of sets, each obtained by an independent horizontal and vertical scaling and translation of $X$ X , such that no three sets in $\mathcal{F }$ F pairwise intersect and $\chi (\mathcal{F })>k$ χ ( F ) > k . This provides a negative answer to a question of Gyárfás and Lehel for L-shapes. With extra conditions we also show how to construct a triangle-free family of homothetic (uniformly scaled) copies of a set with arbitrarily large chromatic number. This applies to many common shapes, like circles, square boundaries or equilateral L-shapes. Additionally, we reveal a surprising connection between coloring geometric objects in the plane and on-line coloring of intervals on the line.     

New open-book decompositions in singularity theory

In this article, we study the topology of real analytic germs ${F \colon (\mathbb{C}^3,0) \to (\mathbb{C},0)}$ given by ${F(x,y,z)=\overline{xy}(x^p+y^q)+z^r}$ with ${p,q,r \in \mathbb{N}, p,q,r \geq 2}$ and (p, q)?=?1. Such a germ gives rise to a Milnor fibration ${\frac{F}{\mid F \mid}\colon \mathbb{S}^5\setminus L_F \to \mathbb{S}^1}$ . We describe the link L _F as a Seifert manifold and we show that in many cases the open-book decomposition of ${\mathbb{S}^5}$ given by the Milnor fibration of F cannot come from the Milnor fibration of a complex singularity in ${\mathbb{C}^3}$ .