We investigate in this thesis the generic properties of curves in the Minkowski plane R2 1 and of smooth Lorentzian surfaces. The generic properties of curves in R2 1 are obtained by studying the contacts of curves in R2 1 with lines and pseudo-circles. These contacts are captured by the singularities of the families of height and distancesquared functions on the curves. On the other hand, the generic properties of smooth Lorentzian surfaces are obtained by studying certain Binary Differential Equations defined on the surfaces.

In dieser Arbeit untersuchen wir die Interaktion von Holonomie und der globalen Geometrie von Lorentzmannigfaltigkeiten und pseudo-Riemannschen Untermannigfaltigkeiten in Räumen konstanter Krümmung. Insbesondere konstruieren wir schwach irreduzible, reduzible Lorentzmetriken auf den Totalräumen von gewissen Kreisbündeln, was zu einer Konstruktionsmethode von Lorentzmannigfaltigkeiten mit vorgegebener Holonomiedarstellung führt. Danach führen wir eine Bochnertechnik für die Lorentzmannigfaltigkeiten ein, die ein nirgends verschwindendes, paralleles, lichtartiges Vektorfeld zulassen, dessen orthogonale Distribution kompakte Blätter hat. Schließlich klassifizieren wir normale Holonomiedarstellungen von raumartigen Untermannigfaltigkeiten in Räumen konstanter Krümmung und verallgemeinern die Klassifikation eine größere Klasse von Untermannigfaltigkeiten. / In this thesis we study the interaction of holonomy and the global geometry of Lorentzian manifolds and pseudo-Riemannian submanifolds in spaces of constant curvature. In particular, we construct weakly irreducible, reducible Lorentzian metrics on the total spaces of certain circle bundles leading to a construction of Lorentzian manifolds with specified holonomy representations. Then we introduce a Bochner technique for Lorentzian manifolds admitting a nowhere vanishing parallel lightlike vector field whose orthogonal distribution has compact leaves. Finally, we classify normal holonomy representations of spacelike submanifolds in spaces of constant curvature and extend the classification to more general submanifolds.

Eine almost Einstein-Struktur (M,g,sigma) ist eine n-dimensionale zusammenhängende Mannigfaltigkeit M mit einer pseudo-riemannschen Metrik g und einer glatten Skalenfunktion sigma deren almost Einstein-Tensor A[g,sigma] (der spurfreie Anteil von Hess[g] sigma + sigma P[g], wobei P[g] den Schouten-Tensor bezeichnet) verschwindet. Sie verallgemeinert die Idee einer Einsteinmannigfaltigkeit in dem Sinne, dass die konform geänderte Metrik 1/sigma^2 g außerhalb der Nullstellenmenge Sigma = sigma^(-1)(0) eine Einstein-Metrik ist. Ziel dieser Doktorarbeit ist es, ein detailiertes Bild von Sigma in Lorentzsignatur (-+...+) zu erhalten. Teil dieser Arbeit ist zudem eine indexfreie Darstellung ausgewählter Resultate für konform kompaktifizierbare Einsteinmannigfaltigkeiten in Lorentzsignatur im Rahmen von almost Einstein-Strukturen. Diese Umformulierung wird dann benutzt, um eine Verallgemeinerung der konformen Wellengleichungen für beliebige gerade Dimensionen n = 2m > 4 vorzuschlagen. / An almost Einstein structure (M,g,sigma) is an n-dimensional connected manifold M equipped with a pseudo-Riemannian metric g and a scale factor sigma in C^infty(M) such that the almost Einstein tensor A[g,sigma] (the trace-free part of Hess[g] sigma + sigma P[g], with Schouten tensor P[g]) vanishes. It generalises the idea of an Einstein manifold in the way that 1/sigma^2 g is an Einstein metric away from the singularity set Sigma = sigma^(-1)(0). The purpose of this thesis is to get a detailed picture of Sigma in Lorentzian signature (-+...+). Part of this thesis is also an index-free survey of selected results on conformally compact Einstein manifolds in Lorentzian signature in the framework of almost Einstein structures. This reformulation is used to suggest a generalisation of the conformal wave equations to arbitrary even dimensions n = 2m > 4.

