Relatively free products of Magnus groups

The class of Magnus -groups is closed under the operation of the -product. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 199–213, 2004.     

Categories with homotopy determine a closed model structure

In a category with homotopy (Definition 1.1), one can define a natural concept of (co)fibrations and weak equivalences (Sec. 2) such that some properties of a closed model category hold. If is a complete and cocomplete category (with respect to finite limits) with simplicial homotopy (Definition 1.3), one achieves a full closed model structure in (Theorem 4.6). For each category with homotopy , there exists a category with simplicial homotopy (see Sec. 5) (the simplicial envelope of ). If is already a complete category with simplicial homotopy, then is Quillen equivalent to (Theorem 5.9). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 41, Topology and Its Applications, 2006.     

Quantum duality in quantum deformations

In accordance with the quantum duality principle, the twisted algebra is equivalent to the quantum group and has two preferred bases: one inherited from the universal enveloping algebra and the other generated by coordinate functions of the dual Lie group . We show howthe transformation can be explicitly obtained for any simple Lie algebra and a factorable chain of extended Jordanian twists. In the algebra , we introduce a natural vector grading , compatible with the adjoint representation of the algebra. Passing to the dual-group coordinates allows essentially simplifying the costructure of the deformed Hopf algebra , considered as a quantum group . The transformation can be used to construct new solutions of the twist equations. We construct a parameterized family of extended Jordanian deformations and study it in terms of ; we find new realizations of the parabolic twist. Dedicated to the birthday of my teacher, Yurii Novozhilov __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 148, No. 1, pp. 112–125, July, 2006.     

Universal weight systems and the Kontsevich integral for the unknot

The value of the -weight system for the Kontsevich integral of the unknot is found. This value is a normalizing factor used in calculating knot invariants. A weight system is a function defined on the space of chordal diagrams and taking values in the center of the universal enveloping algebra . __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 38, Suzdal Conference-2004, Part 3, 2006.     

A local duality theorem for categories of modules

Let Λ be an associative ring with identity and let be the category of left unitary Λ-modules. A subcateqory of the category is said to be small if the pairwise nonisomorphic objects of form a set. The main result of this paper consists of the fact that for every small full subcategory , there exists a ring Γ such that is dual to a small full subcategory of the category . Some applications of this result are indicated. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995, pp. 66–73.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Invertibility of linear f-order preservers

In this paper, we prove that monotonic linear transformations with respect to partial orders and are invertible. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 3–11, 2003.     

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

Invariant and quasi-invariant transformations of measures that correspond to stable processes with independent increments

Let ξ(t), t ∈ [0, 1], be a strictly stable process with an index of stability α ∈ (0, 2). By we denote the law of ξ in the Skorokhod space [0,1]. For arbitrary strictly stable process ξ, we construct a semigroup of transformations of [0, 1] for which the measure is quasi-invariant. For strictly stable processes with positive and negative jumps, we construct a group of transformations of [0, 1] for which the measure is quasi-invariant. In the symmetric case, this group is a group of invariant transformations. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 339, 2006, pp. 135–149.     

Local Duality for Modules over Noetherian Commutative Rings

Some applications of the general theorem on the existence of local duality for modules over Noetherian commutative rings are given. Let be a Noetherian commutative ring, let be a set of maximal ideals in , and let . Then the category of Artinian modules is dual to the category of Noetherian modules. Several structural results are proved, including the theorem on the structure of Artinian modules over principal ideal domains. For rings of special kinds, double centralizer theorems are proved. Bibliography: 5 titles.     

Finite rank operators in Jacobson radical \mathcal{R}_{\mathcal{N} \otimes \mathcal{M}}

In this paper we investigate finite rank operators in the Jacobson radical of Alg( ), where are nests. Based on the concrete characterizations of rank one operators in Alg( ) and , we obtain that each finite rank operator in can be written as a finite sum of rank one operators in and the weak closure of equals Alg( ) if and only if at least one of is continuous.     

On the representation of differentiations by Hamiltonians,operating from an algebra of local observable spin systems

Let and be algebras of local and quasilocal observable spin systems corresponding to the group Zr, be a differentiation invariant with respect to displacements. The question of representation of D in the form of formal Hamiltonian formed by the displacements of an elementx ε is considered. It is shown that such a representation exists if the condition holds, where means an element obtained from the elements [T_kX,a] by some r-multiple process of summation. Translated from Matematicheskii Zametki, Vol. 21, No. 1, pp. 93–98, January, 1977.     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Integral-valued rational functions on valued fields

Let K be a field and a non-trivial valuation ring of K withm as its maximal ideal. Denote by and the rings of polynomials f∈K[X] and rational functions f∈K(X) resp. such that . We prove that for one variable X we have if and only if the completion of (K, ) is locally compact or algebraically closed. In the second case—i.e. if K is dense in the algebraic closure of (K, )—we even get for any number of variables X=(X₁,...,X_n). This work contains parts of the second author's thesis [Ri] written under the supervision of the first author.     

On the numerical construction of an attractor for the Navier-Stokes system

In this paper the problem of the numerical approximation of the minimal global B-attractor for a semiflow generated by the Navier-Stokes equations in a two-dimensional bounded domain Ω is considered. The method suggested here is based on the formula , where G^N is a sequence of compact subsets of L₂(Ω), . The procedure of constructing G^N is finite and includes the numerical solution of the Navier-Stokes equations by means of the Galerkin method, together with an explicit finite-difference discretization in time. Bibliography: 5 titles. To dear teacher Olga A. Ladyzhenskaya on the occasion of the jubilee Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 200, 1992, pp. 91–97. Translated by V. I. Ochkur.     

Classical r-matrices with a parabolic carrier

Using a graphic presentation of the dual Lie algebra ^# (r) for a simple algebra , it is possible to show that there always exist solutions r_ech of the classical Yang—Baxter equation with a parabolic carrier. To get a closed-form expression for r_ech, we find dual coordinates in which the adjoint action of the carrier _c is reducible. This allows us to find the structure of Jordanian r-matrices r_J which are candidates for enlarging the initial full chain r_fch and realize the desired solution r_ech in the factorized form r_ech ≈ r_fch + r_J. We obtain a unique transformation: the canonical chain has to be replaced by a special kind of peripheric r-matrices, r_fch → r_rfch. To illustrate the method, the case of =sl(11) is considered in the full detail. Bibliography: 11 titles. To my friend Petr Petrovich Kulish __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 317, 2004, pp. 122–141.     

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

On the ‘Standard’ Condition for Noncompact Homogeneous Einstein Spaces

A nonflat Einstein solvmanifold ( , g) is said to be of standard type if in the associated metric Lie algebra , the orthogonal complement of the derived algebra is Abelian. It is an open question whether the standard condition is automatically satisfied for all nonflat Einstein solvmanifolds. We derive certain properties of the metric Lie algebra of a nonflat Einstein solvmanifold ( , g) under the assumption . In particular, we obtain some new sufficient conditions which imply standard type.