Push-outs of derivations

Let be a Banach algebra and let X be a Banach -bimodule. In studying (,X) it is often useful to extend a given derivation D: → X to a Banach algebra containing as an ideal, thereby exploiting (or establishing) hereditary properties. This is usually done using (bounded/unbounded) approximate identities to obtain the extension as a limit of operators b ↦ D(ba) − b.D(a), a ε in an appropriate operator topology, the main point in the proof being to show that the limit map is in fact a derivation. In this paper we make clear which part of this approach is analytic and which algebraic by presenting an algebraic scheme that gives derivations in all situations at the cost of enlarging the module. We use our construction to give improvements and shorter proofs of some results from the literature and to give a necessary and sufficient condition that biprojectivity and biflatness is inherited to ideals.     

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

The hardy and bellman operators in spaces connected with H( \mathbb{T} ) and BMO( \mathbb{T} )

Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series $ \sum\limits_{n = 1}^\infty {a_n } Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series cos nx. According to one result of G.H. Hardy, the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. But if 1 < p ≤ ∞ and f ∈ L ^p [0, π], then the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. Similar assertions are true for sine series. This allows one to define the Hardy operator on L ^p (), 1 ≤ p < ∞, and to define the Bellman operator on L ^p (), 1 < p ≤ ∞. In this paper we prove that the Bellman operator boundedly acts in VMO(), and the Hardy operator also maps a certain subspace C() onto VMO(). We also prove the invariance of certain classes of functions with given majorants of modules of continuity or best approximations in the spaces H(), L(), VMO() with respect to the Hardy and Bellman operators. Original Russian Text ? S.S. Volosivets and B.I. Golubov, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 5, pp. 4–13.     

Unconditional ideals of finite rank operators

Let X be a Banach space. We give characterizations of when is a u-ideal in for every Banach space Y in terms of nets of finite rank operators approximating weakly compact operators. Similar characterizations are given for the cases when is a u-ideal in for every Banach space Y, when is a u-ideal in for every Banach space Y, and when is a u-ideal in for every Banach space Y.     

Degenerating curves and surfaces: first results

Let be a smooth family of surfaces whose general fibre is a smooth surface of ℙ³ and whose special fibre has two smooth components, intersecting transversally along a smooth curve R. We consider the Universal Severi-Enriques variety on . The general fibre of is the variety of curves on in the linear system with k cusps and δ nodes as singularities. Our problem is to find all irreducible components of the special fibre of . In this paper, we consider only the cases (k, δ) = (0, 1) and (k, δ) = (1, 0). In particular, we determine all singular curves on the special fibre of which, counted with the right multiplicity, are a limit of 1-cuspidal curves on the general fibre of .      

One-loop effective action in the $$ \mathcal{N} $$=2 supersymmetric massive Yang-Mills field theory

We consider the =2 supersymmetric massive Yang-Mills field theory formulated in the =2 harmonic superspace. We present various gauge-invariant forms of writing the mass term in the action (in particular, using the Stueckelberg superfield), which result in dual formulations of the theory. We develop a gaugeinvariant and explicitly supersymmetric scheme of the loop expansion of the superfield effective action beyond the mass shell. In the framework of this scheme, we calculate gauge-invariant and explicitly =2 supersymmetric one-loop counterterms including new counterterms depending on the Stueckelberg superfield. We analyze the component structure of one of these counterterms. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 1, pp. 22–40, October, 2008.     

Factorization of the R-matrix and Baxter’s Q-operator

The general rational solution of the Yang-Baxter equation with the symmetry algebra sℓ(2) can be represented as a product of simpler building blocks called -operators. -operators are constructed explicitly and have simple structure. Using -operators, we construct the two-parametric Baxter’s Q-operator for the generic inhomogeneous XXX-spin chain. In the case of a homogeneous XXX-spin chain, it is possible to reduce the general Q-operator to a much simpler one-parametric Q-operator. Bibliography: 22 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 144–166.     

Parabolic twists for the linear algebras <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>−1</Subscript>

New solutions of twist equations for the universal enveloping algebras U (A_n−1) are found. These solutions can be represented as products of full chains of extended Jordanian twists Abelian factors (“rotations”) , and sets of quasi-Jordanian twists . The latter are generalizations of Jordanian twists (with carrier b²) for special deformed extensions of the Hopf algebra U (b²). The carrier subalgebra for the composition is a nonminimal parabolic subalgebra in A _n−1 such that . The parabolic twisting elements are obtained in an explicit form. Details of the construction are illustrated by considering the examples n = 4 and n = 11. Bibliography: 21 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 187–213.     

Normality concerning shared values

Let be a family of meromorphic functions in a plane domain D, and a and b be finite non-zero complex values such that . If for and , then is normal. We also construct a non-normal family of meromorphic functions in the unit disk Δ={|z|<1} such that for every and in Δ, where m is a given positive integer. This answers Problem 5.1 in the works of Gu, Pang and Fang. This work was supported by National Natural Science Foundation of China (Grant Nos. 10671093, 10871094) and the Natural Science Foundation of Universities of Jiangsu Province of China (Grant No. 08KJB110001), the Qing Lan Project of Jiangsu, China and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry     