Es wird die Twistorgleichung auf Lorentz-Spin-Mannigfaltigkeiten untersucht. Bekanntermaßen existieren Lösungen der Twistorgleichung auf den pp-Mannigfaltigkeiten, den Lorentz-Einstein-Sasaki Mannigfaltigkeiten und den Fefferman-Räumen. Es wird gezeigt, dass in den kleinen Dimensionen 3,4 und 5 Twistor-Spinoren ohne 'Singularitäten' nur für diese genannten Lorentz-Geometrien vorkommen. Von besonderem Interesse sind Lösungen der Twistorgleichung mit Nullstellen. Es wird die Gestalt der Nullstellenmenge von konformen Vektorfeldern und Twistor-Spinoren beschrieben. Weiterhin wird die Twistorgleichung im Kontext der konformen Cartan-Geometrie formuliert. Als Anwendung werden konform-flache semi-Riemannsche Spin-Mannigfaltigkeiten mit Twistor-Spinoren unter Zuhilfenahme der Holonomiedarstellung der ersten Fundamentalgruppe charakterisiert. Abschließend wird eine Anwendung des Twistorraumes einer Lorentz-4-Mannigfaltigkeit in der Flächentheorie diskutiert. Dabei zeigen wir eine Korrespondenz zwischen holomorphen Kurven im Twistorraum und raumartig immergierten Flächen mit lichtartigem mittlerem Krümmungsvektor. Beispielhaft werden solche Flächen in den Lorentzschen Raumformen der Dimension 4 konstruiert. / The twistor equation on Lorentzian spin manifolds is investigated. Known solutions of the twistor equation exist on the pp-manifolds, the Lorentz-Einstein-Sasaki manifolds and the Fefferman spaces. It is shown that in the low dimensions 3,4 and 5 twistor spinors without 'singularities' appear only for these mentioned Lorentzian spin geometries. Solutions of the twistor equation with zeros are of particular interest. The shape of the zero set of conformal vector fields and twistor spinors is described. Moreover, the twistor equation is formulated in the context of conformal Cartan geometry. As an application the conformally flat semi-Riemannian spin spaces with twistor spinors are characterized by the holonomy representation of the first fundamental group. Finally, we discuss an application of the twistor space of a Lorentzian 4-manifold in surface theory. Thereby, we prove a correspondence between holomorphic curves in the twistor space and spacelike immersed surfaces with lightlike mean curvature vector. Exemplary, such surfaces are constructed in the Lorentzian space forms of dimension 4.

This doctoral thesis reports analytical and numerical results for the electrostatic response of a dusty plasma to a moving test charge. Two important physical aspects of dusty plasmas, namely grain size distribution and grain charging dynamics were taken into account. In the first case, a dusty plasma in thermal equilibrium and with a distribution of grain sizes is considered. A size distribution is assumed which decreases exponentially with the grain mass for large sizes and gives a simple smooth reduction for small sizes. The electrostatic response to a slowly moving test charge, using a second order approximation is found and the effects of collisions are also investigated. It turns out that for this particular size distribution, there is a remarkably simple result that the resulting effective distribution for the electrostatic response is a kappa (generalized Lorentzian) distribution. In the second case, we present an analytical model for the shielding of a slowly moving test charge in a dusty plasma with dynamical grain charging for cases both with and without the collision effects. The response potential is treated as a power series in test charge velocity. Analytical expressions for the response potential are found up to second order in test charge velocity. The first-order dynamical charging term is shown to be the consequence of the delay in the shielding due to the dynamics of the charging process. It is concluded that the dynamical charging of the grains in a dusty plasma enhances the shielding of a test charge. To clarify the physics, a separate study is made where the charging is approximated by using a time delay. The resulting potential shows the delayed shielding effect explicitly. The terms in the potential that depend on the charging dynamics involve a spatial shift given by the test charge velocity and the charging time. The wake potential of a fast moving test charge in the case of grain charging dynamics was also found. It was observed that the grain charging dynamics leads to a spatial damping and a phase shift in the potential response. Finally, combining these two physical aspects, generalized results for the electrostatic potential were found incorporating the terms from both grain size distribution and grain charging dynamics. The generalized results contain the previous work where these two effects were studied separately and which can now be found as special limiting cases. This kind of work has relevance both in space and astrophysical plasmas. / QC 20100920

