In mathematics, a Siegel domain or Piatetski-Shapiro domain is a special open subset of complex affine space generalizing the Siegel upper half plane studied by Siegel (1939). They were introduced by Piatetski-Shapiro (1959, 1969) in his study of bounded homogeneous domains.
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 tube domains. An example is the 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.
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.
- Kaup, Wilhelm; Matsushima, Yozô; Ochiai, Takushiro (1970), "On the automorphisms and equivalences of generalized Siegel domains", American Journal of Mathematics, 92: 475–498, ISSN 0002-9327, JSTOR 2373335, MR 0267127, doi:10.2307/2373335
- Murakami, Shingo (1972), On automorphisms of Siegel domains, Lecture Notes in Mathematics, 286, Berlin, New York: Springer-Verlag, MR 0364690, doi:10.1007/BFb0058567
- Piatetski-Shapiro, I. I. (1959), "On a problem proposed by E. Cartan", Doklady Akademii Nauk SSSR, 124: 272–273, ISSN 0002-3264, 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", Uspehi 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
- Piatetski-Shapiro, I. I. (1969) , Automorphic functions and the geometry of classical domains, Mathematics and Its Applications, 8, New York: Gordon and Breach Science Publishers, MR 0136770
- Siegel, Carl Ludwig (1939), "Einführung in die Theorie der Modulfunktionen n-ten Grades", Mathematische Annalen, 116: 617–657, ISSN 0025-5831, MR 0001251, doi:10.1007/BF01597381
- Vinberg, E.B. (2001), "s/s084990", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- 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, ISSN 0134-8663, 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, 569, Beijing: Science Press, ISBN 978-1-4020-2132-9, MR 2217650