Zamolodchikov-Faddeev algebras for Yangian doubles at level 1

The representation theory of centrally extended Yangian doubles is investigated. The intertwining operators are constructed for infinite dimensional representations of , which are deformed analogs of the highest weight representations of the affine algebra at level 1. We give bosonized expressions for the intertwining operators and verify that they generate an algebra isomorphic to the Zamolodchikov-Faddeev algebra for the SU(2)-invariant Thirring model. From them, we compose L-operators by Miki’s method and verify that they coincide with L-operators constructed from the universal R-matrix. The matrix elements of the product of these operators are calculated explicitly and are shown to satisfy the quantum (deformed) Knizhnik-Zamolodchikov equation associated with the universal R-matrix for . This paper was written at the request of the Editorial Board. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 110, No. 1, pp. 25–45. January, 1997.     

Toward a vertex operator construction of quantum affine algebras

We describe a construction of the quantum-deformed affine algebras using vertex operators in the free field theory. We prove the Serre relations for the Borel subalgebras of quantum affine algebras; in particular, we consider the case in detail. We also construct the generators corresponding to the positive roots of . __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 154, No. 2, pp. 240–248, February, 2008.     

On some generalizations of the factorization method

The classical factorization method reduces the study of a system of ordinary differential equations U_t=[U₊, U] to solving algebraic equations. Here U(t) belongs to a Lie algebra which is the direct sum of its subalgebras and , where “+” signifies the projection on . We generalize this method to the case . The corresponding quadratic systems are reducible to a linear system with variable coefficients. It is shown that the generalized version of the factorization method can also be applied to Liouville equation-type systems of partial differential equations. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 110, No. 3, pp. 339–350, March, 1997.     

Twists and Singular Vectors in \widehat{sl}\left( {2\left| 1 \right.} \right) Representations

We propose new formulas for singular vectors in Verma modules over the affine Lie superalgebra . We analyze the coexistence of singular vectors of different types and identify the twisted modules arising as submodules and quotient modules of Verma modules. We show that with the twists (spectral flow transformations) properly taken into account, a resolution of irreducible representations can be constructed consisting of only the modules.     

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.     

Tensor invariants of the Lie algebra sl2(ℂ[t]) and fundamental representations of the Lie algebras\hat p_{2n}

Generators of the space of tensor invariants of the Lie algebra Sl₂([t]) are constructed. It is proved that the restrictions of a spinor representation of the affine Lie algebra to and form a dual pair. A realization of the fundamental representations of the Lie algebra is obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, Akad. Nauk SSSR, Vol. 172, pp. 137–144, 1989.     

Orthogonal polynomials of a discrete variable and Lie algebras of complex-size matrices

We give a uniform interpretation of the classical continuous Chebyshev and Hahn orthogonal polynomials of a discrete variable in terms of the Feigin Lie algebra for λ∈ℂ. The Chebyshev and Hahn q-polynomials admit a similar interpretation, and orthogonal polynomials corresponding to Lie superalgebras can be introduced. We also describe quasi-finite modules over , real forms of this algebra, and the unitarity conditions for quasi-finite modules. Analogues of tensors over are also introduced. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 2, pp. 205–236, May, 2000.     

An analogue of the quantum Drinfeld-Sokolov Hamiltonian reduction for deformed algebras. TheU_q (\widehat{sl}_2 ) case

We investigate the relation between the algebra and the q-deformation of the Virasoro algebra. We calculate the BRST operator of the Drinfeld-Sokolov reduction and its cohomology. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 114, No. 3, pp. 337–348, March, 1998.     

The closure diagram for nilpotent orbits of the split real form of E8

Let and be adjoint nilpotent orbits in a real semisimple Lie algebra. Write ≥ if is contained in the closure of . This defines a partial order on the set of such orbits, known as the closure ordering. We determine this order for the split real form of the simple complex Lie algebra, E ₈. The proof is based on the fact that the Kostant-Sekiguchi correspondence preserves the closure ordering. We also present a comprehensive list of simple representatives of these orbits, and list the irreeducible components of the boundaries and of the intersections .     

On the range of a generalized derivation

A generalized derivation , is defined by the formula , where and is the Banach algebra of bounded linear operators in a Hilbert space . Sufficient conditions under which and are given. Bibliography: 8 titles. Translated fromProblemy Matematicheskogo Analiza, No. 20, 2000, pp. 111–119.     

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.     

Nilpotent action on the KDV variables and 2-dimensional Drinfeld-Sokolov reduction

We note that a version with spectral parameter of the Drinfeld-Sokolov reduction gives a natural mapping from the KdV phase space to the group of loops with values in : affine nilpotent andA principal commutative (or anisotropic Cartan) subgroup; this mapping is connected to the conserved densities of the hierarchy. We compute the Feigin-Frenkel action of (defined in terms of screening operators) on the conserved densities in thesl ₂ case.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 98, No. 3, pp. 375–378, March, 1994.     