Cette thèse comporte deux parties, axées sur des aspects différents de la géométrie lorentzienne. La première partie porte sur les groupes d’isométries de surfaces lorentziennes globalement hyperboliques spatialement compactes, particulièrement lorsque le groupe exhibe une dynamique non triviale (action non propre). Le groupe d'isométries agit naturellement sur le cercle par difféomorphismes, et les résultats principaux portent sur la classification de ces représentations. Sous une hypothèse sur le bord conforme, on obtient une conjugaison par homéomorphisme avec l'action projective d'un sous-groupe de PSL(2,R) ou de l'un de ses revêtements finis. La différentiabilité de la conjuguante est étudiée, avec des résultats qui garantissent une conjugaison dans le groupe de difféomorphismes du cercle dans certains cas. On donne également des contre-exemples à l'existence d'une conjugaison différentiable, y compris pour des groupes ayant une dynamique riche. Ces constructions s'appuient sur l'étude de flots hyperboliques en dimension trois. Sans l'hypothèse sur le bord conforme, on obtient une semi conjugaison et un isomorphisme de groupes. On construit également des exemples pour lesquels il n'existe pas de conjugaison topologique. La seconde partie de cette thèse étudie un espace-temps vu comme un système dynamique multi-valuée : à un point on associe sont futur causal. Cette approche, déjà présente dans les travaux de Fathi et Siconolfi, permet de concrétiser le lien entre fonctions de Lyapunov en systèmes dynamiques et fonctions temps. Le résultat principal est une version lorentzienne du Théorème de Conley : on peut définir l'ensemble récurrent par chaînes d'un espace-temps, et il existe une fonction continue croissante le long de toute courbe causale orientée vers le futur, strictement croissante si le point de départ de la courbe n'est pas dans l'ensemble récurrent par chaînes. Ces techniques s'adaptent aussi dans un espace-temps stablement causal, ce qui permet de donner une nouvelle preuve d'une partie du Théorème d'Hawking. / This thesis is divided into two parts, dealing with two different aspects of Lorentzian geometry. The first part deals with isometry groups of globally hyperbolic spatially compact Lorentz surfaces, especially when it has a non trivial dynamical behavior (non proper action). The isometry group acts on circle by diffeomorphisms, and the main results of this part concern the classification of these actions. Under a hypothesis on the conformal boundary, we show that they are topologically conjugate to the projective action of a subgroup of PSL(2,R), or one of its finite covers. The differentiability of the conjugacy is studied, with some results giving a differentiable conjugacy under additional hypotheses. We also give counter examples to such a differentiable conjugacy, even for groups with rich dynamics. These constructions use hyperbolic flows on three manifolds. Without the hypothesis on the conformal boundary, we obtain a semi conjugacy and a group isomorphism. We also give examples where a topological conjugacy cannot exist. In the second part of this thesis, we see a spacetime as a multi valued dynamical system: we map a point to its causal future. This point of view was already adopted by Fathi and Siconolfi, and it gives a concrete meaning to the link between Lyapunov functions in dynamical systems and time functions. The main result is a Lorentzian version of Conley's Theorem: we define the chain recurrent set of a spacetime, and construct a continuous function that increases along future directed causal curves outside the chain recurrent set, and that is non decreasing along other future curves. These techniques also apply to the stably causal setting, and we obtain a new proof of a part of Hawking's Theorem.

