Professional Documents
Culture Documents
2000
Vol. 193, No. 1
EDITORS
V. S. Varadarajan (Managing Editor)
Department of Mathematics
University of California
Los Angeles, CA 90095-1555
pacific@math.ucla.edu
Vyjayanthi Chari Darren Long Sorin Popa
Department of Mathematics Department of Mathematics Department of Mathematics
University of California University of California University of California
Riverside, CA 92521-0135 Santa Barbara, CA 93106-3080 Los Angeles, CA 90095-1555
chari@math.ucr.edu long@math.ucsb.edu popa@math.ucla.edu
Robert Finn Jiang-Hua Lu Jie Qing
Department of Mathematics Department of Mathematics Department of Mathematics
Stanford University The University of Hong Kong University of California
Stanford, CA 94305-2125 Pokfulam Rd., Hong Kong Santa Cruz, CA 95064
finn@math.stanford.edu jhlu@maths.hku.hk qing@cats.ucsc.edu
Kefeng Liu Sorin Popa Jonathan Rogawski
Department of Mathematics Department of Mathematics Department of Mathematics
University of California University of California University of California
Los Angeles, CA 90095-1555 Los Angeles, CA 90095-1555 Los Angeles, CA 90095-1555
liu@math.ucla.edu popa@math.ucla.edu jonr@math.ucla.edu
PRODUCTION
pacific@math.berkeley.edu
Paulo Ney de Souza, Production Manager Silvio Levy, Senior Production Editor Nicholas Jackson, Production Editor
SUPPORTING INSTITUTIONS
ACADEMIA SINICA , TAIPEI UNIV. OF CALIF., SANTA BARBARA
CALIFORNIA INST. OF TECHNOLOGY UNIVERSIDAD DE LOS ANDES UNIV. OF CALIF., SANTA CRUZ
CHINESE UNIV. OF HONG KONG UNIV. OF ARIZONA UNIV. OF HAWAII
INST. DE MATEMÁTICA PURA E APLICADA UNIV. OF BRITISH COLUMBIA UNIV. OF MONTANA
KEIO UNIVERSITY UNIV. OF CALIFORNIA , BERKELEY UNIV. OF NEVADA , RENO
MATH . SCIENCES RESEARCH INSTITUTE UNIV. OF CALIFORNIA , DAVIS UNIV. OF OREGON
NEW MEXICO STATE UNIV. UNIV. OF CALIFORNIA , IRVINE UNIV. OF SOUTHERN CALIFORNIA
OREGON STATE UNIV. UNIV. OF CALIFORNIA , LOS ANGELES UNIV. OF UTAH
PEKING UNIVERSITY UNIV. OF CALIFORNIA , RIVERSIDE UNIV. OF WASHINGTON
STANFORD UNIVERSITY UNIV. OF CALIFORNIA , SAN DIEGO WASHINGTON STATE UNIVERSITY
These supporting institutions contribute to the cost of publication of this Journal, but they are not owners or publishers and have no respon-
sibility for its contents or policies.
See inside back cover or www.pjmath.org for submission instructions.
Regular subscription rate for 2006: $425.00 a year (10 issues). Special rate: $212.50 a year to individual members of supporting institutions.
Subscriptions, requests for back issues from the last three years and changes of subscribers address should be sent to Pacific Journal of
Mathematics, P.O. Box 4163, Berkeley, CA 94704-0163, U.S.A. Prior back issues are obtainable from Periodicals Service Company, 11
Main Street, Germantown, NY 12526-5635. The Pacific Journal of Mathematics is indexed by Mathematical Reviews, Zentralblatt MATH,
PASCAL CNRS Index, Referativnyi Zhurnal, Current Mathematical Publications and the Science Citation Index.
The Pacific Journal of Mathematics (ISSN 0030-8730) at the University of California, c/o Department of Mathematics, 969 Evans Hall,
Berkeley, CA 94720-3840 is published monthly except July and August. Periodical rate postage paid at Berkeley, CA 94704, and additional
mailing offices. POSTMASTER: send address changes to Pacific Journal of Mathematics, P.O. Box 4163, Berkeley, CA 94704-0163.
PUBLISHED BY PACIFIC JOURNAL OF MATHEMATICS
at the University of California, Berkeley 94720-3840
A NON-PROFIT CORPORATION
Typeset in LATEX
Copyright ©2006 by Pacific Journal of Mathematics
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
1
2 L. BADOIAN AND J.B. WAGONER
.. ..
. .
Vi+2 −→ Vi+1 ∩ Vi+2 ∩ Vi+3
+
&+ +%
↓ Vi+1 ∩ Vi+2 ↑
.− −-
Vi+1 ←− Vi ∩ Vi+1 ∩ Vi+2
−
-− −.
↑ Vi ∩ Vi+1 ↓
%+ +&
Vi −→ Vi−1 ∩ Vi ∩ Vi+1
+
&+ +%
↓ Vi−1 ∩ Vi ↑
.− −-
Vi−1 ←− Vi−2 ∩ Vi−1 ∩ Vi
−
-− −.
↑ Vi−2 ∩ Vi−1 ↓
%+ +&
Vi−2 −→ Vi−3 ∩ Vi−2 ∩ Vi−1
+
.. ..
. .
References
[KR] K.H. Kim and F.W. Roush, Williams’ Conjecture is false for irreducible subshifts,
1997, preprint from Alabama State University at Montgomery, to appear in Annals
of Mathematics.
[KRW] K.H. Kim, F.W. Roush and J.B. Wagoner, Automorphisms of the dimension group
and gyration numbers, Jour. Amer. Math. Soc., 5(1) (1992), 191-212.
[W1] J.B. Wagoner, Markov partitions and K2 , Pub. Math. IHES, 65 (1987), 91-129.
[W2] , Triangle identities and symmetries of a subshift of finite type, Pac. Jour.
Math., 144 (1990), 181-205.
[W3] , Eventual finite order generation for the kernel of the dimension group
representation, Trans. Amer. Math. Soc., 317(1) (1990), 331-350.
[W4] , Higher dimensional shift equivalence and strong shift equivalence are the
same over the integers, Proc. Amer. Math. Soc., 109(2) (1990), 527-536.
[W5] , Classification of subshifts of finite type revisited, Contemporary Mathe-
matics, 135 (1992), 423-444.
Received May 5, 1998. The authors were partially supported by NSF Grant # DMS
9322498.
Department of Mathematics
University of California
Berkeley, CA 94720
E-mail address: badoian@math.berkeley.edu
Department of Mathematics
University of California
Berkeley, CA 94720
4 L. BADOIAN AND J.B. WAGONER
0. Introduction.
In Section 1 we consider the correspondence between groups and Lie alge-
bras over the reals and rationals. A nilmanifold is completely determined by
its fundamental group — a finitely-generated, torsion-free, nilpotent group.
In Section 2 we show how a nilmanifold determines a nilpotent Lie algebra
with a finite rational basis; we give an example to illustrate that not every
such Lie algebra comes from a nilmanifold. In Section 3 we define a spectral
sequence for a nilmanifold. We prove that spectral sequence converges to
the integer cohomology of the nilmanifold and has E2 term isomorphic to
the cohomolgy of a graded Lie algebra. In Section 4 we define the corre-
sponding spectral sequence for the Lie algebra associated to a nilmanifold.
The spectral sequence converges to the cohomology of the Lie algebra; the
E2 term is the cohomology of a graded Lie algebra, and if A is the smallest
subring of the rationals containing the structure constants of the Lie algebra
then with coefficients equal to A the E2 terms of the spectral sequences of
the nilmanifold and the Lie algebra are isomorphic. In Section 5 we give a
construction of a nilmanifold from a nilpotent Lie algebra with finite rational
basis; the Lie algebra associated to this nilmanifold is rationally equivalent
to the original Lie algebra.
5
6 BOHUMIL CENKL AND RICHARD PORTER
0
X (−1)m+1 adp1 (x)adq1 (y) · · · adpm (x)(y)
zp,q = ,
p1 +···+pm =p
m p1 !q1 ! · · · pm !
q1 +···+qm−1 =q−1
pi +qi ≥1,pm ≥1
00
X (−1)m+1 adp1 (x)adq1 (y) · · · adpm−1 (y)(x)
zp,q = .
p1 +···+pm =p
m p1 !q1 ! · · · qm−1 !
q1 +···+qm−1 =q−1
pi +qi ≥1,pm ≥1
It follows that
(3) x · y = ρ(x, y) = (ρ1 (x, y), . . . , ρk (x, y)),
where the ρ0j s are rational polynomials of the form
ρj (x, y) = xj + yj + τj (x1 , . . . , xj−1 , y1 , . . . , yj−1 )
= xj + yj + σj (x1 , . . . , xj−1 , y1 , · · · , yj−1 ) + · · · ,
and where σj = σj (x1 , . . . , yj−1 ) denotes the quadratic part of τj . Then Qk
can be given a Lie algebra structure with bracket [ , ] defined by setting
[x, y] = σ(x, y) − σ(y, x), where σ(x, y) = (σ1 , . . . , σk ).
This bracket on Qk
induces the original Lie algebra structure on L (= GQ )
via the maps e, ϕ, and ψ.
(v) The group G, as a set, can be identified with Zk ⊂ Qk via the map
i ◦ e. The group structure on Zk in (3) is induced by e. Therefore, the
rational polynomials ρj are Z-valued polynomials when restricted to
Zk × Zk . Each polynomial ρj (x, y) can be written as a sum (over Z)
of binomials
x1 x2 xr y1 y2 ys
··· ··· ,
a1 a2 ar b1 b2 bs
with au , bv nonnegative integers, r, s ≤ j, where not all a0u s and not
all b0v s are equal to zero and also as sum (over Q) of polynomials (see
[1]).
Thus, we can consider the group Zk with the group operation given by
(3). We denote by G the image of Zk in GQ under the one-to-one map
ch = ϕ ◦ e−1 : Zk −→ G ⊂ GQ .
Recall that, given a canonical basis {g1 , . . . , gk } for G, G k is the set of
elements ξ1 g1 + · · · + ξk gk , where ξ1 , . . . , ξk are certain rational numbers. G k
with the operation ∗ given by the Campbell-Hausdorff formula is a group.
It is important to note that the sequence of rational numbers ξ1 , . . . , ξk is
not an arbitrary sequence of rational numbers; it depends on the choice of
a canonical basis {g1 , . . . , gk } for G. Once a canonical basis is chosen then
ξj = xj + ϕj (x1 , . . . , xj−1 ), where the xu ’s are integers and the rational
polynomials ϕj are determined by the Lie algebra bracket.
We summarize our observations as follows:
Proposition 2. Let G be a torsion-free nilpotent group on k generators, and
let {g1 , . . . , gk } be a canonical basis for G. Then the group G is isomorphic
to the group Zk with the group operation defined by
(4) x · y = ch−1 (ch(x) ∗ ch(y)),
where x = (x1 , . . . , xk ), y = (y1 , ..., yk ) and where ∗ is given by the Campbell-
Hausdorff formula (1).
In order to illustrate the type of rational numbers ξ1 , . . . , ξk that can
occur, we look again at a classical example.
Example 1 (The Heisenberg group). Let G be the group of matrices
1 a1 a3 /k
0 1 a2 , where aj ∈ Z and k is a fixed integer > 0.
0 0 1
10 BOHUMIL CENKL AND RICHARD PORTER
Then
1 1 0 1 0 0 1 0 1/k
g1 = 0 1 0 , g2 = 0 1 1 , g3 = 0 1 0
0 0 1 0 0 1 0 0 1
ch(x)
= ϕ(x1 g1 ∗ · · · ∗ x7 g7 )
= x1 g1 + x2 g2 + x3 g3
+ (x4 + 1/2(x1 x2 + x1 x3 ))g4 + (x5 + 1/2(−x1 x2 + x1 x3 + x2 x3 ))g5
+ (x6 + 1/12(−x1 x22 + 2x21 x3 + 2x1 x2 x3 + 6x1 x4 + 6x2 x4 + 6x2 x5 ))g6
+ (x7 + 1/12(x1 x22 − x1 x33 + x22 x3 − 2x1 x2 x3 + 6x3 x4 + 6x2 x5 ))g7
zi = xi + yi , i = 1, 2, 3,
z4 = x4 + y4 − x2 y1 − x3 y1 ,
z5 = x5 + y5 + x2 y1 − x3 y1 − x3 y2 ,
z6 = x6 + y6 − x4 y1 − x4 y2 − x5 y1
1
+ x2 y1 y2 + x3 y1 y2 + x3 y12 + x22 y1
2
z7 = x7 + y7 − x5 y2 − x4 y3 − x2 y1 y2 + x2 y1 y3 + x3 y1 y2
1 1 1
+ x3 y1 y3 + x2 x3 y1 + x23 y1 − x22 y1 x3 y22 .
2 2 2
is possible. In the last part of this paper we describe a procedure for finding
such a group.
Since a canonical basis for G induces a canonical basis for L, we set the
weight of an element gj of L to be the weight of gj considered as an element
of G.
From (2) it follows that for any two elements of the canonical basis gr ∈
La , gs ∈ Lb the Lie bracket is
X r,s
[gr , gs ] = qj gj ,
j≥r+s
|u + v| = max{|u|, |v|},
|uv| = |u| + |v|.
Analogously, we assign a weight to each monomial map Zk → Z as follows:
|xj | = |gj |,
|xaj | = a|xj |,
|qxj | = |xj | for any rational number q 6= 0,
|u + v| = max{|u|, |v|},
|uv| = |u| + |v|.
Observe that each binomial of weight w is a sum of monomials of weight
≤ w and that each monomial of weight w is a sum of binomials of weight
≤ w.
Lemma 1. Let the group structure on G be induced by the ·-product (3).
Then each ρj (x, y) is a sum (over Z) of binomials. ρj (x, y) can be also
expressed as a sum (over Q) of monomials of weight ≤ |gj |, j = 1, 2, . . . .
Proof. Because the group structure on Zk is given by restricting the ∗-
product from G to e−1 (Zk ), it follows that the statement is proved if we
verify that
|ρj (x, y)| ≤ |gj |, j = 1, 2, . . . , k
NILMANIFOLDS AND ASSOCIATED LIE ALGEBRAS OVER THE INTEGERS 15
for every x, y ∈ Zk .
Equivalently, it suffices to show that the above inequality is satisfied in
the product formula on G,
ψ(ξ1 g1 + · · · + ξk gk )
= (ξ1 g1 ) ∗ · · · ∗ (ξj + ψj (ξ1 , . . . , ξj−1 ))gj ∗ · · · ∗ (ξk + ψk (ξ1 , . . . , ξk−1 ))gk ,
ϕ(x1 g1 ∗ · · · ∗ xk gk )
= x1 g1 + · · · + (xj + gj (x1 , . . . , xj−1 ))gj + · · · + (xk + gk (x1 , . . . , xk−1 ))gk ,
where
and
ξ ∗ η = (ξ1 g1 + · · · + ξk gk ) ∗ (η1 g1 + · · · + ηk gk )
= (β1 (ξ, η)g1 + · · · + βk (ξ, η)gk )
holds with βj (ξ, η) = βj (ξ1 , . . . , ξj−1 , η1 , . . . , ηj−1 ) and |βj (ξ, η)| ≤ |gj | for
j = 1, 2, . . . , k. But
1
βj (ξ, η) = ξj + ηj + [ξ, η]j + · · · .
2
Hence, it is enough to verify that |[ξ, η]j | ≤ |gj | if |ξj | ≤ |gj | and |ηj | ≤ |gj |
for all j = 1, 2, . . . .
Since
X r,s
[gr , gs ] = aj gj , ar,s
j ∈ Q,
j≥r+s
where the sum is over all gj0 s such that |gj | ≥ |gr | + |gs | and
k
ξr ηs ar,s
X X
[ξ, η] = j gj ,
r,s=1 j≥r+s
16 BOHUMIL CENKL AND RICHARD PORTER
and
X k
z1 zk
a1 · · · ak
= aj (|gj | − 1) ≤ i.
j=1
X k k
ρ1 ρk
X
a1 · · · ak
= aj kρj k ≤ aj (|gj | − 1),
j=1 j=1
Observe that
kτj k ≤ |gj | − 2
by Lemma 2. Therefore,
τj
aj
= aj kτj k < aj (|gj | − 1)
NILMANIFOLDS AND ASSOCIATED LIE ALGEBRAS OVER THE INTEGERS 19
and
aj −1
X y j + zj τj
r=1 r aj − r
y j + zj τj
= max
1≤r≤aj −1 r aj − r
= max {rkyj + zj k + (aj − r)kτj k}
1≤r≤aj −1
= max {rkyj k + (aj − r)kτj k, rkzj k + (aj − r)kτj k}
1≤r≤aj −1
= max {rkyj k + (aj − r)kτj k}
1≤r≤aj −1
since kyj k = kzj k. Because kyj k = |gj | − 1 and kτj k < |gj | − 1, the last term
is strictly smaller than
max {(r + (aj − r))(|gj | − 1)} = aj (|gj | − 1).
1≤r≤aj −1
ρ1 ρk
Therefore, the binomial a1 ··· ak has the form
Y k
ρ1 ρk
··· = {Xj + Tj },
a1 ak
j=1
where
kXj k = aj (|gj | − 1), kTj k < aj (|gj | − 1).
But
k
Y k
Y X
(Xj + Tj ) = Xj + Ti1 · · · Tir Xj1 · · · Xjk−r ,
j=1 j=1
where the sum is over all sequences i1 , . . . , ir of elements from 1, 2, . . . , k
of length r ≥ 1 and where j1 , . . . , jk−r is the complementary sequence.
Observe that
X
Ti1 · · · Tir Xj1 · · · Xjk−r
= max kTi1 · · · Xjk−r k
(all sequences)
< max {ai1 (|gi1 | − 1) + · · · + air (|gir | − 1)
(all sequences)
+ aj1 (|gj1 | − 1) + · · · + ajk−r (|gjk−r | − 1)}
which is strictly smaller than i by the assumption that u ∈ F i . Therefore,
k k k
Y yj Y zj Y y j + zj
d0 u = p + −
aj aj aj
j=1 j=1 j=1
20 BOHUMIL CENKL AND RICHARD PORTER
xi
or d0 u = pd1 u, where d1 u = 0 for u = when 1 ≤ i ≤ k and
1
j −1
k aY
Y yj zj
d1 u = − ,
r aj − r
j=1 r=1
Therefore,
j−1
X j−1
X
(at + bt )|gt | = (at + bt ) + |gj | − 2 ≤ |gj |.
t−1 t=1
where
kxr ys k = kxr k + kys k = |gj | − 2.
Theorem 2. The E2 -term of the spectral sequence {Er , dr } is isomorphic
to the integral cohomology of the graded Lie algebra
M
grG = Gj /Gj+1 .
j≥1
hf ∧ g, v1 ∧ · · · ∧ vr+s i
X
= (sgnπ)hf, vπ(1) ∧ · · · ∧ vπ(r) ihg, vπ(r+1) ∧ · · · ∧ vπ(r+s) i.
r,s shuffle
V2
For every ω = a1 ω1 + · · · + ak ωk , aj ∈ A, the differential d : L∗ −→ L∗
takes the form
dω = a1 ω1 + · · · + ar ωk
and extends to the map d :V r (L∗ ) −→ r+1 (L∗ ) as a derivation.
V V
Let k k be the norm on A (ω1 , . . . , ωk ) defined by the formulas
^ n ^ o
F i = F i (L∗ ) = v ∗ ∈ (L∗ ) | kv ∗ k ≤ i .
Then
^
F 0 ⊂ F 1 ⊂ · · · ⊂ F i ⊂ F i+1 ⊂ · · · ⊂ (L∗ ).
where the max is taken over all pairs kgr k + kgs k ≤ kgj k − 1 < kgj k = i.
Thus, dF i ⊂ F i−1 , i ≥ 1.
NILMANIFOLDS AND ASSOCIATED LIE ALGEBRAS OVER THE INTEGERS 23
Suppose that the group G is two-stage nilpotent, and let G = G1 > G2 >
1 be the shortest central series with torsion free quotients. Let {g1 , . . . , gk }
be a canonical basis such that {g1 , . . . , gi } projects to a basis for G1 /G2 and
{gi+1 , . . . , gk } projects to a basis for G2 . Then {g1 , . . . , gk } determines a
canonical basis for the induced Lie algebra L. We use the same symbols for
the canonical bases of the group and its associated Lie algebra. Then there
is a sequence of ideals of L, L = L1 ⊃ L2 ⊃ 0 and the subset {g1 , . . . , gi }
of the canonical basis for L projects to a basis for L1 /L2 and the subset
{gi+1 , . . . , gk } projects to a basis for L2 .
24 BOHUMIL CENKL AND RICHARD PORTER
Note that for the elements of the canonical basis for G and L, the norm
is
kga k = 0 for a = 1, . . . , i; kgb k = 1 for b = i + 1, . . . , k,
and there are no elements of norm higher than 1. Note that the differential
dxj on xj in P 1 (G) can be written in the form
dxj = δ0 (xj ) + δ1 (xj ) + · · · + δr (xj ) + · · · ,
where δr (xj ) is the element of the submodule of P (G) whose norm is kxj k−r.
The differential dr in the spectral sequence Er for the group G is determined
by δr (xj ). Thus, in the case of a two-stage nilpotent group dr = 0 for r ≥ 2.
A similar argument shows that the differentials dr for r ≥ 2 for the Lie
algebra spectral sequence Er are also zero. Therefore, the spectral sequence
{Er , dr } converges to
H ∗ (G; Z); i.e., E2 ∼
= E∞ ∼= grH ∗ (G; Z),
where grH ∗ (G; Z) is the graded module associated with the filtration {F i }
of P (G). If the Lie algebra L is a Lie algebra over the integers, then A = Z
and we can also conclude that the spectral sequence {Er , dr } converges to
H ∗ (L; Z); i.e.,
E2 ∼
= E∞ ∼ = grH ∗ (L; Z).
Therefore, from Theorem 2 and Theorem 3 we obtain:
Corollary 1. Let G be a two-stage, nilpotent, finitely-generated, torsion-
free group, and let L be its Lie algebra such that L is a Lie algebra over the
integers. Then there is an isomorphism of graded modules
grH ∗ (G; Z) ∼
= grH ∗ (L; Z).
If we do not assume that G is a two-stage nilpotent group and that the
associated Lie algebra L is over the integers, then we get the following:
Corollary 2. Let A be the smallest subring of rationals containing the struc-
ture constants of the Lie algebra L. Then there is an isomorphism of A-
modules
E2 ⊗ A ∼= E2 ∼
= H ∗ (grL; A).
The conclusion of Corollary 1 is valid even for certain (perhaps for all)
three-stage, nilpotent, finitely-generated, torsion-free groups. However, the
argument based only on the length of lower central series used in the proof of
the Corollary 1 is not sufficiently strong to prove the statement. An explicit
computation of the E2 -term and of the differential d2 is needed even in the
example below.
Example 3 (continued). Let G0 and L0 be the group and its associated
Lie algebra as stated above. Recall that {g1 , . . . , g7 } is a canonical basis for
G0 and also for L0 (as we keep the same notation for both). The shortest
NILMANIFOLDS AND ASSOCIATED LIE ALGEBRAS OVER THE INTEGERS 25
∗
^ ^ ^
= L0 = HomZ (L0 , Z) = (ω1 , . . . , ω7 )
q
^ q
^
Fp = {ω ∈ | kωk ≤ p}.
Vq Vq
Setting F−p = Fp , we get a descending filtration
q
^ q
^ q
^ q
^
F0 ⊂ F−1 ⊂ · · · ⊂ F−p+1 ⊂ ··· ⊂ .
Then
q−p q−p
E0−p,q
^ ^
= F−p /F−p+1
d0 = 0. Thus, E1−p,q =
with V ∼ E −p,q and d1 is determined by the full differential
0
d on . From the explicit formulas below we can see that kdωj k = kωj k − 1.
Since the differential d is dual to the Lie bracket, we get
E20,q = 0, 4 ≤ q,
E2−1,q = 0, q = 2, 5 ≤ q,
E2−2,q = 0, q = 3, 7 ≤ q,
E2−3,q = 0, q ≤ 5, 9 ≤ q,
E2−4,q = 0, q ≤ 7, 10 ≤ q,
E2−5,q = 0, q ≤ 9, 12 ≤ q,
E2−6,q = 0, q ≤ 10
E2−p,q = 0, p ≥ 7.
Note that for every r and s, [gr , gs ] = qur,s gu , where the summation is over
P
all u such that kgr k + kgs k < kgu k. Therefore, u > max{r, s, }. Hence,
1 1 X r,s
[er , es ] = [gr , gs ] = qu gu
nr ns nr ns
nu X r,s gu nu X r,s
= qu = qu eu ,
nr ns nu nr ns
Example 2 (continued). The new Lie algebra L, b in this case, has canoni-
cal basis {e1 = g1 , e2 = g2 , e3 = g3 , e4 = 2 g4 , e5 = 12 g5 , e6 = 12
1 1 1
g6 , e7 = 12 g7 }
and bracket
[e1 , e2 ] = 2e4 − 2e5
[e1 , e3 ] = 2e4 + 2e5 [e2 , e3 ] = 2e5
[e1 , e4 ] = 6e6 [e2 , e4 ] = 6e6 [e3 , e4 ] = 6e7
[e1 , e5 ] = 6e6 [e2 , e5 ] = 6e7
[ei , ej ] = 0 otherwise.
The group G is the set of elements {ex1 1 , . . . , ex7 7 } with the product induced
by the formula ch−1 (ch(x) ∗ ch(y)).
NILMANIFOLDS AND ASSOCIATED LIE ALGEBRAS OVER THE INTEGERS 29
References
[1] B. Cenkl and R. Porter, Polynomial cochains on nilmanifolds, preprint.
[2] P. Hall, Nilpotent groups, Queens Mary College, Mathematics Notes, 1969.
[3] A. Malcev, On a class of homogeneous spaces, Izv. Akad. Nauk SSSR Ser. Mat., 13
(1949), 9-32 (Russian); English transl. in Math. USSR-Izv., 39 (1949).
Department of Mathematics
Northeastern University
Boston, MA 02115-5096
E-mail address: cenkl@neu.edu
Department of Mathematics
Northeastern University
Boston, MA 02115-5096
E-mail address: rdp@neu.edu
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
Sharief Deshmukh
1. Introduction.
Let M be an n-dimensional compact minimal submanifold in a unit sphere
S n+p . One of the interesting questions in the geometry of the minimal
submanifolds of S n+p is to obtain conditions under which they are totally
geodesic. These conditions generally involve the pinching of the sectional
curvatures, Ricci curvatures, or the scalar curvature (or equivalently the
square of the length of the second fundamental form). In [3] for n ≥ 4, it
is proved that if the Ricci curvatures of a minimal submanifold in S n+p are
greater than n − 2, then M is totally geodesic, where n = dim M . For n = 3
also the above result holds and is proved in [6]. As a natural generalization of
this result one may expect that if the scalar curvature S of an n-dimensional
compact minimal submanifold of S n+p satisfies S > n(n − 2), then M is
totally geodesic. This will improve all the existing results involving pinching
of the scalar curvature for the minimal submanifolds of S n+p , and specially
31
32 SHARIEF DESHMUKH
that in [2]. However, it is not known whether this result holds even in
dimension 3. Recently in [6] a slightly courser (than expected above) result
is proved in dimension 3, namely there it is shown that for a 3-dimensional
compact minimal submanifold M of S 3+p , the condition S > 4 implies that
M is totally geodesic.
In this paper we study n-dimensional compact minimal submanifolds in
S n+p with scalar curvature satisfying the pinching condition S > n(n − 2).
We show that for p ≤ 2 these submanifolds are totally geodesic (cf. Theorem
3.2 and Corollary 3.1). However, for codimension p ≥ 2, we have to put addi-
tional restrictions on the curvature tensor corresponding to the normal con-
nection to get the result (cf. Theorem 3.1 and Corollary 4.1). We also show
that the scalar curvature S of a non-totally geodesic n-dimensional non-
negatively curved minimal submanifold in S n+p with flat normal connection
satisfies n(n − p − 1) ≤ S ≤ n(n − 2) (cf. Theorem 4.1). Since for a compact
hypersurface M of S n+1 the normal connection is flat, we use the above
estimate for the scalar curvature S of a non-negatively curved minimal hy-
persurface M in S n+1 to infer (cf. Corollary 4.2), that either M is totally
q ge-
m
pm n−m n−m
odesic or else it is isometric to the hypersurface S n × S n
considered in [2].
2. Preliminaries.
Let M be an n-dimensional compact minimal submanifold of the unit sphere
S n+p . We denote by g the Riemannian metric on S n+p as well as that
induced on M , and by ∇¯ and ∇ the Riemannian connections S n+p on M
and respectively. Then we have
(2.1) ¯ X Y = ∇X Y + h(X, Y ),
∇ ¯ X N = −AN X + ∇⊥ Y,
∇ X
For the submanifold M the equations of Gauss, Codazzi and Ricci are re-
spectively
(2.3) R(X, Y )Z = g(Y, Z)X − g(X, Z)Y + Ah(Y,Z) X − Ah(X,Z) Y
(2.4) (∇h) (X, Y, Z) = (∇h)(Y, Z, X)
(2.5) R⊥ (X, Y, N1 , N2 ) = g ([ANI , AN2 ](X), Y )
(∇h)(X, Y, Z) = ∇⊥
X h(Y, Z) − h(∇X Y, Z) − h(Y, ∇X Z).
(∇2 h)(X, Y, Z, W ) = ∇⊥
X (∇h)(Y, Z, W ) − (∇h)(∇X Y, Z, W )
− (∇h)(Y, ∇X Z, W ) − (∇h)(Y, Z, ∇X W )
and we have the Ricci identity
(2.6) (∇2 h)(X, Y, Z, W ) − (∇2 h)(Y, X, Z, W )
= R⊥ (X, Y )h(Z, W ) − h(R(X, Y )Z, W ) − h(Z, R(X, Y )W ).
Let Ric be the Ricci tensor of M . Then the Ricci operator Q is a sym-
metric operator defined by
Ric (X, Y ) = g(Q(X), Y ), X, Y ∈ χ(M ).
The Gauss Equation (2.3) gives the following expression for the Ricci oper-
ator Q of the minimal submanifold M
X
(2.8) Q(X) = (n − 1)X − Ah(ei ,X) ei ,
i
where khk2 = 2
P
ij kh(ei , ej )k is the square of the length of the second
fundamental form.
34 SHARIEF DESHMUKH
Now, using the Ricci identity (2.6) and Equations (2.4), (2.7) in the above
equation and integrating the resulting equation we get the integral formula
(2.10).
Next we define kRk2 the square of the length of the curvature tensor field
of M by
X
kRk2 = kR(ei , ej )ek k2 ,
ijk
we get (2.12).
and call it the normal curvature of the minimal submanifold. We also define
a function ϕ : M → R by
X
ϕ=2 kAα k2 kAβ k2 ,
α<β
+ kAh k2 − n khk2 .
For a local orthonormal frame {N1 , . . . , Np } of normals we have
X X
Ric ej , Ah(ei ,ej ) ei = g(Aα ei , ej )Ric(ej , Aα ei )
ij αij
X X
(3.6) = g(Aα ei , ej )Ric g(Aα ei , ej )ej , Aα ei
αi j
X
= Ric(Aα ei , Aα ei ).
αi
Now, using (2.8) in (3.6) we arrive at
X X X
(3.7) Ric ej , Ah(ei ,ej ) ei = (n − 1) kAα ei k2 − kh(ej , Aα ei )k2
ij αi αij
X
= (n − 1) khk2 − kAα Aβ k2 .
αβ
and
X X
(3.9) kAα Aβ − Aβ Aα k2 = g ((Aα Aβ − Aβ Aα )(ei ), ej )2
αβ ijαβ
X
= −2 g(Aα ei , Aβ ej )g(Aα ej , Aβ ei )
ijαβ
X
+2 kAα Aβ k2
αβ
MINIMAL SUBMANIFOLDS 37
where we have used kAα Aβ k2 = kAβ Aα k2 which follows from the fact that
Aα and Aβ are symmetric. We use Equations (3.8) and (3.9) in (2.11) to
arrive at
Z X
(3.11) k∇hk2 + kAh k2 − n khk2 − 2 R ek , ei ; ej , Ah(ei ,ej ) ek
M ijk
X
+2 Ric ej , Ah(ei ,ej ) ei dv = 0.
ij
Xh i2 X
(3.13) K⊥ = R⊥ (ei , ej , Nα , Nβ ) = g ([Aα , Aβ ](ei ), ej )2
ijαβ ijαβ
X X
= g ((Aα Aβ − Aβ Aα )(ei ), ej )2
αβ ij
X
= kAα Aβ − Aβ Aα k2 .
αβ
38 SHARIEF DESHMUKH
Also we have
X
2 X
kAh k2 =
h(ei ,ej ) k
=
A e g (Aα ei , ej )2 kAα ek k2
ijk ijkα
X X
= kAα k g (Aα ei , ej )2 =
2
kAα k4
ijα α
!2
X X
= kAα k2 −2 kAα k2 kAβ k2 ,
α α<β
which gives
X
(3.14) kAh k2 = khk4 − 2 kAα k2 kAβ k2 .
α<β
Now using S > n(n − 2) with (2.4), we conclude that khk2 < n and hence
the integral formula (3.15) implies that M is totally geodesic.
Remark 3.1. For Veronese surface M in S 4 , one can show that the normal
curvature K ⊥ and the function ϕ appearing in Theorem 3.1 satisfy K ⊥ =
ϕ = 98 . Indeed we can choose a local orthonormal frame {e1 , e2 } on M and
a local orthonormal frame {N1 , N2 } of normals such that the Weingarten
maps AN1 , AN2 take the form (cf. [2])
0 1 1 0
A1 = , A2 = .
1 0 0 −1
MINIMAL SUBMANIFOLDS 39
Z n o
k∇Ak2 + n − kAk2 kAk2 dv = 0,
M
Proof. If M is not totally geodesic, then the above integral formula gives
that the Weingarten map A is parallel and kAk2 = n, consequently
q as in [2],
m
pm n−m n−m
M is isometric to the hypersurface S n ×S n of S n+1 .
Proof. Since the normal connection is flat we have R⊥ = 0 and that all the
Weingarten maps AN , N ∈ Γ(ν), can be diagonalized with respect to the
same local orthonormal frame {e1 , . . . , en } (cf. [1], p. 127). Choose a local
orthonormal frame {N1 , . . . , Np } of normals such that Aα (ei ) = λαi ei , where
40 SHARIEF DESHMUKH
(4.2) k∇hk = 0,
X X
Ric ei , Ah(ei ,ej ) ej − R ek , ei ; ej , Ah(ei ,ej ) ek = 0.
ij ijk
Now Equation (3.5) with R⊥ = 0 and the second equation in (4.2) yields
Also, we have
!2
X X X
(4.4) kAh k2 = kAα k4 = kAα k2 −2 kAα k2 kAβ k2
α α α<β
X
= khk4 − 2 kAα k2 kAβ k2 .
α<β
= n khk2 − kAh k2 .
Thus the integral formula (2.10) in view of (4.9) and R⊥ = 0, takes the form
Z n o
(4.10) k∇hk2 + n khk2 − kAh k2 dv = 0.
M
42 SHARIEF DESHMUKH
Remark 4.1. In [2], it is asked that the values of khk2 should determine
the compact hypersurfaces up to rigid motion in the ambient sphere S n+1
(cf. p. 75). The above Corollary shows that for non-negatively curved
hypersurfaces in S n+1 , khk2 takes only two values 0 and n and the corre-
sponding hypersurfaces are known. Thus the Corollary 4.2 can be thought
of as a result in the direction of this question.
We also have the following consequence of Corollary 4.2:
Corollary 4.3. Let M be a non-negatively curved compact minimal hyper-
surface of S n+1 . If M is diffeomorphic to S n , then M is totally geodesic.
Remark 4.2. One of the important questions concerning the hypersurfaces
of S n+1 is to show that “the only embedded minimal hypersurface in S n+1
which is diffeomorphic to S n is the totally geodesic sphere” (cf. [7], p. 692,
Problem-99). Corollary 4.3 can be considered as a result in this direction
for the class of non-negatively curved minimal hypersurfaces in S n+1 .
MINIMAL SUBMANIFOLDS 43
Finally, we prove:
Theorem 4.3. Let M be an n-dimensional compact minimal submanifold
of the unit sphere S n+p with flat normal connection. If M is of constant
sectional curvature c ≥ 0, then either M is flat (c = 0) and p ≥ (n − 1), or
totally geodesic.
Proof. Let {e1 , . . . , en } be a local orthonormal frame on M . Then for the
minimal submanifold M of constant sectional curvature c, Equation (2.3)
can be restated as
(c − 1) (δjk ei − δik ej ) = Ah(ej ,ek ) ei − Ah(ei ,ek ) ej .
Taking inner product with Ah(ej ,ek ) ei and summing the resulting equation
we arrive at
X
(4.12) (1 − c) khk2 = kAh k2 − g Ah(ei ,ek ) ej , Ah(ej ,ek ) ei .
ijk
References
[1] B.Y. Chen, Total Mean Curvature and Submanifolds of Finite Type, World Scientific,
1983.
[2] S.S. Chern, M. DoCarmo and S. Kobayashi, Minimal submanifolds of a sphere with
second fundamental form of constant length, Functional Analysis and Related Topics,
Springer Verlag, (1970), 59-75.
[3] N. Ejiri, Compact minimal submanifolds of a sphere with positive Ricci curvature, J.
Math. Soc. Japan, 31 (1979), 251-256.
[4] K. Moshimo, Minimal immersions of 3-dimensional sphere in to spheres, Osaka J.
Math., 21 (1984), 721-732.
[5] J. Simon, Minimal varieties in Riemannian manifolds, Ann. of Math., 88(2) (1968),
62-105.
[6] Y.B. Shen, Curvature pinching for three-dimensional minimal submanifolds in a sphere,
Proc. Amer. Math. Soc., 115(3) (1992), 791-795.
[7] S.T. Yau, Problem section, Seminar on Differential Geometry, Princeton Univ. Press,
1982.
K.S. Druschel
Introduction.
In a previous paper [2], using orbifold Pontrjagin numbers, we had estab-
lished that rationally every odd dimensional oriented orbifold bounds and,
also, if an orbifold bounds, then some multiple of it bounds with no increase
in the set of local groups. The proof involves systematically making the
orbifold rationally cobordant to one with a smaller set of local groups. Thus
to study torsion in orbifold cobordism one must gain control of the way
one introduces new local groups when one tries to make the singularities
associated with the original orbifold bound. In Section one we collect some
definitions associated with orbifolds and their cobordism. In Section two
we consider various orbifold cobordism groups with restrictions on the set
of local groups and fit these into a commutative diagram with cobordism
groups of certain orbibundles over manifolds. This is much in the spirit of
[1]. In Section three we apply this to show that every two dimensional and
every three dimensional orbifold bounds.
1. Orbifold Cobordism.
In this section we briefly review some material associated with orbifolds and
cobordism.
An orbifold chart on a topological space X is defined by a triple (U, G, π)
where U is an open subset of Rn , G is a a finite group acting effectively and
differentiably on U , and π : U → X factors as hpU where pU is the natural
orbit map and h is open and injective. Two charts (Ui , Gi , πi ), i = 1, 2, are
compatible if for x ∈ π1 (U1 ) ∩ π2 (U2 ) and x̄ a lift of x in U1 there is an open
set U ⊂ U1 about x̄ and a diffeomorphism f : U → U 0 onto an open subset
U 0 ⊂ U2 such that π2 f = π1 . Such a map is called an overlap map. An n
dimensional orbifold Q is defined by a Hausdorff underlying space, denoted
|Q|, together with a maximal atlas of compatible orbifold charts on |Q|.
45
46 K.S. DRUSCHEL
Figure 2.1.
48 K.S. DRUSCHEL
Let Fall,m be the set of all conjugacy classes of finite subgroups of SO(m)
and Ωn,orb (F) = Ωn,orb (F, Fall,n+1 ).
Proposition 2.6.
The following lemma allows us to tell when an orbifold Q with local groups
in F is cobordant to one with local groups in F − (H) by examining the
normal bundle to QH . The commutivity of the diagram allows more control
of the local groups in the cobordism.
Lemma 2.8. The two columns in the above diagram are exact.
Proof. To prove ker hi ⊂ im gi , note that if [(QH , νH )] = 0 in Bn−deg H (H,
F, F̂) via (W, Ψ), then the local groups of SΨ are in F − (H). Thus Q
is cobordant to (Q − DνH ) ∪SνH SΨ, whose local groups are in F − (H),
since those of Q − DνH and SΨ are. This cobordism is via (Q × I) ∪(DνH ,1)
DΨ, which has local groups in F̂, since both Q and T otΨ do. The reverse
inclusion of image and kernal is true vacuously. We have im hi ⊂ ker ki since
SνH bounds Q − DνH . If for [(M, Ψ)] ∈ Bn−deg H (H, F, F̂), ki [(M, Ψ)] = 0,
then SΨ = δorb W with GW ⊂ F − (H). Hence (M, Ψ) ∼ (QH , νH ) where
Q = W ∪SΨ DΨ.
3. Applications.
We illustrate Lemma 2.8 with a proof of the following. Consideration of
Figure 2.1 leads to an alternative proof of this proposition.
Proposition 3.1. Ω2,orb = 0.
Proof. If F is a finite set of conjugacy classes of finite subgroups of SO(2) it
consists of cyclic subgroups, say Cn1 , . . . Cnk . Suppose C2 ∈ F. If H = Cni ,
ni 6= 2, and F̂ = F ∪ Dni then Dni satisfies condition SF ,H . We note
THE COBORDISM OF ORIENTED THREE DIMENSIONAL ORBIFOLDS 51
Figure 3.1.
We now illustrate the proof of Theorem 3.2 by showing how a three orb-
ifold Q with singular set as in Figure 3.2 is cobordant to a three dimensional
manifold. Here unlabelled arcs have singular set C2 . Figure 3.3 gives the
singular set of a four dimensional orbifold with boundary which makes Q
cobordant to an orbifold Q1 with no local groups I, as in the first para-
graph of the proof. In Figure 3.3 the singular set around the point labelled
hI, −id4 i consists of four planes labelled by Ck , k = 3, 5, 2, 2, meeting in
lines labelled by Dk , k = 3, 5, 2, and I. Figure 3.4 shows the singular set
of Q1 and another orbifold Q2 which is cobordant to Q1 and has dihedral
and cyclic local groups. Note that there is an even number of points in Q2
labelled by each dihedral group so, as in the third paragraph of the proof, we
can systematically make Q2 cobordant to an orbifold with fewer dihedral lo-
cal groups. Figure 3.5 shows the singular sets of Q3 and Q4 , both cobordant
to Q2 . In Q3 the dihedral groups D3 have been removed, and in Q4 the only
local dihedral groups are D2 . Q4 is cobordant to an orbifold Q5 with singular
set two circles labelled C2 , two labelled C3 , and one labelled C`
5 . This is via
(Q4 × I) ((D2 /D2 ) × I)/ ∼ where, since DνD2 (Q4 ) ∼ = D2 /D2 D2 /D2 , we
`
THE COBORDISM OF ORIENTED THREE DIMENSIONAL ORBIFOLDS 53
identify DνD2 (Q4 ) with the ends of (D2 /D2 )×I). One uses similar orbifolds
with boundary for the cobordisms between Q2 and Q3 , and then between Q3
and Q4 . Finally, one makes Q5 cobordant to a three manifold via the orb-
ifold (Q5 × I) ∪Y X where X consists of a disjoint union of D2 × (D2 /Ck )’s,
k = 3, 3, 2, 2, 5, and Y is diffeomorphic to a disjoint union of S 1 × (D2 /Ck )’s,
k = 3, 3, 2, 2, 5.
Figure 3.4.
Figure 3.5.
THE COBORDISM OF ORIENTED THREE DIMENSIONAL ORBIFOLDS 55
References
[1] P.E. Conner and E.E. Floyd, Differentiable Periodic Maps, Springer, Berlin, 1964.
[2] K.S. Druschel, Oriented Orbifold Cobordism, Pacific J. Math., 164(2) (1994), 299-319.
[3] V.A. Rohlin, A three-dimensional manifold is the boundary of a four-dimensional one,
Dokl. Akad. Nauk SSSR, 81 (1951), 355-357.
Juliana Erlijman
Introduction.
In [W-1] and [W-2] Wenzl constructed new examples of subfactors of the
hyperfinite II1 factor. He considered unitary representations ρ of the infinite
braid group B∞ , whose restrictions to finite braid groups Bn generate finite
dimensional C∗ -algebras, with additional properties such as the existence of
a positive Markov trace on the quotients. His pairs of subfactors are given
by the von Neumann algebras generated by {gi : i ∈ N, i > m} and by
{gi : i ∈ N0 } in the trace representation, where gi := (πtr ◦ ρ)(σi ), σi are
the braid generators for i ∈ N0 , and m ∈ N0 is arbitrary.
These special unitary braid representations can be obtained in connection
with the representation theory of the classical Lie algebras. The ones corre-
sponding to the Lie type A factor through the Hecke algebra H∞ (q) for q a
root of unity, [W-1]. The ones corresponding to the the types B,C,D factor
through the Birman-Murakami-Wenzl algebra C∞ (r, q) for special values of
r and q, [W-2]. Wenzl subfactors are a generalisation of Jones subfactors
which arise in connection with the sl(2) case, [J].
In [E] the two-sided versions of the Wenzl subfactors for classical Lie types
were considered; for the Jones subfactors this had been done by M. Choda
in [Ch]. The two-sided subfactors are defined by extending the unitary
braid representations ρ to the infinite two-sided braid group with generators
σi , with i ∈ Z. Thus, the two-sided pairs are generated by {gi : i ∈
Z\{0, . . . , m}} and by {gi : i ∈ Z}.
It turns out that if we set m = 0 — where m is as in the first paragraph
— then the asymptotic inclusions (in the sense of Ocneanu, [O]) for Wenzl’s
one-sided pairs associated with the Lie types A,B,C,D coincide with the
corresponding two-sided versions. This was easily proved in [E] for the
B,C,D types. In this paper we shall prove this fact for the remaining type A
57
58 JULIANA ERLIJMAN
1. Preliminaries.
Let us recall that the finite dimensional Hecke algebra Hn (q) is the free
complex algebra with generators 1, T0 , . . . , Tn−2 , and relations, depending
on a parameter q ∈ C,
(B1 ) Ti+1 Ti Ti+1 = Ti Ti+1 Ti , for i = 0, . . . , n − 3,
(B2 ) Ti Tj = Tj Ti , for |i − j| ≥ 2,
(H) Ti2 = (q − 1)Ti + q, for i = 0, . . . , n − 2.
It can be shown by induction that theseS complex algebras have dimension
n!, independent of q. Set H∞ (q) = Hn (q). The representations consid-
ered for defining the braid subfactors are interesting in the case that the
2πi
parameter q is a root of unity, q 6= 1. So, we shall fix q = e± l , with l ≥ 3.
We shall briefly summarise the parametrisations of the semisimple quotients
of Hn (q), with q as above, which are associated with sl(k) for 1 < k < l (see
[W-1]).
For k ∈ N, and k < l, a (k, l) Young diagram λ of size n is a k-tuple
λ = (λ1 , . . . , λk ) with λ1 ≥ λ2 ≥ . . . ≥ λk ≥ 0, λ1 − λk ≤ l − k, and
Pk (k,l)
i=1 λi = n. We denote the set of (k, l) diagrams of size n by Λn . We
can also regard a (k, l) diagram λ = (λ1 , . . . , λk ) of size n as k ordered rows
of boxes with λi boxes in the ith row. A (k, l) tableau t of shape λ of size n
is a standard tableau, such that for each j ≤ n, the subdiagram occupied by
(k,l)
the numbers {1, . . . , j} is an element of Λj . A (k, l) standard tableau t
of shape λ can also be regarded as an increasing sequence of (k, l) diagrams
(k,l)
∅ = λ0 ⊂ [1] = λ1 ⊂ λ2 ⊂ . . . ⊂ λn = λ. Denote by Tλ the set of (k, l)
tableaux of shape λ.
(k,l)
For each diagram λ ∈ Λn let Vλ be a vector space with basis {vt }
(k,l)
labelled by Tλ . Wenzl defined in [W-1] an irreducible representation
(k,l)
πλ of Hn (q) on Vλ given by
the numbers i and i + 1 (if the resulting tableau is not standard then it
appears with zero coefficient).
(k,l)
Different diagrams in Λn give inequivalent representations. Consider
Hn−1 (q) as the subalgebra of Hn (q) generated by 1, T0 , . . . , Tn−3 . The re-
(k,l) (k,l)
striction rule is given by πλ |Hn−1 (q) ∼ 0
L
= λ0 <λ πλ0 , where λ < λ means
(k,l)
that λ can be obtained by adding one box to λ0 ∈ Λn−1 . We can then
(k,l) (k,l) L (k,l)
define a representation πn of Hn (q) by πn (x) = λ∈Λ(k,l) πλ (x), for
n
(k,l)
x ∈ Hn (q). Its restriction to Hn−1 (q) is equivalent to πn−1 . Finally, we have
(k,l)
a well defined representation π (k,l) of H∞ (q) given by π (k,l) (x) = πn (x),
if x ∈ Hn (q). The representation π (k,l) is locally finite dimensional, i.e., the
algebras (k,l) (H (q)) are finite dimensional C∗ -algebras. We have
∼ L Bn := π n
Bn = λ∈Λ(k,l) Maλ (C), that is, the equivalence classes of minimal idempo-
n
(k,l)
tents of Bn are labelled by Λn . The representation π (k,l) is also unitary
(k,l)
(that is, gi := πn (Ti ) is a unitary element of Bn = hg0 , . . . , gn−2 i, for
i = 0, . . . , n − 2, and every n ∈ N), and has the following properties:
(i) Any element x ∈ Bn+1 can be written as a sum of elements agn−1 b + c
with a, b, c ∈ Bn .
(ii) The ascending sequence of finite dimensional C∗ -algebras (Bn ) is pe-
riodic with period k, in the sense of Wenzl,
S [W-1].
(iii) The unique positive faithful trace tr on Bn has the Markov property:
tr (gn−1 x) = η tr (x),
for all x ∈ Bn , for all n ∈ N, where η ∈ C is fixed. Given condition
(i), the Markov condition implies the multiplicativity property for the
trace:
(iii)0 If x and y are in ∗-subalgebras generated by disjoint subsets of gener-
ators gi , then
tr (xy) = tr (x) tr (y).
(iv) Existence of a projection p ∈ Bk , where k is the periodicity, with the
contraction property: p ∈ Bk has the contraction property if for all
n ∈ N,
pBn+k p ∼
= pBk+1,n+k+1 ∼ = Bk+1,n+k+1 ,
where Bs,t is the algebra generated by {gs , . . . , gt−2 }.
Property (iv) is equivalent to a special propertyL in connection with the
structure coefficients for the multiplication in n K0 (Bn ). More precisely,
given a locally finite dimensional representation of the braid group
S L B∞ =
B
n n , one has an associative, commutative, graded product on n K0 (Bn )
defined as follows (see [GW] for more details). For projections x ∈ Bn
and y ∈ Bm define x ⊗ y = x(ρ ◦ shiftn )(y) ∈ Bn+m , where shiftn :
CBm → CBn+m is determined by σi 7→ σi+n . Then, [x] ⊗ [y] = [x ⊗ y]
TWO-SIDED BRAID GROUPS 61
L
defines the multiplication on n K0 (Bn ). Denote the structure constants
ν
of this multiplication by cλµ . That is, if pλ and pµ are minimal projections
(k,l) (k,l)
classes labelled by λ ∈ Λn and µ ∈ Λm respectively, then [pλ ] ⊗
in the P
[pµ ] = ν∈Λ(k,l) cνλµ [pν ]. The existence of a projection p with the contraction
n+m
property is equivalent to (v) or (vi) below:
(k,l) (k,l)
(v) For all n ∈ N0 there exists an injective map j : Λn → Λn+k L that pre-
serves the structure coefficients for the multiplication in n K0 (Bn ),
ν j(ν) j(ν) (k,l) (k,l)
that is, such that cλµ = cj(λ)µ = cλj(µ) for all λ ∈ Λn , µ ∈ Λm ,
(k,l) (k,l)
ν ∈ Λn+m , and also such that cλj(µ) = 0 if ∈/ j(Λn+k ).
(vi) There exists a projection p ∈ Bk such that for every minimal projection
pλ ∈ Bn , and for all n ∈ N, the projection p ⊗ pλ remains minimal in
Bn+k . Moreover, if λ 6= λ0 then p ⊗ pλ and p ⊗ pλ0 are not equivalent.
For a proof of these see [W-3], [E]. An implication of these last conditions
is that the injective map j preserves the coefficients of the inclusion matrices
for the pairs Bn ⊂ Bn+1 , Gn = (gλµ )λ∈Λ(k,l) ,µ∈Λ(k,l) , that is, gλµ = gj(λ)j(µ) ,
n n+1
since gλµ = cµ[1]λ . It is also easy to show that the periodicity condition on
(k,l) (k,l)
(Bn ) forces the injective map j : Λn → Λn+k to be a bijection for large
n (see [E]). It was shown in [GW] that an idempotent p[1k ] ∈ Bk in the
equivalence class given by the diagram [1k ] (a column of height k boxes)
(k,l)
has the contraction property: The map j maps an element µ ∈ Λn to
(k,l)
a diagram j(µ) ∈ Λn+k obtained by adding to µ a column of k boxes to
the left. Let us remark that the minimal projections p[1s ] ∈ Bs correspond
to “q-antisymmetrizers”: If q = 1, p[1s ] is just the antisymmetrizer of CSs
acting on V ⊗s – where V is an s-dimensional vector space – by permuting
tensor factors.
We include here a well-known lemma related to the structure coefficients
that will be needed in the next section:
Lemma 1.
j(η) (k,l) (k,l)
(a) cση[1] = c[1k−1 ]σ , for η ∈ Λn and σ ∈ Λn+1 , where the integer co-
efficients cµνρ are theLstructure coefficients for the associative graded
multiplication ⊗ on n K0 (Bn ).
j(η)
(b) c[1k−1 ]σ 6= 0 ⇐⇒ η < σ.
j(η)
Proof. (a) The coefficients cση[1] and c[1k−1 ]σ coincide with the classical Little-
wood-Richardson coefficients by the Young-Pieri Rules (see [GW]). So we
only need to apply the classical Littlewood-Richardson rule, which says that
the (classical) cνλµ coefficient is the number of ways the Young diagram λ
can be expanded to the Young diagram ν by strict µ-expansion (check for
62 JULIANA ERLIJMAN
(5) By the braid relations, [q (n) , Bs,t ] = 0 for any n ∈ N, and s, t ∈ Z such
that −(i − 1)k + 1 ≤ s ≤ t − 2, or such that −(i − 1)k ≤ s ≤ t − 2
(depending on parity of n). In particular, q (2i−1) and q (2i) commute
with p(2j−1) for j = 1, . . . , i − 1.
(6) q (n) ∈ shiftk(n) (Bk ) remains minimal in shiftk(n) (Bk+1 ): This can be
shown by using the contraction property of p[1k ] , or by using the prop-
erties for p[1k ] stated in [W-1, p. 368].
(7) Let A ⊂ B be finite dimensional C∗ algebras acting on a Hilbert space
H with a faithful trace on B, and e be a projection on H. Then, if
(∗)ebe = eA (b)e, where A is the trace preserving conditional expec-
tation onto A, and (∗∗)eA ∼ = A, then hB, ei ∼ = Q ⊕ K, where Q is
isomorphic to the basic construction for A ⊂ B, and K is isomorphic
to a subalgebra of B. [W-1, Theorem 1.1, (i)].
Proof. Parts (a) and (b) are true by remarks (3), (4) and (5).
(c) Any element x ∈ Br can be written as a linear combination of elements
of the form ug0 v + w, with u, v, w ∈ Ar (see [W-1]). Since p(1) commutes
with Br , then any element in Br p(1) can be written as a linear combination
of elements of the form ug0 v + w, with u, v, w ∈ Ar p(1) . By the bimodule
property of the conditional expectation (E1 (uzv) = uE1 (z)v if u, v ∈ Ar p(1) ),
if u, v, w ∈ Ar p(1) then E1 (ug0 v + w) = αuv + w, where α = tr(g0 ) (the
last equality follows from multiplicativity property of tr; see (iii)0 in the
preliminaries). As q (1) commutes with Ar and q (1) p(1) = q (1) = p(1) q (1) , the
claim follows as soon as we show q (1) g0 q (1) = αq (1) . Since q (1) ∈ B−k+1,2 is
minimal then q (1) g0 q (1) = βq (1) , for some β ∈ C. By the Markov property
β = tr(g0 ) = α.
TWO-SIDED BRAID GROUPS 65
(d) q (2) remains minimal in B−k,1 and q (2) p(1) = q (2) . (Remarks (4),(6).)
tr (q (2) x)
In particular, if x ∈ B−k+1,1 , q (2) p(1) xp(1) q (2) = αx q (2) , with αx := tr (q (2) )
.
tr (p(1) x)
Also, for y ∈ Br , tr (p(1) xp(1) yp(1) ) = βx tr (p(1) yp(1) ), where βx := tr (p(1) )
,
by multiplicativity of tr, so that E2 (p(1) xp(1) ) = βx p(1) . We shall show that
βx = αx for every x ∈ B−k+1,r . For x ∈ B−k+1,0 , p(1) xp(1) = βx p(1) , by
minimality of p(1) in B−k+1,0 . Then, αx q (2) = βx q (2) , so that αx = βx . For
x = g−1 , αx = βx by multiplicativity of tr. Finally, because αx = βx for
x ∈ B−k+1,0 and for x = g−1 , then the equality holds for every x ∈ B−k+1,1 ,
since any element in B−k+1,1 is a linear combination of elements of the form
tr (q (2) ug−1 v)
ug−1 v + w, with u, v, w ∈ B−k+1,0 . (For x = ug−1 v, αx = tr (q (2) )
=
tr (vq (2) ug−1 ) tr (vq (2) u)tr (g−1 )
tr (q (2) )
= = αuv tr (g−1 ) = βuv tr (g−1 ) = βx .) It now
tr (q (2) )
follows that for x ∈ B−k+1,1 , q (2) p(1) xp(1) q (2) = E2 (p(1) xp(1) )q (2) . In par-
Proof. (i) By Lemma 2 (e), the algebra hq (1) , Br p(1) i contains a subalgebra,
Q1 , isomorphic to the basic construction for Ar p(1) ⊂ Br p(1) . Consider the
inclusions:
t
Br p(1) ⊂G Q1 , and Br p(1) ⊂L B−k+1,r p(1) ,
where G is the inclusion matrix for Ar ⊂ Br . Our goal is to show that
L = Gt , for then we shall have dim Q1 = dim B−k+1,r p(1) , and so the desired
66 JULIANA ERLIJMAN
(k,l) (k,l)
pλ ] = ν∈Λ(k,l) cλ[1]ν [pj(ν) ], where we use that the map j : Λn → Λn+k
P
r−1
as in the preliminaries is a bijection for large n. Therefore, the inclusion
(k,l) (k,l)
matrix L is given by Lλν = cλ[1]ν for λ ∈ Λr , ν ∈ Λr−1 , which coincides
with the matrix Gt .
(ii) Using (i) and Lemma 2 (d), we shall show that hq (2) , B−k+1,r p(1) i
contains a subalgebra, Q2 , isomorphic to the basic construction for Br p(1) ⊂
B−k+1,r p(1) . By Remark (7), Lemma 2 (b), and Remark (5) we just need
to show that q (2) bq (2) = E2 (b)q (2) for all b ∈ B−k+1,r p(1) , where E2 is the
unique trace preserving conditional expectation onto Br p(1) . The equation
above is true for b ∈ Br p(1) , and by Lemma 2 (d) it also holds for b = q (1) .
Since B−k+1,r p(1) = hq (1) , Br p(1) i by part (i), then the equation holds for all
b ∈ B−k+1,r p(1) by the bimodule property of E2 , and because any element of
hq (1) , Br p(1) i is a linear combination of elements of the form xq (1) y + z, with
x, y, z ∈ Br p(1) . Consider the inclusions:
Proof. The algebras Ap , Bp and peA satisfy the conditions of Remark (7).
Therefore, hBp , peA i ∼
= hBp , eAp i ⊕ K, where K is isomorphic to a subalge-
bra of Bp . Because p is full in A, then the inclusion matrix for Ap ⊂ Bp
1 ~
coincides with that for A ⊂ B, G. Thus, tr(p) tA = ~tAp ≥ GGt~thBp ,peA i =
1
GGt~thB,e i = 1 ~tA , so that an equality holds, and by faithfulness of
tr(p) A tr(p)
tr, K must be zero.
We shall obtain now all the iterations of the basic construction, by doing
the same procedure as in the last proposition, by induction. Define
B r (2i − 1) := B−ki+1,r
B r (2i) := B−ki,r .
Corollary 5. For r ∈ N large, the nth basic construction for (Ar ) ([ n+1 ]) ⊂
P 2
(Br ) ([ n+1 ]) is isomorphic to
P 2
D E
B r (n) ([ n+1 ]) = q (n) , B r (n − 1) ([ n+1 ]) .
P 2 P 2
Section 3.
3.1. Denote by B (n) the Jones’ nth basic construction for the one-sided
pair A ⊂ B, (see [J]). The asymptotic inclusion for A ⊂ B is the inclusion
A∨(A0 ∩B (∞) ) ⊂ B (∞) , where B (∞) := ( n B (n) )00 . We shall proceed first by
S
showing that both the two-sided pair C ⊂ D and the asymptotic inclusion
for the one-sided pair A ⊂ B satisfy the conditions of some splitting results
due to D. McDuff and D. Bisch (see [McD], [B]).
Lemma 6.
(a) The asymptotic inclusion A ∨ (A0 ∩ B (∞) ) ⊂ B (∞) of the one-sided pair
A ⊂ B has two non-trivial non-commuting central sequences.
(b) The two-sided pair C ⊂ D has two non-trivial non-commuting central
sequences.
Proof. Let us recall first that a central sequence (xn ) for a II1 factor M is
a bounded sequence in M with the property that k[xn , x]k2 → 0, for all
x ∈ M , where k . k2 is the norm defined on M via its trace. A central
sequence (xn ) ∈ M is said to be trivial if kxn − λn .1k2 → 0, where λn ∈ C
for all n ∈ N. A central sequence for a pair of II1 factors N ⊂ M is a central
sequence (xn ) for M which is contained in N .
(a) The candidates are the sequences (eB (n) )n∈N and (eB (n+1) )n∈N , where
eB (n) is the projection corresponding to the nth Jones’ basic construction for
A ⊂ B. It is obvious that these sequences lie in A ∨ (A0 ∩ B (∞) ). To show
that they are non-trivial, consider a sequence (λn ) of complex numbers. For
all n ∈ N,
1
keB (n) − λn .1k22 = τ |1 − λn |2 + (1 − τ )|λn |2 ≥ min{τ, (1 − τ )} > 0,
2
because tr (eB (n) ) = τ ∈ (0, 1) for all n ∈ N. To show that (eB (n) )n and
(eB (n+1) )n are non-commuting, write
k[eB (n) , eB (n+1) ]k22 = −2tr (ηeB (n) eB (n+1) ) + 2tr (eB (n) eB (n+1) )
= 2η(1 − η) ≡ c > 0,
since eB (n+1) eB (n) eB (n+1) = ηeB (n+1) , with 0 < η = tr(eB (n) ) for all n ∈ N.
Finally, to show that (eB (n) )n and (eB (n+1) )n are central with respect to B (∞)
fix an element x ∈ B (∞) . There exists a sequence (xn ) with xn ∈ B (n) which
converges to x in the k . k2 norm. Given > 0, choose some j0 ∈ N with
kx − xj0 k2 < . Then, [eB (n) , xj0 ] = 0 for n > j0 + 1, so that
k[eB (n) , x]k2 ≤ 2keB (n) k.kx − xj0 k2 + keB (n) xj0 − xj0 eB (n) k2 < 2.
(b) For the two-sided pair C ⊂ D consider the sequences (en )n∈N and
(en+1 )n∈N , where en is the image (under the braid representation consid-
ered) of the spectral projection corresponding to the eigenvalue −1 of the
TWO-SIDED BRAID GROUPS 69
generator Tn of the Hecke algebra. In other words, for q 6= −1, en = q−g q+1
n
k[en , en+1 ]k22 = −2tr (en en+1 en en+1 − αen en+1 + αen en+1 ) + 2tr (en en+1 )
= 2αtr (en ) − 2αtr (en )2 ≡ κ > 0,
where we also use the fact that tr (en en+1 ) = tr(en )2 , which is constant for
all n ∈ N because of the Markov property of tr. Finally, we need to show
that these are central sequences with respect to D. This follows from a
similar procedure as in (a). Let x be an element in D. Then, there exists
a sequence (xn ) with xn ∈ he−n , . . . , en i, which converges to x in the k . k2
norm. For > 0, take j0 ∈ N such that kx − xj k2 < . Then, [en , xj0 ] = 0
for n > j0 + 1, because xj0 ∈ he−j0 , . . . , ej0 i and [ei , ej ] = 0 for |i − j| > 1.
Therefore,
k[en , x]k2 ≤ 2ken k kx − xj0 k2 + ken xj0 − xj0 en k2 < 2.
Now we are able to use the Bisch-McDuff splitting results mentioned
above: In [McD], McDuff gave necessary and sufficient conditions for a
k . k2 -separable II1 factor M to be isomorphic to M ⊗R, ¯ where R is the
separable II1 factor. In [B, Theorem 3.1], based on the work by McDuff,
Bisch gave necessary and sufficient conditions for a pair N ⊂ M of separable
¯ ⊂ M ⊗R
II1 factors to be stable, that is, for N ⊂ M to be conjugate to N ⊗R ¯
¯
(i.e., existence of an isomorphism Φ : M → M ⊗R with Φ(N ) = N ⊗R). ¯
The equivalent condition that we shall use is the following, namely, that
the algebra M 0 ∩ N ω is non-commutative, where ω is a free ultrafilter in
N. In particular, it is enough to show that there exist two non-trivial non-
commutative central sequences for M which are contained in N . Therefore,
as a result of Lemma 6:
Corollary 7. Both the asymptotic pair A ∨ (A0 ∩ B (∞) ) ⊂ B (∞) for the
one-sided pair A ⊂ B and the two-sided pair C ⊂ D are stable.
Remark. Let R⊗∞ be the II1 factor given by the inductive limit of R⊗n
with the canonical embeddings and trace. It can easily be shown that it is
hyperfinite, so that it is isomorphic to R. For a non-zero projection p ∈ R, let
70 JULIANA ERLIJMAN
Rp⊗∞ be the II1 factor given by the inductive limit of the factors Rp⊗n , with
the embeddings Rp⊗n ∼ = Rp⊗n ⊗ p ⊂ Rp⊗n+1 , together with an appropriate
renormalisation of the canonical trace at each step. It can also be easily
shown that Rp⊗∞ is hyperfinite, and so isomorphic to R. Therefore, if a pair
N ⊂ M splits a copy of R, then it also splits a copy of R⊗n , R⊗∞ , or Rp⊗∞ .
3.2. In Section 2 we obtained all the iterations of the Jones’ basic con-
structions for Ar ⊂ Br in a way which relates them to the two-sided pair
C ⊂ D. Corollary 5 says that for large r, and for every s, the 2s + 1st basic
construction for the pair (Ar )P (s) ⊂ (Br )P (s) is isomorphic to B r (2s − 1)P (s) .
Then, B (∞) can be identified with the II1 factor defined by the inductive
limit of (Ds )P (s) , with
Ds := hg−sk+1 , g−sk , . . . i00 ,
and the embeddings ψs : (Ds )P (s) → (Ds+1 )P (s+1) given by (Ds )P (s) = ∼
(Ds )P (s+1) ⊂ (Ds+1 )P (s+1) (note that [p (s+1) , Ds ] = 0 for all s ∈ N), to-
gether with an appropriate renormalisation of the trace tr at each step; that
is, define tr(s) on each (Ds )P (s) by tr(s) := tr(p 1k−1 )s tr. With the same iden-
[1 ]
We have just seen that the asymptotic pair A ∨ (A0 ∩ B (∞) ) ⊂ B (∞) for
the one-sided inclusion A ⊂ B is conjugate to the von Neumann algebra
inductive limit of (Cs )P (s) ⊂ (Ds )P (s) — which we shall denote by Cp∞ ⊂
Dp∞ for convenience — with the embeddings and the renormalisation of the
trace at each step as above. We need to show that Cp∞ ⊂ Dp∞ is conjugate
to the two-sided pair C ⊂ D. In other words, we need to “eliminate” the
projections P (s) . That is the reason in the next results we need consider
larger von Neumann algebras, of the form (Cs )P (s) ⊗ R⊗s .
Lemma 8. Consider s large enough so that P (s) is full in B 1 (2s − 1) =
B−sk+1,1 . Then, there exist a projection P̃ (s) ∈ Cs with P̃ (s) ≤ P (s) , and a
unitary us ∈ Cs ⊗ R⊗s such that:
(a) ubs (P̃ (s) ⊗ 1R⊗s ) := us (P̃ (s) ⊗ 1R⊗s )u∗s = 1C ⊗ qs , with qs a projection
in R⊗s .
(b) P̃ (s) is “maximal” with the property described in (i). That is, if there is
0 0
a projection P (s) ∈ Cs with P (s) ≤ P (s) , and a unitary u0s ∈ Cs ⊗ R⊗s
0 0
with u b0s (P (s) ⊗ 1R⊗s ) = 1C ⊗ qs0 for some qs0 ∈ R⊗s , then P (s) . P̃ (s) .
Proof. (a) Let Λ be the finite set of (k, l) Young diagrams that label the
minimal central projections z̃λ of B 1 (2s − 1), and zλ = z̃λ ⊗ 1 the minimal
central projections in Cs = hg−sk+1 , . . . , g−1 , g1 , . . . i00 . For λ ∈ Λ let qλ be a
(s)
projection in R⊗s with tr(qλ ) = tr(P zλ )
tr(zλ ) . Since in a II1 factor projections
are unitarily equivalent if and only if their traces coincide, there is a uni-
tary ũλ,s in the factor (Cs ⊗ R⊗s )zλ ⊗1R⊗s such that u b̃λ,s (P (s) zλ ⊗ 1R⊗s ) =
ũλ,s (P (s) zλ ⊗ 1R⊗s )ũ∗λ,s = zλ ⊗ qλ . Take qs ∈ R⊗s with tr(qs ) = min{tr(qλ )},
λ∈Λ
so that zλ ⊗ qλ & zλ ⊗ qs in (Cs ⊗ R⊗s )zλ ⊗1R⊗s for all λ. It follows that there
is a projection P̃ (s) ∈ Cs ⊗ R⊗s and a unitary uλ,s in (Cs ⊗ R⊗s )zλ ⊗1R⊗s with
P̃ (s) zλ ≤ P (s) zλ and u
bλ,s (P̃ (s) zλ ⊗ 1R⊗s ) = zλ ⊗ qs . Thus, if us := λ uλ,s ,
P
s ⊗ us
u\
(C2s ⊗ R⊗2s )(P̃ (s) ⊗P̃ (s) ⊗1 ⊗2s ) −→ (C2s ⊗ R⊗2s )(1C ⊗qs ⊗qs )
R
ιes
e
y
e
y es (B)
u
b2s
(C2s ⊗ R⊗2s )(P̃ (2s) ⊗1 −→ (C2s ⊗ R⊗2s )(1C ⊗q2s ) ,
R⊗2s )
(Note that the maps above are embeddings since P̃ (s) ⊗ P̃ (s) ⊗1R⊗2s and
1C ⊗qs ⊗qs commute with P̃ (s) ⊗1R⊗s and with 1C ⊗qs respectively, and
also P̃ (2s) ⊗ 1R⊗2s ≥ P̃ (s) ⊗ P̃ (s) ⊗ 1R⊗2s , and 1C ⊗ q2s ≥ 1C ⊗ qs ⊗ qs ).
Proof. Note that we identify B 1 (2s − 1) ⊗ B 1 (2s − 1) with a subalgebra of
B 1 (4s − 1) according to the multiplication rules for the structure coefficients
that describe the embeddings Br ⊗ Br ⊂ B2r , as in the preliminaries. By
Lemma 8 we can find P] (2s) ≤ P (2s) , with P
] (2s) ⊗1 ⊗2s ∈ C ⊗R⊗2s maximal
R 2s
with respect to the property of being unitarily equivalent to a projection of
the form 1C ⊗ q̃2s , for some q̃2s ∈ R⊗2s .
We can also define the unitary ‘us ⊗ us ’ ∈ C2s ⊗ R⊗2s since, by the
construction of us ∈ Cs ⊗ R⊗s in the proof of Lemma 8, one has that in fact
us ∈ B 1 (2s − 1) ⊗ R⊗s (so that us ⊗ us ∈ B 1 (2s − 1) ⊗ B 1 (2s − 1) ⊗ R⊗2s ⊂
C2s ⊗ R⊗2s ). For P̃ (s) as in Lemma 8, P̃ (s) ⊗ P̃ (s) ≤ P (s) ⊗ P (s) = P (2s) ,
and P (s) ⊗ P (s) ⊗ 1R⊗2s is unitarily equivalent to 1C ⊗ qs ⊗ qs via us ⊗ us ,
so that P̃ (s) ⊗ P̃ (s) . P](2s) by maximality of P ](2s) . Since this last relation
holds in each factor summand of C2s ⊗ R⊗2s , then for every minimal central
projection zλ ∈ C2s there is a projection P̃ (2s) zλ such that P̃ (2s) zλ ∼ P] (2s) z
λ
(s) (s)
and (P̃ ⊗ P̃ )zλ ≤ P̃ (2s) zλ ≤ P (2s) (s) (s)
zλ . Thus, P̃ ⊗ P̃ ≤ P̃ (2s) ≤ P (2s) ,
and P̃ (2s) ⊗ 1R⊗2s is maximal with respect to being unitarily equivalent to
a projection of the form 1C ⊗ q2s ∈ C2s ⊗ R⊗2s , where we can assume
that q2s ≥ qs ⊗ qs . Since their traces agree in each factor summand, the
TWO-SIDED BRAID GROUPS 73
projections (P̃ (2s) − P̃ (s) ⊗ P̃ (s) ) ⊗ 1R⊗2s and 1C ⊗ (q2s − qs ⊗ qs ) are unitarily
equivalent via some unitary w2s ∈ C2s ⊗ R⊗2s .
Note that the maps ιe es and e es are clearly embeddings, and that the fact
the morphisms ιes and es are injective follows from the faithfulness and mul-
tiplicativity of the trace (property (iii)0 in the preliminaries).
To find a unitary u2s ∈ C2s ⊗ R⊗2s that makes the diagram commute,
take the partial isometry
v2s := w2s (P̃ (2s) − P̃ (s) ⊗ P̃ (s) ) ⊗ 1R⊗2s + (us ⊗ us )(P̃ (s) ⊗ P̃ (s) ⊗ 1R⊗2s ),
u
b2s (P̃ (2s) ⊗ 1R⊗2s ) = 1C ⊗ q2s . Finally, by the definitions of the embeddings
and the unitaries, the diagrams (A) and (B) commute.
Lemma 10. Fix s large. The pairs of von Neumann algebra inductive limits
n n
lim (Cs2n )P̃ (s2n ) ⊗ R⊗s2 ⊂ lim (Ds2n )P̃ (s2n ) ⊗ R⊗s2 ,
−→ −→
n n
and
n n
lim Cs2n ⊗ (R⊗s2 )qs2n ⊂ lim Ds2n ⊗ (R⊗s2 )qs2n
−→ −→
n n
are conjugate with the embeddings as above, and the trace normalisation at
each step as described at the beginning of this section.
Proof. By Lemma 8 and Lemma 9, for s large and fixed, we can inductively
n n n
define sequences of projections (P̃ (s2 ) )n , with P̃ (s2 ) ∈ Cs2n ⊗ R⊗s2 and
n n n
P̃ (s2 ) ≤ P (s2 ) , and (qs2n )n with qs2n ∈ R⊗s2 , and also a sequence of
n
unitaries (us2n )n with us2n ∈ Cs2n ⊗ R⊗s2 , such that the diagrams below
commute for all n:
74 JULIANA ERLIJMAN
n u
bs2n n
(Cs2n )P̃ (s2n ) ⊗ R⊗s2 −→ Cs2n ⊗ (R⊗s2 )qs2n
& .
n u
bs2n n
(Ds2n )P̃ (s2n ) ⊗ R⊗s2 −→ (Ds2n )P̃ (s2n ) ⊗ (R⊗s2 )qs2n
ιs2 ιs2n s2n s2n
n
y y
y y
n+1 n+1
(Ds2n+1 )P̃ (s2n+1 ) ⊗ R⊗s2 −→ Ds2n+1 ⊗ (R⊗s2 )qs2n+1
u
bs2n+1
% -
n+1 n+1
(Cs2n+1 )P̃ (s2n+1 ) ⊗ R⊗s2 −→ Cs2n+1 ⊗ (R⊗s2 )qs2n+1 .
u
bs2n+1
Proposition 11. The inclusion of inductive limits obtained via “reducing”
n
by the subprojection sequence (P̃ (s2 ) )n≥1 ,
n n
lim (Cs2n )P̃ (s2n ) ⊗ R⊗s2 ⊂ lim (Ds2n )P̃ (s2n ) ⊗ R⊗s2 ,
−→ −→
n n
Proof. Let G be the inclusion matrix for B 1 (2n − 1) ⊂ B 1 (2n + 1). Consider
n > n0 large, and note that G does not depend on n by periodicity. Let G̃
be the one for B 1 (2n − 1)P (n) ⊂ B 1 (2n + 1)P (n+1) , where the embedding is
as before: For x ∈ B 1 (2n − 1), P (n) xP (n) 7→ P (n+1) xP (n+1) . The trace is
renormalised at B 1 (2n − 1)P (n) as before: tr(n) = tr(P1(n) ) tr, where tr is the
usual trace.
Because n is large, P (n) is full in B 1 (2n − 1), and G̃ does not depend
on n (the graph is periodic) and is “like” G, with the difference that the
multiplicity of some edges of G may be larger than the corresponding ones
for G̃. By [W-1], both G̃ and G are normal. In particular, the Perron-
Frobenius eigenvectors for G and Gt (resp. for G̃ and G̃t ) coincide. Also, by
fullness of P (n) , the trace weight vectors ~t (n) and ~t̃ (n) for B 1 (2n − 1) and
for B 1 (2n − 1)P (n) are multiples of each other; moreover, ~t̃ (n) = tr(P
~t (n)
(n) ) . Let
~a (n) and ~ã (n) be the dimension vectors for B 1 (2n−1) and for B 1 (2n−1) (n) , P
respectively. By P-F theory (see [W-1]), if β (resp. β̃) is the P-F eigenvalue
for G (resp. G̃), then
t n !n
G G̃ t
lim ~a (n0 ) (n )
= c ~t 0 and lim ~ã (n0 ) = c̃ ~t̃ (n0 ) ,
n→∞ β n→∞ β̃
where c, c̃ ∈ C. We can compute these constants:
n
Gt
~t (n+n0 )~a (n+n0 ) ~t (n+n0 ) β n
X X
(n0 )
1 = tr(1) = λ λ = λ ~a
β λ
λ λ
2
~t (n0 ) c ~t (n0 )
X
−→ = c
~t (n0 )
,
n→∞ λ λ
λ
so that c = k~t (n0 ) k−2 . Similarly, c̃ = tr(P (n0 ) )2 k~t (n0 ) k−2 . Therefore, if
(k,l)
λ ∈ Λ(n+n0 )k ,
n
x ∈ Ds2n , r ∈ R⊗s2 . Then
n n
φ = (φn ) : lim (Ds2n )P (s2n ) ⊗ R⊗s2 → lim (Ds2n )P̃ (s2n ) ⊗ R⊗s2
−→ −→
n n
References
[B] D. Bisch, On the existence of central sequences in subfactors, Trans. AMS, 321
(1990), 117-128.
[Ch] M. Choda, Index for factors generated by Jones’ two sided sequence of projections,
Pacific J. Math., 139 (1989), 1-16.
[E] J. Erlijman, New braid subfactors from braid group representations, Trans. AMS,
350 (1998), 185-211.
[EK] D. Evans and Y. Kawahigashi, Orbifold subfactors from Hecke algebras, Comm.
Math. Phys., 165 (1994), 445-484.
[FH] W. Fulton and J. Harris, Representation Theory. A First Course, Springer-Verlag,
Graduate Texts in Mathematics, 129 (1991).
[GW] F. Goodman and H. Wenzl, Littlewood-Richardson coefficients for the Hecke algebra
at roots of unity, Adv. Math., 82 (1990), 24-45.
[G] S. Goto, Quantum double construction for subfactors arising from periodic com-
muting squares, preprint, 1996.
[J] V. Jones, Index for subfactors, Invent. Math., 72 (1983), 1-25.
[McD] D. McDuff, Central sequences and the hyperfinite II1 factor, Proc. London Math.
Soc., 21 (1970), 443-341.
[O] A. Ocneanu, Chirality of Operator Algebras, ‘Subfactors’, Taniguchi Symposium
on Operator Algebras, World Scient., (1994), 39-63.
[Wa] A. Wassermann, Coactions and Young-Baxter equations for ergodic actions and
subfactors, London Math. Society, Lect. Note Series, 136 (1988), 203-236.
[W-1] H. Wenzl, Hecke algebras of type An and subfactors, Invent. Math., 92 (1988),
349-383.
[W-2] , Quantum groups and subfactors of Lie type B, C, and D, Comm. Math.
Phys., 133 (1990), 383-433.
[W-3] , Braids and invariants of 3-manifolds, Invent. Math., 114 (1993), 235-275.
[W-4] , Lecture at the Mittag-Leffler Institute, 1988, personal communication.
University of Regina
Regina, Sask. S4S 0A2
Canada
E-mail address: erlijman@math.uregina.ca
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
In memory of A. Uchiyama
1. Introduction.
In this paper we continue to develop real-variable theory for Hardy spaces
Hρpr (Rn ) of divergence-free, or, more precisely, ‘co-closed’ r-forms. Though
these spaces arise as the ‘real parts’ of boundary values of r + 1-form so-
lutions of the Hodge-deRham (d, d∗ )-system in the upper half-space Rn+1 + ,
the most natural definition for them is a strictly real variable one using the
non-tangential maximal function. A characterization by singular integrals
then seeks an understanding of the relationship between the two possible
definitions. The characterization given here is based on Uchiyama’s con-
structive decomposition arguments, with a view towards broadening the
scope of those arguments to other geometric settings.
Let H be a finite-dimensional real Hilbert space with inner product h · , · i
and norm k · kH . The real variable Hardy space H p (Rn , H), 0 < p < ∞,
79
80 J.E. GILBERT, J.A. HOGAN, AND J.D. LAKEY
defines a 1-1 mapping from Hρ1r (Rn ) onto this space of boundary values,
turning Hρ1r (Rn ) into a space of ‘real parts’ of boundary values ([7], [8]). A
divergence-free distribution f then belongs to Hρ1r (Rn ) if and only if (I +
R)f belongs to L1 (Rn , Λr+1 (Rn+1 )). This definition emphasizes the relation
between over-determinedness of the (d, d∗ )-system and the ‘divergence-free’
or so-called ‘gauge’ condition on these ‘real parts’; implicit also is the role
of sub-harmonicity in arriving at the L1 -space of boundary values.
CHARACTERIZATION OF HARDY SPACES 81
One might also hope that (1.6) provides further insight into the role of
over-determinedness in (1.5) without regard to subharmonicity. On one
hand, we can consider Hρ1r as a prototype of Hardy spaces of distributions
satisfying some added geometric constraint – the divergence-free condition
in this case – and our approach to problem (1.6) reflects this point of view.
On the other hand, the precise geometric structure of the present case allows
for a particularly simple solution as in the proof of Theorem A.
To arrive at a solution to (1.6) we interpret the divergence free condition
on the Fourier transform side. The crucial idea is to use (1.3) to provide
an orthogonal decomposition Λr (Cn ) = Nr (ω) ⊕ Tr (ω) of Λr (Cn ) at each
point ω of the unit sphere Σn−1 in Rn , splitting Λr (Cn ) into its respective
‘normal’ and ‘tangential’ components
P
(1.9)(b) each g in B has an expansion g ∼ Q cQ ψQ , converging in the sense
of distributions, so that
1/2
1 X
g −→ sup |cQ0 |2
Q |Q|
Q0 ⊆Q
The detailed proof in the scalar case given by [1] carries over to the vector-
valued case by using techniques that Uchiyama showed us after he read an
earlier draft of this paper [20]. Both the support and C 1 conditions on the
ψQ in (1.9), as well as the hypothesis that K is real, can be weakened at the
expense of more technical book keeping. The term f arises in the induc-
tive construction because at each stage a nonlinear splitting in L∞ (Rn , CM )
is performed on terms of the form Lν (ψQ ) that takes these terms outside
Lν (B). When B = BMO(Rn , H), then f is necessarily zero.
In the present setting, let B = BMOρr denote the dual space of Hρ1r
(cf. (4.4)). The Hodge decomposition ensures that Hρ1r is a complemented
subspace of H 1 (Rn , Λr ), and so in turn B = BMOρr is a complemented
subspace of BMO(Rn , Λr ). In particular, B can be identified with the dual
of a subspace of H 1 (Rn , Λr ).
84 J.E. GILBERT, J.A. HOGAN, AND J.D. LAKEY
κ(ω) = ,
sin θ ω0 cos θ
regarding ω0 as a row matrix and its transpose ω0t as a column matrix. Under
matrix multiplication on the right, 1.κ(ω) = ω; in addition, κ(ω) maps the
tangent space T1 (1) ∼
= Rn−1 at the North Pole to the tangent space T1 (ω) at
ω. The image of the {e1 , . . . , en−1 } for T1 (1) will thus be a basis for T1 (ω),
and we can use this together with the previous partition of unity to define
a new symbol
φ1 (ω)κ(ω)e1 . . . φ2n−2 (ω)κ(ω)e1 φ2n−1 (ω)κ(−ω)e1
. ... . .
m(ω) = ,
. ... . .
φ1 (ω)κ(ω)en−1 . . . φ2n−2 (ω)κ(ω)en−1 φ2n−1 (ω)κ(−ω)en−1
where it is assumed that φ2n−1 = 1 in a neighborhood of the South Pole to
ensure that κ(−ω) is well-defined. For the same reasons as before, m(ω) ⊕
m(−ω) is 1-1 from T1 (ω) ⊕ T1 (−ω) into C(n−1)×(2n−1) , and so again the
corresponding K characterizes Hρ11 (Rn ). Notice that m(ω) ⊕ m(−ω) will not
CHARACTERIZATION OF HARDY SPACES 87
2.50 . Normal Space Example. Let Hρ̃11 denote the complement of Hρ11 ,
that is, the image of RR∗ , inside of H 1 (Rn , Rn ). Just as above, we can
construct a symbol
n(ω) = φ1 (ω)κ(ω)en . . . φ2n−2 (ω)κ(ω)en φ2n−1 (ω)κ(−ω)en .
Then n(ω) ⊕ n(−ω) will be 1-1 on N1 (ω) ⊕ N1 (−ω) into C1×(2n−1) , and so
the same principles imply that the corresponding system N will characterize
Hρ̃11 (Rn ). This example can readily be generalized to a system Nr charac-
terizing Hρ̃1r . Crucial to the proof of Theorem A will be the fact that for
any f ∈ Hρ1r , one has Nr f = 0.
4. Wavelet analogues.
Wavelets give a precise analogue of the R. Fefferman-Chang elementary par-
ticle decomposition that played a fundamental role in the constructive de-
composition of BMO as described by Uchiyama and Christ-Geller. Better
yet, divergence-free wavelets are now available thanks to independent work
of Lemarié and Battle in the r = 1 case. Our construction of divergence-
free r-form wavelets in Section 7 is suggested, in turn, by a splitting of the
index set Pr in (3.2) analogous with the splitting (1.7) of Λr (Cn ). Here we
will describe the wavelets, their role in norming Hρ1r and its dual, and their
convenience in describing some Calderón-Zygmund operators.
Denote by E ∗ the family of (2n − 1) binary n-tuples = (1 , . . . , n )
in {0, 1}n \ (0, . . . , 0). E ∗ is sufficient to parametrize the mother wavelets
needed in the real-valued case, i.e., when r = 0 ([3], p. 317; [13], p. 84).
Indeed, there exist real-valued scaling functions φ = φ(x) with associated
compactly supported mother wavelets {ψ : ∈ E ∗ } such that the family of
usual translates and dilates
(4.1) ψ,Q (x) = 2nj/2 ψ (2j x − k) (Q = Qjk , ∈ E ∗ )
of all these wavelets provide an orthonormal basis for L2 (Rn ). The index
Q = Qjk ∈ Qj ⊂ Q denotes the dyadic cube of sidelength l(Q) = 2−j with
vertex at k/2j . Any such basis extends componentwise to the vector-valued
case.
Let {eα }α∈Pr denote the standard basis for Λr . Then {ψ ⊗eα : ∈ E ∗ , α ∈
Pr } is a family of (card E ∗ )(card Pr ) mother wavelets whose translates and
dilates provide an orthonormal basis of compactly supported functions for
L2 (Rn , Λr ). Because R∗ R is a singular operator, the divergence free im-
ages R∗ R(ψ ⊗ eα ) need not be compactly supported elements of Hρ2r (Rn ),
however. In fact, for the r = 1 case Lemarié has shown that there does
not exist an orthonormal basis of compactly supported wavelets for Hρ21 (Rn ),
though it is possible to build bi-orthogonal wavelets where the reconstruct-
ing wavelets are divergence-free, but no such constraint is imposed on the
analyzing wavelets ([11]). Thus the price one pays for local properties in
90 J.E. GILBERT, J.A. HOGAN, AND J.D. LAKEY
hold, while
(ii) for 1 ≤ p < ∞, the mapping
XXD ,α
E
,α
f −→ R∗ Rf (x) = f, ηQ ψQ (x)
,Q α∈Tr
These wavelets furnish convenient equivalent norms on Hρ1r (Rn ) and its
dual space BMOρr (Rn ). The latter is the quotient space of BMO(Rn , Λr )
having norm defined by induction on r:
( Z 1 )
1 2
2
(4.4) kgkBMO = sup inf |g(x) − Rh(x)| dx ,
Q h∈BMOρr−1 |Q| Q
the supremum being taken over all cubes in Rn having sides parallel to the
coordinate axes (cf., [8]). In the case of 0-forms it reduces to the usual
BM O-space of real-valued functions for which
( Z 1/2 )
1
(4.5) sup inf |h(x) − c|2 dx
Q c∈R |Q| Q
is finite.
CHARACTERIZATION OF HARDY SPACES 91
This result follows from tent space arguments based on the fact that
Theorem C provides a discrete resolution of the operator R∗ R. In fact,
similar arguments establish boundedness results for a large family of discrete
sum operators
D E
,α
Ψ,α
XX
(4.7) D : f −→ |Q|−1/2 f, ηQ Q (x)
,Q α∈Tr
5. Proof of Theorem A.
In what follows we shall assume that K is real. Proof of necessity of the
maximal rank condition in Theorem A exploits some of the same ideas as
Janson’s proof in the scalar-valued case by reducing the setting to any one-
dimensional subspace of Rn which after rotation we can always assume is
R1. The restriction of K to this line defines a singular integral
Z
(5.1) K1 : h −→ e2πist m(s1)ĥ(s) ds = m(1)(h − ih̃) + m(−1)(h + ih̃),
R
holds after restriction of (5.2) to R1, the infimum being taken over g ∈
Hρ1r (Rn ) with P1 g = P1 f . To proceed further we need a slightly stronger
way of describing the norm of the Kj g ([15], p. 115). Observe first that
convolution
Z
(τ ∗ f )(x) = τ (v)f (x − v) dv (f ∈ L1 (Rn , RM ))
Rn−1
CHARACTERIZATION OF HARDY SPACES 93
can occur for all f ∈ H 1 (R) only if a = b = 0. Thus m(1) ⊕ m(−1) must
have maximal rank on Tr (1) ⊕ Tr (−1). After rotation the proof is complete.
This proves that if K characterizes Hρ1r then the rank condition holds.
Proof of sufficiency. We begin with a Λr (Cn )-valued version of Uchiyama’s
characterization of H 1 .
Lemma 5.6 ([20]). Let K̃ be a standard singular integral operator hav-
ing symbol m̃(ω) mapping Λr (Cn )-valued functions to CM -valued functions.
Then K̃ characterizes H 1 (Rn , Λr (Cn )) if and only if for each ω ∈ Σn−1 ,
n
rank(m̃(ω) ⊕ m̃(−ω)) = 2 .
r
Now suppose that the symbol of K satisfies rank(m(ω)⊕m(−ω)) = 2 n−1
r
as a mapping (a, b) → m(ω)a + m(−ω)b from Tr (ω) ⊕ Tr (−ω) into CM . Let
Nr be the system of singular integrals in Example (2.5 0
) with
symbol n,
m(ω)
and consider the augmented system K̃ having symbol . Clearly m̃
n(ω)
satisfies rank(m̃(ω) ⊕ m̃(−ω)) = 2 nr as a mapping on CM ⊕ CM . By (5.6),
K̃ then characterizes H 1 (Rn , Λr (CM )). Since any f ∈ Hρ1r lies in the kernel
of Nr it follows that kf kHρ1r ∼ kK̃f kL1 = kKf kL1 . Therefore K characterizes
Hρ1r . This completes the proof of Theorem A.
6. Pseudo-inverses.
Pseudoinverses play a fundamental role in Uchiyama’s constructive decom-
position. In our setting these are systems of real singular integrals Lν =
(Lν1 , . . . , LνM ),
Z D E
(6.1) Lνj f (x) = e2πix.ξ fˆ(ξ), θνj (ξ) dξ
Rn
Proof. Obviously,
ker (µν (ω)) ⊇ {(0, b) : b ∈ Nr (ω) }.
The reverse inclusion will follow from the restrictions on the symbol of K.
Suppose (λ, a) lies in the kernel of µν (ω) and let a = a0 + a1 be the decom-
position of an element of Λr (Cn ) into its respective normal and tangential
components a0 , a1 at ω. Then
µν (ω)(λ, a) = λν + m(ω)a1 = 0,
and so
m(ω)a1 = 0 (λ = 0), m(ω)(a1 /λ) = −ν (λ 6= 0).
CHARACTERIZATION OF HARDY SPACES 97
But the maximal rank condition ensures that m(ω) is 1-1 on Tr (ω); conse-
quently, a1 = 0 if λ = 0. If λ 6= 0 on the other hand, set b = a1 /λ. Then
b ∈ Tr (−ω) and, because K is real,
m(ω)(b) = m(−ω)(b) ∈ ΣM −1 ;
in this case, m(ω)b + m(−ω)(−b) = 0, contradicting the maximal rank
condition. Hence ker (µν (ω)) ⊆ {(0, b) : b ∈ Nr (ω) }. The remainder of
the
n−1
theorem now follows immediately from (6.3) since dimC (Tr (ω)) = r .
In view of (6.8), therefore, there exist
γ = (γ1 , . . . , γM ), θ(ν, ω) = (θν1 (ω), . . . , θνM (ω))
with γ ∈ CM and θ = θ(ν, ω) a C ∞ -function ΣM −1 × Σn−1 → CM ⊗ Λr (Cn )
such that
X
(6.9) µ+
ν (ω) : β = (β1 , . . . , βM ) −→
hβ, γi , βj θνj (ω) .
j
Thus on C ⊕ Tr (ω),
µ+
ν (ω)µν (ω) : (λ, a) −→ λ hν, γi + hm(ω)a, γi ,
X X
λ νj θνj (ω) + ha, mj (ω) i θνj (ω) = (λ, a).
j j
for all a ∈ Tr (ω). These properties of (θν1 (ω), . . . , θνM (ω)) ensure that the
singular integrals defined by (6.1) have the properties required of the system
Lν = (Lν1 , . . . , LνM ) in Theorem D, completing the proof of that theorem.
Note that the sum in (7.2)(i) is taken over the set Q of all dyadic cubes,
while the sums in (7.2)(ii) are taken over the set Qm of dyadic cubes having
side-length l(Q) = 2−m . The divergence-free wavelets ψ,α will arise as
suitable linear combinations of the γ,α - this will be the second step in the
construction.
Let φ = φ(s), s ∈ R, be a compactly supported real-valued scaling func-
tion on R and ψ = ψ(s) the associated wavelet. The usual translates and
dilates of ψ produce an orthonormal basis for L2 (R), while tensor prod-
ucts of {φ, ψ} generate wavelets on Rn ([13], p. 79): For each n-tuple
= (1 , . . . , n ) in E ∗ and x = (x1 , . . . , xn ) in Rn set
n
Y
(7.3) ψ (x) = (j φ(xj ) + (1 − j )ψ(xj )) .
j=1
define new scaling functions {φ+ , φ− } which will have compact support
provided φ is sufficiently smooth, while translates and dilates of the corre-
sponding pair of compactly supported wavelets {(ψ+ , ψ− ) },
2i πiσ
(7.7) ψ̂+ (σ) = ψ̂(σ), ψ̂− (σ) = ψ̂(σ)
πσ 2
provide a bi-orthogonal basis for L2 (R). On the other hand, since
πσ πσ
(Df )ˆ(σ) = e−πiξ (∆+ f )ˆ(σ) = eπiξ (∆− f )ˆ(σ),
sin πσ sin πσ
property (7.6) ensures that
(7.8) Dφ+ = ∆− φ, Dφ = ∆+ φ− , Dψ+ = −4ψ, Dψ = 4ψ− .
Finally, translates and dilates of the family {(ψ,+ , ψ,− ) : ∈ E ∗ } of tensor
products
n
Y
(7.9) ψ,+ (x) = (j ψ+ (xj ) + (1 − j )φ+ (xj )) ,
j=1
Yn
ψ,− (x) = (j ψ− (xj ) + (1 − j )φ− (xj ))
j=1
and
Y Y
η,α (x) = (j ψ− (xj ) + (1 − j )φ− (xj )) (j ψ(xj ) + (1 − j )φ(xj )) .
j∈α j ∈α
/
Notice that γ,α = η,α = ψ when α is the empty set, i.e., r = 0, whereas
γ,α = ψ,+ and η,α = ψ,− when α is the n-tuple (1, 2, . . . , n), i.e., when
r = n. Since each of the latter two families generates a bi-orthogonal basis
for L2 (Rn ) as varies over E ∗ , so the family {(γ,α , η,α ) : ∈ E ∗ } generates
a bi-orthogonal basis for L2 (Rn ) for each fixed α ∈ Pr . To convert these real-
valued functions into r-forms set
(7.10) γ ,α (x) = γ,α (x)eα , η ,α (x) = η,α (x)eα
100 J.E. GILBERT, J.A. HOGAN, AND J.D. LAKEY
(7.12) f −→ f, ηQ ψQ (x)
,Q α∈Tr
and scaling filter with sufficiently many zeroes ([13], p. 93). On the other
hand, by (7.11) and the choice a = α ∪ i ,
1 X ∂γ ,a
ψ ,α = γ ,α (x) − hµ∗i (ea ), eα i µ∗k
4 ∂xk
k∈α
X
= γ ,α + hµ∗i (ea ), eα i hµ∗k (ea ), ea\k iγ ,a\k
k∈α
This establishes part (i) of Theorem C, leaving only the proof of the projec-
tion property (ii). Now certainly (7.12) maps L2 (Rn , Λr ) into Hρ2r (Rn ) as
,α
each ψQ (x) is massless. To complete the proof, therefore, we have to show
that each f in Hρ2r (Rn ) can be represented as
,α ,α
X X
d∗ f, ηQ γQ
=
δ∈Tr−1 Q∈Qm
= µ∗i Di f, ηQ γQ .
δ∈Tr−1 Q∈Qm
f, ηQ ψQ
Q∈Qm
1 X
,α ∗ ,a
= − hµ∗i (ea ), eα i f, ηQ d γQ
4
Q∈Qm
X
,α ,α 1 X X
,α\k ,a\k
= f, ηQ γQ ± hµ∗i (ea ), eα i µ∗k Dk f , ηQ γQ
4
Q∈Qm k∈α Q∈Qm
maps f ∈ Hρ1r (Rn ) into H 1 (R, Λr (Rn−1 )). Now each f ∈ Hρ1r (Rn ) has a
wavelet expansion
2mn a,α
X X
,α m
f (x) = k,m ψ (2 x − k) (k ∈ Zn , m ∈ Z)
∈E ∗ ,α∈Tr k,m
where Z
a,α f (y), η ,α (2m y − k) dy
k,m =
Rn
and
1/2
Z
kf kH 1 ∼ 2mn a,α 2
ψ ,α (2m x − k)
2
X
= k,m Λr
dx.
Rn k,m
CHARACTERIZATION OF HARDY SPACES 103
with coefficients
a,α
X
bαl,m = K,l,m
K∈Zn−1
and the same restriction on . A simple application of Hölder’s inequality
now shows that
1/2
Z X
2 b ψ(2m t − l)2
m α
l,m dt ≤ const. kf kH 1
R l,m
References
[1] M. Christ and D. Geller, Singular integral characterizations of Hardy spaces on ho-
mogeneous groups, Duke Math. J., 51 (1984), 547-598.
[2] A. Cohen, Biorthogonal wavelets, in ‘Wavelets: A Tutorial in Theory and Applica-
tions,’ C.K. Chui ed., pp. 123-152, Academic Press, San Diego, 1992.
[3] I. Daubechies, Ten Lectures on Wavelets, CBMS-NSF Regional Conference Series,
SIAM, Philadelphia, 1992.
[4] C. Fefferman, Harmonic analysis and H p -spaces, in ‘Studies in Harmonic Analysis,’
J. M. Ash, ed., pp. 38-75, MAA, 1976.
[5] C. Fefferman and E. Stein, H p spaces of several variables, Acta Math., 129 (1972),
137-193.
[6] A. Gandulfo, J. Garcia-Cuerva and M. Taibleson, Conjugate system characterization
of H 1 : counter-examples for the Euclidean plane and local fields, Bull. Amer. Math.
Soc., 82 (1976), 83-85.
[7] J.E. Gilbert, J.A. Hogan and J.D. Lakey, Frame decompositions of form-valued Hardy
spaces, in ‘Clifford Algebras in Analysis and Related Topics,’ CRC Press, Boca Raton,
(1995), 239-259.
[8] , Atomic decomposition of divergence-free Hardy spaces, Math. Moravica, Spe-
cial volume, Proc. IWAA (1997), 33–52.
[9] J.E. Gilbert and M.A.M. Murray, Clifford algebras and Dirac operators in harmonic
analysis, Cambridge University Press, Cambridge, 1991.
[10] S. Janson, Characterization of H 1 by singular integral transforms on martingales and
Rn , Math. Scand., 41 (1977), 140-152.
[11] P.G. Lemarié-Rieusset, Ondelettes vecteurs á divergence nulle, C.R. Acad. Sci. Paris,
313 (1991), 213-216.
[12] A. McIntosh, Clifford algebras, Fourier theory, Singular integrals, and Harmonic func-
tions in Lipschitz domains, in ‘Clifford Algebras in Analysis and Related Topics,’ CRC
Press, Boca Raton, (1995), 33-87.
[13] Y. Meyer, Ondelettes et operateurs, I, II, III, Hermann ed., Paris, 1990.
[14] R. Penrose, A generalized inverse for matrices, Proc. Camb. Phil. Soc., 51 (1955),
406-413.
[15] H. Reiter, Classical Harmonic Analysis and Locally Compact Groups, Oxford Univ.
Press, Oxford, 1968.
[16] E.M. Stein, Harmonic Analysis, Real variable methods, orthogonality, and oscillatory
integrals, Princeton University Press, Princeton, N.J., 1993.
[17] E.M. Stein and G. Weiss, Introduction to Fourier analysis on Euclidean Spaces,
Princeton University Press, Princeton, N.J., 1970.
[18] , Generalization of the Cauchy-Riemann equations and representations of the
rotation group, Amer. J. Math., 90 (1968), 163-196.
[19] A. Uchiyama, A constructive proof of the Fefferman-Stein decomposition of BMO
(Rn ), Acta Math., 148 (1982), 215-241.
CHARACTERIZATION OF HARDY SPACES 105
Received December 15, 1996 and revised February 23, 1999. The first and the third
authors were supported in part by NSF grant DMS 93-07655. The second author was
supported by Australian Research Council.
Macquarie University
NSW 2109
Australia
E-mail address: jeffh@mpce.mq.edu.au
Introduction.
In this paper we complete the proof that the material parameters can be
obtained for a chiral electromagnetic body from the boundary admittance
map. We achieve this by improving the boundary determination result of
[7]. This enables the removal of the assumption in the interior determination
result of [8] in which it is assumed that the material parameters are known
to infinite order at the boundary.
The behavior of electromagnetic fields in a body is described by Maxwell’s
equations. The electric displacement and the magnetic induction of the
body are related to the fields by the constituent equations which are defined
in terms of a number of material parameters. The parameters typically
considered are the conductivity, the electric permittivity and the magnetic
permeability. A fourth, often neglected, characteristic of an electromagnetic
body is its chirality. Chirality is an asymmetry in the molecular structure:
A molecule is chiral if it cannot be superimposed onto its mirror image, and
the presence of chirality results in a rotation of electromagnetic fields (see
[5]).
In [11], Somersalo et. al. presented the boundary admittance map for
time-harmonic fields at a fixed frequency for non-chiral bodies, and posed
the inverse problem of whether or not the material parameters of a body
could be determined from knowledge of this boundary map. In [9] it was
shown that this is in fact the case assuming knowledge of the parameters
near the boundary. In [8], the second author showed that the admittance
map is well defined also in the case of a chiral body, and that knowledge
of this map determines the material parameters of the body, including the
107
108 MARK S. JOSHI AND STEPHEN R. MCDOWALL
chirality, throughout the body, assuming that the parameters are known to
agree to infinite order at the boundary.
It is therefore pertinent to ask whether or not the admittance map in each
case determines the material parameters at the boundary of the body. In
[7] the second author showed that the admittance map does determine the
parameters and their first normal derivatives and it was conjectured that
the same should be true for all higher order derivatives. It was infeasible,
however, to carry out the computations arrived at in the proof in [7] to prove
determination of the higher order derivatives. In the present paper we prove
that the admittance map does indeed determine the parameters to infinite
order at the boundary in both the chiral and non-chiral cases, thus removing
the aforementioned assumptions in the interior determination results. We
work exclusively with time-harmonic fields at fixed frequency. In order to
pose the problem precisely we shall need the following function spaces: If
Ω is a smoothly bounded open set in R3 , H s (Ω)k consists of k-dimensional
vector fields whose components are in the usual L2 -based Sobolev space H s .
Let Div denote the surface divergence on the boundary of Ω, and ν(x) be
the outward unit normal vector at x ∈ ∂Ω, and define the following space
of tangential fields:
1 n 1 1
o
2
T HDiv (∂Ω) = F ∈ H 2 (∂Ω)3 | ν · F = 0, and DivF ∈ H 2 (∂Ω) .
1
If F ∈ T HDiv
2
(∂Ω), let (E, H) ∈ D0 (Ω)3 × D0 (Ω)3 be the unique solution to
Maxwell’s equations with boundary condition ν ∧ E|∂Ω = F . For Maxwell’s
equations, see Section 1.1 in the non-chiral case, and Section 2.1 in the chiral
case. Solvability of the boundary value problem is given in [11] and [8] for
non-chiral and chiral bodies respectively. The boundary admittance map
1 1
2
Λ : T HDiv (∂Ω) → T HDiv
2
(∂Ω) is then defined by
(0.1) ΛF = ν ∧ H|∂Ω .
We use Λ to denote the non-chiral admittance map, and Π to denote the
chiral admittance map.
For a non-chiral body, ε is a complex parameter with real part the electric
permittivity and imaginary part 1/ω times the conductivity of the body,
and µ is the real-valued magnetic permeability of the body. We assume that
|ε| ≥ ε0 > 0 and µ ≥ µ0 > 0. Suppose that we have two electromagnetic
bodies (Ω; ε, µ) and (Ω; ε0 , µ0 ) with the same boundary ∂Ω. Let Λ and Λ0
be the associated admittance maps. By the statement Λ = Λ0 we mean
1
the following: For every F ∈ T HDiv
2
(∂Ω), if (E, H) and (E 0 , H 0 ) are the
solutions to the boundary value problem above for the bodies (Ω; ε, µ) and
(Ω; ε0 µ0 ) respectively, then
ΛF = ν ∧ H|∂Ω = ν ∧ H 0 |∂Ω = Λ0 F.
TOTAL DETERMINATION OF MATERIAL PARAMETERS 109
have the property that the total symbol is of lower order when restricted to
the boundary. We are then able to define an invariant vector of principal
dl
symbols for this family by taking the principal symbols of l!1 dt Pt |t=0 . We
study and utilize the properties of this vector under composition with normal
differentiation at the boundary and with pseudo-differential operators.
In [8] it was shown that for a chiral body the admittance map uniquely
determines the material parameters throughout the body under the assump-
tion that they are known to infinite order at the boundary. We thus have
the following corollary:
Corollary C. With (Ω; ε, µ, β) and (Ω; ε0 , µ0 , β 0 ) as in Theorem B, if Π =
Π0 then
ε = ε0 , µ = µ0 , and β = β0
throughout Ω.
We thus conclude that, in principle, the material parameters of a chiral
electromagnetic body are recoverable from information obtained only at the
boundary of the body, namely knowledge of the boundary admittance map.
and thus
1
µ∗d ∧ ∗dE + ∗d ∗ dE = ω 2 µεE.
µ
Or
− ∗ d(log µ) ∧ ∗dE + ∗d ∗ dE = ω 2 µεE.
Now on one-forms on a three-manifold, ∆ = − ∗ d ∗ d + d ∗ d∗ so
−∆E + d ∗ d ∗ E − ∗(d log µ ∧ ∗dE) − ω 2 µεE = 0.
We also know
δ(E) = −E · d log ε.
(Here we are taking the inner product on one-forms induced by the metric
- this is an invariant statement and holds in the flat coordinates.) So
−∆E − d(E · d log ε) − ∗(d log µ ∧ ∗dE) − ω 2 µεE = 0.
This is of the form
h 0
i
ME = Dx23 I − ∆x3 I − M (x, Dx0 ) − iP (x)Dx3 − R(x) E = 0,
where as in [7] M consists of all terms involving first order differentiation in
x1 and x2 , P is the coefficient matrix of ∂/∂x3 , R consists of all zero order
0
terms and ∆x3 is the Laplacian in x1 , x2 for the value of x3 .
1.2. Factorization.
Proposition 1.1. There exists B(x, Dx0 ) ∈ ΨDO1 with principal symbol
−|ξ 0 |x depending smoothly on x3 such that
M = (Dx3 I − iP (x) − iB)(Dx3 I + iB)
up to smoothing and B is unique up to smoothing.
Proof. As in [7]
∆0 + i[Dx3 , B] + M + P B + B 2 + R = 0.
The principal symbol of B is therefore ±|ξ 0 |x ; we take −|ξ 0 |x . Now suppose
we have chosen Bj ∈ ΨDO1−j such that
GN = B0 + B1 + · · · + BN
satisfies
∆0 + i[Dx3 , GN ] + M + P GN + G2N + R = EN ∈ ΨDO1−N .
Then we must have
2 −N
i[Dx3 , BN +1 ] + P BN +1 + BN +1 + GN BN +1 + BN +1 GN − EN ∈ ΨDO .
The principal symbol of this is just
−2|ξ 0 |x σ−N (BN +1 ) − σ1−N (EN ).
112 MARK S. JOSHI AND STEPHEN R. MCDOWALL
1.4. The symbol of the difference. Now suppose we have two different
sets of parameters, (ε, µ) and (ε0 , µ0 ), with associated admittance maps Λ and
Λ0 ; let B and B 0 be the associated factorization operators from Proposition
1.1. We shall consistently use 0 to denote operators associated to ε0 , µ0 .
Suppose that Λ = Λ0 ; from [7] we know that on ∂Ω ε = ε0 , µ = µ0 and the
same is true of the first normal derivatives. We shall prove inductively that
if ε and ε0 are known to agree to order l ≥ 2 at the boundary, and similarly
for µ and µ0 , then the fact that Λ = Λ0 implies that the parameters agree to
order l + 1. To this end we write
(1.2) ε/ε0 = 1 + xl3 eε , µ/µ0 = 1 + xl3 eµ ,
with eε , eµ smooth up to the boundary. We will calculate eε and eµ at the
boundary from the principal symbol of the difference Λ0 − Λ which we write
TOTAL DETERMINATION OF MATERIAL PARAMETERS 113
in terms of the difference B 0 −B. We fix a point p on the boundary and work
in coordinates which are geodesic normal coordinates at p in the boundary
and extended normally off the boundary.
Proposition 1.5. Suppose (ε, µ) and (ε0 , µ0 ) are equal to order l ≥ 2 at the
boundary. Writing B 0 = B + F we have F ∈ ΨDO0,l−1 , and if (fj )j=0,−(l−1)
is the principal symbol of F at the boundary, then in our chosen local bound-
ary normal coordinates
0
0 0 iξ1 |ξ |x 0 iξ1
l!
(1.3) f−(l−1) = l 0 l eε 0 0 iξ2 + eµ 0 |ξ 0 |x iξ2 + r0 ,
2 |ξ |x 0 0 |ξ | 0 0 0 0
x
We also have,
ε
d(E · d log ε0 ) − d(E · d log ε) = −d E · d log 0
ε
= −d(E · d log(1 + xl3 eε )),
and
lxl−1
3 eε dx3 xl3 deε
d[log(1 + xl3 eε )] = + .
1 + xl3 eε 1 + xl3 eε
114 MARK S. JOSHI AND STEPHEN R. MCDOWALL
Thus
lxl−1
3 eε E3 xl3 E · deε
E · d log(1 + xl3 eε ) = + ,
1 + xl3 eε 1 + xl3 eε
and so
l(l − 1)xl−2
3 eε E3 lxl−1
3 E3
d[E · d log(1 + xl3 eε )] = l
dx3 + deε
1 + x3 eε 1 + xl3 eε
lxl−1
3 eε lxl−1 l−1 2
3 (E · deε − x3 eε E3 )
+ dE 3 + dx3
1 + xl3 eε (1 + xl3 eε )2
−1
x2l
3 (lx3 eε E3 + E · deε ) xl3
− l
de ε + d(E · deε )
(1 + x3 eε )2 1 + xl3 eε
= T1 + T2 + T3 + T4 + T5 + T6 , say.
We compute the contribution of d(E · d log(1 + xl3 eε )) to the right hand side
of (1.4) modulo ΨDO1,l ; this means we can ignore operators not involving
Dx3 if they are in ΨDO1,l , and so we can drop the terms T2 , T4 , T5 . The
coefficients of operators in Dx3 are what make up P 0 − P which, in the right
hand side of (1.4), is multiplied by B. The resulting operator (P 0 − P )B is
in ΨDO1,l if the coefficients vanish to order l. Thus we may drop T6 .
We are left with
1
l−2 l−1
d(E · d log(1 + xl3 eε )) = l(l − 1)x3 eε E 3 dx3 + lx3 eε dE3 + T
1 + xl3 eε
This leaves the term ∗(d log(µ) ∧ ∗dE). When we take the difference we get
− ∗ (d log(1 + xl3 eµ ) ∧ ∗dE). The only term from this which does not result
in something in the right hand side of (1.1) absorbable into ΨDO1,l is
−lxl−1
3 eµ
∗ (dx3 ∧ ∗dE).
1 + xl3 eµ
Now the Hodge star operator in these coordinates is equal to the flat star
operator, ∗f , in these coordinates plus an error. We now assume that we
have chosen coordinates normal about some point in the boundary and then
TOTAL DETERMINATION OF MATERIAL PARAMETERS 115
with D, Dij smooth homomorphisms of the form bundles. The x3 D will give
us an element of ΨDO1,l which is therefore ignorable. We first compute in
flat coordinates the value of ∗f (dx3 ∧ ∗f dE); this is equal to
∂E1 ∂E3 ∂E2 ∂E3
− dx1 + dx1 − dx2 + dx2 .
∂x3 ∂x1 ∂x3 ∂x2
As before the differentiation in x3 becomes part of P 0 − P and we therefore
have to drop the ξ3 in the symbol and replace it by the principal symbol of
B which is −|ξ 0 |x , so we conclude that the contribution to the forcing on the
right hand side is
0 0 iξ1 1 0 0
−lx3l−1 eµ
0 0 iξ2 + |ξ 0 |x 0 1 0 + σ(G1 ) + σ(G2 ).
1 + xl3 eµ 0 0 0 0 0 0
Here G1 ∈ ΨDO1,l and G2 = xi xj Gij with Gij ∈ ΨDO1,l−1 .
P
j,j<3
So we have that i[Dx3 , F ]+P 0 F +F 2 +F B +BF = G with G ∈ ΨDO1,l−1
from (1.4). We first show that this means F ∈ ΨDO0,l−1 and then compute
the symbol of F at our chosen point.
We know F is a pseudo-differential operator of order zero as B, B 0 have
the same principal symbol. The principal symbol of the left hand side is
−2|ξ 0 |x σ0 (F ) and so we pick F0 to have principal symbol −1/(2|ξ 0 |x )σ1 (G)
which vanishes to order l − 1 at x3 = 0, so we can certainly take F0 ∈
ΨDO0,l−1 . Putting F1 = F − F0 we then obtain a similar equation but
with right hand side in ΨDO0,l−2 and thus solve to get F1 ∈ ΨDO−1,l−2 .
Repeating we get F0 + F1 + · · · + Fl−1 ∈ ΨDO0,l−1 solving up to an error
in ΨDO−l . This can then be removed in the same way B was originally
constructed so we conclude that F = B − B 0 can be constructed to be in
ΨDO0,l−1 and therefore by uniqueness is actually in ΨDO0,l−1 .
Now recall that the principal symbol of F at x3 = 0 is a well-defined
object and is a vector of matrices. Let (fj )j=0,−(l−1) be this vector. Then
F B + BF has symbol (−2|ξ 0 |x fj ) and i[Dx3 , F ] ∈ ΨDO0,l−2 has symbol
−(l−2)
((l − 1 + j)fj )j=0 . So from (1.4), we obtain that
− 2|ξ 0 |x f0 =
0 0 iξ1 1 0 0 0 0 iξ1
− leµ 0 0 iξ2 + |ξ 0 |x 0 1 0 − leε 0 0 iξ2 + r
0 0 0 0 0 0 0 0 −|ξ 0 |x
116 MARK S. JOSHI AND STEPHEN R. MCDOWALL
1.5. Recovering the coefficients. In [7] it was shown that the param-
eters and their first derivatives are determined on the boundary from the
admittance map. As in the previous section we assume that (ε, µ) and
(ε0 , µ0 ) are known to agree to order l ≥ 2 on the boundary. In this section
we show that the difference of the admittance maps, Λ0 − Λ, determines eε
and eµ (see (1.2)). We fix a point p in the boundary of the domain, take
normal coordinates in the boundary about it and then extend these off the
boundary normally.
Before proceeding to the proof, we present a useful lemma.
Lemma 1.6. Suppose that P1 and P2 are pseudo-differential operators of
the form
Pj = Aj + f (x0 )Rj
where Aj , Rj are mth -order pseudo-differential operators, j = 1, 2, and
f (p) = 0. Then we can recover the principal symbol of A1 − A2 at p (even
if it is of lower order than P1 − P2 ).
This follows from the fact that in any coordinate system the total left
symbol of f (x0 )(R1 − R2 ) will vanish at p. The usefulness lies in our ability
to discard terms in otherwise complicated computations.
From the definition of Λ (0.1), Maxwell’s equations (1.1), and the expan-
sion for the Hodge star operator (1.5), the admittance map at the point p
is
E2 1 ∂3 E1 − ∂1 E3
7→
−E1 x =0 iωµ ∂3 E2 − ∂2 E3 x =0
3 3
We wish to express the right hand side in terms of E1 and E2 and operators
solely on the boundary. We know that δ(εE) = 0 and hence that d∗(εE) = 0.
As above,
X
∗ = Id +x3 D + xi xj Dij ∗f
i,j
with D, Dij variable matrices (all sums are taken over i, j ≤ 2). So we have
that
X
dε ∧ Id +x3 D + xi xj Dij ∗f E
ij
X
+ εd Id +x3 D + xi xj Dij ∗f E = 0.
ij
X
+∂2 xi xj Dij
i,j
X
= F12 − (B13 − ∂1 )K 0 Id + xi xj Dij F32 − (B13 − ∂1 )(K 0 − K)
i,j
X X
· Id + xi xj Dij (∂2 + B32 ) + ∂2 xi xj Dij
i,j i,j
X
− F13 K 0 Id + xi xj Dij (∂2 log ε0 + ∂2 + B32 + F32 )
i,j
X
+∂2 xi xj Dij
i,j
X
− (B13 − ∂1 ) (K 0 − K) Id + xi xj Dij ∂2 log ε0
i,j
0
X ε
+K Id + xi xj Dij ∂2 log .
ε
i,j
of the magnetic field at the boundary to that of the electric field at the
boundary. Interchanging the roles of ε and µ in our analysis, we find that
computing the principal symbol of (Λ0 )−1 − Λ−1 yields
eε −ξ1 ξ2 −ξ22
l!
0=
2l |ξ 0 |l+1
x iωε ξ12 ξ1 ξ2
and we may conclude that eε and eµ are determined at the boundary from
the assumed knowledge of the boundary maps.
We remark the unexpected fact that the inverse of the first order non-
elliptic pseudo-differential operator exists, and that it is also a first order
pseudo-differential operator; of course, the symbol of the inverse is not the in-
1
2
verse of the symbol. This is a result of working on the restricted T HDiv (∂Ω)
spaces rather than on Sobolev spaces - see [10] for further discussion.
2. Chiral Media.
Suppose now that Ω is a body with chirality described by a smooth function
β. We shall apply the techniques of the previous section to show that if two
bodies have the same admittance map, then the chirality together with the
other three material parameters of the bodies must coincide to infinite order
at the boundary.
2.1. The equations for chiral media. Working again with one-forms,
and taking the formulation of [8] which is a change of variables in the Born-
Fedorov formulation, Maxwell’s equations for a chiral body take the form
∗dH = −iω(εE + βH)
(2.1)
∗dE = iω(µH − βE)
together with
(2.2) δ(εE + βH) = δ(µH − βE) = 0.
We write (2.1) as
E β −µ E E
∗d = −iω = −iωX
H ε β H H
where we introduce the notation
β −µ
X= .
ε β
We have
E E
∗d ∗ d = −iω ∗ d X
H H
E 2 2 E
= −iω ∗ dX ∧ −ω X
H H
TOTAL DETERMINATION OF MATERIAL PARAMETERS 121
9
X
= Ti , say.
i=1
2.3. Proof that E = 0. From [7], we know that for a chiral body, the
parameters and their first normal derivatives are determined by the admit-
tance map. Suppose that (ε, µ, β) and (ε0 , µ0 , β 0 ) agree to order l ≥ 2 at the
boundary. We show now that if Π = Π0 , then the parameters must agree
to order l + 1. We fix p in the boundary and work in our chosen boundary
normal coordinates near p.
In order to be able to express Π in terms of the constructed operator C,
we shall need to write E3 and H3 in terms of E1 , E2 , H1 and H2 . From
(2.2) we know that
E E
dX ∧ ∗ + Xd ∗ = 0.
H H
P
Writing ∗ = (Id +x3 D + i,j≤2 xi xj Dij )∗f and computing at x3 = 0, we
have
X
(2.9) Id + xi xj Dij
i,j≤2
126 MARK S. JOSHI AND STEPHEN R. MCDOWALL
∂1 βE1 + ∂2 βE2 + ∂3 βE3 − ∂1 µH1 − ∂2 µH2 − ∂3 µH3
·
∂1 εE1 + ∂2 εE2 + ∂3 εE3 + ∂1 βH1 + ∂2 βH2 + ∂3 βH3
X ∂1 E 1 + ∂2 E 2 + ∂3 E 3 E3
+ X Id + xi xj Dij + DX
∂1 H1 + ∂2 H2 + ∂3 H3 H3
i,j≤2
X E
+ Xd xi xj Dij ∧ ∗f
= 0.
H
i,j≤2
Making use of the fact that ∂/∂3 |x3 =0 = C, (2.9) can be written
E3 R1
J =
H3 R2
where
X ∂ 3 β −∂3 µ C33 C36
J = Id + xi xj Dij +X
∂3 ε ∂3 β C63 C66
i,j≤2
X
+ D + ∂3 xi xj Dij X
i,j≤2
and
X ∂1 βE1 + ∂2 βE2 − ∂1 µH1 − ∂2 µH2
R = − Id + xi xj Dij
∂1 εE1 + ∂2 εE2 + ∂1 βH1 + ∂2 βH2
i,j≤2
(∂1 + C31 )E1 + (∂2 + C32 )E2 + C34 H1 + C35 H2
+X
C61 E1 + C62 E2 + (∂1 + C64 )H1 + (∂2 + C65 )H2
P P
(∂1 i,j≤2 xi xj Dij )E1 + (∂2 i,j≤2 xi xj Dij )E2
−X P P .
(∂1 i,j≤2 xi xj Dij )H1 + (∂2 i,j≤2 xi xj Dij )H2
p is
−10 σm (F33 ) σm (F36 ) iξ2 −iξ1 0 0
σm−1 ((K − K )R) = 0 2 .
|ξ |x σm (F63 ) σm (F66 ) 0 0 iξ2 −iξ1
Next,
0 F31 E1 + F32 E2 + F34 H1 + F35 H2
R − R = −X
F61 E1 + F62 E2 + F64 H1 + F65 H2
which has symbol of order m equal to zero by Proposition 2.2, and
0 0 1 iξ2 −iξ1 0 0
σ0 (K R ) = 0 .
|ξ |x 0 0 iξ2 −iξ1
We now put all these results together. Recall that the principal symbol of
C is −|ξ 0 |x times the identity matrix, and we have the expression for fm in
Proposition 2.2. The first row of iωµ(Π0 − Π) thus has principal symbol at
p
iξ2 ξ1 ξ2 iξ1 ξ12
|ξ 0 |x σm (F13 ) + |ξ 0 |2x σm (F33 ), −σm (F11 ) − |ξ 0 |x σm (F13 ) − |ξ 0 |2x σm (F33 ),
iξ2 ξ 1 ξ2 iξ1 ξ12
σ (F
|ξ 0 |x m 16 ) + σ (F
|ξ 0 |2 m 36
), −σ (F
m 14 ) − σ (F
|ξ 0 |x m 16 ) − σ (F
|ξ 0 |2 m 36
)
x x
−l!
= l+1
−ξ1 ξ2 (βeβ + εeµ ), −ξ22 (βeβ + εeµ ),
0
2 |ξ |x (εµ + β 2 )
l
References
[1] M.S. Joshi, Recovering the total singularity of a potential from backscattering data,
preprint.
[2] , Recovering asymptotics of Coulomb-like potentials, preprint.
[3] M.S. Joshi and A. Sa Barreto, Recovering asymptotics of short range potentials, to
appear in Commun on Math. Phys.
[4] , Recovering asymptotics of metrics from fixed energy scattering data, preprint.
[5] A. Lakhtakia, V.K. Varadan and V.V. Varadan, 1989, Time-Harmonic Electromag-
netic Fields in Chiral Media, Lecture Notes in Physics, 335 (1989), Berlin, Springer-
Verlag.
[6] J. Lee and G. Uhlmann, Determining anisotropic real-analytic conductivities by
boundary measurements, Comm. Pure Appl. Math., 42 (1989), 1097-1112.
[7] S. McDowall, 1997, Boundary determination of material parameters from electromag-
netic boundary information, Inverse Problems, 13 (1997), 153-163.
[8] , An electrodynamic inverse problem in chiral media, Trans. AMS, 1997, to
appear.
[9] P. Ola, L. Päivärinta and E. Somersalo, An inverse boundary problem in electrody-
namics, Duke Math. J. 70 (1993), 617-653.
[10] E. Somersalo, Layer stripping for time harmonic Maxwell’s equations with high fre-
quency, Inverse Problems, 10(2) (1994), 449-466.
[11] E. Somersalo, D. Isaacson and M. Cheney, 1992, A linearized inverse boundary value
problem for Maxwell’s equations, J. Comput. Appl. Math., 42 (1992), 123-136.
Received July 14, 1998. The authors would like to thank the Fields Institute, Toronto,
where the work for this paper was initiated.
University of Cambridge
Cambridge CB2 1SB
England
E-mail address: joshi@dpmms.cam.ac.uk
University of Rochester
Rochester, NY 14627
E-mail address: mcdowall@math.rochester.edu
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
131
132 TUEN-WAI NG AND CHUNG-CHUN YANG
Problem (A). Suppose f and g are prime entire functions and one of
them is transcendental, will F (z) = f ◦g(z) be uniquely factorizable in entire
sense?
2
Counter-example. Take f (z) = z 2 , g(z) = zez , f1 (z) = ze2z and g1 (z) =
z 2 . All of them are prime functions (see [2]) and f ◦ g = f1 ◦ g1 are two
2
nonequivalent factorizations of z 2 e2z .
In this paper, we shall consider the following problems. Let f and p be
two prime entire functions where f is transcendental and p is a polynomial.
Suppose that f ◦ p = g ◦ q or p ◦ f = q ◦ g. Under what conditions on the
entire functions g, q will these factorizations be equivalent?
From the above counterexample, it is clear that two factorizations of a
function F = h ◦ k = h1 ◦ k1 may not be equivalent. Therefore, we need to
have some further assumptions on these factors h, h1 , k and k1 .
With this in mind, we have come up with the following results. The
functions f, g, p and q considered below are all entire and nonlinear.
Theorem 1. Let f , p be two non-periodic prime entire functions and p be
a polynomial. Suppose that p ◦ f = q ◦ g and both f, g are transcendental.
Then p = q ◦ L−1 and f = L ◦ g, where L is a linear polynomial.
Theorem 2. Let f , p be two prime entire functions and f be transcendental.
Suppose that p ◦ f = q ◦ g and both p, q are polynomials. Then p = q ◦ L−1
and f = L ◦ g, where L is a linear polynomial.
Theorem 3. Let f , p be two prime entire functions and f be transcendental.
Suppose that f ◦ p = g ◦ q and both p, q are polynomials with deg p 6= 3, 6.
Then f = g ◦ L and p = L−1 ◦ q, where L is a linear polynomial.
Theorem 1, 2 and 3 deal with the relationships between polynomials p
and q, transcendental functions f and g when we have factorizations of the
form p ◦ f = q ◦ g or f ◦ p = g ◦ q. It is natural to investigate the case
f ◦ p = q ◦ g.
Theorem 4. Let f and g be two transcendental entire functions, p and q be
two nonlinear polynomials with degree n and m respectively. If f ◦ p = q ◦ g
and p is not a right factor of g, then deg p ≤ deg q. In particular, the
conclusion is true when g is prime.
z3
Remark 1. Let f (z) = ez , g(z) = e 2 , p(z) = z 3 and q(z) = z 2 . Then
f ◦ p = q ◦ g and deg p > deg q. Therefore, the condition that p is not a
right factor of g is essential.
Definition 1. Let F (z) be an nonconstant entire function. An entire func-
tion g(z) is a generalized right factor of F (denoted by g ≤ F ) if there exists
a function f ,which is analytic on the image of g, such that F = f ◦ g. If
such f is entire, g will be a right factor of F (denoted by g|F ).
ON THE COMPOSITION ... 133
Lemma 5 ([10]). Let f and g be two entire functions. Suppose that there
exist two nonconstant functions h1 and h2 so that F = h1 (f (z)) = h2 (g(z))
and F is meromorphic. Suppose further that there exist k ≥ 2 distinct points
z1 , ....., zk such that F 0 (zi ) 6= 0, ∞ for all i and
(
f (z1 ) = f (z2 ) = ......f (zk )
g(z1 ) = g(z2 ) = ......g(zk ).
Then, there exists an entire function h(z) (independent of k and zi0 s) with
h ≤ f , h ≤ g and h(z1 ) = h(zi ) for all 2 ≤ i ≤ k.
Proof of Theorem 4. By Lemma 1, there exists a generalized greatest
common right factor k of p and g. Since, p is a polynomial, k is actually the
greatest common right factor of p and g. Let p1 and g1 be entire functions
such that p = p1 ◦ k and g = g1 ◦ k. Hence, f ◦ p1 = q ◦ g1 on C and p1 , g1
do not have any nonlinear common right factor. p1 is nonlinear as p is not
a right factor of g. If we can show that deg p1 ≤ deg q1 , then deg p ≤ deg q.
Therefore, we may assume that p and g do not have any nonlinear common
right factor. Suppose that n > m. Define E = {p(z)|F 0 (z) = 0},where
F = f ◦ p. Then E is a countable set. Therefore, we can choose A ∈ C − E
so that the equation p(z) = A has n ≥ 2 distinct roots z1 , . . . , zn . Since
f (A) = f (p(zi )) = q(g(zi )), g(zi ) are roots of the equation q(z) = f (A)
which has at most m roots. n > m implies that there exist two distinct
roots zi , zj such that g(zi ) = g(zj ). Note that p(zi ) = p(zj ) = A and
F 0 (zi ), F 0 (zj ) 6= 0. By Lemma 5, there exists an entire function h with
h ≤ p, h ≤ g and h(zi ) = h(zj ). Clearly h is a polynomial. Hence, there
exists a nonlinear h such that h|p and h|g. This is impossible and we must
have n ≤ m.
In Theorem 3, we only assume that p and q are polynomials. If we further
restrict p and q to have deg p = deg q ≥ 3, then the conclusion of Theorem
3 can be drawn directly from the following lemma.
Lemma 6 ([5]). Let p and q be two polynomials with the same degree. Sup-
pose there exist entire functions f and g such that f ◦ p = g ◦ q. Then one
of the following two cases holds:
(a) p(z) = L ◦ q(z) where L is a linear polynomial.
(b) p(z) = (r(z))2 + a and q = b(r(z) + c)2 + d, where a, b, c, d are complex
numbers.
The above type of results were first investigated by I.N. Baker and F.
Gross in [1] and then L. Flatto in [5]. Finally, S.A. Lysenko in [8] gives an
algebraic necessary and sufficient condition for the existence of meromorphic
f and g satisfy f ◦ p = g ◦ q.
The proof of Theorem 3 is based on a method developed by S.A. Lysenko
in [8] which depends on a fundamental result of local holomorphic dynamics.
ON THE COMPOSITION ... 135
3. Proof of Theorem 3.
Let F (z) = f (p(z)) = g(q(z)). From Example 2, we know that [Tp , Tq ] is
solvable. We shall consider two cases: i) [Tp , Tq ] is finite and ii) [Tp , Tq ] is
infinite.
Suppose that [Tp , Tq ] is finite, then by Lemma 9, there exist two noncon-
stant rational functions R1 , R2 such that R1 ◦ p(z) = R2 ◦ q(z). Express Ri
Pi
as Q i
, where Pi and Qi are polynomials and do not have any common zero.
Without loss of generality, we may assume that P1 is nonconstant. Since Pi
and Qi do not have any common zero, we have F1 = P1 (p(z)) = AP2 (q(z))
for some nonzero constant A. By Lemma 2, there exists a nonconstant entire
function F2 , which is the least generalized common left multiple of p and
q, such that F2 ≤ F1 and F2 ≤ F . From F2 ≤ F1 , it follows that F2 is a
polynomial and hence F2 |F1 and F2 |F . Now, we can let F2 = h◦p = k ◦q for
some polynomials h, k. Note that F2 |F which implies h|f . Since f is prime
and transcendental, h must be linear. Therefore, p = h−1 ◦ k ◦ q, where
h−1 ◦ k is linear because p is prime and q is nonlinear. So, we are done for
case i).
We first consider the case that q is prime. Then, we also have gcd(m, k) =
1. So, if d = lcm(n, m), then gcd(d, k) = 1. We define a map f : Gd (k) →
Gd (1) by f (λgzt k+1 ) = λk gzt 2 . Clearly, f is a group homorphism and sur-
jective. The condition that gcd(d, k) = 1 implies that f is also injective.
Therefore [Tp , Tq ] is isomorphic to a subgroup of Gd (1).
ON THE COMPOSITION ... 139
4. Further discussions.
In Theorem 3, we assume that both the right factors p, q have polynomial
growth. We can also restrict the left factors f, g to have comparable growth
rate and ask the following question.
Problem (B). Let f and p be two prime entire functions and p is a
polynomial. Suppose that F = f ◦p = g ◦q and both f, g are transcendental.
Are the two factorizations of F equivalent?
This problem is closely related to Problem C below (proposed by C.C.
Yang, see e.g., [7], p. 124), which remains unsolved for more than a decade.
Problem (C). Let f be a pseudo-prime transcendental meromorphic func-
tion and p be a polynomial of degree ≥ 2. Must f (p(z)) be pseudo-prime?
If the answer to Problem C is positive, then the function q in Problem B
must be a polynomial and this reduces to the case handled in Theorem 3.
One may try to solve Problem C for the special case that p(z) = z n , where
n is a prime number.
Similarly, we can ask:
Problem (D). Let f be a pseudo-prime transcendental meromorphic func-
tion and p a polynomial of degree ≥ 3, which has no quadratic right factor.
Must p(f (z)) be pseudo-prime?
In [12], G.D. Song and J. Huang proposed the above problem and solved
it for the case that p(z) = z n with n being an odd number. We proved in
[10] that it is true if f is not of the form H ◦ q, where H is an entire periodic
function and q is a polynomial. One may try to solve Problem D for deg p
is odd first.
Finally, we ask whether the answer of Problem A is yes if both f and g
are assumed to be transcendental?
References
[1] I.N. Baker and F. Gross, On factorizing entire functions, Proc. London Math. Soc.,
18(3) (1968), 69-76.
ON THE COMPOSITION ... 141
[2] C.T. Chuang and C.C. Yang, Fix-points and factorization of meromorphic functions,
World Scientific, Singapore, 1990.
[3] P.J. Elizarov, Yu.S. Il’yashenko, A.A. Shcherbakov and S.M. Voronian, Finitely gen-
erated groups of germs of one-dimensional conformal mappings and invariants for
complex singular points of analytic foliations of the complex plane, Advances in So-
viet Math., 14, Amer. Math. Soc., Providence, RI, (1993), 57-105.
[4] A. Eremenko and L.A. Rubel, The arithmetic of entire functions under composition,
Advances in Mathematics, 124 (1996), 334-354.
[5] L. Flatto, A theorem on level curves of harmonic functions, J. London Math. Soc., 1
(1969), 470-472.
[6] W.H.J. Fuchs and G.D. Song, On a conjecture by M. Ozawa concerning factorization
of entire functions, Ann. Acad. Sci. Fennicae Ser. A. I. Math., 10 (1985), 173-185.
[7] Y.Z. He and C.C. Yang, On pseudo-primality of the product of some pseudo-prime
meromorphic functions, Analysis of one complex variable, edited by C.C. Yang, 113-
124, World Scientific, Singapore, 1985.
[8] S.A. Lysenko, On the functional equation f (p(z)) = g(q(z)), where p and q are “gener-
alized” polynomials and f and g are meromorphic functions, Izvestiya: Mathematics,
60 (1996), 89-110.
[9] T.T. Moh, Algebra, World Scientific, Singapore, 1992.
[10] T.W. Ng and C.C. Yang, Certain criteria on the existence of a transcendental entire
common right factor, Analysis, 17, 387-393, 1997.
[11] A.A. Shcherbakov, On the denseness of orbits of the pseudogroup of conformal map-
pings and a generalization of the Huday-Verenov theorem, Vestnik Mosk. Gos. Univ.
Ser. 1, Mat.-Mekh., 2 (1982), 10-15; English transl. in Moscow Univ. Math. Bull., 37
(1982).
[12] G.D. Song and J. Huang, On pseudo-primality of the n-th power of prime entire
functions, Kodai Math. J., 10 (1987), 42-48.
Received July 29, 1998 and revised October 28, 1998. This research was partially sup-
ported by a UGC grant of Hong Kong (project no. HKUST710/96P).
Department of Mathematics
Hong Kong University of Science and Technology
Clear Water Bay
Kowloon, Hong Kong
China
E-mail address: mayang@ust.hk
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
A PALEY–WIENER THEOREM
FOR THE INVERSE SPHERICAL TRANSFORM
Angela Pasquale
Introduction.
The classical Fourier transform is an isomorphism F of the Schwartz space
S(Rn ) onto itself. The space D(Rn ) of compactly supported C ∞ functions on
Rn is dense in S(Rn ), and the classical Paley–Wiener theorem characterizes
its image under F: a function f ∈ S(Rn ) is the image under F of a C ∞
function with support in the Euclidean ball {x ∈ Rn : |x| ≤ r} if and only
if it extends to Cn as an entire function of exponential type r and rapidly
decreasing. This is to say that given any integer N ≥ 0 there exists a
constant σN > 0 so that for all z ∈ Cn
|f (z)| ≤ σN (1 + |z|)−N er|=z| .
Since Rn is self-dual, the same theorem also applies to the inverse Fourier
transform. So the functions in S(Rn ) whose image under F is supported in
{x ∈ Rn : |x| ≤ r} are exactly those extending as entire functions on Cn of
exponential type r and rapidly decreasing.
Let G be a noncompact semisimple Lie group with a maximal compact
subgroup K. We refer to Section 1 for the notation and the basic definitions.
The spherical transform S is the analogue of the Fourier transform for K-
bi-invariant functions on G. Generalizing the notion of rapid decrease used
143
144 ANGELA PASQUALE
where |v| := hv, vi1/2 . S(V ) is a Fréchet space in the topology defined by
the seminorms τD,N . SW (a) and SW (a∗ ) respectively denote the sets of all
rapidly decreasing C ∞ functions on the Eucidean spaces a and a∗ that are
146 ANGELA PASQUALE
and, for g ∈ G, H(g) is the unique element of a such that exp H(g) is the
A-component of g in the Iwasawa decomposition G = KAN . Moreover,
ϕλ = ϕλ0 if and only if λ = w.λ0 for some w in the Weyl group W . ϕλ (x)
is a real analytic function of x ∈ G and a W -invariant entire function of
λ ∈ a∗c .
The spherical transform, the Abel transform and the Euclidean Fourier
transform are respectively the isomorphisms
∼
S : S(K\G/K) −→ SW (a∗ )
∼
A : S(K\G/K) −→ SW (A)
∼
F : SW (A) −→ SW (a∗ )
A PALEY–WIENER THEOREM 147
mα mjα −J
|F̃ (z)| ≤ τN (1 + |coth z|)(j−1) 2 (1 + |coth(jz)|) 2 (1 + |z|)−N er|=z| .
(2) The function F defined by
F̃ (z)
F (z) := for z ∈ Sj \ (−∞, 0]
∆(z)
extends to be an even holomorphic function on the horizontal strip Sj ,
and F (t) = f (t) for all t ∈ R.
Observe that the growth estimate of F̃ is given on <+ j , not on the en-
tire complex plane. Moreover, a single-valued holomorphic extension of the
function f is generally only obtained in the strip Sj . But, when mα is even
and m2α = 0, the function f has actually a meromorphic extension to all
of C, with poles at most on iπZ \ {0}, with estimated growth on the whole
complex plane. Indeed, in this case, mα /2 is a positive integer. The func-
tion F (z) := F̃ (z)(sinh z)−mα /2 is therefore holomorphic on ∃j . Because of
2, F (z) is an even extension of f (t), t ∈ R, to Sj . Hence it holomorphically
extends to C \ {iπk : k = ±1, ±2, . . . } by setting F (z) := F (−z) if <z < 0.
The growth condition for F̃ stated in 1 becomes: For every integer N ≥ 0
there is a constant τN > 0 such that for all z ∈ <+ j
mα
−1
|F̃ (z)| ≤ τN (1 + |coth z|) 2 (1 + |z|)−N er|=z| .
It follows, in particular, that the function (sinh z)mα −1 F (z) is bounded near
the points iπk (k = ±1, ±2, . . . ). Thus (sinh z)mα −1 F (z) is entire, and
F (z) is a meromorphic extension of f to C.
In the case mα even and m2α = 0, Theorem 2.1 can be therefore equiva-
lently stated as follows.
Theorem 2.2. Suppose mα is even and m2α = 0. Let f ∈ S+ρ (R). Then
supp Sf ⊂ [−r, r] if and only if f (t), t ∈ R, extends to an even meromorphic
function F on C satisfying: For every integer N ≥ 0 there is a constant
τN > 0 such that for all z ∈ C
mα
−1
|∆(z)F (z)| ≤ τN (1 + |coth z|) 2 (1 + |z|)−N er|=z| .
150 ANGELA PASQUALE
2.2. The complex case. When G admits a complex structure, all the
restricted roots α have multiplicity mα = 2. The function ∆ in (1.6) becomes
Y
(2.5) ∆(H) = sinh α(H), H ∈ a.
α∈Σ+
For every l ≥ 0, let S+l (R) be the set of the even C ∞ functions f on R
such that for every differential operator D on R with constant coefficients
and for every integer N ≥ 0
sup (1 + |t|)N coshl t|Df (t)| < ∞.
t∈R
Z
4σ
≤ (1 + |ζ|)−N es|<ζ|+r|=| |dζ|
π γ
2 N +2 σ
Z
1 1
s(|<z|+ √ )+r(|=z|+ √ )
≤ (1 + |z|)−N e 2 2 2 2 |dζ|
π γ
−N s|<z|+r|=z|
= σ̃(1 + |z|) e ,
N +4
√
2√
where σ̃ := 2π
e(r+s)/2 2 σ.
Lemma 3.5. Let r ≥ 0, and let n > 0 and N ≥ 0 be integers. Let l(z) be a
meromorphic function on C satisfying the following properties.
i. (sinh z)2n−1 l(z) is an entire function.
ii. There is a constant ν > 0 such that for all z ∈ C \ iπZ
(1 + |coth z|)n−1
|l(z)| ≤ ν (1 + |z|)−N er|=z| .
|sinh z|n
Then
1. (sinh z)2n+1 D1 l(z) is an entire function.
2. There is a constant ν̂ > 0 (depending on r, n, N ) such that for all
z ∈ C \ iπZ
(1 + |coth z|)n
|D1 l(z)| ≤ ν̂ (1 + |z|)−N er|=z| .
|sinh z|n+1
3. sinh(2z)(sinh z)2n D2 l(z) is an entire function.
4. There is a constant ν̂ > 0 (depending on r, n, N ) such that for all
z ∈ C \ i π2 Z
n
−1 1 + |coth z|
|D2 l(z)| ≤ ν̂|sinh(2z)| (1 + |z|)−N er|=z| .
|sinh z|
Proof. Apply Lemma 3.4 to the entire function g(z) := (sinh z)2n−1 l(z),
using the following inequalities:
(3.3) √1 (1
2
+ |coth ζ|) ≤ e|<ζ| |sinh ζ|−1 ≤ 1 + |coth ζ|, ζ ∈ C \ iπZ.
1
For 3 and 4, observe that D2 = D1 , which gives
2 cosh z
sinh(2z)(sinh z)2n D2 l(z) = (sinh z)2n+1 D1 l(z).
Lemma 3.6. Let r ≥ 0, and let m, n > 0 and N ≥ 0 be integers. Let l(z)
be a meromorphic function on C satisfying the following properties.
i. (sinh(2z))2n−1 (sinh z)2m l(z) is an entire function.
154 ANGELA PASQUALE
(j−1)m
(1 + |coth(jz)|)n−1 er|=z|
(j−1)m 1 + |coth z|
|Djn D1 g(z)| ≤ νN .
|sinh(jz)|n |sinh z| (1 + |z|)N
(j−1)m
3. If g is even, then Djn D1 g is even and extends to be holomorphic
at 0.
Proof. Suppose first j = 1, and prove 1 and 2 inductively on n. The case
n = 1 follows from Lemma 3.4 (with j = 1 and s = 0), and the inductive
step is provided by Lemma 3.5, Parts 1 and 2 (with l(z) = D1n g(z)). Suppose
then j = 2, and prove 1 and 2 inductively on n for m arbitrarily fixed. The
case n = 1 is obtained from Lemma 3.5, Parts 3 and 4 (with l(z) = D1m g(z)).
The inductive step is given by Lemma 3.6 (with l(z) = D2n D1m g(z)).
If g is even and holomorphic near 0, then g 0 (0) = 0. Hence Dj g is even
and extends to be holomorphic at 0 by setting Dj g(0) = 1j g 00 (0).
and
Z∞
sinh (j(t + w))
q
j
Aj h(t) = 2 h(t + w) 1/2 dw, t > 0.
sinh j t + w2 sinh j w2
0
1/2
Since the map z 7→ [sinh(jz)]+ is well defined and holomorphic on Sj \
(−∞, 0], we are led to the following definition.
Definition 3.8. For j = 1, 2, let Acj denote the integral transform given,
for all functions h for which it is well defined, by
Z∞
sinh(j(z + w))
q
j
Acj h(z) := 2 h(z + w) 1/2 dw,
sinh j z + w2 sinh j w2 +
0
z ∈ Sj \ (−∞, 0].
To study the operator Acj we need the following theorem.
4
[Lan93], Lemma 1.1, Chapter XV, p. 392, and [LR70], p. 368, for the M -test.
156 ANGELA PASQUALE
Proof. Set
sinh(j(z + w))
Ψ(z, w) := h(z + w) 1/2 .
sinh j z + w2 sinh j w2 +
(3.4)
h 1/2 −2 i
|Ψ(z, w)| ≤ C χ(0,m] (w) coth j w2 + χ(m,∞) (w) 1 + (w − m) .
Theorem 3.9 thus guarantees that Acj h(z) is holomorphic on Sj \ (−∞, 0].
We now prove that Acj h is even by showing that Acj h(iy) = Acj h(−iy)
for all y ∈ 0, πj . Let Ly denote the horizontal half-line in <+
j from iy to
infinity. The change of variables u = iy + w gives
q Z
j sinh(ju)
Acj h(iy) = 2 h(u) 1/2
du
[dj (iy, u)]+
Ly
where
u+iy u−iy
dj (iy, u) := sinh j 2 sinh j 2 = 21 [cosh(ju) − cos(jy)].
1/2
By assumption h is holomorphic in the horizontal strip Sj . [dj (iy, ·)]+ is
holomorphic in the domain
Dyπ obtained from Sj by removing the vertical
π
segments −i j , −iy and iy, i j . Therefore the function
sinh(ju)
f (y, u) := h(u) 1/2
[dj (iy, u)]+
is a holomorphic function of u ∈ Dy .
Let R > 1, and let γ R = 5k=1 γkR be the closed curve in Dy pictured in
S
i π /j
iy R+iy
γR
4
γ5R γ3R
γ1R
0
γ2R R
Dy
- i π /j
Z Z0 iθ −1/2 r
ye y y
|f (y, u)| |du| ≤ C0
2R dθ = C0 π −→ 0 as R → ∞,
R 2R
γ5R −π/2
Z Z q
so lim f (y, u) du = 0. Since lim f (y, u) du = − 2j Acj h(iy), then
R→∞ γ R R→∞ γ R
5 4
q
j
Acj h(iy) = 2 [I1 (y) + I2 (y)]
158 ANGELA PASQUALE
where
Zy Zy
sinh(ijt)
I1 (y) = −i f (y, it) dt = −i h(it) 1/2
dt,
[dj (iy, it)]+
0 0
Z∞ Z∞
sinh(jt)
I2 (y) = f (y, t) dt =1/2
dt. h(t)
[dj (iy, t)]+
0 0
i π /j
Dy
Γ2R = γ2R R
0
R
Γ1
Γ5
R Γ3R
R
Γ4
- iy R+iy
- i π /j
where
Z Z0
I1 (−y) = lim f (−y, u) du = i f (−y, it) dt
R→∞
ΓR −y
1
Z0
sinh(ijt)
=i h(it) 1/2
dt,
[dj (−iy, it)]+
−y
Z Z∞ Z∞
sinh(jt)
I2 (−y) = lim f (−y, u) du = f (−y, t) dt = h(t) 1/2
dt.
R→∞ [dj (−iy, t)]+
ΓR 0 0
2
A PALEY–WIENER THEOREM 159
Since dj (−iy, t) = dj (iy, t), then I2 (−y) = I2 (y). Since h is even and
dj (iy, it) = dj (−iy, −it), then
Zy Z0
sinh(ijt) sinh(ijt)
I1 (y) = −i h(it) 1/2
dt = i h(it) 1/2
dt = I1 (−y).
[dj (iy, it)]+ [dj (−iy, it)]+
0 −y
Thus Acj h(−iy) = Acj h(iy). Acj h is even, so we can extend it to Sj \ {0}
by setting Acj h(z) := Acj h(−z) if <z < 0. Moreover, (3.4) shows that Acj h
remains bounded on S̃1 ∩ <+ j and hence that it holomorphically extends to
c
Sj . Finally, Aj h and Aj h are continuous even functions of t ∈ R: Since they
agree on (0, ∞), they must agree on all R.
To extend Aj h outside Sj , we need to make its integrand single-valued.
The key observation is that the map
1/2
sinh(jz)
z 7−→
sinh j z + w2 sinh j w2 +
(j−1)m
(1 + |coth(jz)|)n−1
1 + |coth z|
|h(z)| ≤ νN (1 + |z|)−N er|=z| .
|sinh(jz)|n |sinh z|
iii. h is holomorphic at z = 0.
Then
160 ANGELA PASQUALE
1. A+ +
j h is holomorphic in ∃j , and Aj h(t) = (sinh(jt))
1/2 A h(t) for all
j
t ∈ (0, ∞).
2. For every integer N ≥ 0 there is σN > 0 (depending also on n, m, j)
such that for all z ∈ <+
j
n−1 (j−1)m
1 + |coth(jz)| 1 + |coth z|
|A+
j h(z)| ≤ σN (1 + |z|)−N er|=z| .
|sinh(jz)| |sinh z|
3. Acj h is an even holomorphic extension of Aj h(t), t ∈ R, to Sj .
A+j h(z)
4. Acj h(z) = 1/2
on Sj \ (−∞, 0].
[sinh(jz)]+
Proof. Let
" #1/2
sinh(jz)
Ψ(z, w) = h(z + w) sinh(j(z + w)).
sinh j z + w2 sinh j w2
+
Because of Condition i on h, Ψ is continuous on ∃j ×(0, ∞) and holomorphic
in ∃j for every fixed w ∈ (0, ∞). If z = t + iy ∈ <+ and w ∈ (0, ∞), then
|sinh(j(z + w))| ≥ sinh(jt), and |coth(j(z + w))| ≤ coth(jt). Condition ii
(for N = 0) therefore gives the following estimate:
|Ψ(z, w)|
1 + |coth(j(z + w))| n−1 1 + |coth(z + w)| (j−1)m er|=z|
≤ ν0 1/2
|sinh(j(z + w))| |sinh(z + w)|
sinh j w2
1 + coth(jt) n−1 1 + coth t (j−1)m ery
≤ ν0 1/2
sinh(jt) sinh t
sinh j w2
−1/2
= function bounded on compact subsets of <+ · sinh j w2
.
If z = t + iy ∈ Sj , then sin(jy) 6= 0 6= sin y. Condition ii on h (with N = 0)
gives, for some constant ν00 > 0,
|Ψ(z, w)|
sinh(jt) 1/2 ery
≤ ν00 |sin(jy)|2(1−n) |sin y|2(1−j)m 1 + 1/2
sin(jy)
sinh j w2
−1/2
= ( function bounded on compact subsets of Sj ) · sinh j w2
.
−1/2
Since w 7→ sinh j w2
is integrable on (0, ∞), Theorem 3.9 implies
that A+j h is holomorphic on ∃ +
j = < ∪ Sj .
If (z, w) ∈ <+ j ×(0, ∞),√we have |z+w| ≥ |z|, |sinh(j(z+w))| ≥ |sinh(jz)|,
and |coth(j(z + w))| ≤ 2 + |coth(jz)|. The growth condition for h then
A PALEY–WIENER THEOREM 161
|A+
j h(z)|
√ !n−1 √ !(j−1)m
1+ 2 + |coth(jz)| 1+ 2 + |coth z|
q
j
≤ 2 νN
|sinh(jz)| |sinh z|
Z∞
−N r|=z|
−1/2
sinh j w2
· (1 + |z|) e dw
0
n−1 (j−1)m
1 + |coth(jz)| 1 + |coth z|
≤ σN (1 + |z|)−N er|=z| ,
|sinh(jz)| |sinh z|
with
q Z∞
j −1/2
σN := 3[n−1+(j−1)m]/2 sinh j w2
2 νN dw.
0
A+
j h
Finally, Property 4 follows immediately because Acj h and 1/2
[sinh(jz)]+
are both holomorphic on Sj \ (−∞, 0] and agree with Aj h on (0, ∞).
Proof of Theorem 2.1 (Necessity). Let g ∈ H+ r (R) and let f := A−1 g. Sup-
pose first that mα is even and m2α = 0 (that is j = 1 and J = 2). Then (up
m /2
to a constant multiple) f = D1 α g, and Proposition 3.7 (with j = 1 and
n = mα /2) proves that f extends to an even meromorphic function F on C
satisfying the condition stated in Theorem 2.2.
Suppose now that J = 1, i.e. that either mα is odd (so j = 1) or mα is
even and m2α is odd (j = 2). Then (up to a constant multiple)
(j−1)m
f = A−1 g = Aj Djn D1 g
with n = (mjα + 1)/2 and m = mα /2. Because of Proposition 3.7, we can
(j−1)m
apply Proposition 3.12 to the function h = Djn D1 g.
For z ∈ ∃j , set
Observe that the exponents (j − 1)mα /2 and (mjα − 1)/2 are nonnegative
integers, so F̃ (z) is holomorphic on ∃j . Moreover, for t ∈ (0, ∞),
F̃ (t) = (sinh t)(j−1)mα /2 (sinh(jt))(mjα −1)/2 A+
j h(t)
3.2. Sufficiency. Before completing the proof of Theorem 2.1, we give, fol-
lowing Rouvière, the explicit form of the Abel transform Af of a function
f ∈ S+ρ (R). Let dX (resp. dX 0 ) denote the Lebesgue measure on gα (resp.
g2α ) corresponding to the Euclidean structure induced by the inner product
(X, Y ) := −B(X, θY ), where B is the Cartan-Killing form and θ is the Car-
tan involution of g. Via SU (2, 1)-reduction, Rouvière proved the following
theorem.
Theorem 3.13. 5 Let f ∈ S+ρ (R). Then there is a constant C so that
Z 1/2
Af (t) = C Φf (cosh t + |X|2 )2 + |X 0 |2 dX dX 0 , t ∈ R,
gα ×g2α
where Φf (cosh t) := f (t). When m2α = 0, disregard the variable X 0 and the
integration over g2α .
For a fixed normalization of the Haar measure dn of N , the constant C
can be explicitely determined as a function of the multiplicities mα and m2α .
5
[Rou83], p. 272,(8). See also p. 283.
A PALEY–WIENER THEOREM 163
In the above integrals, the variable r ∈ (0, ∞) has been replaced by the
variable w ∈ (0, ∞) defined by the relation
cosh t + r2 = cosh(t + w),
and the variable s ∈ (0, ∞) has been replaced by the variable v ∈ (0, ∞)
defined by the relation
cosh2 (t + w) + s2 = cosh2 (t + w + v).
The constants C 0 and C 00 do not affect the result we want to prove. We
therefore disregard them.
The idea to prove the sufficiency of the conditions in Theorem 2.1 is
the following. The hypothesis on f imposed by Theorem 2.1 involve the
holomorphic extension F̃ to ∃j of the function f˜(t) := ∆(t)f (t), t ∈ (0, ∞).
The function f˜ also appears in the integrand of Af (t), t ∈ (0, ∞). We
formally extend Af to AF on ∃j by replacing f˜(t) by F̃ (z), and the variable
t by the variable z in the remaining hyperbolic sines. A little extra care is
required when dealing with square roots. The growth condition for F̃ on
<+j is used to prove that AF is holomorphic on (some open neighborhood
of) <+j . Condition 2 in Theorem 2.1 is employed to show that AF is even,
which allows us to extend it to C \ i πj Z. Finally, the growth condition is
used again, to prove either that AF is bounded near each point in i πj Z (and
hence it is entire) or that AF is rapidly decreasing with exponential growth
r.
Definition 3.14. Let f ∈ S+ρ (R) satisfy the conditions stated in Theo-
rem 2.1. For z ∈ ∃j , formally define
Z∞
mα
−1
AF (z) := F̃ (z + w) [s1 (z, w)] 2 dw, if m2α = 0,
0
Z∞Z∞
mα m2α
−1 −1
AF (z) := F̃ (z + w + v) [s2 (z, w, v)] 2 [s3 (z, w, v)] 2
0 0
sinh(z + w)
· dw dv, if m2α 6= 0,
sinh(z + w + v)
where
sinh z + w2 sinh w2
s1 (z, w) := ,
sinh(z + w)
sinh z + w2 sinh w2
s2 (z, w, v) := ,
sinh(z + w + v)
A PALEY–WIENER THEOREM 165
sinh(2(z + w) + v) sinh v
s3 (z, w, v) := ,
sinh(2(z + w + v))
mjα mjα −1
−1 1/2
and [∗] 2 := [∗] 2 [1/∗]+ if mjα is odd.
Remark 3.15. By definition, the function AF extends, up to a constant
multiple, Af (t), t ∈ (0, ∞). Observe that the square roots appearing in
the formula when mjα is odd are well-defined single-valued holomorphic
functions of z ∈ ∃j for all v, w ∈ (0, ∞).
Lemma 3.16. Define
(
∗ x−1 if x ∈ (0, 1)
s (x) :=
1 if x ∈ [1, ∞).
Proof. Observe first that there is a constant C > 0 so that for all (ζ, x) ∈
<+j × (0, ∞) and j = 1, 2
sinh(jζ + x) sinh x
(3.5) sinh(jζ + 2x) (1 + |coth(jζ + 2x)|) ≤ C.
When mα > 1 and m2α = 0, the exponent (mα /2) − 1 of the function
s1 (z, w) in Definition 3.14 is positive. The growth condition for F̃ gives: For
every integer N ≥ 0 there is a constant τN > 0 such that
|Ψ(z, w)|
(m −J)/2
≤ τN |s1 (z, w)|(mα /2)−1 1 + |coth(z + w)| α (1 + |z + w|)−N er|=z|
(mα /2)−1 (2−J)/2
≤ τN |s1 (z, w)| 1 + |coth(z + w)| 1 + |coth(z + w)|
· (1 + |z + w|)−N er|=z|
≤ ηN (s∗ (w))(2−J)/2 (1 + |z + w|)−N er|=z| .
166 ANGELA PASQUALE
Z1 Z1
∗ −M −M
l
(s (x)) (1 + |ζ + x|) dx ≤ (1 + |ζ|) x−l dx ≤ C1 (1 + |ζ|)−M
0 0
and6
Z∞ Z∞
(s (x)) (1 + |ζ + x|) dx = (1 + |ζ + x|)−M dx
∗ l −M
1 1
Z∞
≤ (1 + |ζ|2 + x2 )−M/2 dx
0
1 · 3 · 5 · · · (M − 3) π
= (1 + |ζ|2 )−(M −1)/2
2 · 4 · 6 · · · (M − 2) 2
≤ C2 (1 + |ζ|)−M +1 .
6
[Dwi61], Formula 856.21. The formula can be applied because of the assumption that
M/2 is an integer ≥ 2.
168 ANGELA PASQUALE
Proof. Observe first that if s1 (z, w), s2 (z, w, v), s3 (z, w, v) are as in Defini-
tion 3.14 and if s(j, z, a, b, c) is as in Lemma 3.19, then
sinh z + w2 sinh w2
s(1, z, 0, w/2, 0) = = s1 (z, w)
sinh(z + w)
sinh z + w2 sinh w2
s(1, z, 0, w/2, v) = = s2 (z, w, v)
sinh(z + w + v)
sinh(2(z + w) + v) sinh v
s(2, z, 2w, v, 0) = = s3 (z, w, v).
sinh(2(z + w + v))
Moreover, for z = t + iy ∈ Sj and w, v ∈ (0, ∞) we have
sinh(z + w) cosh t
sinh(z + w + v) ≤ |sin y| .
Set
S1 (z, w) := [s1 (z, w)](mα /2)−1
sinh(z + w)
S2 (z, w, v) := [s2 (z, w, v)](mα /2)−1 [s3 (z, w, v)](m2α /2)−1 .
sinh(z + w + v)
Then S1 and S2 are holomorphic functions of z = t + iy ∈ Sj . Suppose first
mα 6= 1 and m2α 6= 1. If l(j, z) is the function in Lemma 3.19, we have
(3.7) |S1 (z, w)| ≤ [l(1, z)](mα /2)−1
cosh t
(3.8) |S2 (z, w, v)| ≤ [l(1, z)](mα /2)−1 [l(2, z)](m2α /2)−1 .
| sin y|
Observe that the right-hand sides of (3.7) and (3.8) are bounded on the
compact subsets of Sj and do not depend on w, v.
170 ANGELA PASQUALE
Let Qj,δ be the open rectangle {z ∈ Sj,δ : <z π< 2}. Then the closed rectangle
π π
Rj,δ of vertices (2+δ)+i j k+δ , (2+δ)+i j (k+1)−δ , −δ+i j (k+1)−δ
and −δ + i πj k + δ contains Qj,δ and is entirely contained in Sj .
Let K be the supremum of the right-hand sides of (3.7) and (3.8) over
z = t + iy ∈ Rj,δ . By Cauchy’s Inequalities, for every integer h ≥ 0,
h h
∂ K ∂ K
(3.9) ∂y h S1 (iy, w) ≤ δ h h! and ∂y h S2 (iy, w, v) ≤ δ h h!
|F̃ (ζ)|
≤ τ2j (1 + |coth ζ|)(j−1)mα /2 (1 + |coth(jζ)|)(mjα −J)/2 (1 + |ζ|)−2j er|=ζ|
≤ τ 0 (1 + |ζ|)−2j
for some constant τ 0 (depending on k). For ζ ∈ Γ, |ζ| ≥ |z| − δ ≥ |z| − 1 ≥
|z|/2, so (1 + |ζ|)−2j ≤ 22j (1 + |z|)−2j . Applying Cauchy’s Integral formula,
we obtain, for all h ≥ 0,
|F̃ (ζ)| |dζ| τ0
Z
≤ h! 22j h (1 + |z|)−2j .
(h)
F̃ (z) ≤ h!
|ζ − z| h+1 2π δ
Γ
h h
∂ K ∗
∂ K
∂y h S1 (iy, w) ≤ δ h h!(s (w))
1/2
and h S2 (iy, w, v) ≤ h h!(s∗ (v))1/2
∂y δ
for all iy ∈ Ij,δ and w, v ∈ (0, ∞). Computations as above therefore give
h h
∂
≤ h! 2 M̃ K(s∗ (w))1/2 (1 + w2 )−1
∂y h Ψ(iy, w) δ
h h
∂ 2
M̃ K(s∗ (v))1/2 (1 + w2 + v 2 )−2 .
∂y h Ψ(iy, w, v) ≤ h! δ
Differentiation under integral sign then proves that, for any multiplicities
mα and m2α , AF (iy) is C ∞ on each Ij,δ and that, for some constant M > 0,
h
d h+1
dy h AF (iy) ≤ M h! .
172 ANGELA PASQUALE
Since the sets Ij,δ cover iIk , AF (iy) is a real analytic function of y ∈ Ik .
Our last step is to prove that AF is even. We need the following lemma.
Lemma 3.21. Let j = 1, 2, and let n > 0 and m ≥ 0 be integers. Suppose
h is an even holomorphic function on Sj with the following property. For
every δ ∈ (0, π/j) there is a constant Cδ > 0 such that for all z with |=z| ≤ δ
|h(z)| ≤ Cδ |sinh(jz)|−n/2 |sinh z|−(j−1)m/2 (1 + |z|)−2[n+1+(j−1)m] .
Then h satisfies the hypothesis of Lemma 3.10.
Moreover, for every δ ∈ (0, π/j) there is a constant Cδ0 > 0 such that
whenever |=z| ≤ δ
Proof. The growth condition for F̃ and the fact that 1+|coth(jz)| is bounded
for large |<z| imply that the even holomorphic function F satisfies the hy-
pothesis for h in Lemma 3.21 with n = mjα and m = mα . The same
lemma also ensures that the application of Ac2 to F m2α -times and of Ac1 to
(Ac2 )m2α F mα -times is legittimate and gives an even holomorphic function
on Sj .
F holomorphically extends f (t), t ∈ R, to Sj . Hence (Ac1 )mα (Ac2 )m2α F (z)
m2α
holomorphically extends Am 1 A2
α
f (t), t ∈ R, to Sj . Up to constant mul-
tiples, AF (z) holomorphically extends Af (t), t ∈ (0, ∞) to some neighbor-
mα m2α
hood U of <+ j , and, because of Theorem 3.2, Af (t) = A1 A2 f (t) on
R. Thus, up to a constant, AF (z) must agree with (A1 ) (Ac2 )m2α F on
c mα
[
{H̃ ∈ ac : ∆(H̃) = 0} = {H̃ ∈ ac : α(<H̃) = 0 and α(=H̃) ∈ iZ}.
α∈Σ+
We conclude this section with a remark on the Abel transform. For com-
plex groups an explicit formula for the inverse Abel transform is available.
A PALEY–WIENER THEOREM 175
References
[Bee88] R.J. Beerends, The Abel transform and shift operators, Comp. Math., 66 (1988),
145-197.
[Bra96] W.O. Bray, Generalized spectral projections on symmetric spaces of noncompact
type: Paley–Wiener theorems, J. Funct. Anal., 135 (1996), 206-232.
[Dwi61] H.B. Dwight, Tables of integrals and other mathematical data, Macmillan, New
York, 1961.
[Eat73] T.R. Eaton, Asymptotic behaviour of spectra of compact quotients of symmetric
spaces of rank one of the noncompact type, University of Washington, Seattle,
1973.
[Gan68] R. Gangolli, Asymptotic behaviour of spectra of compact quotients of certain sym-
metric spaces, Acta Math., 12 (1968), 151-192.
[Gan71] , On the Plancharel formula and the Paley–Wiener theorem for spherical
functions on semisimple Lie groups, Ann. of Math., 93 (1971), 150-165.
[GV88] R. Gangolli and V.S. Varadarajan, Harmonic Analysis of Spherical Functions on
Real Reductive Groups, Springer-Verlag, 1988.
[HC58] Harish-Chandra, Spherical functions on a semisimple Lie group, II, Amer. J. of
Math., 80 (1958), 553-613; Collected papers, Vol. II, 479-539, Springer-Verlag,
1983.
[Hel66] S. Helgason, An analogue of the Paley–Wiener theorem for the Fourier transform
on certain symmetric spaces, Math. Annalen, 165 (1966), 297-308.
[Hel84] , Groups and Geometrical Analysis, Academic Press, Orlando, 1984.
[Koo75] R. Koornwinder, A new proof of a Paley–Wiener Theorem for the Jacobi trans-
form, Ark. Mat., 13 (1975), 145-159.
7
[Gan68], p. 164. See also [Rou83], Thèoréme 5, p. 287.
176 ANGELA PASQUALE
TU-Clausthal
Erzstrasse 1
38678 Clausthal-Zellerfeld
Germany
E-mail address: mapa@math.tu-clausthal.de
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
Doug Pickrell
0. Introduction.
Let Σ denote a closed oriented surface, and let D denote the group of
orientation-preserving diffeomorphisms of Σ. Let K denote a connected
compact Lie group, A the space of K-connections in the trivial bundle
P = (Σ × K → Σ), and C the space of gauge equivalence classes of K-
connections. It is well-known that the orientation of Σ induces a Aut(P )-
invariant symplectic structure on A. Ideally we would want to consider the
action of D in the metaplectic representation, corresponding to a polariza-
tion coming from a choice of complex structure for Σ, but it is easy to check
that D is not implemented in this representation (see §1); instead D per-
mutes these representations. Roughly speaking, our goal is to understand
whether the gauge invariant sectors of these representations (the conformal
blocks of conformal field theory) can be coherently incorporated into a single
unitary representation for D.
To be more precise, there exists a nontrivial D-equivariant Hermitian line
bundle L → C (the projection to C of the prequantum line bundle on A).
The issue we address is whether, in the simplest case K = T, a submodule
of the natural action
(0.1) D × Ω0 (L) → Ω0 (L)
can be unitarized. Heuristically the invariant inner product is given by
Z
s1 , s2 → hs1 , s2 idV,
C
177
178 DOUG PICKRELL
|L|−2
where dνT denotes the renormalized coupling of the Yang-Mills measure
and Hermitian structure of L. In the genus = 0 case, the spherical function
(0.4) φT : D/Aut(Σ) → C : σ → hσ · det, detiT
is given by the formula
(0.5) φT (σ) = det2 (1 + T (∂ ∂¯ − ∂µ∂)−1 ∗)−1/2 ,
where µ is the complex dilatation of σ −1 (see §1), and det2 denotes the
Hilbert-Schmidt regularized determinant. Although φT is defined on all of
D, only its restriction to SDiff is positive definite.
The main result of this paper is that one can remove the regularization.
After renormalizing φT , one can take the limit T → ∞ to obtain (in the
genus = 0 case) a positive definite function
detζ (4∆(1 − ∂¯−1 µ∂)−1 )−1/2
(0.6) φ : SDiff → C : σ →
detζ (4∆)−1/2
(the precise meaning of this formula is explained in §3). One can heuristically
arrive at this formula for φ by using ζ-function determinants to directly
“evaluate” certain integrals. On the other hand it is not at all transparent
that |φ| is bounded by 1 on SDiff, let alone that φ is a positive definite
function on SDiff; this follows by first evaluating the regularized integrals
and then taking the limit T → ∞. From a purely technical point of view,
one of the most interesting aspects of this work is the following: There are
two regularizations involved in arriving at (0.6), one probabilistic and one of
the ζ variety, and it is fascinating to see how they balance out (see Remarks
(2.28) and (3.30)).
DIFFEOMORPHISMS ACTING ON THE DETERMINANT LINE BUNDLE 179
genus = 0 case. In the last section we indicate the relatively minor changes
necessary to deal with the cases of positive genus.
where V + is a complex Hilbert space with respect to the form iω(θ, η̄), and
V − is the conjugate Hilbert space, we can define
Sp(L) (V + ⊕ V − , ω)
A B
(1.5) = g = ∈ Sp(V, ω) : B ∈ L
B̄ Ā
A B + − ∗ ∗ ∗ ∗
(1.6) = ∈ L(V ⊕ V ) : A A − B̄ B̄ = 1, A B − B̄ Ā = 0 ,
B̄ Ā
where “L” stands for bounded operators, B̄ is the conjugate of B, and the
adjoint is computed with respect to the Hilbert space structure of V + ⊕
V − . We then have a fibration over a (non-Riemannian) symmetric bounded
domain
(1.7) 0 → U (V + ) → Sp(L) → {Z ∈ L(V + , V − ) : Z = Z̄ ∗ , Z ∗ Z < 1} → 0,
DIFFEOMORPHISMS ACTING ON THE DETERMINANT LINE BUNDLE 181
A
where A → , g → Z,
Ā
A B 1 A 1 W
(1.8) g= = .
B̄ Ā Z 1 Ā − ZAW 1
It is more common to consider proper operator ideals, especially Hilbert-
Schmidt operators in representation-theoretic contexts, in place of L above,
but our point will be that L is natural in our context.
To apply this to our context, let V denote the completion of Ω1 with
respect to our chosen complex structure on Σ,
Z
1
(1.9) V = θ ∈ Ωmeas : θ ∧ ∗θ < ∞ .
where M(Σ) is the moduli space of Riemann surface structures for Σ, with
basepoint j.
Remarks 1.11. (1) Note that there is a Aut(Σ)-equivariant mapping
(1.12) Ω0 (T ∗0,1 ⊗ T 1,0 ) → Ω0 : µ → µ ⊗ µ̄,
is a unitary representation, and suppose also that there exists a smooth vector
v ∈ H which is fixed by Aut(Σ) = P SL(2, C). Then v is fixed by all of D.
Proof. Given that v is fixed by Aut(Σ), there is a mapping
(1.20) D/Aut(Σ) → P(H) : [g] → P(g · v).
Since v is a smooth vector, this is a differentiable mapping, and hence we
can pull the Fubini-Study metric back to obtain a D-invariant (possibly
incomplete) Riemannian structure on D/Aut(Σ). But by considering the
isotropy action of Aut(Σ) at the base point, this means that we have a
Aut(Σ)-invariant unitary structure for the natural action
(1.21) Aut(Σ) × Ω0,1 (T 1,0 ).
But it is known that this particular representation for P SL(2, C) is not uni-
tarizable (see e.g. Chapter 1 of [K]). Since sl(2, C) is a maximal closed
subalgebra of vect(Σ), it follows that D must act trivially on v. This com-
pletes the proof.
This is the space of sections of a line bundle L → A/K, hence the notation. It
is easy to check that the natural action by pullback leads to a representation
(2.2) D × Ω0 (L) → Ω0 (L).
To unitarize this representation, it would suffice to have a D-invariant
measure on the base space A/K, since L has a natural Hermitian structure.
But such a measure does not exist. The point of this subsection is that this
naive idea can be made to work, provided that we choose an area form on
Σ, and restrict the representation to SDiff, the area-preserving diffeomor-
phisms.
So fix a smooth area form on Σ. We can then consider the Yang-Mills
measure, corresponding to temperature T , which is given heuristically by
184 DOUG PICKRELL
the expression
Z
1 1
(2.3) dνT −1 Y M (A) = exp F ∧ ∗F DA,
Z 2T
where F = dA is curvature. In this abelian context it is well-known that
one can interpret the projection of the heuristic expression (2.3) to A/K as
a Gaussian measure, and this Gaussian is SDiff-invariant. By definition the
“projection” is the Gaussian measure νT corresponding to the real Hilbert
space structure
Z
1 1
(2.4) F ·T F = F · F = − F ∧ ∗F,
T T
R
where F is an iR-valued two-form with F = 0. Since SDiff acts orthogo-
nally on this Hilbert space, νT is an SDiff-invariant measure. The question
that we must address is whether we can use this measure to integrate func-
tions of the form s1 s̄2 , for s1 , s2 ∈ Ω0 (L).
The most interesting sections are obtained in the following way. Choose
a complex structure for Σ. We then have an isomorphism
(2.5) A → Ω0,1
C0
: A → a = A0,1 , A = a − a∗ .
It is easy to check that the function
Z
∗
(2.6) det : A → C : A → exp i (a ∧ (a + Ha))
for the line bundle L over A/K, where we are viewing (R-valued) x ∈ C 1 /R
as a global coordinate. We can also interpret cA/K as a cocycle, i.e., it
satisfies the equation
(2.13) cA/K (σ1 ◦ σ2 ) = cA/K (σ1 )σ1 · cA/K (σ2 ),
for σ1 , σ2 ∈ D.
To understand why cA/K extends to the support of νT , and why the ex-
tension is an SDiff-cocycle, we must have an explicit formula for it. Let j
denote the original complex structure, and let j 0 = σ · j denote the trans-
formed complex structure; we do the same for the corresponding D-bar
operators, ∗-operators, and so on.
Lemma 2.14. Suppose that σ ∈ D, and let µ = µσ−1 .
(a) (∂¯0 )0,1 = (1 − µµ̄)−1 (∂¯ − µ∂).
(b) (∂¯0 )1,0 = µ̄(∂¯0 )0,1 .
(c) a0 = (1 + µ̄)(1 − µ conj)−1 a, where conj denotes conjugation.
(d) x0 = (∂¯ − µ∂)−1 (∂¯ + µ∂)x, for R-valued x; x0 = x, for iR-valued x.
¯ 1+∂¯¯−1
(e) ∂ 0 ∂¯0 = 2∂ ∂(
−1 µ∂ −1 ¯
+ 1+∂ µ̄∂ )−1 .
1−∂ µ∂ R1−∂ −1 µ̄∂¯
(f) σ · det ( det)∗ = exp(i (1− ∂¯−1 µ∂)−1 x∧F ) = exp(−S(µ)F ·F ). where
S(µ) = i ∗ (∂(∂¯ − µ∂))−1 .
(g) cA/K (σ, F ) = exp(−(S(µ) − S(0))F · F ).
(h) The real and imaginary parts of S(µ) are symmetric, with respect to
the real Hilbert space structure (2.4).
186 DOUG PICKRELL
Proof. This follows immediately from (2.13) and (2.26), since SDiff acts
orthogonally with respect to νT .
Although it is somewhat artificial in our current context, we can now view
L as a measureable line bundle over the support of νT , using the transition
functions cT (σ), σ ∈ SDiff.
|L|−2
Definition 2.30. We define a measure dνT having values in the line
bundle |L|−2 by
|L|−2 s1 s2 ∗ −T S(0)reg
s1 s̄2 dνT = e dνT ,
det det
where s1 , s2 are sections of L over the support of νT .
|L|−2
dσ∗ | det|2 dνT
Proposition 2.31. (a) |L|−2
= |cT (σ)|2 .
d| det|2 dνT
|L|−2
(b) dνT is SDiff-invariant.
Proof of (2.31). Part (a) follows immediately from the definition of the mea-
sure
|L|−2
(2.32) | det|2 dνT = e−T S(0)reg dνT
and the fact that σ∗ (S(0)reg ) = Re(S(µ)reg ), by (i) of (2.14).
Part (b) is a restatement of (a).
We can now define a SDiff-invariant unitary structure on sections of L
over the support of νT by
Z
|L|−2
(2.33) hs1 , s2 i = s1 s̄2 dνT .
Remarks 2.36. (a) There is a simple explanation for why the vector det
is not a smooth vector for the unitary action of SDiff. Given v ∈ Vect (Σ),
d
v · det|A = etv · det|A = det|A (d(log det)|A (−Lv A))
dt t=0 Z
¯−1 ¯−1 0,1
= i det|A (iv {∂ F } − ∂ {(iv F ) }) ∧ F .
The operator
F → ∗(iv {∂¯−1 F } − ∂¯−1 {(iv F )0,1 })
has order = −1, hence generally it is not Hilbert-Schmidt, and it is not
possible to regularize the corresponding quadratic form.
(b) The partition function of abelian Yang-Mills (at temperature T ) cou-
pled to fermions (with coupling constant 1) is the integral
Z
|L|−2 −1
Z(T ) = | det|2 dνT = ( det(1 + 4T ∆−1 )e−4T ∆ )−1/2 .
3. The limit T → ∞.
As in the preceding section, Σ denotes a genus = 0 oriented surface, and we
consider the representation (2.2). We fix a complex structure, so that we
have a distinguished section det. We also fix an area form, so that we can
use the Yang-Mills construction of the preceding section. Our objective is
to prove that the SDiff-submodule generated by the section det is unitary
with respect to the Hermitian inner product
Z
1 |L|−2
(3.1) hσ1 · det, σ2 · deti = lim cT (σ2−1 σ1 )| det|2 dνT ,
T →∞ Z(T )
Let C(σ) = S(µ) − S(0), where µ = µσ−1 . Using (g) of (2.14), we see that
(2.13) translates into the equality of operators
(3.24) C(σ1 ◦ σ2 ) = C(σ1 ) + σ1 C(σ2 )σ1−1 ,
for σ1 , σ2 ∈ SDiff. It follows from (3.23) and (3.24) that
(3.25) SDiff → C : σ → FPtr(∆−s C(σ))
is a homomorphism of groups. But the only such homomorphism of groups
is the trivial map. We therefore conclude that
(3.26) FPtr(∆−s (S(µ) − S(0))) = 0,
provided that µ corresponds to a σ ∈ SDiff. [Note: There is a more direct
way to see that the real part of (3.26) is zero, for by (i) of (2.14) and (3.23),
(3.27) ReFPtr(∆−s (S(µ) − S(0))) = 2FPtr(∆0−s ∆0−1 − ∆−s ∆−1 ) = 0.]
Now the principal symbol of S(µ) is of the form
(3.28) ρ|ξ|−2 (1 − ξ µ̃ξ)−1 ,
where ρ and µ̃ are the local representations for µ and our fixed area ele-
ment, respectively. Since the density for Re s(S(µ)) can be computed by
integrating over |ξ| = 1, it follows that Re s(S(µ)) is independent of µ. Now
combining this with (3.21) we have
det((1 + 2T S(µ))e−2T S(µ) )
(3.29)
det((1 + 2T S(0))e−2T S(0) )
detζ T1 ∆2 + ∆2 2S(µ) −2T F Ptr(∆−s S(µ)−∆−s S(0))
= e
detζ T1 ∆2 + 4∆
for any µ. By (3.26), if µ corresponds to σ ∈ SDiff, then the exponential
term vanishes. One can now take the limit T → ∞. This completes the
proof.
Remarks 3.30. It is very unlikely that (3.26) vanishes for a general µ,
hence the limit in (3.2) probably does not exist for general µ. But this
makes perfectly good sense for the following reason. In the previous section,
following standard practice in probability theory, we regularized
(3.31) σ · det( det)∗ = exp(−S(µ)F · F )
by subtracting a trace, that is we replaced S(µ)F ·F by “S(µ)F ·F −trS(µ)”,
where this had to be properly interpreted as a random variable with respect
to νT . The proof of (3.2) makes it clear that this is inadequate; we should
actually have replaced (3.31) by
(3.32) exp(−T FPtr(∆−s S(µ))) exp(−T S(µ)reg(νT ) ),
that is, we should have added the trace back in! If we make this change,
then the limit in (3.2) exists for all µ.
194 DOUG PICKRELL
of holonomy functors. This is described in [Pi], see especially §2.5 for the
abelian case. The resulting completion of C has the structure of a principal
bundle
C completion ← H 1 (Σ, T)
(4.8) R ↓
{F ∈ Ω : F = 0}completion
2
(4.12) ¯ 0 ⊕ ker(∂),
Ω0,1 = ∂Ω ¯ + a0
a = ∂x
¯ uniquely determines x ∈ Ω0 /C. Note that x depends
because ∂a = ∂ ∂x
holomorphically on a. The function
(4.13)
Z Z
i ∗ ¯ −1 i ∗
exp {a ∧ a − ∂a ∧ (∂ ∂) ∂a} = exp (a0 ∧ a0 + x ∧ F )
2π 2π
satisfies the transformation property (4.2) for g = exp(ξ) ∈ K0 , the identity
component of K. It follows that the section det has the form
Z
i ∗
(4.14) det(A) = exp (a0 ∧ a0 + x ∧ F ) Θ(a),
2π
where Θ is a holomorphic function which is K0 -invariant, hence G 0 -invariant,
where G is the complexification of K. Thus Θ descends to a function on H 0,1 .
For g ∈ K, not necessarily in the identity component, as in (4.12) we can
write uniquely
(4.15) g −1 dg = dξ + θ, g −1 ∂g
¯ = ∂ξ¯ + θ0,1
196 DOUG PICKRELL
Θ(a + g −1 ∂g)
¯
det(A + g −1 dg)
= i ¯ ∧ (a + g −1 ∂g)
¯ ∗ − ∂(a + g −1 ∂g)
¯ ∧ x(a + g −1 ∂g)}
¯
R
exp 2π {(a + g −1 ∂g)
Z
i −1
1,0 0,1 ∗ 1,0
= exp A ∧ g dg − −a ∧ θ + θ ∧ (a − θ ) Θ(a)
2π
Z
i 0,1 0,1 1,0
= exp a ∧ 2θ − θ ∧ θ Θ(a).
2π
Thus Θ : H 0,1 → C satisfies
Z
0,1 i 1,0 0,1 1,0
(4.17) Θ(a + λ ) = exp a ∧ 2λ −λ ∧λ Θ(a)
2π
for all a ∈ H 0,1 , λ ∈ H 1 (Σ, 2πiZ). This implies that Θ is essentially Rie-
mann’s theta function
Z
1 X i 1,0 0,1
(4.18) Θ(a) = exp λ ∧ (a + 2λ ) .
Z 2π
λ
Remark 4.19. If we choose a spin structure q as in (b) of (4.3), i.e., a square
root of the canonical bundle, then we can identify Lq with the determinant
line of the family of Fredholm operators {∂¯κ1/2 + a : a ∈ Ω0,1 }, equipped
with the Quillen metric. In this case the section det is identified with the
canonical section, and (4.18) is replaced by the normalized theta function
Z
1 X q i 1,0 0,1
(4.20) Θq (a) = (−1) exp λ ∧ (a + 2λ ) .
Z 4π
Now suppose that σ ∈ D. As in (2.14) we denote transformed objects
using primes.
Lemma 4.21.
(a) (∂¯0 )0,1 = (1 − µµ̄)−1 (∂¯ − µ∂).
(b) (∂¯0 )1,0 = µ̄(∂¯0 )0,1 .
(c) a0 = (1 + µ̄)(1 − µ conj)−1 a, where conj denotes conjugation.
(c)0 a00 = f (µ, a0 ), where f depends linearly on a0 .
(d) x0 = (∂ ∂¯ − ∂µ∂)−1 {(∂ ∂¯ + ∂µ∂)x + ∂[µā0 + A00,1 01,0
0 − µA0 ]}, for R-valued
x, where A0 = a0 − ā0 .
¯ ∂¯ − ∂µ∂)−1 (∂ ∂¯ − ∂µ∂) + ∂[µā0 + A00,1 − µĀ01,0 ]+
(e) ∂ 0 ∂¯0 = 2∂ ∂((∂ 0 0
conjugate)−1 .
DIFFEOMORPHISMS ACTING ON THE DETERMINANT LINE BUNDLE 197
(f)
σ · det( det)∗
= exp(−S(µ)F · F )
Z
i ¯ −1
h
00,1 01,0
i
· exp (∂ ∂ − ∂µ∂) ∂ µā0 + A0 − µĀ0 ∧F
2π
Z
i
· exp (a00 ∧ ā00 + a0 + ā0 ) Θ0 (a00 )Θ̄(a0 ),
2π
where S(µ) = 2π i
∗ (∂ ∂¯ − ∂µ∂)−1 .
(h) The real and imaginary parts of S(µ) are symmetric, with respect to
the real Hilbert space structure (2.4).
(i) Re(S(µ)) = i ∗ (∂ 0 ∂¯0 )−1 = 2 ∗ ∗0 ∆0−1 (on 2-forms); hence if σ ∈ SDiff,
ReS(µ) = 2∆0−1 .
Proof of (4.21). If we view a as the projection (Ω1 )C → Ω0,1 , then using
(1.10),
A(σ −1 ) B(σ −1 )
0 ∗ A(σ) B(σ) 1
(4.22) a = σ∗ ◦ a ◦ σ =
B̄(σ) Ā(σ) 0 B̄(σ −1 ) Ā(σ −1 )
A(σ)A∗ (σ) −A(σ)B̄ ∗ (σ)
=
B̄(σ)A∗ (σ) −B̄(σ)B̄ ∗ (σ)
(1 − µµ̄)−1 −(1 − µµ̄)−1 µ
=
µ̄(1 − µµ̄)−1 −µ̄(1 − µµ̄)−1 µ
(1 − µµ̄)−1
1 1 −µ
= .
µ̄ 1 0 1
If we apply this to a one-form of the form df = ∂f ¯ + ∂f , then we obtain
(a) and (b). If we apply this to a one-form of the form A = a − ā, then we
obtain (c).
Similarly, if we view a0 as the projection onto ker(∂ : Ω0,1 → Ω2 ), then
A(σ)a0 A∗ (σ) −A(σ)a0 B̄ ∗
0 ∗
(4.23) a0 = σ∗ ◦ a0 ◦ σ = .
B̄(σ)a0 A∗ (σ) −B̄(σ)a0 B̄ ∗
If σ ∈ Aut(Σ), then σ ◦ a0 ◦ σ ∗ = a0 ; this implies (c)0 (although we would
dearly love to have an explicit formula).
Assuming that x is real, as in the proof of (2.13),
(4.24) ¯ + a0 = (1 + µ conj)−1 (∂¯ − µ∂)x0 + (a0 − ā0 )0,1
a = ∂x 0 0
0 00,1
=⇒ (∂¯ + µ∂)x + a0 + µā0 = (∂¯ − µ∂)x + A − µA01,0 .
0 0
(4.28) Z
|L|−2
φT (σ) = hπT (σ) · det, deti = σ · det( det)∗ dνT
Z
1 0 2 2
= e−T Sreg +T L·T F − 4π (|A0 | +|A0 | ) Θ0 Θ̄dνT
Z
−2T S −1/2 T −1 1 0 2 2
e 2 (1+2T S) L·L e− 4π (|A0 | +|A0 | ) Θ0 Θ̄
= det (1 + 2T S)e
with respect to the translation invariant measure on the torus H 1 (Σ, T).
detζ (4∆)1/2
Z
¯ 1 0 2 +|A |2 )
= e2πi∗(∂ ∂−∂µ∂)L·L e− 4π (|A0 | 0
Θ0 Θ̄
detζ (2∆2 (∂ ∂¯ − ∂µ∂)−1 )1/2
References
[C] A. Connes, The Dixmier trace and the Wodzicki residue, preprint; incorporated into
Noncommutative Geometry, Academic Press, 1994.
[G] K. Gawedzki, Lectures on conformal field theory, School of Mathematics, IAS,
Princeton, 1996, to appear.
[I] R.S. Ismagilov, Representations of Infinite-Dimensional Groups, AMS Translations
of Mathematical Monographs, 152 (1996).
[K] A. Knapp, Representation Theory of Semisimple Groups, Princeton University
Press, 1986.
[KV] M. Kontsevich and S. Vishik, Geometry of determinants of elliptic operators, in
Functional Analysis on the Eve of the 21st Century, 1 (New Brunswick, NJ, 1993),
Prog. Math., 131, Birkhauser, (1995), 173-197.
[L] O. Lehto, Univalent Functions and Teichmuller Spaces, Springer-Verlag, 1986.
[Pi] D. Pickrell, On Y M2 measures and area-preserving diffeomorphisms, J. Geom. and
Physics, 19 (1996), 315-367.
[R] R. Ramer, On nonlinear transformations of Gaussian measures, J.F.A., 15 (1974),
166-187.
[Sen] A. Sengupta, Gauge theory on compact surfaces, Memoirs of the AMS, 126(600)
(1997).
[Sh] M.A. Shubin, Pseudodifferential Operators and Spectral Theory, Springer-Verlag,
1987.
University of Arizona
Tucson, AZ 85721
E-mail address: Pickrell@math.arizona.edu
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
Krzysztof Rózga
1. Introduction.
There has been a renewal of an interest in loop theory in recent years, con-
cerning a special non-associative loop structure called a gyrocommutative
gyrogroup, known also under the name of a K-loop. It began with a paper
by A. Ungar [15], who pointed it out that the addition law of relativistic ve-
locities leads to an interesting algebraic structure on a unit ball in Rn , which
he originally called a K-loop. Further properties of these structures under
the name of gyrogroups and gyrocommutative gyrogroups were summarized
in [16]. Concerning terminology, see also remarks in [8].
Independent studies by A. Kreuzer [9] and H. Karzel, and H. Wefelscheid
[4] clarified the status of gyrocommutative gyrogroups within the framework
of loop theory and provided some important constructions generalizing an
example of Ungar.
In fact, gyrocommutative gyrogroups or similar structures were contem-
plated, although not explicitly under that name, by M. Kikkawa [5], in
relation to symmetric spaces and by P. Miheev and L. Sabinin in relation
to so called odular structures, [10]. That first aspect of gyrocommutative
gyrogroups has been discussed by Y. Friedman and A. Ungar in [2] and
recently by W. Krammer and H.K. Urbantke in [8].
One can obtain more examples of gyrocommutative gyrogroups by means
of their extensions. Such extensions are in fact extensions of loops. These
were discussed a long time ago by R.H. Bruck in [1]. They generalize exten-
sions of groups (see for example [12]). As for groups, the simplest among
201
202 K. RÓZGA
their extensions are the ones with an abelian kernel, which include central
extensions as well [12]. They are constructed, in principle, via a 2-cocycle,
i.e. a 2-cochain f (x, y) subject to a cocycle equation,
under the assumption that the group under consideration acts trivially on
an abelian group.
Central invariant extensions of gyrocommutative gyrogroups, in a narrower
sense, were defined in [14] and then employed with a particular purpose of
reconstructing from a gyrocommutative gyrogroup of relativistic velocities,
the Lorentz group, i.e. SO0 (1, n); more specifically a standard matrix rep-
resentation of that group. As far as central extensions are concerned it was
assumed that the operators generating the left associant of an extension (in
terminology of [10]) or the structure group of an extension (in terminology
of [9]) are central (in the sense of [14]). That assumption resulted in an
equation for the corresponding 2-cochain f (x, y) which the authors called a
cocycle equation. Thus, in principal the cocycle equation was incorporated
into a definition of a central extension of a gyrocommutative gyrogroup. It
reads,
algebras. It turns out that any central invariant extension of the latter struc-
ture, if it is a gyrocommutative gyrogroup, then it arises from a 2-cochain
which satisfies a cocycle equation of [14], (2), (Theorem 29).
Proof. Indeed, (15) follows directly from (iii) of Definition 1. (16) is a con-
sequence of the fact that G ⊂ A(E) and (15). e−1 is understood here as the
right inverse of e in the loop E.
For B-loops right and left inverses coincide [11]. Due to (14) we have,
(22) u(x) · u(x−1 ) = f (x, x−1 ),
and consequently
(23) u(x−1 ) = [u(x)]−1 · f (x, x−1 ).
Next,
(24) u(x−1 ) · u(x) = f (x−1 , x),
The expression for ∆f is different from the one for δf , (5). Indeed, those
two are related by,
(40) δf (x, y, z) = ∆f (x, y, z) · f (x · y, z) · [f (y · x, z)]−1 .
However, it is ∆f rather than δf , which is important in analysis of
identities of Propositions 8-10. We have now a sequence of a Proposition
and two Theorems that correspond to Propositions 8-10 in case of central
invariant extensions.
Proposition 13. Let M be a gyrocommutative gyrogroup. The central in-
variant extension E = (G, M, f ) is a B-extension if and only if,
(41) ∆f (x, y · x, `(y, x)z) · ∆f (y, x, z) = 1.
Proof. We rewrite (27) as,
(42)
f (v, u · (v · w)) · f (u, v · w) · f (v, w) = f (v · (u · v), w) · f (v, u · v) · f (u, v).
From (39) we infer that
(43) f (u, v · w) · f (v, w) · ∆f (u, v, w) = f (u, v) · f (v · u, w).
Hence (42) can be put into,
(44) f (v, u · (v · w)) · f (v · u, w) = f (v · (u · v), w) · f (v, u · v) · ∆f (u, v, w).
However,
(45) u · (v · w) = (u · v) · `(u, v)w
and
(46) f (v · u, w) = f (`(u, v)(v · u), `(u, v)w) = f (u · v, `(u, v)w),
since M is a gyrocommutative gyrogroup and (38) holds. Consequently, (44)
can be rewritten as,
(71) ∆f (x, y, y) = 1,
and
(72) ∆f (a, b, c) = ∆f (c, a, b) = ∆f (b, c, a).
Proof. We prove (70)-(72) first. In order to prove (70) it suffices to apply
a definition of ∆f, and (69). Next we employ identities, (58) and (59) of
Theorem 16. In particular, in (58) we substitute x = a, y = b/a and z = c.
Since M is a B-loop (even a gyrocommutative gyrogroup), then (see [10],
[13]),
(73) b/a = a−1 · ((a · b) · a−1 ).
Feeding that back into (58), applying (70) and (59), one arrives at,
(74) ∆f (a, b, c) = ∆f (c, a, b) · ∆f (c, a, a−1 ).
Putting b = 1, one infers that ∆f (c, a, a−1 ) = 1, which due to (59) is
equivalent to ∆f (c, a, a) = 1. That in turn is equivalent to (71). Now, (74)
reads,
(75) ∆f (a, b, c) = ∆f (c, a, b),
which implies (72).
Next, it is not difficult to prove the principal assertion of the Proposition.
Indeed, it suffices to prove the identity (64) of Theorem 17. That identity
is a straightforward consequence of (69), (59) and (70)-(72).
We close this section with a Theorem.
Theorem 20. Let M be a gyrocommutative gyrogroup and E = (G, M, f ) a
symmetric, invariant, BA-extension. E is a BAI-extension if and only if,
(76) ∆f (x, y, z · w) = ∆f (x, y, z) · ∆f (x, y, w),
(78) ∆f (x, y, y) = 1,
and
(79) ∆f (x, y, z) = ∆f (z, x, y) = ∆f (y, z, x).
Proof. Indeed, necessity of these conditions follows from Theorem 16 and
Proposition 19 . Conversely, it is not difficult to infer from them (58).
Thus, according to Theorem 16, E is a BA-extension and by Proposition
19, it is a BAI-extension.
it is the inverse of p in the loop (P, ?). Indeed, 1 = pp−1 = (p?p−1 )h(p, p−1 ).
Consequently, p ? p−1 = 1. The same is true for p−1 ? p.
Theorem 22. Let (G, H) be a pair of a noncompact type associated with
(g, θ), G = P H the corresponding exact decomposition of G and ? a binary
operation on P determined by the decomposition. Then (P, ?) is a smooth
gyrocommutative gyrogroup.
The following fact will be useful in a sequel.
Lemma 23. Let n be a positive integer, n ≥ 2 and p1 , . . . , pn ∈ P . Then,
(82) pn pn−1 · · · p2 p1 = qn hn ,
where qn , hn are elements of P and H respectively, determined recursively
by,
(83) q1 = p1 , h1 = 1,
and (see (81)),
(84) qk+1 = pk+1 ? qk , hk+1 = h(pk+1 , qk )hk ,
for k = 1, . . . , n − 1.
Proof. By induction. For n = 2 it follows from (81). Suppose the assertion
is true for n = m. Take n = m + 1. Then,
pm+1 pm · · · p1 = pm+1 qm hm = (pm+1 ? qm )h(pm+1 , qm )hm ,
where the last equality is inferred from (81). Hence qm+1 = pm+1 ? qm , and
hm+1 = h(pm+1 , qm )hm . Thus the assertion is true for n = m + 1.
Now we can prove the following Proposition.
Proposition 24. Let (G, H) be a pair of noncompact type associated with
(g, θ), where g is simple. Let G = P H be the corresponding exact decompo-
sition of G. Then, the group G is generated by the set P and the subgroup
H is generated by the set
(85) S = {h(p1 , p2 ) : p1 , p2 ∈ P },
in the sense that any element of G or H is a product of a finite number of
elements of P or S respectively.
Proof. Indeed, the homogeneous space G/H of the pair (G, H) is reductive
(see [7], p. 27), because Ad(h)p ⊂ p, for all h ∈ H (see [3]). Then, ([7],
p. 27), l = p + [p, p] is a nontrivial ideal of g and the corresponding connected
normal subgroup of G is generated by the set P = {exp(X) : X ∈ p}.
However, since g is simple l = g and G itself is generated by the set P .
To prove the second part of this Proposition, assume that h ∈ H. Then
according to the first part of the Proposition there exists a finite sequence
p1 , . . . , pn of elements of P , such that h = pn · · · p1 . Employing Lemma
214 K. RÓZGA
Appendix.
For completeness of presentation we clarify here how the definitions of gy-
rogroup and gyrocommutative gyrogroup used in this paper correspond to
the original ones.
According to [16] a gyrogroup is a grupoid (M, ·) satisfying the following
axioms.
(G1) There is an element 1 ∈ M , such that,
1 · x = x,
for all x ∈ M.
(G2) For each x ∈ M there is an a ∈ M such that
a · x = 1.
(G3) For any x, y, z ∈ M there exists a unique element gyr[x, y]z ∈ M
such that
x · (y · z) = (x · y) · gyr[x, y]z.
(G4) If gyr[x, y] denotes the map of M into M , given by z 7→ gyr[x, y]z
then gyr[x, y] ∈ Aut(M, ·).
(G5) For all x, y ∈ M
gyr[x, y] = gyr[x · y, y].
CENTRAL EXTENSIONS OF GYROGROUPS 217
From these axioms one can infer (see [16]) that the equation x · y = z has
a unique solution for x or y, given the other two elements. Thus (M, ·) is a
loop, [11].
Proposition 30. Let (M, ·) be a loop. (M, ·) is a gyrogroup if and only if
it is an A-loop and it is a left Bol loop, [11].
Proof. Indeed, suppose that (M, ·) is a gyrogroup. Then (G3) can be rewrit-
ten into gyr[x, y]z = L−1 x·y Lx Ly z = `(x, y)z. Hence gyr[x, y] = `(x, y). There-
fore (G3) and (G4) are equivalent to the statement that (M, ·) is an A-
loop. To prove Bol-identity we calculate Lx Ly Lx z = x · (y · (x · z)) =
x · ((y · x) · `(y, x)z) = (x · (y · x)) · `(x, y · x)`(y, x)z. However, (see [16]),
`(x, y · x) = `(x, y) and `(y, x) = (`(x, y))−1 . Hence Lx Ly Lx = Lx·(y·x) ,
which is a Bol identity, (6).
Conversely, let (M, ·) be an A − loop and a Bol loop. Then (G1) −
(G4) hold automatically. It suffices to prove (G5). We obtain, L(x·y)·y =
L(x·y)·(x−1 ·(x·y)) = Lx·y Lx−1 Lx·y , where we have employed the fact that for
Bol loops `(x, x−1 ) = `(x−1 , x) = Lx−1 Lx = idM , [11]. Therefore
L−1 −1 −1 −1 −1
(x·y)·y Lx·y Ly = Lx·y Lx−1 Lx·y Lx·y Ly = Lx·y Lx Ly , which is equivalent to
`(x · y, y) = `(x, y), which is (G5).
References
[1] R.H. Bruck, An extension theory for a certain class of loops, Bull. Am. Math. Soc.,
57 (1951), 11-26.
[2] Y. Friedman and A. Ungar, Gyrosemidirect product structure of bounded symmetric
domains, Res. Math., 26 (1994), 28-38.
[3] S. Helgason, Differential Geometry and Symmetric Spaces, Pure and Applied Math-
ematics, Academic Press, New York, 1962.
218 K. RÓZGA
Received February 24, 1998 and revised August 19, 1998. This work has been supported
by NFS grant #OSR-9452892 from NDSU EPScoR.
Sangwon Seo
1. Introduction.
This paper is concerned with the investigation of large time behavior of
solutions to parabolic initial value problem subject to nonlocal boundary
condition which describes the entropy in a quasi-static theory of thermoe-
lasticity, namely,
ut (x, t) = ∆u(x, t) + µu, (x, t) ∈ Ω × (0, T ),
Z
(1.1) u(z, t) = f (z, y)u(y, t) dy, z ∈ ∂Ω, 0 < t < T,
Ω
u(x, 0) = u0 (x), x ∈ Ω,
where u0 (x) are assumed to be continuous on Ω and µ is a constant. The
function f (z, y) is defined for z ∈ ∂Ω and y ∈ Ω and continuous functions
in y ∈ Ω for each z ∈ ∂Ω. Since for each z ∈ ∂Ω, f (z, y) plays the weight
of integration in (1.1), the function f (z, y) is called weights throughout this
paper. Denote DT = Ω × (0, T ) and DT ∪ ΓT = Ω × [0, T ). The variable
z stands for a generic point of boundary ∂Ω. The large time behavior
of the solution u to Problem (1.1) is studied by taking an upper bound
for u in Section 2. It is shown that the solution of Problem (1.1) with
large weights f (z, ·) for each z ∈ ∂Ω has an exponential lower bound in
Section 3. Moreover, it is shown that the difference between maximum and
minimum value on the boundary ∂Ω can decrease if the weights are zero
on a nonempty subset of ∂Ω in z and zero on the boundary in y, that is,
f (z, y) = 0, z ∈ Γ ⊂ ∂Ω for all y ∈ Ω and f (z, y) = 0, y ∈ ∂Ω.
219
220 SANGWON SEO
2. Global existence.
Under the convexity assumption on the domain Ω and the following assump-
tions on the weights;
(2.1) kf (z, ·)k1 < 1 for each z ∈ ∂Ω,
it was known ([3]) that the maximum modulus maxx∈Ω |v(x, t)| of solution
v to the parabolic equation,
vt = ∆v + νv, ν ≤ 0,
subject to the nonlocal boundary conditions in (1.1) decreases, moreover, it
was shown the exponential decay of the solution; there are some constants
c1 and γ > 0 such that
(2.2) max |v(x, t)| ≤ c1 e−γt .
x∈Ω
GLOBAL EXISTENCE AND DECREASING PROPERTY 221
On the other hand, the author of [2] set up an example of one dimensional
problem with µ = 0 and weights that violate (2.1), such that its maximum
modulus of solution increases exponentially. In this paper, basic assumption
on the weights is that
f (z, y) ≥ 0 for y ∈ Ω,
for each z ∈ ∂Ω. One of the main concern is to find an upper bound of
solutions in (1.2) with nonnegative weights in the integrals of boundary
conditions which guarantees the global existence. For Problem (1.1) with
arbitrary nonnegative weights, the author could not find other results about
global existence. For convenience, let the domain Ω = {x = (x1 , x2 ) ∈ R2 :
|x| < 1}. The results derived here can be extended to higher dimension
without difficulties.
The choice of the function S(x, t) depends on the weights and supx∈Ω u0 (x).
If a satisfies
( 1/2 1/2 )
√
1 + 2a 1
(2.5) 2π + max {kf (z, ·)k2 } ≤ 1,
4a2 2a z∈∂Ω
(2.6) {kp(·, t)k2 + kq(·, t)k2 } kf (z, ·)k2 < Aeκt for each z ∈ ∂Ω.
222 SANGWON SEO
Note that
∂S
(0, t) = 0, t > 0,
∂r
n o
ar−1 ea(r−1) − e−a(r+1) ≤ ar−1 ea(r−1) ,
n o
lim ar−1 ea(r−1) = a2 e−a ,
r→0
ea(r−1)
+ e−a(r+1) ≥ 2e−a .
Since ar−1 ea(r−1) is decreasing for r < 1/a and increasing for r > 1/a, one
has ar−1 ea(r−1) ≤ max{a2 e−a , a}. Choose the constant a so large that (2.5)
holds and,
a2 e−a < a, ar−1 ea(r−1) ≤ a,
and take an integer k ≥ 2 so that 2ak e−a > a. Now let
κ ≥ a2 + ak + µ.
Then, by the choice of κ, k and a, we see that S = p + q satisfies
St = κS
≥ ak S + a2 S + µS
n o
= Aeκt ak ea(r−1) + e−a(r+1) + a2 S + µS
≥ Aeκt ak (2e−a ) + a2 S + µS
≥ Aeκt a + a2 S + µS
≥ Aeκt ar−1 ea(r−1) + a2 S + µS
≥ Aeκt ar−1 ea(r−1) − e−a(r+1) + a2 S + µS
∂S ∂ 2 S
= r−1 + 2 + µS
∂r ∂r
= ∆S + µS on DT ,
and by the inequality (2.6), we obtain for z ∈ ∂Ω,
S(z, t) = p(z, t) + q(z, t) = A eκt + eκt e−2a
> Aeκt
> kf (z, ·)k2 (kp(·, t)k2 + kq(·, t)k2 )
Z
≥ f (z, y)(p + q) dy
Ω
Z
= f (z, y)S(y, t) dy, 0 < t < T.
Ω
GLOBAL EXISTENCE AND DECREASING PROPERTY 223
Note that above inequalities hold for arbitrary positive constant A. After
choosing a and κ, let A satisfy 2Ae−a > supx∈Ω u0 (x). Then one has
n −a(r+1)
o
S(x, 0) = A ea(r−1)+e ≥ sup u0 (x).
x∈Ω
Since kf (z, ·)k1 /F 2 (z) < 1 for each z ∈ ∂Ω and µ ≥ 0, one has v ≤ c1 e−γt
for some positive constants c1 and γ by (2.2) and Theorem 1.1. Therefore,
the solution u to Problem (1.1) satisfies (3.2) with c2 = c−1
1 .
For weights satisfying (3.1), consider maximum and minimum of bound-
ary values;
M (t) = max u(z, t), m(t) = min u(z, t).
z∈∂Ω z∈∂Ω
Let M (t) = u(α, t), m(t) = u(β, t) for some α, β ∈ ∂Ω. Then, if
(3.3) f (α, y) > f (β, y) for each y ∈ Ω,
the difference δ(t) = M (t) − N (t) satisfies
Z
δ(t) = {f (α, y) − f (β, y)}u(y, t) dy
(3.4) Ω
References
[1] W.A. Day, Extensions of a property of the heat equation to linear thermoelasticity
and other theories, Quart. Appl. Math., 40(3) (1982/83), 319-330.
[2] , A decreasing property of solutions of parabolic equations with applications to
thermoelasticity, Quart. Appl. Math., 40(4) (1982/83), 468-475.
[3] A. Friedman, Monotonic decay of solutions of parabolic equations with nonlocal bound-
ary conditions, Quart. Appl. Math., 44(3) (1986), 401-407.
226 SANGWON SEO
[4] Keng Deng, Comparison principle for some nonlocal problems, Quart. Appl. Math.,
50 (1992), 517-522.
Received July 29, 1998 and revised September 3, 1998. This work is partially supported
by KOSEF.
1. Introduction.
Weakly embedded polar spaces were introduced by Lefèvre-Percsy, see e.g.,
[4] (although she had a stronger notion of weak embedding, but it was
proved to be equivalent with the present one by Thas & Van Maldeghem
[11, Lemma 2]). In the same paper, she proves that the number of points
of a weakly embedded polar space Γ on a secant line (i.e., a line of the pro-
jective space not belonging to the polar space and meeting P π in at least
two points) is a constant (and hence does not depend on that line). Fol-
lowing Thas & Van Maldeghem [11], we call this constant the degree of the
weak embedding. In [3], Lefèvre-Percsy classifies the finite weakly embed-
ded generalized quadrangles (which are the nondegenerate polar spaces of
rank 2) in PG(3, q). All those thick weak embeddings have automatically
227
228 H. VAN MALDEGHEM
degree > 2. In Thas & Van Maldeghem [12], all weakly embedded general-
ized quadrangles in finite projective space are classified. Also, Steinbach &
Van Maldeghem [9] classify the weakly embedded generalized quadrangles
of degree > 2 in arbitrary projective space. In the present paper, we com-
plete the classification of all weakly embedded generalized quadrangles in
any projective space by considering the case of degree 2. This has been an
open problem for almost twenty years and it is a far-reaching generalization
of a result of Dienst [2], who classifies all full embeddings of generalized
quadrangles in arbitrary projective space. A full embedding satisfies con-
ditions (i), (ii) and (iii) (of the abstract) and the additional condition that
every point in PG(V ) of the image of every line of the quadrangle is also
the image of a point of the quadrangle. A direct and elementary argument
then shows that a full embedding also satisfies condition (iv). Hence every
full embedding is also a weak embedding. Dienst’s result says that only the
classical Moufang quadrangles turn up with their natural embedding in a
(possibly degenerate) polarity, see Tits [15]. Asking for a further general-
ization (i.e., embeddings satisfying only conditions (i), (ii) and (iii) in the
abstract above and calling this a lax embedding) is not reasonable, as is
evidenced by the fact that one can then laxly embed a freely constructed
finitely generated generalized quadrangle (in the sense of Tits [18]) in some
projective space; see Section 8 below. Hence, our result is the best one
can do and finishes the general problem. It also provides new and indepen-
dent proofs for the full case (Dienst [2]) and the finite case (Thas & Van
Maldeghem [12]).
Finding new techniques was essential because, unlike the finite case, there
are generalized quadrangles which can be weakly embedded in projective
space, but which do not admit a full embedding. In fact, all Moufang quad-
rangles can, up to duality, be weakly embedded, except for the exceptional
ones (see below, also for a list of the generalized quadrangles, Γ say, such that
Γ and the dual generalized quadrangle ΓD is weakly embeddable). Hence
the classification of weakly embedded general quadrangles requires methods
which are different from those used in the finite or full case. One of the
tools we use is the classification of all Moufang quadrangles, recently fin-
ished by Tits & Weiss [20], but not yet available in the literature. Without
invoking this classification, our result remains true if restricted to all known
generalized quadrangles. But we emphasize the fact that the part of the
classification that we use, namely, that every Moufang quadrangle is in a
well defined list (to the classes of Moufang quadrangles enumerated in Tits
[16], one has to add the so-called exceptional quadrangles of type F4 , discov-
ered by Richard Weiss in February 1997, and proved to be of exceptional
type by Mühlherr & Van Maldeghem [5]), is completely finished; the yet
unfinished parts in the manuscript of Tits & Weiss [20] merely concern the
existence problem, which does not affect our proof.
WEAKLY EMBEDDED QUADRANGLES 229
Note that results of Steinbach [7] and Thas & Van Maldeghem [11] treat
the same kind of question for polar spaces with some additional conditions.
In all cases, the assumptions imply that the polar space is classical (i.e.,
arises from a vector space with form). In the present paper, we hypoth-
esize an arbitrary generalized quadrangle weakly embedded of degree 2 in
arbitrary projective space and prove that it must belong to the class of so-
called Moufang quadrangles. Then we have to treat several classes (amongst
them the classical cases). In the course of our proof, we slightly improve
the result of Steinbach & Van Maldeghem [9] in that we determine when a
weak embedding π : Γ → PG(V ) is obtained from a full embedding in a
subspace of V (defined over a skew subfield of K) by extending the ground
field. In Section 8, we put together the results of the present paper with
those of Steinbach & Van Maldeghem [9] and list all generalized quadrangles
weakly embedded in projective space. We then also show that no further
generalization is possible.
So the eventual determination of all weakly embedded generalized quad-
rangles of degree 2 requires some knowledge about the classification of
Moufang quadrangles. We will introduce notation and repeat some known
results in the next section.
3. Main Result.
Main Result. Let π be a weak embedding of degree 2 of a thick generalized
quadrangle Γ in the projective space PG(V ), where V is a vector space over
the skew field K (not necessarily finite-dimensional). Then Γ is a Moufang
quadrangle. Up to isomorphism, we have the following cases:
We remark that part of the proof of the Main Result is contained in other
papers. Indeed, the classification of weak embeddings of generalized quad-
rangles arising from a vector space with a form has been done in Steinbach
[7] and Steinbach & Van Maldeghem [9], independently of the degree of the
weak embedding. The latter reference also covers the mixed case. It is only
when it became clear to us that for degree 2, the Moufang condition can
be proved, that a complete classification came into reach. This reduction to
the Moufang quadrangles is the crux of the proof. It is based on a lemma
of Steinbach [8].
x of Γ there is a point Fx0 of the associated quadric with π(x) = Kx0 . Every
point of the quadric arises in this way.
Proof. By Steinbach [7], Steinbach & Van Maldeghem [9, (5.1.1)], the weak
embedding π is induced by a semi-linear mapping. Hence there exists an
embedding α : L → K and a semi-linear mapping ϕ : W → V such that
π(Lw) = Kϕ(w), for all points Lw of Γ.
Since the degree of π is 2, we may conclude as follows that ϕ is injective.
By Steinbach & Van Maldeghem [9, Subsection 5.3], we know that kerϕ ⊆
Rad(W, f ), where f is the bilinear form associated to the quadratic form q
defining Γ. If 0 6= r ∈ Rad(W, f ) with ϕ(r) = 0, then there exist vectors
x, y ∈ W such that Lx, Ly and L(x + y + r) are (noncollinear) points of
Γ. But then π(L(x + y + r)) is a third point on the secant line spanned by
π(Lx) and π(Ly), a contradiction.
We consider the subspace V0 := ϕ(W ) of V (over the commutative subfield
F := α(L) of K). We define a quadratic form Q : V0 → F of Witt index
2, by Q(ϕ(w)) := α(q(w)), for w ∈ W . This yields an orthogonal space
isomorphic to W . Now Lemma 5.1 is obvious.
The proof of Lemma 5.1 shows that the semi-linear mapping ϕ inducing
π is injective. Hence for each L-basis B of W , the set ϕ(B) is an F-basis of
V0 . Our next aim is to decide when an F-basis of V0 is a K-basis of V in
Lemma 5.1.
General setting 5.2. We start with a more general setting (to prove the
next lemma in full generality). Let W be a (left) vector space over some
skew field L endowed with one of the following nondegenerate forms of Witt
index 2:
(a) a pseudo-quadratic form q on W (with associated (σ, )-hermitian form
f ),
(b) a (σ, )-hermitian form f on W with Λmin := {c − cσ | c ∈ L} =
{c ∈ L | cσ = −c} =: Λmax .
By Γ we denote the associated generalized quadrangle. Let π : Γ →
PG(V ) be a weak embedding, where V is a vector space over the skew field
K. We assume that π is induced by a semi-linear mapping ϕ : W → V (with
respect to the embedding α : L → K). (By Steinbach [7], Steinbach & Van
Maldeghem [9, (5.1.1)] this is true up to few exceptions.) We set F := α(L)
and V0 := ϕ(W ).
Recall that for any point p of the generalized quadrangle Γ, we denote
by ξp the unique hyperplane of PG(V ) spanned by the points π(x), with x
collinear with p. A vector w ∈ W , on which the form vanishes (i.e., q(w) = 0
or f (w, w) = 0, respectively), is called singular. This happens if and only if
Lw is a point of Γ.
238 H. VAN MALDEGHEM
The final step in this section is to show that in the situation of Lemma
6.3 the vector space W is necessarily 4-dimensional.
Lemma 6.4. Let Γ be a generalized quadrangle weakly embedded of degree
2 in the projective space PG(V ), where V is a vector space over the skew
field K. Assume that ΓD is a hermitian quadrangle with natural embedding
in the projective space PG(W ), where W is a vector space over the skew
field L (see Notation 6.1).
Then the vector space W is 4-dimensional. Hence the possibilities for Γ
and ΓD are determined by Lemma 6.3.
Proof. We identify Γ with Γπ in this proof. Since Γ is weakly embedded
of degree 2 in PG(V ), all lines of Γ are regular (see Lemma 4.2). Hence
ΓD has regular points. By the discussion in Van Maldeghem [21], Table
5.1, we may conclude that W = H1 ⊥ H2 ⊥ Rad(W, f ), where H1 , H2 are
hyperbolic lines and f is the underlying (σ, −1)-hermitian form.
We set ∆ = ΓD . Let ∆0 be the full subquadrangle of ∆ obtained by
intersecting the natural embedding of ∆ with PG(H1 ⊥ H2 ). Our aim is to
show that ∆0 = ∆, then W = H1 ⊥ H2 is a 4-dimensional vector space.
Let Γ0 = (∆0 )D . Then Γ0 is an ideal subquadrangle of Γ. Further, Γ0 is
weakly embedded in PG(V ). To prove this, let p be a point of Γ0 . Let ξp be
spanned by the set of points of Γ collinear with p in Γ and let ξp0 be spanned
by the set of points of Γ0 collinear with p in Γ0 . Then ξp0 is contained in ξp ,
which is a hyperplane of PG(V ). If a point x of Γ is in ξp , then x is collinear
with p in Γ. Since Γ0 is an ideal subquadrangle of Γ, the line on p and x is
a line of Γ0 and x is collinear with p in Γ0 . Hence ξp0 = ξp . For q in Γ0 , q not
collinear with p in Γ, this yields PG(V ) = hξp , qi = hξp0 , qi and the point set
of Γ0 generates PG(V ).
Hence we may apply Lemma 6.3 for the weak embedding π : Γ0 → PG(V ).
We obtain that Λmin is a field and L is quadratic or quaternion over Λmin .
Now let ∆00 be a symplectic subquadrangle of ∆0 , obtained by restricting
scalars to Λmin . Then ∆00 is an ideal subquadrangle of ∆0 . Hence Γ00 = (∆00 )D
is a full subquadrangle of Γ0 and Γ00 is weakly embedded in PG(V 0 ), where
the latter is spanned by the set of points of Γ00 . (Let p be a point of Γ00 .
If PG(V 0 ) is contained in ξp00 , notation as above, then every point of Γ00 is
collinear in Γ with p. This is a contradiction, since Γ00 contains ordinary
quadrangles.)
Now PG(V 0 ) meets Γ in a full subquadrangle Γ000 , which is weakly embed-
ded in PG(V 0 ). (Let p be a point of Γ000 . With notation as above, PG(V 0 ) is
not contained in ξp000 . If p is in Γ00 , then ξp00 = ξp000 is a hyperplane of PG(V 0 ).)
This implies that Γ00 is an ideal subquadrangle of Γ000 . But all points of Γ00
(a dual symplectic, hence mixed quadrangle) are regular, hence Γ000 has also
regular points. Since all lines of Γ000 are regular (this even holds for Γ), Γ000
is a mixed quadrangle.
WEAKLY EMBEDDED QUADRANGLES 243
8. Appendix.
In this appendix, we present the list of all weakly embedded generalized
quadrangles, by putting together the results of the present paper and the
results in Steinbach & Van Maldeghem [9]. We also mention a corollary
on quadrangles Γ for which both Γ and its dual are weakly embeddable in
some projective space. Finally, we show that certain finitely generated free
generalized quadrangles admit lax embeddings in some finite dimensional
projective space.
Recall from Subsection 2.2 that for any skew field L with involutory anti-
automorphism σ and = ±1, we have Λmin := {c − cσ | c ∈ L} ⊆ Λmax :=
{c ∈ L | cσ = c}.
8.1. Classification of generalized quadrangles weakly embedded
in projective space. Let π be a weak embedding of a thick generalized
quadrangle Γ in the projective space PG(V ), where V is a vector space over
the skew field K (not necessarily finite-dimensional). Then Γ is a Moufang
quadrangle. Up to isomorphism, we have the following cases:
(1) Γ is a classical quadrangle arising as the geometry of points and lines
of PG(W ), W a (left) vector space over the skew field L, where one
of the following nondegenerate forms of Witt index 2 vanishes:
(a) a pseudo-quadratic form q : W → L/Λmin (with associated (σ, )-
hermitian form f ),
(b) a (σ, )-hermitian form f : W × W → L with Λmin = Λmax .
Furthermore, there exists a semi-linear mapping ϕ : W → V (with
respect to an embedding α : L → K) with kerϕ ⊆ Rad(W, f ) such that
WEAKLY EMBEDDED QUADRANGLES 245
L2 ⊆ Λ0 ⊆ L0 ⊆ Λ ⊆ L,
embeddable. Compare Tits [15, (10.10)] for the case of full embeddings in
polarities.
Proposition 8.2. Let Γ be a thick generalized quadrangle. If Γ and the
dual generalized quadrangle ΓD are weakly embeddable, then, up to duality,
Γ is one of the following:
(1) Γ is an orthogonal quadrangle and the weak embedding of ΓD is in
a projective 3-space. Further, Γ has a standard embedding in a d-
dimensional projective space with
(a) d = 4 (ΓD is a symplectic quadrangle),
(b) d = 5 (ΓD is a hermitian quadrangle),
(c) d = 6 (ΓD is a special subquadrangle of some quaternion quad-
rangle),
(d) d = 7 (ΓD is a quaternion quadrangle).
(2) Γ is any mixed quadrangle (possibly W (2) with universal weak embed-
ding).
For the free construction of a finitely generated generalized quadrangle,
see Tits [18, (4.4)]. It is also contained in Van Maldeghem [21, (1.3.13)].
We end by proving the following result.
Proposition 8.3. Let Γ be a freely constructed generalized quadrangle gen-
erated by the finite geometry Γ0 . If Γ0 can be laxly embedded in some projec-
tive space PG(V ), with V a vector space over any infinite skew field, then
Γ can be laxly embedded in PG(V ).
Proof. One step of the free construction is as follows: For each point-line
pair (x, L) with d(x, L) = 5, introduce a ‘new’ point y and a ‘new’ line M
with x I M I y I L (i.e., d(x, L) = 3 in the new geometry).
To prove the proposition, one has to show that, if x and L are a point
and a line, respectively, of some laxly embedded finite point-line geometry
Γ0 , then we can find a point y of PG(V ) on L off Γ0 such that the line xy
of PG(V ) is not a line of Γ0 . By the finiteness of Γ0 , this is clear.
Of course, one can extend in the obvious way the previous proposition to
quadrangles Γ generated by n points and lines, with n some infinite cardinal
number, and projective spaces PG(V ) over any field with m elements, m a
cardinal number with m > n. Indeed, in the free construction process, in
each step, no more than 2n2 = n new elements are introduced.
It is now clear that one can produce laxly embedded non-Moufang gener-
alized quadrangles. As generating structure Γ0 one can for instance choose
a usual pentagon, or a finite generalized hexagon or octagon laxly embed-
ded in the standard way in some projective space over some finite field and
then extend the field to an infinite field to obtain an embedding in PG(V ),
with V a vector space over an infinite field. In general, ‘free’ quadrangles
WEAKLY EMBEDDED QUADRANGLES 247
References
[1] A.M. Cohen, Point-line spaces related to buildings, in F. Buekenhout, editor, ‘Hand-
book of Incidence Geometry: Buildings and Foundations’, Chapter 12, North-
Holland, Amsterdam (1995), 647-737.
[2] K.J. Dienst, Verallgemeinerte Vierecke in projektiven Räumen, Arch. Math., (Basel),
35 (1980), 177-186.
[3] C. Lefèvre-Percsy, Quadrilatères généralisés faiblement plongés dans PG(3, q), Euro-
pean J. Combin., 2 (1981), 249-255.
[4] C. Lefèvre-Percsy, Projectivités conservant un espace polaire faiblement plongé, Acad.
Roy. Belg. Bull. Cl. Sci., 67 (1981), 45-50.
[5] B. Mühlherr & H. Van Maldeghem, Exceptional Moufang quadrangles of type F4 ,
Canad. J. Math., 51 (1999), 347-371.
[6] S.E. Payne & J.A. Thas, Finite Generalized Quadrangles, Pitman, Boston, London,
Melbourne, 1984.
[7] A. Steinbach, Classical polar spaces (sub-)weakly embedded in projective spaces, Bull.
Belg. Math. Soc. Simon Stevin, 3 (1996), 477-490.
[8] , Generalized quadrangles with a thick hyperbolic line weakly embedded in pro-
jective space, in ‘Finite Geometry and Combinatorics’ (ed. F. De Clerck et al.), Third
International Conference at Deinze, 1997; Bull. Belg. Math. Soc. Simon Stevin, 5
(1998), 447-459.
[9] A. Steinbach & H. Van Maldeghem, Generalized quadrangles weakly embedded of
degree > 2 in projective space, Forum Math., 11 (1999), 139-176.
[10] J.A. Thas, Generalized Polygons, in F. Buekenhout, editor, ‘Handbook of Inci-
dence Geometry: Buildings and Foundations’, Chapter 9, North-Holland, Amsterdam
(1995), 383-431.
[11] J. A. Thas & H. Van Maldeghem, Orthogonal, symplectic and unitary polar spaces
sub-weakly embedded in projective space, Compositio Math., 103 (1996), 75-93.
[12] , Generalized quadrangles weakly embedded in finite projective space, J. Statist.
Plan. Inference, 73 (1998), 353-361.
[13] , Lax embeddings of generalized quadrangles in finite projective spaces, submit-
ted.
[14] J. Tits, Sur la trialité et certains groupes qui s’en déduisent, Inst. Hautes études Sci.
Publ. Math., 2 (1959), 13-60.
[15] , Buildings of spherical type and finite BN -pairs, Lecture Notes in Math., 386,
Springer-Verlag, Berlin, Heidelberg, New York, 1974.
[16] , Classification of buildings of spherical type and Moufang polygons: A survey,
in ‘Coll. Intern. Teorie Combin. Acc. Naz. Lincei’, Proceedings Roma 1973, Atti dei
convegni Lincei, 17, 229-246.
248 H. VAN MALDEGHEM
Received August 18, 1998 and revised March 10, 1999. The second author is a Research
Director of the Fund for Scientific Research – Flanders (Belgium).
Justus-Liebig-Universität Gießen
D 35392 Gießen
Germany
E-mail address: anja.steinbach@math.uni-giessen.de
University Gent
9000 Gent
Belgium
E-mail address: hvm@cage.rug.ac.be
PACIFIC JOURNAL OF MATHEMATICS
Vol. 193, No. 1, 2000
Masamichi Takase
1. Introduction.
Let Imm[X, Y ] be the set of regular homotopy classes of immersions of a
manifold X in a manifold Y , and Emb[X, Y ] denote the subset of Imm[X, Y ]
consisting of all regular homotopy classes containing an embedding. Smale
[6] has given a 1-1 correspondence (the Smale invariant) s : Imm[S n , RN ] →
πn (VN,n ), where VN,n is the Stiefel manifold of all n-frames in RN . Hirsch
[2] has generalized this to the case of immersions of an arbitrary manifold
in an arbitrary manifold. These results solve the problem of the number of
regular homotopy classes in terms of homotopy theory, but do not succeed
in finding representatives for each class or determining which classes are
represented by an embedding.
According to Hughes [4], Imm[S n , RN ] has a group structure under con-
nected sum and the Smale invariant actually gives a group isomorphism. [4]
gives explicit generators of Imm[S 3 , R4 ] and Imm[S 3 , R5 ].
Hughes-Melvin [5] determine which classes of Imm[S n , Rn+2 ] are repre-
sented by an embedding, and prove that Emb[S n , Rn+2 ] is isomorphic to
Z if n ≡ 3 mod 4, and to 0 otherwise. Furthermore, [5] proves that the
regular homotopy class of an embedding S n ,→ Rn+2 (n ≡ 3 mod 4) can be
completely determined by the signature of its oriented “Seifert” manifold.
For example, in the case n = 3, we have the following diagram:
≈
s : Imm[S 3 , R5 ] −→ π3 (V5,3 ) ≈ Z
∪ ∪
3 5 ≈
Emb[S , R ] −→ 24Z
f 7−→ − 32 σ(V 4 )
where V 4 is an oriented Seifert manifold for f .
249
250 MASAMICHI TAKASE
This implies that there exist many n-knots which cannot be transformed
to the standard embedding even through a smooth deformation admitting
self-intersections (n ≡ 3 mod 4).
The purpose of this paper is to prove a similar statement for embeddings
of Z2 -homology 3-spheres in R5 . More precisely we prove that the regu-
lar homotopy class of an embedding of a Z2 -homology 3-sphere in R5 is
completely determined by the signature of its oriented Seifert manifold.
Throughout this paper, manifolds and immersions are of class C ∞ . The
symbol “≈” denotes an appropriate isomorphism betweeen algebraic objects;
“∼” and “∼r ” mean respectively “homotopic” and “regularly homotopic”.
We often do not distinguish between an immersion f and its regular homo-
topy class, both of which we denote by f .
The author is much grateful to Professor Yukio Matsumoto for his valu-
able advice and encouragement.
2. Preliminaries.
We recall some results of [9]. Let M n be a parallelizable n-manifold, and
f : M n # RN be an immersion. Fix a trivialization T M ∼ = M n × Rn ; we
n n
can associate to f a map df : M → VN,n from M to the Stiefel manifold
VN,n , where VN,n is identified with the set of all injective linear maps from
Rn to RN . df is essentially the differential of f . By Hirsch’s theorem [2],
the correspondence f 7→ df gives a bijection between Imm[M n , RN ] and the
homotopy set [M n , VN,n ]. Every oriented 3-manifold M 3 is parallelizable, so
Imm[M 3 , R5 ] ≈ [M 3 , V5,3 ].
We now study the set [M 3 , V5,3 ]. Since V5,3 is simply connected, we can
make use of the results of Whitney [8]. Let πi = πi (V5,3 ), then π1 = 0,
π2 ≈ π3 ≈ Z. Therefore we must consider the secondary difference.
Identify π2 and π3 with Z in the same way as [9, Proof of Theorem 2]. For
a map ξ : M 3 → V5,3 we can suppose ξ(M (1) ) = p ∈ V5,3 because π1 = 0, (p
is a point in V5,3 and M (q) denotes the q-skeleton of M ). So we can consider
the difference 2-cochain between ξ and the constant map to the point p.
Since ξ is defined over M 3 , this 2-cochain is actually a 2-cocycle. Let Cξ2
denote its cohomology class in H 2 (M 3 ; Z).
Next, for two maps ξ, η : M 3 → V5,3 with ξ|M (2) ∼ η|M (2) , denote by
∆3ξ,η the difference 3-cochain.
The following is an application of [8, Theorem 8A] to our special case of
mappings of M 3 in V5,3 (see also [9, proof of Theorem 2]).
Lemma 2.1 ([8, Theorem 8A], [9, Theorem 2]). Two maps ξ, η : M 3 →
V5,3 are homotopic if and only if
(a) Cξ2 = Cη2 ∈ H 2 (M 3 ; Z).
EMBEDDINGS OF Z2 -HOMOLOGY 3-SPHERES 251
3. Main results.
Let M 3 be a closed oriented 3-manifold. Let D3 be the 3-disk, which from
now on we will often identify with the northern hemisphere of the 3-sphere
S 3 . Fix an inclusion D3 ⊂ M 3 , and put M0 = M 3 − int D3 . Suppose
F0 : M 3 ,→ R5 is an embedding such that F0 |D3 coincides with the northern
part of the standard embedding S 3 ⊂ R5 . For an immersion f : S 3 # R5 ,
we can assume f |(the southern hemisphere) is standard, so define the map
]F0 : Imm[S 3 , R5 ] −→ Imm[M 3 , R5 ]
f 7−→ F0 ]f
where (F0 ]f )|M0 = F0 |M0 , and (F0 ]f )|D3 = f |D3 . The normal bundle of
F0 is trivial and if F0 is altered on D3 its normal bundle does not change.
So we can in fact define the map
]F0 : Imm[S 3 , R5 ] −→ Imm[M 3 , R5 ]0
where Imm[M 3 , R5 ]0 is the subset of Imm[M 3 , R5 ] consisting of all regu-
lar homotopy classes of immersions with trivial normal bundle. Note that
Emb[M 3 , R5 ] ⊂ Imm[M 3 , R5 ]0 .
Proposition 3.1. If H 2 (M 3 ; Z) has no elements of even order, then
]F0 : Imm[S 3 , R5 ] −→ Imm[M 3 , R5 ]0
is bijective.
Proof. Let νF be the normal bundle of an immersion F : M 3 # R5 . Since
there is the bundle map
νF −→ V5,5
↓ ↓
dF
M 3 −→ V5,3
and since the Euler class of the S 1 -bundle V5,5 → V5,3 is equal to 2Σ2 for a
generator Σ2 ∈ H 2 (V5,3 ; Z) ≈ Z, we have
νF is trivial,
⇔ the normal Euler class of F (denoted by χF ) is zero,
∗ ∗
⇔ dF (2χF ) = 2dF (χF ) = 0,
⇔ 2CdF 2 = 0,
2
⇔ CdF = 0.
Therefore, Imm[M03 , R5 ]0 ≈ H 3 (M0 ; Z) = 0 by [9, Theorem 2]. This means
that ]F0 is surjective from the covering homotopy property for immersion
spaces (see [7]).
252 MASAMICHI TAKASE
F |(M00 × (−1, 1))(x, t) = F0 |(M00 × (−1, 1))(x, −t), (x, t) ∈ M00 × (−1, 1).
Figure 1.
254 MASAMICHI TAKASE
Figure 2.
4. Realizing h-cobordisms in R5 .
In this section, we study the following problem. Suppose M1 , M2 are
two Z2 -homology 3-spheres which are mutually h-cobordant and let Si :
Imm[Mi , R5 ]0 → Z (i = 1, 2) denote the bijections as in Remark 3.5. Is it
possible to relate S1 to S2 ?
Let M1 , M2 be as above, and V be an h-cobordism between M1 and M2 .
Let Fi : Mi ,→ R5 be embeddings and Wi be oriented Seifert manifolds
EMBEDDINGS OF Z2 -HOMOLOGY 3-SPHERES 255
Y = W10 ∪ V ∪ W20 .
M1 M2
References
[1] T. Cochran, Embedding 4-manifolds in S 5 , Topology, 23 (1984), 257-269.
[2] M. Hirsch, Immersions of manifolds, Trans. Amer. Math. Soc., 93 (1959), 242-276.
[3] , The imbedding of bounding manifolds in Euclidean space, Ann. of Math., 74
(1961), 494-497.
[4] J. Hughes, Bordism and regular homotopy of low-dimensional immersions, Pacific J.
Math., 156 (1992), 155-184.
[5] J. Hughes and P. Melvin, The Smale invariant of a knot, Comment. Math. Helv., 60
(1985), 615-627.
[6] S. Smale, A classification of immersions of spheres in euclidean spaces, Ann. of Math.,
69 (1959), 327-344.
[7] , A survey of some recent developments in differential topology, Bull. Amer.
Math. Soc., 69 (1963), 131-145.
[8] H. Whitney, Classification of the mappings of a 3-complex into a simply connected
space, Ann. of Math., 50 (1949), 270-284.
256 MASAMICHI TAKASE
[9] W.T. Wu, On the immersion of C ∞ -3-manifolds in a Euclidean space, Sci. Sinica.,
13 (1962), 335-336.
2000
wavelets 79
J.E. G ILBERT , J.A. H OGAN AND J.D. L AKEY
Total determination of material parameters from electromagnetic boundary