Special finite-dimensional monocomposition algebras

Special monocomposition algebras introduced in [1] are studied. Using their properties, we prove that any nondegenerate monocomposition algebra ,dim ≥ 3, with unity contains no proper ideal of dimension ≤8. This implies that if 3≤dim ≤ 9, then is a central simple algebra. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 125–144, March–April, 1996.     

The Hopf algebra Rep U_{q} \widehat{\frak g \frak l}_\infty

We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of in the limitN→∞. The resulting Hopf algebra Rep is a tensor product of its Hopf subalgebras Rep_a ,a ∈ ℂ^×/q^2ℤ. Whenq is generic (resp.,q ² is a primitive root of unity of orderl), we construct an isomorphism between the Hopf algebra Rep _a and the algebra of regular functions on the prounipotent proalgebraic group (resp., ). Whenq is a root of unity, this isomorphism identifies the Hopf subalgebra of Rep _a spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of considered as anl×l matrix over the Taylor series. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver withl vertices) on Rep _a and describe the span of tensor products of evaluation representations taken at fixed points as a module over this Hall algebra.     

Primitive systems of elements in the variety\mathfrak{A}\mathfrak{N}_2 and some locally finite varieties of groupsand some locally finite varieties of groups

Part of any basis of a relatively free group in the variety is called a primitive system of elements. We provide a criterion of being primitive for , where is a variety of Abelian groups satisfying x^m=1, and a variety generated by a finite group. Let be a variety of nilpotent groups of class ≤c. It is proved that, for the group , the property of being primitive for an element g is stronger than the condition of being unimodular on a vector composed of values of Fox derivatives in the ring . The group is not residually finite whenever a system of elements is primitive. Supported by RFFR grant No. 96-01-01948. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 687–699, November–December, 1998.     

On residue complexes,dualizing sheaves and local cohomology modules

According to Grothendieck Duality Theory [RD], on each varietyV over a fieldk, there is a canonical complex of -modules, theresidue complex . These complexes satisfy (and are characterized by) functorial properties in the categoryV ofk-varieties. In [Ye] a complex is constructed explicitly (when the fieldk is perfect). The main result of this paper is that the two families of complexes, and , which carry certain additional data (such as trace maps…), are uniquely isomorphic. As a corollary we recover Lipman’s canonical dualizing sheaf of [Li], and we obtain formulas for residues of local cohomology classes of differential forms.     

Eine Verallgemeinerung derCW-Komplexe

In the definition ofCW-complexes, the one-point spaceP, respectively the spaceP∪* with basepoint *, play the roll of the only “building-stone”. Let be a family of compact spaces. Then the definition of a generalizedCW-complex over is obtained from the definition of aCW-complex by replacingP by the spaces of and formation of the mapping cone by a slightly modified construction. LetCW * denote the category of all pointed spaces which have the homotopy type of a generalizedCW-complex over . If , thenCW * is the category of all pointedCW-spaces.CW * is closed under the formation of direct sums and of mapping cones, cylinders and tori, and is formally characterized as the smallest such subcategory of Top * containing the spaces W∪*, . Following the methods of E. H. Brown, it is proved, that any half exact homotopy functor onCW * is representable, and any cohomology theory onCW is naturally equivalent to the cohomology theory of an Ω-spectrum; for example, the singular cohomo logy is representable onCW for any family of compact spaces.      

The theory of multi-dimensional polynomial approximation

We consider the problem of polynomial approximation to a real valued functionf defined on a compact set . An approximation theorem is proven in terms of the newly defined modulus of approximation. It is shown to imply a multidimensional Jackson type theorem which is stronger than previously known results even for the interval [−1, 1]. A strong multidimensional Bernstein type inverse theorem is also proven. We allow quite general approximation quasi-norms including for 0<q≤∞. We have found that the space of polynomials ℙ on a compact setX induces a semimetric which encapsulates the local structure of ℙ. Any semimetric ρ equivalent to suffices for the rough theory presented here. Many examples of sets and their metrics are presented.     

An optimal bound for high-quality conforming triangulations

This paper shows that, for any plane geometric graph withn vertices, there is a triangulation that conforms to , i.e., each edge of is the union of some edges of , where hasO(n²) vertices with each angle of its triangles measuring no more than 11/15π. Additionally, can be computed inO(n ² logn) time. This research was partially supported by the National University of Singapore under Grant RP940641.     

Factorizations of composition formations

It is proved that, if is a singly generated composition formation, where , then is a composition formation. Translated fromMatematicheskie Zametki, Vol. 65, No. 3, pp. 389–395, March, 1999.