L'objet de cette thèse est l'étude mathématique de familles d'espaces-temps satisfaisant aux équations d'Einstein de la Relativité Générale. Deux approches sont considérées pour cette étude. La première partie, composée des trois premiers chapitres, examine les propriétés géométriques des espaces-temps d'Emparan-Reall et dePomeransky-Senkov, de dimension 5. Nous montrons qu'ils contiennent un trou noir, dont l'horizon des événements est à sections compactes non-homéomorphes à la sphère. Nous en construisons une extension analytique et prouvons que cette extension est maximale et unique dans une certaine classe d'extensions pour les espaces-temps d'Emparan-Reall. Nous établissons ensuite le diagramme de Carter-Penrose de ces extensions, puis analysons la structure de l'ergosurface des espaces-temps de Pomeransky-Senkov. La deuxième partie est consacrée à l'étude de données initiales, solutions des équations des contraintes, induites par les équations d'Einstein. Nous effectuons un recollement d'une classe de données initiales avec des données initiales d'espaces-temps de Kerr-Kottler-deSitter, en utilisant la méthode de Corvino. Nous construisons, d'autre part, des métriques asymptotiquement hyperboliques en dimension 3, satisfaisant les hypothèses du théorème de masse positive à l'exception de la complétude, et ayant un vecteur moment-énergie de genre causal arbitraire. / The aim of this thesis is the mathematical study of families of spacetimes satisfying the Einstein's equations of General Relativity. Two methodsare used in this context.The first part, consisting of the first three chapters of this work,investigates the geometric properties of the Emparan-Reall andPomeransky-Senkov families of 5-dimensional spacetimes. We show that they contain a black-hole region, whose event horizon has non-spherical compact cross sections. We construct an analytic extension, and show its maximality and its uniqueness within a natural class in the Emparan-Reallcase. We further establish the Carter-Penrose diagram for these extensions, and analyse the structure of the ergosurface of the Pomeransky-Senkovspacetimes.The second part focuses on the study of initial data, solutions of theconstraint equations induced by the Einstein's equations. We perform agluing construction between a given family of inital data sets andinitial data of Kerr-Kottler-de Sitter spacetimes, using Corvino'smethod.On the other hand, we construct 3-dimensional asymptotically hyperbolicmetrics which satisfy all the assumptions of the positive mass theorem but the completeness, and which display an energy-momentum vector of arbitry causal type.

Dans cette thèse, nous nous intéressons aux espaces temps dit globalement hyperboliques Cauchy compacts. Ce sont des espaces temps qui admettent une fonction, dite fonction temps de Cauchy, propre qui croit strictement le long des courbes causales inextensibles. Les niveaux de telles fonctions sont des hypersurfaces de type espace appelées hypersurfaces de Cauchy. La donnée d'une fonction temps définit naturellement une famille à 1-paramètres d'espaces métriques. Notre but est d'étudier le comportement asymptomatique de ces familles d'espaces métriques Il y a deux cas de figure à considérer : le premier étant le comportement asymptomatique dans le passé ; le deuxième est celui du comportement asymptomatique dans le futur. Plus de conditions géométriques sur l'espace temps et les fonctions temps à considérer seront nécessaires / In this thesis we're interested in globally hyperbolic Cauchy compact space-times. These are space-times that possess a proper function, called Cauchy time function, which ist strictly increasing along inextensible causal curves. A Cauchy time function defines naturally a 1-parameter family of metric spaces. One asks the natural and important question of the asymptomatic behaviour of this family with respect to the time : when time goes to 0 and when it goes towards infinity. Of course additional geometric condition on the space-ime and the time function will be necessary for a more appropriate study

