Hochschild Cohomology Theories in White Noise Analysis
We show that the continuous Hochschild cohomology and the differential Hochschild cohomology of the Hida test algebra endowed with the normalized Wick product are the same.
Збережено в:
| Опубліковано в: : | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Дата: | 2008 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут математики НАН України
2008
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/149012 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Hochschild Cohomology Theories in White Noise Analysis / R. Léandre // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 40 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860169384613380096 |
|---|---|
| author | Léandre, R. |
| author_facet | Léandre, R. |
| citation_txt | Hochschild Cohomology Theories in White Noise Analysis / R. Léandre // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 40 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | We show that the continuous Hochschild cohomology and the differential Hochschild cohomology of the Hida test algebra endowed with the normalized Wick product are the same.
|
| first_indexed | 2025-12-07T17:57:52Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 4 (2008), 066, 13 pages
Hochschild Cohomology Theories
in White Noise Analysis?
Rémi LÉANDRE
Institut de Mathématiques de Bourgogne, Université de Bourgogne, 21000, Dijon, France
E-mail: Remi.leandre@u-bourgogne.fr
Received June 18, 2008, in final form September 08, 2008; Published online September 27, 2008
Original article is available at http://www.emis.de/journals/SIGMA/2008/066/
Abstract. We show that the continuous Hochschild cohomology and the differential Hoch-
schild cohomology of the Hida test algebra endowed with the normalized Wick product are
the same.
Key words: white noise analysis; Hochschild cohomology
2000 Mathematics Subject Classification: 53D55; 60H40
1 Introduction
Hochschild cohomology is a basic tool in the deformation theory of algebras. Gerstenhaber has
remarked that in his seminal work (we refer to [15] and references therein for that). Deformation
quantization [2, 3] in quantum field theory leads to some important problems [10, 11, 14, 40].
Motivated by that, Dito [12] has defined the Moyal product on a Hilbert space. It is easier to
work with models of stochastic analysis although they are similar to models of quantum field.
In order to illustrate the difference between these two theories, we refer to:
• The paper on Dirichlet forms in infinite dimensions of Albeverio–Hoegh–Krohn [1] which
used measures on the space of distributions, the traditional space of quantum field theory.
• The seminal paper of Malliavin [28] which used the traditional Brownian motion and the
space of continuous functions as a topological space. This allows Malliavin to introduce
stochastic differential equations in infinite-dimensional analysis, and to interpret some
traditional tools of quantum field theory in stochastic analysis.
This remark lead Dito and Léandre [13] to construct of the Moyal product on the Malliavin
test algebra on the Wiener space.
It is very classical in theoretical physics [9] that the vacuum expectation of some operator
algebras on some Hilbert space is formally represented by formal path integrals on the fields.
In the case of infinite-dimensional Gaussian measure, this isomorphism is mathematically well
established and is called the Wiener–Itô–Segal isomorphism between the Bosonic Fock space
and the L2 of a Gaussian measure. The operator algebra is the algebra of annihilation and
creation operators with the classical commutation relations. In the case of the classical Brownian
motion Bt on R, Bt is identified with At +A∗
t where At is the annihilation operator associated
to 1[0,t] and A∗
t the associated creation operator.
Let us give some details on this identification [31]. Let H be the Hilbert space of L2 maps
from R+ into R. We consider the symmetric tensor product Ĥ⊗n of H. It can be realized as
the set of maps hn from (R+)n into R such that
∫
(R+)n |hn(s1, . . . , sn)|2ds1 · · · dsn = ‖hn‖2 <∞.
Moreover these maps hn(s1, . . . , sn) are symmetric in (s1, . . . , sn). The symmetric Fock space W0
?This paper is a contribution to the Special Issue on Deformation Quantization. The full collection is available
at http://www.emis.de/journals/SIGMA/Deformation Quantization.html
mailto:Remi.leandre@u-bourgogne.fr
http://www.emis.de/journals/SIGMA/2008/066/
http://www.emis.de/journals/SIGMA/Deformation_Quantization.html
2 R. Léandre
coincides with the set of formal series
∑
hn such that
∑
n!‖hn‖2 <∞. The annihilation opera-
tors At and the creation operators are densely defined on W0, mutually adjoint and therefore
closable. To hn we associate the multiple Wiener chaos In(hn)
In(hn) =
∫
(R+)n
hn(s1, . . . , sn)δBs1 · · · δBsn ,
where s→ Bs is the classical Brownian motion on R. EdP [|In(hn)2|]for the law of the Brownian
motion dP is n!‖hn‖2. In(hn) and Im(hm) are mutually orthogonal on L2(dP ). If F belongs
to L2(dP ), F can be written in a unique way F =
∑
In(hn) where
∑
hn belongs to the symmetric
Fock space W0. This identification, called chaotic decomposition of Wiener functionals, realizes
an isometry between L2(dP ) and the symmetric Fock space. Bt can be assimilated to the densely
defined closable operator on L2(dP )
F → BtF.
This operator is nothing else but the operator At +A∗
t on the symmetric Fock space.
White noise analysis [18] is concerned with the time derivative of Bt (the white noise) as
a distribution (an element of W−∞) acting on some weighted Fock space W−∞ (we refer to
[4, 19, 35] for textbooks on white noise analysis). Let us recall namely that the Brownian
motion is only continuous! The theory of Hida distribution leads to new insight in stochastic
analysis.
One of the main points of interest in the white noise analysis is that we can compute the
elements of L(W∞−,W−∞) [20, 21, 35] in terms of kernels. We refer to [21, 27, 29] for a well
established theory of kernels on the Fock space. This theory was motivated by the heuristic
constructions of quantum field theory [5, 16, 17]. Elements of L(W∞−,W−∞) can be computed
in a sum of multiple integrals of the elementary creation and annihilation operators.
This theorem plays the same role as the theorem of Pinczon [37, 38]: the operators acting on
C(x1, . . . , xd), the complex polynomial algebra on Rd, are series of differential operators with
polynomial components. This theorem of Pinczon allowed Nadaud [32, 33] to show that the
continuous Hochschild cohomology on C∞(Rd) is equal to the differential Hochschild cohomology
of the same algebra (we refer to papers of Connes [8] and Pflaum [36] for other proofs).
In the framework of white noise analysis we have an analogous theorem to the theorem of
Pinczon [37]. Therefore we can repeat in this framework the proof of Nadaud. We show that the
continuous Hochschild cohomology [22] of the Hida Fock space (we consider series of kernels) is
equal to the differential Hochschild cohomology (we consider finite sums of kernels).
In the first part of this work, we recall the theorem of Obata which computes the operators
on the Hida Fock space: Obata considers standard creation operators and standard annihilation
operators. We extend this theorem in the second part to continuous multilinear operators on
the Hida algebra, endowed with the normalized Wick product. This Hida test algebra was used
by Léandre [23, 24] in order to define some star products in white noise analysis.
We refer to the review paper of Léandre for deformation quantization in infinite-dimensional
analysis [25].
2 A brief review on Obata’s theorem
We consider the Hilbert space H = L2(R, dt). We consider the operator ∆ = 1 + t2 − d2/dt2. It
has eigenvalues µj = (2j + 2) associated to the normalized eigenvectors ej , j ≥ 0. We consider
the Hilbert space Hk of series f =
∑
λjej such that
‖f‖2
k =
∑
|λj |2µ2k
j <∞.
Hochschild Cohomology Theories in White Noise Analysis 3
It is the Sobolev space associated to ∆k. Since µj > 1, Hk ⊆ Hk′ if k > k′, and the system
of Sobolev norms ‖ · ‖k increases when k increases. Therefore we can define the test functional
space H∞− of functions f such that all norms ‖f‖k < ∞. A functional F with values in this
space is continuous if and only if it is continuous for all Sobolev norms ‖ · ‖k, k > 0,
H∞− = ∩k≥0Hk.
The topological dual of H∞− is the space of Schwartz distributions:
H−∞ = ∪k<0Hk.
σ is called a distribution if the following condition holds: let f be in H∞. For some k > 0, there
exists Ck such that for all f ∈ H∞−, |〈σ, f〉| ≤ Ck‖f‖k Therefore we get a Gel’fand triple
H∞− ⊆ H ⊆ H−∞.
We complexify all these spaces (We take the same notation). It is important to complexify these
spaces to apply Potthoff–Streit theorem [39].
Let A = ((i1, r1), . . . , (in, rn)) where i1 < i2 < · · · < in and ri > 0. We put
|A| =
∑
ri (1)
and
eA = ⊗̂erj
ij
,
where we consider a normalized symmetric tensor product. We introduce the Hida weight
‖A‖ =
∏
(ij ,rj)∈A
(2ij + 2)rj .
We consider the weighted Fock space Wk of series
φ =
∑
A
λAeA
such that
‖φ‖k =
∑
A
|λA|2‖A‖2k|A|! <∞
(λA is complex). These systems of norms increase when k increases.
We consider
W∞− = ∩k>0Wk
endowed with the projective topology and its topological dual (called the space of Hida distri-
butions)
W−∞ = ∪k<0Wk
endowed with the inductive topology. We get a Gel’fand triple
W∞− ⊆W0 ⊆W−∞,
W0 is the classical Fock space of quantum physics.
We consider ξ ∈ H∞− and the classical coherent vector
φξ =
∑
n∈N
ξ⊗n
n!
,
φξ belongs to the Hida test functional space W∞−.
4 R. Léandre
Definition 1. Let Ξ belong to L(W∞−,W−∞). Its symbol is the function Ξ̂ from H∞−×H∞−
into C defined by
Ξ̂(ξ, η) = 〈Ξφξ, φη〉0.
If Ξ belongs to L(W∞−,W−∞), its symbol satisfies clearly the following properties:
(P1) For any ξ1, ξ2, η1, η2 ∈ H∞−, the function
(z, w) → Ξ̂(zξ1 + ξ2, wη1 + η2)
is an entire holomorphic function on C× C.
(P2) There exists a constant K and a constant k > 0 such that
|Ξ̂(ξ, η)|2 ≤ K exp
[
‖ξ‖2
k
]
exp
[
‖η‖2
k
]
.
The converse of this theorem also holds. It is a result of Obata [34] which generalizes the
theorem of Potthoff–Streit characterizing distribution in white noise analysis [39]. If a function Ξ̂
fromH∞−×H∞− into C satisfies (P1) and (P2), it is the symbol of an element of L(W∞−,W−∞).
Its continuity norms can be estimated in a universal way linearly in the data of (P2).
This characterization theorem allows Obata to show that an element Ξ of L(W∞−,W−∞)
can be decomposed into a sum
Ξ =
∑
l,m
Ξl,m(kl,m),
where Ξl,m(kl,m) is defined by the following considerations.
Let A be as given above (1). Let a∗i be the standard creation operator
a∗i eA = c(ri)eAi ,
where
Ai = ((i1, r1), . . . , (il, rl), (i, ri + 1), (il+1, rl+1), . . . , (in, rn))
if il < i < il+1. If i does not appear in A, we put ri = 1. We consider the standard annihilation
operator ei defined
aieA = 0
if i does not appear in A and equals to c′(ri)eAi where
Ai = ((i1, ri), . . . , (il, rl), (i, ri − 1), . . . , (in, rn)).
The constants c(ri) and c′(ri) are computed in [31]. Their choice is motivated by the use of
Hermite polynomial on the associated Gaussian space by the Wiener–Itô–Segal isomorphism: the
role of Hermite polynomial in infinite dimensions is played by the theory of chaos decomposition
through the theory of multiple Wiener integrals. The annihilation operator ai corresponds to
the stochastic derivative in the direction of ei on the corresponding Wiener space. a∗i is its
adjoint obtained by integrating by parts on the Wiener space. We consider the operator ΞI,J
φ→ a∗i1 · · · a
∗
il
aj1 · · · ajmφ = a∗IaJφ.
Hochschild Cohomology Theories in White Noise Analysis 5
It belongs to L(W∞−,W−∞) and its symbol is [34]
exp[〈ξ, η〉0]
∏
jk∈J
〈ejk
, ξ〉0
∏
ik∈I
〈eik , η〉0.
Therefore we can consider
Ξl,m(kl,m) =
∑
|I|=l,|J |=m
λI,Ja
∗
IaJ ,
where∑
|λI,J |2‖I‖−k‖J‖−k <∞
for some k > 0. Ξl,m =
∑
λI,JeI ⊗ eJ defines an element of H⊗(l+m)
−∞ . ΞI,J can be extended by
linearty to∑
λI,JΞI,J = Ξl,m(kl,m).
Ξl,m(kl,m) belongs to L(W∞−,W−∞) if kl,m belongs to H⊗(l+m)
−∞ . This last space is ∪k>0H
⊗(l+m)
−k
endowed with the inductive topology. Ξl,m(kl,m) belongs to L(W∞−,W∞−) if kl,m belongs to
H⊗l
∞− ⊗H⊗m
−∞. This means that there exists k such that for all k′∑
|λI,J |2‖I‖k′‖J‖−k <∞
for some k > 0. The symbol of Ξl,m(kl,m) satisfies
Ξ̂l,m(kl,m)(η, ξ) = 〈kl,m, η
⊗l ⊗ ξ⊗m〉 exp[〈ξ, η〉0].
Following the heuristic notation of quantum field theory [5, 6, 16, 17, 30], the operator
Ξl,m(kl,m) can be written as
Ξl,m(kl,m) =
∫
Rl+m
k(s1, . . . , sl, t1, . . . , tm)a∗s1
· · · a∗sl
at1 · · · atmds1 · · · dsldt1 · · · dtm.
The “elementary” creation operators a∗s and the “elementary” annihilation operators at satisfy
the canonical commutation relations
[a∗s, a
∗
t ] = [as, at] = 0, [a∗s, at] = δ(s− t),
where δ(·) is the Dirac function in 0.
3 Fock expansion of continuous multilinear operators
We are motivated in this work by the Hochschild cohomology in white noise analysis. For that,
we require that W∞− is an algebra. In order to be self-consistent we will take the model of [24]
or [26].
We will take the normalized Wick product
: eA.eB := eA∪B,
where A ∪B is obtained by concatenating the indices and adding the length of these when the
same appears twice.
6 R. Léandre
W∞− is not the same space as before. We consider another Hida Fock space. Wk,C is the
space of φ =
∑
A λAeA such that
‖φ‖2
k,C =
∑
A
|λA|2C2|A|‖A‖2k|A|! <∞.
Wk,C can be identified with the Bosonic Fock space associated to the Hilbert Sobolev space
associated to the operator C∆k. W∞− is the intersection of Wk,C , k > 0, C > 0. This space is
endowed with the projective topology.
By a small improvement of [24] and [26], we get:
Theorem 1. W∞− is a topological algebra for the normalized Wick product.
Proof. The only new ingredient in the proof of [24, 26] is that
|A ∪B|! ≤ 2|A|+|B||A|!|B|!.
Let us give some details. Let us consider
φ1 =
∑
A
λ1
AeA, φ2 =
∑
A
λ2
AeA.
We have
: φ1 · φ2 :=
∑
A
µAeA, where µA =
∑
B∪D=A
λ1
Bλ
2
D.
There are at most 2|A| terms in the previous sum. By Jensen inequality
|µA|2 ≤ C
|A|
1
∑
B∪D=A
|λ1
B|2|λ2
D|2.
Therefore
‖ : φ1 · φ2 : ‖2
k,C ≤
∑
A
(C1C)2|A|C2|A|‖A‖2k|A|!
∑
B∪D=A
|λ1
B|2|λ2
D|2.
But
‖A‖2k ≤ ‖B‖2k‖D‖2k and |A|! ≤ 2|B|+|D||B|!|D|!
if the concatenation of B and D equals A. Therefore, for some C1
‖ : φ1 · φ2 : ‖2
k,C ≤
∑
A
∑
B∪D=A
(C1C)|B|+|D|‖B‖2k‖D‖2k|B|!|D|! ≤ ‖φ1‖2
k,C1C‖φ2‖2
k,C1C .
This shows the result. �
Let L(Wn
∞−,W∞−) be the space of n-multilinear continuous applications from W∞− in-
to W∞−.
Definition 2. The symbol Ξ̂ of an element Ξ of L(Wn
∞−,W∞−) is the map from Hn
∞− ×H∞−
into C defined by
ξ1 × ξ2 × · · · × ξn × η → 〈Ξ(φξ1 , . . . , φξn), φη〉0 = Ξ̂(ξ1, . . . , ξn, η).
Hochschild Cohomology Theories in White Noise Analysis 7
Ξ belongs to L(Wn
∞−,W∞−) if for any (k,C), there exists (k1, C1,K1) such that
‖Ξ(φ1, . . . , φn)‖k,C ≤ K2
∏
‖φi‖k2,C2 .
If Ξ belongs to L(Wn
∞−,W∞−), its symbol satisfies clearly the following properties:
(O1) For any elements ξ11 , . . . , ξ
n
1 , ξ12 , . . . , ξ
n
2 , η1, η2 of H∞−, the map
(z1, . . . , zn, w) → Ξ̂(z1ξ11 + ξ12 , . . . , znξ
n
1 + ξn
2 , wη1 + η2)
is an entire holomorphic map from Cn × C into C.
(O2) For all k > 0, K > 0, there exists numbers C, k1 > k, K1 > 0 such that
|Ξ̂(ξ1, . . . , ξn, η)|2 ≤ C exp
[
K1
n∑
i=1
‖ξi‖2
k1
+K‖η‖2
−k
]
.
We prove the converse of this result. It is a small improvement of the theorem of Ji and
Obata [20].
Theorem 2. If a function Ξ̂ from Cn ×C into C satisfies to (O1) and (O2), it is the symbol of
an element Ξ of L(Wn
∞−,W∞−). The different modulus of continuity can be estimated in terms
of the data in (O2).
Proof. It is an adaptation of the proof of a result of Obata [34], the result which was generalizing
Potthoff–Streit theorem. We omit all the details. This classical Potthoff–Streit theorem is the
following. Let Φ in W−∞ be the topological dual of W∞−. We define its S-transform as follows
S(ξ) = 〈Φ, φξ〉0
for ξ ∈ H−∞. The S-transform of Φ satisfies the following properties:
i) the function z → S(zξ1 + ξ2) is entire holomorphic;
ii) for some K1 > 0, K2 > 0 and some k ∈ R
|S(ξ)|2 ≤ K1 exp[K2‖ξ‖2
k].
Potthoff–Streit theorem states the opposite [20, Lemma 3.2]: if a function S from H∞− into C
satisfies i) and ii), it is the S-transform of a distribution Φ. Moreover, there exists C depending
only of K2 such that
‖Φ‖2
−k−r,C ≤ K1
for all r > 0.
From this theorem, we deduce that there exists a distribution Φξ1,...,ξn−1,η such that
Ξ̂(ξ1, . . . , ξn, η) = 〈Φξ1,...,ξn−1,η, φξ〉0.
Moreover there exists C independent of η, ξ1, . . . , ξn−1 such that
‖Φξ1,...,ξn−1,η‖2
−k1−r,C ≤ K2 exp
[
K1
n−1∑
i=1
‖ξi‖2
k1
+K‖η‖2
−k
]
.
8 R. Léandre
If φ belongs to W∞− we put
Gφ(ξ1, . . . , ξn−1, η) = 〈Φξ1,...,ξn−1,η, φ〉0.
We have for some K2, C2, K1, k1, k2 depending only on the previous datas that
‖Gφ(ξ1, . . . , ξn−1, η)‖2 ≤ K2‖φ‖2
k2,C2
exp
[
K1
n−1∑
i=1
‖ξi‖2
k1
+K‖η‖2
−k
]
.
The two properties (O1) and (O2) are satisfied at the step n− 1. By induction, we deduce that
Gφ(ξ1, . . . , ξn−1, η) = Ξ̂φ(ξ1, . . . , ξn−1, η).
Moreover, we get that
Gφ(ξ1, . . . , ξn−1, η) = 〈Ξφ(φξ1 , . . . , φξn−1), φη〉0,
where Ξφ is an element of L(Wn−1
∞− ,W∞−) depending linearly and continuously from φ ∈W∞−.
We put
Ξ(φ1, . . . , φn−1, φ) = Ξφ(φ1, . . . , φn−1).
It remains to prove the result for n = 1. It is a small improvement of the proof of the result of
Ji and Obata [20]. Let us give some details.
By using Potthoff–Streit theorem, we deduce that there is a distribution Φη such that
Ξ̂(ξ, η) = 〈Φη, φξ〉0.
Moreover there exists C independent of η such that
‖Φη‖2
−k1−r,C ≤ K2 exp[K‖η‖2
−k]
If φ belongs to W∞−, we set
Gφ(η) = 〈Φη, φ〉0.
We have
|Gφ(η)|2 ≤ K3‖φ|2k2,C2
exp[K‖η‖2
−k]
for some k2 > 0. We apply Potthoff–Streit theorem (see [20, Lemma 3.3]). There exists an
element Ξ(φ) of Wk−r,C where k > 0 depending continuously of φ such that
Gφ(η) = 〈Ξ(φ), φη〉.
We have clearly
〈Ξ(φξ), φη〉 = Ξ̂(ξ, η).
This shows the result. �
The following statements follow closely [7, Appendix].
Let Ξ be an element of L(Wn
∞−,W∞−). Let Ξ̂ be its symbol. We put:
Ψ(ξ1, . . . , ξn, η) = exp
[
−
n∑
i=1
〈ξi, η〉0
]
Ξ̂(ξ1, . . . , ξn, η).
Hochschild Cohomology Theories in White Noise Analysis 9
Clearly Ψ satisfies to (O1) and (O2). We put
ψ(z1
1 , . . . , z
1
m1
, z2
1 , . . . , z
2
m2
, . . . , zn
1 , . . . , z
n
mn
, w1, . . . , wl)
= Ψ(z1
1ξ
1
1 + · · ·+ z1
m1
ξ1m1
, . . . , zn
1 ξ
n
1 + · · ·+ zn
mn
ξn
mn
, w1η1 + · · ·+ wlηl).
We put M = (m1, . . . ,mn) and
Kl,M (ξ11 , . . . , ξ
1
m1
, . . . , ξn
1 , . . . , ξ
n
mn
, η1, . . . , ηl)
=
1
l!m1! · · ·mn!
∂l+
∑
mi
∂z1
1 · · · ∂z1
m1
· · · ∂zn
1 · · · ∂zn
mn
∂w1 · · · ∂wl
ψ(0, 0, . . . , 0).
KL,M is an l +
∑
mi multilinear map.
Since ψ is holomorphic, we have a Cauchy type representation of the considered expression
Kl,M (ξ11 , . . . , ξ
1
m1
, . . . , ξn
1 , . . . , ξ
n
mn
, η1, . . . , ηl)
Kl,M (ξ11 , . . . , ξ
1
m1
, . . . , ξn
1 , . . . , ξ
n
mn
, η1, . . . , ηl) =
1
l!m1! · · ·mn!
n∏
j=1
mj∏
i=1
1
2π
∫
|zj
i |=rj
i
|dzj
i |
(zj
i )2
×
l∏
k=1
∫
|wk|=sk
|dwk|
w2
k
ψ(z1
1 , . . . , z
1
m1
, . . . , zn
1 , . . . , z
n
mn
, w1, . . . , wl).
We deduce from (O)2 a bound of Kl,M of the type (D.5) in [7]
|Kl,M (ξ11 , . . . , ξ
1
m1
, . . . , ξn
1 , . . . , ξ
n
mn
, η1, . . . , ηl)| ≤
C
l!
∏
mi!
1
r11 · · · r1m1
· · · rn
1 · · · rn
mn
s1 · · · sl
× exp
K1
∑
i,j
rj
i ‖ξ
j
i ‖k1
2 exp
K
∑
j
sj‖ηj‖−k
2
for some k1 > k and K, k > 0 and some K1 > 0.
According to [7, (D.6)], we choose
rj
i =
R
Cmj‖ξj
i ‖k1
, sj =
S
Cl‖ηj‖−k
and we deduce a bound of Kl,M in
C
l!
∏
mi!
∏(
Cmi
R
)mi
(
Cl
S
)l ∏
‖ξj
i ‖k1
∏
‖ηi‖−k exp
[
KR2
]
exp
[
KS2
]
. (2)
Clearly, Kl,M is a multilinear application in ξj
i , wk. By (2), Kl,M is continuous. Therefore Kl,M
can be identified with an element of H⊗l
∞− ⊗H
⊗
∑
mi
−∞ . We consider
Ξ̂l,M (ξ1, . . . , ξn, η) = Kl,M (ξ1, . . . , ξ1, ξ2, . . . , ξ2, . . . , ξn, . . . , ξn, η, . . . , η),
where ξi is taken mi times and η l times.
By holomorphy,
Ξ̂ =
∑
Ξ̂l,M exp
[
n∑
i=1
〈ξi, η〉0
]
.
10 R. Léandre
and the series converges in the sense of (O1) and (O2). Only the second statement presents some
difficulties. We remark for that by [7, page 557] (α(n) = 1, Gα(s) = exp[s])
inf
s>0
exp[s]s−n ≤ Cn!n−2n.
We deduce a bound analog to the bound (D.7) in [7]
|Ξ̂l,M |2 ≤
1
(ll
∏
mmi
i )
C l
∏
Cmi exp
[
D
∑
‖ξi‖2
k1
+D1‖η‖2
−k
]
.
xn exp[−D1x
2] has a bound in exp[−C1n]Cnnn/2. If D1 is large, C can be chosen very small
and C1 very large. We deduce the following bound
|Ξ̂l,M |2 ≤ C lC
∑
mi exp
[
−C1l − C1
∑
mi
]
exp
[
D2
∑
‖ξi‖2
k1
+D2‖η‖2
−k
]
.
We remark if D2 is very large that C can be chosen very small and C1 can be chosen very large.
We remark if C1 is large∑
l,M
exp
[
−C1l − C1
∑
mi
]
<∞
in order to see that the series Ξl,M converges in L(Wn
∞−,W∞−).
Definition 3. The series
∑
l,M Ξl,M = Ξ is called the Fock expansion of the element Ξ belonging
to L(Wn
∞−,W∞−).
4 Isomorphism of Hochschild cohomology theories
In this part, we prove the main theorem of this work.
Lemma 1. If ξ belongs to H∞−,
ξ⊗n =: ξ :n .
Proof. We put ξ =
∑
λiei such that
ξ⊗n =
∑
i1,...,in
λi1 · · ·λinei1 ⊗0 · · · ⊗0 ein ,
where ⊗0 denotes the traditional tensor product. By regrouping various element, we deduce
that
ξ⊗n =
∑
i<1<···<ir; n1 6=0,...,nr 6=0;
n1+···+nr=n
λn1
i1
· · ·λnr
ir
n!
n1! · · ·nr!
e⊗n1
i1
⊗̂ · · · ⊗̂enr
ir
=
∑
i<1<···<ir; n1 6=0,...,nr 6=0;
n1+···+nr=n
λn1
i1
· · ·λnr
ir
n!
n1! · · ·nr!
: ei1 :⊗n1 · · · : eir :nr=: ξ :n .
This shows the result. �
Corollary 1. If ξ1 ∈ H∞− and if ξ2 ∈ H∞−
φξ1+ξ2 =: φξ1φξ2 : .
Hochschild Cohomology Theories in White Noise Analysis 11
Definition 4. Let Ξ belong to L(W r
∞−,W∞−). Its Hochschild coboundary δr is defined as
follows:
δrΞ(φ1, . . . , φr+1) =: φ1Ξ(φ2, . . . , φr)
+
r∑
i=1
(−1)iΞ(φ1, . . . , : φiφi+1 :, . . . , φr+1) + (−1)r+1 : Ξ(φ1, . . . , φr)φr+1 : .
Classically δr+1δr = 0.
Definition 5. We say that an element Ξ of L(W r
∞−,W∞−) is a homogeneous polydifferential
operator of order (l,m) if its symbol Ξ̂(ξ1, . . . , ξr, η) is equal to
Ψ(ξ1, . . . , ξr, η) exp
[∑
〈ξi, η〉
]
, (3)
where Ψ is a homogeneous polynomial in the ξi of degree m and in η of degree l.
Proposition 1. If Ξ is an r-polydifferential operator of degree (l,m), δrΞ is an (r + 1)-poly-
dif ferential operator of degree (l,m).
Proof. Since : φξ1φξ2 := φξ1+ξ2 , the only problem is to show that
(φ1, . . . , φr+1) →: φ1Ξ(φ2, . . . , φr+1) :
is still a polydifferential operator of degree (l,m).
Let η ∈ H∞− be such that ‖η‖0 = 1. Let us compute
〈Ξ(φξ2 , . . . , φξr+1), φλη)〉0 = Ψ(ξ2, . . . , ξr+1, λη) exp
[
λ
r+1∑
i=2
〈ξi, η〉
]
.
If we compute the component of Ξ(φξ2 , . . . , φξr+1) along η⊗n
n! , it is the element of degree n in the
expansion in λ of the (3). Since Ψ is homogeneous of degree l in η, the term of degree n in the
expansion in λ of (3) is
r+1∑
i=2
〈ξi, η〉n−l
n− l!
Cl(ξ2, . . . , ξr+1, η).
Because the component of φξ1 along η⊗n
n! is 〈ξ1,η〉n
n! , this shows that the component of
: φξ1Ξ(φξ2 , . . . , φξr+1 , λη) :
along η⊗n
n! is
Cl(ξ2, . . . , ξr+1, η)
∑
n1+n2=n
〈
r+1∑
i=2
ξi, η〉n1−l
(n1 − l)!
〈ξ1, η〉n2
n2!
= Cl(ξ2, . . . , ξr+1, η)
〈
r+1∑
i=1
ξi, η〉n−l
(n− l)!
.
The result follows directly. �
Definition 6. The continuous Hochschild cohomology Hr
cont(W∞−,W∞−) of the Hida test al-
gebra is the space Ker δr/Im δr−1, where the Hochschild coboundary acts on L(W r
∞−,W∞−).
12 R. Léandre
We consider cochains which are finite sums of polydifferential operators of degree (l,m) ∈
(N × N). We call the space of polydifferential operators Ldif(W r
∞−,W∞−). By the previous
proposition, δr applies Ldif(W r
∞−,W∞−) into Ldif(W r+1
∞− ,W∞−).
Definition 7. The differential Hochschild cohomology Hr
dif(W∞−,W∞−) of the Hida test al-
gebra is the space Ker δr/Im δr−1 where δr acts on Ldif(W r
∞−,W∞−).
We get the main theorem of this work:
Theorem 3. The differential Hochschild cohomology groups of the Hida test algebra are equal
to the continuous Hochschild cohomology groups of the Hida test algebra.
Proof. This comes from the Fock expansion of the previous part and from the following fact:
if δΞ is a polydifferential operator for a continuous cochain Ξ, there exists a polydifferential
operator Ξ1 such that δΞ = δΞ1 by Proposition 1. �
Acknowledgements
Author thank L. Accardi and G. Pinczon for helpful discussions.
References
[1] Albeverio S., Høegh-Krohn R., Dirichlet forms and diffusion processes on rigged Hilbert spaces, Z. Wahr-
scheinlichkeitstheorie und Verw. Gebiete 40 (1977), 1–57.
[2] Bayen F., Flato M., Fronsdal C., Lichnerowicz A., Sternheimer D., Deformation theory and quantization.
I. Deformations of symplectic structures, Ann. Physics 111 (1978), 61–110.
[3] Bayen F., Flato M., Fronsdal C., Lichnerowicz A., Sternheimer D., Deformation theory and quantization.
II. Physical applications, Ann. Physics 111 (1978), 111–151.
[4] Berezansky Y.M., Kondratiev Y.G., Spectral methods in infinite-dimensional analysis, Vols. I, II, Kluwer
Academic Publishers, Dordrecht, 1995.
[5] Berezin F.A., The method of second quantization, Academic Press, New York, 1966.
[6] Berezin F.A., Wick and anti-Wick symbols of operators, Mat. Sb. (N.S.) 86(128) (1971), 578–610.
[7] Chung D.M., Ji U.C., Obata N., Higher powers of quantum white noises in terms of integral kernel operators,
Infin. Dimens. Anal. Quantum Probab. Relat. Top. 1 (1998), 533–559.
[8] Connes A., Noncommutative differential geometry, Inst. Hautes Études Sci. Publ. Math. (1985), no. 62,
257–360.
[9] Di Francesco P., Mathieu P., Sénéchal D., Conformal field theory, Springer-Verlag, New York, 1997.
[10] Dito G., Star-product approach to quantum field theory: the free scalar field, Lett. Math. Phys. 20 (1990),
125–134.
[11] Dito G., Star-products and nonstandard quantization for Klein–Gordon equation, J. Math. Phys. 33 (1992),
791–801.
[12] Dito G., Deformation quantization on a Hilbert space, in Noncommutative Geometry and Physics
(Yokohama, 2004), Editors Y. Maeda and et al., World Sci. Publ., Hackensack, NJ, 2005, 139–157,
math.QA/0406583.
[13] Dito G., Léandre R., Stochastic Moyal product on the Wiener space, J. Math. Phys. 48 (2007), 023509,
8 pages.
[14] Dütsch M., Fredenhagen K., Perturbative algebraic field theory and deformation quantization, in Mathe-
matical Physics in Mathematics and Physics (Siena, 2000), Fields Inst. Commun., Vol. 30, Amer. Math.
Soc., Providence, RI, 2001, 151–160, hep-th/0101079.
[15] Gerstenhaber M., Schack S.D., Algebraic cohomology and deformation theory, in Deformation Theory of
Algebras and Structures and Application (Il Ciocco, 1986), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci.,
Vol. 247, Editors M. Hazewinkel and M. Gerstenhaber, Kluwer Acad. Publ., Dordrecht, 1988, 11–264.
[16] Glimm J., Jaffe A., Boson quantum fields, in Collected Papers. I, Birkhäuser, Basel, 1985, 125–199.
http://arxiv.org/abs/math.QA/0406583
http://arxiv.org/abs/hep-th/0101079
Hochschild Cohomology Theories in White Noise Analysis 13
[17] Haag R., On quantum field theory, Danske Vid. Selsk. Mat.-Fys. Medd. 29 (1955), no. 12, 37 pages.
[18] Hida T., Analysis of Brownian functionals, Carleton Mathematical Lecture Notes, no. 13, Carleton Univ.,
Ottawa, Ont., 1975.
[19] Hida T., Kuo H.H., Potthoff J., Streit L., White noise: an infinite-dimensional calculus, Kluwer Academic
Publishers, Dordrecht, 1993.
[20] Ji U.C., Obata N., A unified characterization theorem in white noise analysis, Infin. Dimens. Anal. Quantum
Probab. Relat. Top. 6 (2003), 167–178.
[21] Ji U.C., Obata N., Quantum white noise calculus, in Non-Commutativity, Infinite-Dimensionality and
Probability at the Crossroads, Quantum Probab. White Noise Anal., Vol. 16, Editors N. Obata, T. Matsui
and A. Hora, World Sci. Publ., River Edge, NJ, 2002, 143–191.
[22] Léandre R., Wiener analysis and cyclic cohomology, in Stochastic Analysis and mathematical physics (San-
tiago, 2001), Editors R. Rebolledo and J.C. Zambrini, World Sci. Publ., River Edge, NJ, 2004, 115–127.
[23] Léandre R., Deformation quantization in white noise analysis, in Geometric Aspects of Integrable Systems
(Coimbra, 2006), Editor J.P. Françoise et al., SIGMA 3 (2007), 027, 8 pages, math.QA/0702624.
[24] Léandre R., Fedosov quantization in white noise analysis, in NEEDS 2007 (Almetla del Mar, 2007), Editors
J. Puig et al., J. Nonlinear Math. Phys., to appear.
[25] Léandre R., Deformation quantization in infinite-dimensional analysis, in Festchrift in Honour of H.V. Weiz-
saecker (Kaiserslautern, 2007), Editors M. Scheutzow et al., to appear.
[26] Léandre R., Rogers A., Equivariant cohomology, Fock space and loop groups, J. Phys. A: Math. Gen. 39
(2006), 11929–11946.
[27] Maassen H., Quantum Markov processes on Fock space described by integral kernels, in Quantum Probability
and Applications, II (Heidelberg, 1984), Lecture Notes in Math., Vol. 1136, Springer, Berlin, 1985, 361–374.
[28] Malliavin P., Stochastic calculus of variations and hypoelliptic operators, in Proceedings of the International
Symposium on Stochastic Differential Equations (Res. Inst. Math. Sci., Kyoto Univ., Kyoto, 1976), Editor
K. Itô, Wiley, New York – Chichester – Brisbane, 1978, 195–263.
[29] Meyer P.-A., Elements de probabilites quantiques. I–V, in Séminaire de Probabilites, XX, 1984/85, Lecture
Notes in Math., Vol. 1204, Editors J. Azéma and M. Yor, Springer, Berlin, 1986, 186–312.
[30] Meyer P.-A., Distributions, noyaux, symboles d’apres Krée, in Seminaire de Probabilites, XXII, Lecture
Notes in Math., Vol. 1321, Editors J. Azéma and M. Yor, Springer, Berlin, 1988, 467–476.
[31] Meyer P.-A., Quantum probability for probabilists, Lecture Notes in Mathematics, Vol. 1538, Springer-
Verlag, Berlin, 1993.
[32] Nadaud F., On continuous and differential Hochschild cohomology, Lett. Math. Phys. 47 (1999), 85–95.
[33] Nadaud F., Déformations et déformations généralisées, These, Université de Bourgogne, 2000.
[34] Obata N., An analytic characterization of symbols of operators on white noise functionals, J. Math. Soc.
Japan 45 (1993), 421–445.
[35] Obata N., White noise analysis and Fock space, Lecture Notes in Mathematics, Vol. 1577, Springer-Verlag,
Berlin, 1994.
[36] Pflaum M., On continuous Hochschild homology and cohomology groups, Lect. Math. Phys. 44 (1998),
43–51.
[37] Pinczon G., On the equivalence between continuous and differential deformation theories, Lett. Math. Phys.
89 (1997), 143–156.
[38] Pinczon G., Ushirobira R., Supertrace and superquadratic Lie structure on the Weyl algebra, and applica-
tions to formal inverse Weyl transform, Lett. Math. Phys. 74 (2005), 263–291, math.RT/0507092.
[39] Streit L., An introduction to white noise analysis, in Stochastic Analysis and Applications in Physics (Fun-
chal, 1993), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., Vol. 449, Editors A.I. Cardoso et al., Kluwer
Acad. Publ., Dordrecht, 1994, 415–439.
[40] Witten E., Noncommutative geometry and string field theory, Nuclear Phys. B 268 (1986), 253–294.
http://arxiv.org/abs/math.QA/0702624
http://arxiv.org/abs/math.RT/0507092
1 Introduction
2 A brief review on Obata's theorem
3 Fock expansion of continuous multilinear operators
4 Isomorphism of Hochschild cohomology theories
References
|
| id | nasplib_isofts_kiev_ua-123456789-149012 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T17:57:52Z |
| publishDate | 2008 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Léandre, R. 2019-02-19T12:57:10Z 2019-02-19T12:57:10Z 2008 Hochschild Cohomology Theories in White Noise Analysis / R. Léandre // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 40 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 53D55; 60H40 https://nasplib.isofts.kiev.ua/handle/123456789/149012 We show that the continuous Hochschild cohomology and the differential Hochschild cohomology of the Hida test algebra endowed with the normalized Wick product are the same. This paper is a contribution to the Special Issue on Deformation Quantization. Author thank L. Accardi and G. Pinczon for helpful discussions. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Hochschild Cohomology Theories in White Noise Analysis Article published earlier |
| spellingShingle | Hochschild Cohomology Theories in White Noise Analysis Léandre, R. |
| title | Hochschild Cohomology Theories in White Noise Analysis |
| title_full | Hochschild Cohomology Theories in White Noise Analysis |
| title_fullStr | Hochschild Cohomology Theories in White Noise Analysis |
| title_full_unstemmed | Hochschild Cohomology Theories in White Noise Analysis |
| title_short | Hochschild Cohomology Theories in White Noise Analysis |
| title_sort | hochschild cohomology theories in white noise analysis |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/149012 |
| work_keys_str_mv | AT leandrer hochschildcohomologytheoriesinwhitenoiseanalysis |