Formality in generalized Kähler geometry

We prove that no nilpotent Lie algebra admits an invariant generalized Kähler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kähler case, while it is never formal for a generalized complex structure on a nilpotent Lie algebra.     

Calculus In Enveloping Algebras

Motivated by, but independent of, some recent work in quantumstochastic calculus, a theory of differential and integral calculusis developed which is intrinsic to the universal envelopingalgebra of a Lie algebra whose Lie bracket is obtained by takingcommutators in an associative algebra. The differential mapsatisfies a generalisation of Leibniz' formula called the Leibniz–Itôformula, which involves the associative multiplication. Thereis an analogue of the Taylor–Maclaurin expansion. Throughpassing to formal power series, a theory of product integralsis developed; such integrals are characterised by a group-likeproperty with respect to the coproduct.     

Obstructions to homotopy equivalences

An obstruction theory is developed to decide when an isomorphism of rational cohomology can be realized by a rational homotopy equivalence (either between rationally nilpotent spaces, or between commutative graded differential algebras). This is used to show that a cohomology isomorphism can be so realized whenever it can be realized over some field extension (a result obtained independently by Sullivan).In particular an algorithmic method is given to decide when a c.g.d.a. has the same homotopy type as its cohomology (the c.g.d.a. is called formal in this case).The chief technique is the construction of a canonically filtered model for a commutative graded differential algebra (over a field of characteristic zero) by perturbing the minimal model for the cohomology algebra. This filtered model is also used to give a simple construction of the Eilenberg-Moore spectral sequence arising from the bar construction. An example is given of a c.g.d.a. whose Eilenberg-Moore sequence collapses, yet which is not formal.     

A representation of solution of stochastic differential equations

We prove that the logarithm of the formal power series, obtained from a stochastic differential equation, is an element in the closure of the Lie algebra generated by vector fields being coefficients of equations. By using this result, we obtain a representation of the solution of stochastic differential equations in terms of Lie brackets and iterated Stratonovich integrals in the algebra of formal power series.     

Chiral differential operators: Formal loop group actions and associated modules

Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of 2-dimensional σ-models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie group action on a smooth manifold can be lifted to a “formal loop group action” on an algebra of CDOs; this turns out to be a condition on the equivariant first Pontrjagin class. The case of a principal bundle receives particular attention and gives rise to a type of vertex algebras of great interest. In the second half, we introduce a construction of modules over CDOs using the said “formal loop group actions” and semi-infinite cohomology. Intuitively, these modules should have a geometric meaning in terms of “formal loop spaces”. The first example we study leads to a new conceptual construction of an arbitrary algebra of CDOs. The other example, called the spinor module, may be useful for a geometric theory of the Witten genus.     

Non-commutative Hopf algebra of formal diffeomorphisms

This paper deals with two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the group law being multiplication of series, while the second is the set of formal diffeomorphisms with the group law being a composition of series. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization procedure in quantum field theory, and to the renormalization functor given by the double-tensor algebra on a bi-algebra.     

A review of formal orthogonality in Lanczos-based methods

Krylov subspace methods and their variants are presently the favorite iterative methods for solving a system of linear equations. Although it is a purely linear algebra problem, it can be tackled by the theory of formal orthogonal polynomials. This theory helps to understand the origin of the algorithms for the implementation of Krylov subspace methods and, moreover, the use of formal orthogonal polynomials brings a major simplification in the treatment of some numerical problems related to these algorithms. This paper reviews this approach in the case of Lanczos method and its variants, the novelty being the introduction of a preconditioner.     

KdV方程的延拓结构

利用外微分形式系统和Lie代数表示理论提出了求解非线性波方程Lax对的延拓结构理论,该方法是构造非线性波方程Lax对的系统最有效的方法.其关键在于如何给出延拓代数的具体表示,如微分算子表示或矩阵表示.如果一个非线性波方程具有非平凡的延拓代数,则称其延拓代数可积,本篇论文主要利用延拓结构理论,讨论KdV方程的解,同时给出...     

Trace Functionals on Noncommutative Deformations of Moduli Spaces of Flat Connections

We describe an efficient construction of a canonical noncommutative deformation of the algebraic functions on the moduli spaces of flat connections on a Riemann surface. The resulting algebra is a variant of the quantum moduli algebra introduced by Alekseev, Grosse, and Schomerus and Buffenoir and Roche. We construct a natural trace functional on this algebra and show that it is related to the canonical trace in the formal index theory of Fedosov and Nest and Tsygan via Verlinde's formula.     

The hopf algebra of linearly recursive sequences