Η αντιμετώπιση της περιορισμένης χωρικής ανάλυσης των εικόνων, η οποία οφείλεται στους φυσικούς περιορισμούς που εμφανίζουν οι αισθητήρες σύλληψης εικόνας, αποτελεί το αντικείμενο μελέτης της παρούσας διδακτορικής διατριβής. Στη διατριβή αυτή αρχικά γίνεται προσπάθεια μοντελοποίησης της λειτουργίας του ψηφιοποιητή εικόνας κατά τη δημιουργία αντίγραφου ενός εγγράφου μέσω απλών μοντέλων. Στην εξομοίωση της λειτουργίας του ψηφιοποιητή, το προτεινόμενο μοντέλο θα πρέπει να προτιμηθεί έναντι των μοντέλων Gaussian και Cauchy, που συναντώνται στη βιβλιογραφία, καθώς είναι ισοδύναμο στην απόδοση, απλούστερο στην υλοποίηση και δεν παρουσιάζει εξάρτηση από συγκεκριμένα χαρακτηριστικά λειτουργίας του ψηφιοποιητή. Έπειτα, μορφοποιούνται νέες μέθοδοι για τη βελτίωση της χωρικής ανάλυσης σε εικόνες. Προτείνεται μέθοδος μη ομοιόμορφης παρεμβολής για ανακατασκευή εικόνας Super-Resolution (SR). Αποδεικνύεται πειραματικά πως η προτεινόμενη μέθοδος η οποία χρησιμοποιεί την παρεμβολή Kriging υπερτερεί της μεθόδου η οποία δημιουργεί το πλέγμα υψηλής ανάλυσης μέσω της σταθμισμένης παρεμβολής κοντινότερου γείτονα που αποτελεί συμβατική τεχνική. Επίσης, παρουσιάζονται τρεις νέες μέθοδοι για στοχαστική ανακατασκευή εικόνας SR regularized. Ο εκτιμητής Tukey σε συνδυασμό με το Bilateral Total Variation (BTV) regularization, ο εκτιμητής Lorentzian σε συνδυασμό με το BTV regularization και ο εκτιμητής Huber συνδυασμένος με το BTV regularization είναι οι τρεις μέθοδοι που προτείνονται. Μία πρόσθετη καινοτομία αποτελεί η απευθείας σύγκριση των τριών εκτιμητών Tukey, Lorentzian και Huber στην ανακατασκευή εικόνας super-resolution, άρα στην απόρριψη outliers. Η απόδοση των προτεινόμενων μεθόδων συγκρίνεται απευθείας με εκείνη μίας τεχνικής SR regularized που υπάρχει στη βιβλιογραφία, η οποία αποδεικνύεται κατώτερη. Σημειώνεται πως τα πειραματικά αποτελέσματα οδηγούν σε επαλήθευση της θεωρίας εύρωστης στατιστικής συμπεριφοράς. Επίσης, εκπονείται μία πρωτότυπη μελέτη σχετικά με την επίδραση που έχει κάθε ένας από τους όρους έκφρασης πιστότητας στα δεδομένα και regularization στη διαμόρφωση του αποτελέσματος της ανακατασκευής εικόνας SR. Τα συμπεράσματα που προκύπτουν βοηθούν στην επιλογή μίας αποτελεσματικής μεθόδου για ανακατασκευή εικόνας SR ανάμεσα σε διάφορες υποψήφιες μεθόδους για κάποια δεδομένη ακολουθία εικόνων χαμηλής ανάλυσης. Τέλος, προτείνεται μία μέθοδος παρεμβολής σε εικόνα μέσω νευρωνικού δικτύου. Χάρη στην προτεινόμενη τεχνική εκπαίδευσης το νευρωνικό δίκτυο μαθαίνει το point spread function του ψηφιοποιητή εικόνας. Τα πειραματικά αποτελέσματα αποδεικνύουν πως η προτεινόμενη μέθοδος υπερτερεί σε σχέση με τους κλασικούς αλγόριθμους δικυβικής παρεμβολής και παρεμβολής spline. Η τεχνική που προτείνεται εξετάζει για πρώτη φορά το ζήτημα της σειράς της παρουσίασης των δεδομένων εκπαίδευσης στην είσοδο του νευρωνικού δικτύου. / Coping with the limited spatial resolution of images, which is caused by the physical limitations of image sensors, is the objective of this thesis. Initially, an effort to model the scanner function when generating a document copy by means of simple models is made. In a task of scanner function simulation the proposed model should be preferred over the Gaussian and Cauchy models met in bibliography as it is equivalent in performance, simpler in implementation and does not present any dependence on certain scanner characteristics. Afterwards, new methods for improving images spatial resolution are formulated. A nonuniform interpolation method for Super-Resolution (SR) image reconstruction is proposed. Experimentation proves that the proposed method employing Kriging interpolation predominates over the method which creates the high-resolution grid by means of the weighted nearest neighbor interpolation that is a conventional interpolation technique. Also, three new methods for stochastic regularized SR image reconstruction are presented. The Tukey error norm in combination with the Bilateral Total Variation (BTV) regularization, the Lorentzian error norm in combination with the BTV regularization and the Huber error norm combined with the BTV regularization are the three proposed methods. An additional novelty is the direct comparison of the three estimators Tukey, Lorentzian and Huber in the task of super-resolution image reconstruction, thus in rejecting outliers. The performance of the proposed methods proves superior to that of a regularized SR technique met in bibliography. Experimental results verify the robust statistics theory. Moreover, a novel study which considers the effect of each one of the data-fidelity and regularization terms on the SR image reconstruction result is carried out. The conclusions reached help to select an effective SR image reconstruction method, among several potential ones, for a given low-resolution sequence of frames. Finally, an image interpolation method employing a neural network is proposed. The presented training procedure results in the network learning the scanner point spread function. Experimental results prove that the proposed technique predominates over the classical algorithms of bicubic and spline interpolation. The proposed method is novel as it treats, for the first time, the issue of the training data presentation order to the neural network input.

