Siegel domain

Add links
Source: Wikipedia, the free encyclopedia.

In mathematics, a Siegel domain or Piatetski-Shapiro domain is a special open subset of

Siegel upper half plane studied by Siegel (1939). They were introduced by Piatetski-Shapiro (1959, 1969
) in his study of bounded homogeneous domains.

Definitions

A Siegel domain of the first kind (or first type, or genus 1) is the open subset of Cm of elements z such that

where V is an open convex cone in Rm. These are special cases of

Siegel upper half plane
, where V⊂Rk(k + 1)/2 is the cone of positive definite quadratic forms in Rk and m = k(k + 1)/2.

A Siegel domain of the second kind (or second type, or genus 2), also called a Piatetski-Shapiro domain, is the open subset of Cm×Cn of elements (z,w) such that

where V is an open convex cone in Rm and F is a V-valued Hermitian form on Cn. If n = 0 this is a Siegel domain of the first kind.

A Siegel domain of the third kind (or third type, or genus 3) is the open subset of Cm×Cn×Ck of elements (z,w,t) such that

and t lies in some bounded region

where V is an open convex cone in Rm and Lt is a V-valued semi-Hermitian form on Cn.

Bounded homogeneous domains

A bounded domain is an open connected bounded subset of a complex affine space. It is called homogeneous if its group of automorphisms acts transitively, and is called symmetric if for every point there is an automorphism acting as –1 on the tangent space.

Bounded symmetric domains
are homogeneous.

Élie Cartan classified the homogeneous bounded domains in dimension at most 3 (up to isomorphism), showing that they are all Hermitian symmetric spaces. There is 1 in dimension 1 (the unit ball), two in dimension 2 (the product of two 1-dimensional complex balls or a 2-dimensional complex ball). He asked whether all bounded homogeneous domains are symmetric. Piatetski-Shapiro (1959, 1959b) answered Cartan's question by finding a Siegel domain of type 2 in 4 dimensions that is homogeneous and biholomorphic to a bounded domain but not symmetric. In dimensions at least 7 there are infinite families of homogeneous bounded domains that are not symmetric.

È. B. Vinberg, S. G. Gindikin, and I. I. Piatetski-Shapiro (1963) showed that every bounded homogeneous domain is biholomorphic to a Siegel domain of type 1 or 2.

Wilhelm Kaup, Yozô Matsushima, and Takushiro Ochiai (1970) described the isomorphisms of Siegel domains of types 1 and 2 and the Lie algebra of automorphisms of a Siegel domain. In particular two Siegel domains are isomorphic if and only if they are isomorphic by an affine transformation.

j-algebras

Suppose that G is the Lie algebra of a transitive connected group of analytic automorphisms of a bounded homogeneous domain X, and let K be the subalgebra fixing a point x. Then the almost complex structure j on X induces a vector space endomorphism j of G such that

  • j2=–1 on G/K
  • [x,y] + j[jx,y] + j[x,jy] – [jx,jy] = 0 in G/K; this follows from the fact that the almost complex structure of X is integrable
  • There is a linear form ω on G such that ω[jx,jy]=ω[x,y] and ω[jx,x]>0 if x∉K
  • if L is a compact subalgebra of G with jL⊆K+L then L⊆K

A j-algebra is a Lie algebra G with a subalgebra K and a linear map j satisfying the properties above.

The Lie algebra of a connected Lie group acting transitively on a homogeneous bounded domain is a j-algebra, which is not surprising as j-algebras are defined to have the obvious properties of such a Lie algebra. The converse is also true: any j-algebra is the Lie algebra of some transitive group of automorphisms of a homogeneous bounded domain. This does not give a 1:1 correspondence between homogeneous bounded domains and j-algebras, because a homogeneous bounded domain can have several different Lie groups acting transitively on it.

References

  • Chu, Cho-Ho (2021), "Siegel domains over Finsler symmetric cones",
    J. reine angew. Math.
    , 778: 145–169
  • Kaup, Wilhelm; Matsushima, Yozô; Ochiai, Takushiro (1970), "On the automorphisms and equivalences of generalized Siegel domains",
    MR 0267127
  • Murakami, Shingo (1972), On automorphisms of Siegel domains, Lecture Notes in Mathematics, vol. 286, Berlin, New York:
    MR 0364690
  • Piatetski-Shapiro, I. I. (1959), "On a problem proposed by E. Cartan", Doklady Akademii Nauk SSSR, 124: 272–273,
    MR 0101922
  • Piatetski-Shapiro, I. I. (1959b), "Geometry of homogeneous domains and the theory of automorphic functions. The solution of a problem of E. Cartan", Uspekhi Mat. Nauk (in Russian), 14 (3): 190–192
  • Piatetski-Shapiro, I. I. (1963), "Domains of upper half-plane type in the theory of several complex variables", Proc. Internat. Congr. Mathematicians (Stockholm, 1962) (in Russian), Djursholm: Inst. Mittag-Leffler, pp. 389–396,
    MR 0176105, archived from the original
    on 2011-07-17
  • Piatetski-Shapiro, I. I. (1969) [1961], Automorphic functions and the geometry of classical domains, Mathematics and Its Applications, vol. 8, New York: Gordon and Breach Science Publishers,
    MR 0136770
  • S2CID 124337559
  • Vinberg, E.B. (2001) [1994], "Siegel domain", Encyclopedia of Mathematics, EMS Press
  • Vinberg, È. B.; Gindikin, S. G.; Piatetski-Shapiro, I. I. (1963), "Classification and canonical realization of complex homogeneous bounded domains", Trudy Moskovskogo Matematičeskogo Obščestva, 12: 359–388,
    MR 0158415 There is an English translation in the appendix of (Piatetski-Shapiro 1969
    ).
  • Xu, Yichao (2005), Theory of complex homogeneous bounded domains, Mathematics and its Applications, vol. 569, Beijing: Science Press,
    MR 2217650
Retrieved from "https://en.wikipedia.org/w/index.php?title=Siegel_domain&oldid=1113404346"