Perfect difference sets constructed from Sidon sets

A set of positive integers is a perfect difference set if every nonzero integer has a unique representation as the difference of two elements of . We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach we prove that there exists a perfect difference set such that

Derivations of the even part of the odd hamiltonian superalgebra in modular case

In this paper we mainly study the derivations for even part of the finite-dimensional odd Hamiltonian superalgebra HO over a field of prime characteristic. We first give the generating set of the even part g of HO. Then we compute the derivations from g into the even part m of the generalized Witt superalgebra. Finally, we determine the derivation algebra and outer derivation algebra of and the dimension formulas. In particular, the first cohomology groups H^1（g;m） and H^1（g;g） are determined.     

Resolvent norm decay does not characterize norm continuity

We show that there exists a reflexive Banach space $ (\mathcal{X},\parallel .\parallel ) We show that there exists a reflexive Banach space and a strongly continuous semigroup with generator on such that but is not eventually norm continuous. This answers a question of Amnon Pazy in the negative. This research was carried out during the author’s stay at Arbeitsgruppe Funktionalanalysis of Universit?t Karlsruhe with the support of the Alexander von Humboldt-Stiftung and of the Gemeinnützige Hertie-Stiftung. The research was partially supported by the OTKA Grants F 43620, T 49786 and T 37758.     

Compact corigid objects in triangulated categories and co-<Emphasis Type="Italic">t</Emphasis>-structures

In the work of Hoshino, Kato and Miyachi, [11], the authors look at t-structures induced by a compact object, , of a triangulated category, , which is rigid in the sense of Iyama and Yoshino, [12]. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on whose heart is equivalent to Mod(End()^op). Rigid objects in a triangulated category can the thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, , of a triangulated category, , induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End()^op), and hence an abelian subcategory of .      

Nonlinear maps of convex sets in Hilbert spaces with application to kinetic equations

Let be a separable Hilbert space, an open convex subset, and f: a smooth map. Let Ω be an open convex set in with , where denotes the closure of Ω in . We consider the following questions. First, in case f is Lipschitz, find sufficient conditions such that for ɛ > 0 sufficiently small, depending only on Lip(f), the image of Ω by I + ɛf, (I + ɛf)(Ω), is convex. Second, suppose df(u): is symmetrizable with σ(df(u)) ⊆ (0,∞), for all u ∈ , where σ(df(u)) denotes the spectrum of df(u). Find sufficient conditions so that the image f(Ω) is convex. We establish results addressing both questions illustrating our assumptions and results with simple examples. We also show how our first main result immediately apply to provide an invariance principle for finite difference schemes for nonlinear ordinary differential equations in Hilbert spaces. The main application of the theory developed in this paper concerns our second result and provides an invariance principle for certain convex sets in an L ²-space under the flow of a class of kinetic transport equations so called BGK model.      

On some new criteria for infinite differentiability of periodic functions

We study the set of infinitely differentiable periodic functions in terms of generalized -derivatives defined by a pair of sequences ψ ₁ and ψ ₂. It is shown that every function ƒ from the set has at least one derivative whose parameters ψ ₁ and ψ ₂ decrease faster than any power function and, at the same time, for any function ƒ ∈ different from a trigonometric polynomial, there exists a pair ψ whose parameters ψ ₁ and ψ ₂ have the same rate of decrease and for which the -derivative no longer exists. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 10, pp. 1399–1409, October, 2007.     

Some functional equations on standard operator algebras

The main purpose of this paper is to prove the following result. Let H be a complex Hilbert space, let (H) be the algebra of all bounded linear operators on H, and let (H) ⊂ (H) be a standard operator algebra which is closed under the adjoint operation. Suppose that T: (H) → (H) is a linear mapping satisfying T(AA* A) = T(A)A* A − AT(A*)A + AA*T(A) for all A ∈ (H). Then T is of the form T(A) = AB + BA for all A ∈ (H), where B is a fixed operator from (H). A result concerning functional equations related to bicircular projections is proved      

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript>-group and approximate similarity invariants of strongly irreducible operators

Let H olenote a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator T ∈ L(H) is said to be strongly irreducible if T does not commute with any nontrivial idempotent. Herrero and Jiang showed that the norm-closure of the class of all strongly irreducible operators is the class of all operators with connected spectrum. This result can be considered as an approximate inverse of the Riesz decomposition theorem. In the paper, we give a more precise charact...     

On the existence of Fagnano trajectories in convex polygonal billiards

We prove that an n-gon is pedal strong Fagnano trajectory in some convex polygonal billiard table if and only if it is a convex Poncelet n-gon.      

Two Orbits: When is one in the closure of the other?

Let G be a connected linear algebraic group, let V be a finite dimensional algebraic G-module, and let and be two G-orbits in V. We describe a constructive way to find out whether or not lies in the closure of . Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2009, Vol. 264, pp. 152–164. In memory of V.A. Iskovskikh