Les espace-temps conformément plats de dimension supérieure ou égal à 3 sont des variétés localement modelées l'espace-temps d'Einstein où il agit la composante connexe de l'identité du groupe des difféomorfismes conformes.Un espace-temps M est globalement hyperbolique s'il admet une hypersurface S de type espace qui est rencontrée une et une seule fois par toute courbe causale de M. L'hypersurface S est alors dite hypersurface de Cauchy de M.L'ensemble des espace-temps globalement hyperboliques conformément plats, identifiés à difféomorphisme conforme près, est naturellement muni d'une relation d'ordre partielle: on dit que N étends M s'il existe un plongement conforme de M dans N tel que l'image de toute hypersurface de Cauchy de M est une hypersurface de Cauchy de N. Les éléments maximaux par rapport à cette relation d'ordre sont appelés espace-temps maximaux.Le premier résultat qu'on a prouvé est l'existence et unicité de l'extension maximale pour un espace-temps conformément plat globalement hyperbolique donné. Ce résultat généralise un théorème de Choquet-Bruhat et Geroch relatif aux espace-temps solutions des équation d'Einstein.L'unicité de l'extension maximale permet de prouver le résultat suivant:Théorème:En dimension supérieur ou égal à 3, l'espace d'Einstein est le seul espace-temps conformément plat maximal simplement connexe admettant une hypersurface de Cauchy compacte.Si l'hypersurface de Cauchy S du revêtement universel d'un espace-temps M est compacte on obtient donc que M est un quotient fini de l'espace d'Einstein. La structure des géodésiques de l'espace d'Einstein et l'unicité de l'extension maximale permettent de prouver :Théorème:Soit M un espace-temps conformément plat maximal de dimension supérieur ou égal à 3, qui contient deux géodésiques lumières distinctes, librement homotopes et ayant les mêmes extrémités. Alors M est un quotient fini de l'espace d'Einstein.Dans le cas où l'hypersurface S' du revêtement universel M' de M est non compacte on montre chaque point p de M' est déterminé par le compact de S 'constitué par l'intersection de son passé causal ou de son futur causal avec l'hypersurface S', suivant que p appartient au passé ou au futur de S'. Onappelle ce compact l'ombre de p sur S'. L'espace-temps M' s'identifie donc à un sous-ensemble des compacts de S'.Ce point de vue permet d'avoir une compréhension plus profonde de la maximalité d'un espace-temps. En fait on a différentes notions de maximalité :un espace-temps pourrait être maximal parmi les espace-temps conformément plats mais avoir un majorant qui n'est pas conformément plat, i.e. il pourrait exister un plongement conforme dans un espace-temps globalement hyperbolique qui ne soit pas conformément plat.Grâce à la notion d'ombre, on prouve que la structure causale induite sur la frontière de Penrose du revêtement universel d'un espace-temps conformément plat permet de caractériser les espace-temps maximaux parmi tous les espace-temps globalement hyperboliques, on obtient:Théorème:Tout espace-temps globalement hyperbolique conformément plat M qui est maximal parmi les espace-temps globalement hyperbolique conformément plats est aussi maximal parmi tous les espace-temps globalement hyperboliques.On conclut avec une discussion détaillée sur la maximalité des espaces-temps globalement hyperboliques maximaux parmi les espace-temps à courbure constante, suivant le signe de la courbure: lorsque la courbure est négative ou nulle, l'espace-temps est maximal aussi parmi tous les espace-temps globalement hyperboliques, mais cela n'est jamais vrai lorsque la courbure est strictement positive / As a consequence of the Lorentzian version of Liouville’s Theorem, everyconformally flat space-time of dimension 3 is a (Ein1,n,O0(2, n + 1))-manifold. The Einstein’s space-time Ein1,n is the space Sn × S1 with theconformal class of the metric d2−dt2, where d2 and dt2 are the canonicalRiemannian metrics of Sn and R. The group O0(2, n+1) is the group of theconformal diffeomorphisms of Ein1,n whose action preserve the orientationand the time-orientation of Ein1,n. A space-time M is globally hyperbolicif it contains a spacelike hypersurface which intersects every inextensiblecausal curve of M exactly in one point. As a consequence M is not compact.The hypersurface is called a Cauchy hypersurface of M. Geroch’s Theorem([?]) say that if M is globally hyperbolic, then M is homeomorphic to×R. There is a naturally defined partial order on the set of globally hyperbolicspace-times (up to conformal diffeomorphism) : M M0 if does existsa conformal embedding f : M ,! M0 which sends Cauchy hypersurfaces ofM to Cauchy hypersurfaces of M0 (f is called a Cauchy-embedding ). Wecall C-maximal space-times the maximal elements for this partial order onthe set of globally hyperbolic space-times. We can restrict the partial orderto the subset of conformally flat space-times : in this case we call themaximal elements C0-maximal space-times. The first result of the thesis isa generalization of a Theorem proved by Choquet-Bruhat and Geroch in[?] : let M be a globally hyperbolic conformally flat space-time. Then thereis a globally hyperbolic conformally flat C0-maximal space-time N and aCauchy-embedding f : M ,! N. The space-time N is unique up to conformaldiffeomorphisms.The uniqueness of the C0-maximal extension imply that every globally hyperbolicconformally flat simply connected C0-maximal space-time (of dimension3) with a compact Cauchy hypersurface is conformally diffeomorphicto gEin1,n.In the second part of the thesis we study the injectivity of the developingmap of a globally hyperbolic conformally flat space-time M looking at theshape of its the causal boundary.We say that two points p, q are conjugatedin a space-time M if there are two different lightlike geodesics and whichstart at p and meet at q, such that and don’t intersect between p and q.The most remarkable result of this part is : let M a globally hyperbolicconformally flat C0-maximal space-time. If fM has two conjugated pointsthen fM ' gEin1,n. In particular M is a finite quotient of gEin1,n.As a consequence of this result we obtain that the developing map of Mrestricted to the chronological past and future of every point is injective.In the last part of the thesis we give an abstract construction of the Cmaximalextension for a given conformally flat globally hyperbolic spacetime.The idea is that a globally hyperbolic space-time is completely determinedby one of his Cauchy hypersurfaces. This result helps to understandhow to relate the different notions of maximality. In particular we provethat every conformally flat globally hyperbolic space-time M which is C0-maximal is also C-maximal.