We explain how the space of linearly recursive sequences over a field can be considered as a Hopf algebra. The algebra structure is that of divided-power sequences, so we concentrate on the perhaps lesser-known coalgebra (diagonalization) structure. Such a sequence satisfies a minimal recursive relation, whose solution space is the subcoalgebra generated by the sequence. We discuss possible bases for the solution space from the point of view of diagonalization. In particular, we give an algorithm for diagonalizing a sequence in terms of the basis of the coalgebra it generates formed by its images under the difference-operator shift. The computation involves inverting the Hankel matrix of the sequence. We stress the classical connection (say over the real or complex numbers) with formal power series and the theory of linear homogeneous ordinary differential equations. It is hoped that this exposition will encourage the use of Hopf algebraic ideas in the study of certain combinatorial areas of mathematics.     

Cohomology structure for a Poisson algebra:Ⅱ

For a Poisson algebra, we prove that the Poisson cohomology theory introduced by Flato et al.(1995)is given by a certain derived functor. We show that the(generalized) deformation quantization is equivalent to the formal deformation for Poisson algebras under certain mild conditions. Finally we construct a long exact sequence, and use it to calculate the Poisson cohomology groups via the Yoneda-extension groups of certain quasi-Poisson modules and the Lie algebra cohomology groups.     

The Notion of Vertex Operator Coalgebra and a Geometric Interpretation

The notion of vertex operator coalgebra is presented and motivated via the geometry of conformal field theory. Specifically, we describe the category of geometric vertex operator coalgebras, whose objects have comultiplicative structures meromorphically induced by conformal equivalence classes of worldsheets. We then show this category is isomorphic to the category of vertex operator coalgebras, which is defined in the language of formal algebra. The latter has several characteristics which give it the flavor of a coalgebra with respect to the structure of a vertex operator algebra and several characteristics that distinguish it from a standard dual—both of them will be highlighted.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

Formality of the complements of subspace arrangements with geometric lattices

We show that for an arrangement of subspaces in a complex vector space with geometric intersection lattice, the complement of the arrangement is formal. We prove that the Morgan rational model for such an arrangement complement is formal as a differential graded algebra. Bibliography: 10 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 326, 2005, pp. 235–247.     

Differential-operator representations of Weyl group and singular vectors in Verma modules

Given a suitable ordering of the positive root system associated with a semisimple Lie algebra,there exists a natural correspondence between Verma modules and related polynomial algebras. With this, the Lie algebra action on a Verma module can be interpreted as a differential operator action on polynomials, and thus on the corresponding truncated formal power series. We prove that the space of truncated formal power series gives a differential-operator representation of the Weyl group W. We also introduce a system of partial differential equations to investigate singular vectors in the Verma module. It is shown that the solution space of the system in the space of truncated formal power series is the span of {w(1) | w ∈ W }. Those w(1) that are polynomials correspond to singular vectors in the Verma module. This elementary approach by partial differential equations also gives a new proof of the well-known BGG-Verma theorem.     

On singular ordinary linear differential operators related to Orr-Sommerfeld stability equation

A usable, not technically complicated theory unlike that of Wasow of linear, singular, even order differential operators with general boundary conditions is proposed and the behaviour of eigenvalues and eigenfunctions is discussed in the limit as ε → 0, ε > 0. Completeness of the eigenvalue spectrum when the operator is formally self-adjoint is discussed and formal solutions are constructed and finally justification of the formal approximations is shown by proving the existence of actual solutions of the differential equation approximated by formal solutions. Also, modifications necessary for the consideration of the critical point are suggested. This theory is unlike that of Reid since it provides rigorous justification of the approximations and moreover, this theory is applicable to a large class of physical problems rewritten in such a way that they contain a small parameter.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.     

Closed form algebra on a disk is Koszul

We prove that the algebra of closed differential forms on an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is Koszul (both nontopologically and topologically). A relation to variations of mixed Hodge-Tate structures is discussed in the introduction.     

The Hyperbolic Formal Affine Demazure Algebra

In the present paper we extend the construction of the formal (affine) Demazure algebra due to Hoffnung, Malagón-López, Savage and Zainoulline in two directions. First, we introduce and study the notion of a formal Demazure lattice in the Kac-Moody setting and show that all the definitions and properties of the formal (affine) Demazure operators and algebras hold for such lattices. Second, we show that for the hyperbolic formal group law the formal Demazure algebra is isomorphic (after extending the coefficients) to the Hecke algebra.     

The character map in deformation quantization

The third author recently proved that the Shoikhet–Dolgushev L_∞-morphism from Hochschild chains of the algebra of smooth functions on a manifold to differential forms extends to cyclic chains. Localization at a solution of the Maurer–Cartan equation gives an isomorphism, which we call character map, from the periodic cyclic homology of a formal associative deformation of the algebra of functions to de Rham cohomology. We prove that the character map is compatible with the Gauss–Manin connection, extending a result of Calaque and Rossi on the compatibility with the cap product. As a consequence, the image of the periodic cyclic cycle 1 is independent of the deformation parameter and we compute it to be the A-roof genus of the manifold. Our results also imply the Tamarkin–Tsygan index theorem.