In this work, we present an overview of uniqueness results derived in recent years for the quantization of Gowdy cosmological models and for (test) Klein-Gordon fields minimally coupled to Friedmann-Lemaître-Robertson-Walker, de Sitter, and Bianchi I spacetimes. These results are attained by imposing the criteria of symmetry invariance and of unitary implementability of the dynamics. This powerful combination of criteria allows not only to address the ambiguity in the representation of the canonical commutation relations, but also to single out a preferred set of fundamental variables. For the sake of clarity and completeness in the presentation (essentially as a background and complementary material), we first review the classical and quantum theories of a scalar field in globally hyperbolic spacetimes. Special emphasis is made on complex structures and the unitary implementability of symplectic transformations. * jacq@ciencias.unam.mx † mena@iem.cfmac.csic.es ‡ jvelhi@ubi.pt(2.1)By taking the direct sum of these two spaces, we get the complex vector space V + J ⊕ V − J , the elements of which can be written as (J turns out to be the same as V C , so that the complex vector spaces defined in Eq. (2.1) provide a splitting for the complexification of V . Besides, notice that every v in V can be decomposed asClearly, different complex structures will lead to distinct splittings for V C and, consequently, to different decompositions for v ∈ V . By extending the action of J from V to V C by complex linearity, we obtain that v + and v − are eigenvectors of J with eigenvalues i and −i,Given another complex structure, sayJ, its eigenvectors will satisfy relationships (2.2) with J replaced withJ. The eigenvectors ofJ and J are related byṽ. , x m , y 1 , . . . , y m )}. The standard (also called canonical) symplectic form is then. Equivalently, the standard symplectic form defines a skew-symmetric bilinear function on V [1], on C, and where we have used that Jv − = Jv + . A straightforward inspection shows that v, w J defines a Hermitian inner product on V + J ; that is,is a Hermitian inner product. This, together with the fact that any element of V + J is uniquely represented by an element of V (and vice versa), implies that the complex vector space V , with Hermitian inner product (2.7), and the complex vector space V + J , with Hermitian inner product (2.8), are (essentially) the same inner product spaces.B. The scalar field: Classical theory the unit function [see Eq. (2.11)]. Since observables on (S, Ω) can be obtained by taking linear combinations of products of natural observables Ω(φ, · ) and the unit function I (which provides the constant functions on S), the subspace 4 {I, Ω(φ, · ) | φ ∈ S} R of O qualifies as an admissible set of basic observables. This, together with the "naturalness and simplicity" of our choice, leads us to select the commented subspace as the set O 0 of fundamental (basic, or elementary) classical observables.By equipping the phase space (S, Ω) with a compatible complex structure J, the fi...