
This essay demonstrates the key role of Astronomy in Botticelli's "Venus and
MarsNG915" painting, to date only very partially understood. Worthwhile
coincidences among the principles of the Ficinian philosophy, the historical
characters involved and the compositional elements of the painting, show how
the astronomical knowledge of that time strongly influenced this masterpiece.
First, Astronomy provides its precise dating since the artist used the
astronomical ephemerides of his time, albeit preserving a mythological meaning,
and a clue for Botticelli's signature. Second, it allows the correlation among
Botticelli's creative intention, the historical facts and the astronomical
phenomena such as the heliacal rising of the planet Venus in conjunction with
the Aquarius constellation dating back to the earliest representations of Venus
in Mesopotamian culture. This work not only bears a significant value for the
history of science and art, but, in the current era of threedimensional
mapping of billion stars about to be delivered by Gaia, states the role of
astronomical heritage in Western culture. Finally, following the same method, a
precise astronomical dating for the famous Primavera painting is suggested.

A key objective of the ESA Gaia satellite is the realization of a
quasiinertial reference frame at visual wavelengths by means of global
astrometric techniques. This requires an accurate mathematical and numerical
modeling of relativistic light propagation, as well as doubleblindlike
procedures for the internal validation of the results, before they are released
to the scientific community at large. Aim of this work is to specialize the
Time Transfer Functions (TTF) formalism to the case of the Gaia observer and
prove its applicability to the task of Global Sphere Reconstruction (GSR), in
anticipation of its inclusion in the GSR system, already featuring the suite of
RAMOD models, as an additional semiexternal validation of the forthcoming Gaia
baseline astrometric solutions. We extend the current GSR framework and
software infrastructure (GSR2) to include TTF relativistic observation
equations compatible with Gaia's operations. We use simulated data generated by
the Gaia Data Reduction and Analysis Consortium (DPAC) to obtain different
leastsquares estimations of the full stellar spheres and gauge results. These
are compared to analogous solutions obtained with the current RAMOD model in
GSR2 and to the catalog generated with GREM, the model baselined for Gaia and
used to generate the DPAC synthetic data. Linearized leastsquares TTF
solutions are based on spheres of about 132,000 primary stars uniformly
distributed on the sky and simulated observations spanning the entire 5yr
range of Gaia's nominal operational lifetime. The statistical properties of the
results compare well with those of GREM. Finally, comparisons to RAMOD@GSR2
solutions confirmed the known lower accuracy of that model and allowed us to
establish firm limits on the quality of the linearization point outside of
which an iteration for nonlinearity is required for its proper convergence.

In the context of the ESA M5 (medium mission) call we proposed a new
satellite mission, Theia, based on relative astrometry and extreme precision to
study the motion of very faint objects in the Universe. Theia is primarily
designed to study the local dark matter properties, the existence of Earthlike
exoplanets in our nearest star systems and the physics of compact objects.
Furthermore, about 15 $\%$ of the mission time was dedicated to an open
observatory for the wider community to propose complementary science cases.
With its unique metrology system and "point and stare" strategy, Theia's
precision would have reached the sub microarcsecond level. This is about 1000
times better than ESA/Gaia's accuracy for the brightest objects and represents
a factor 1030 improvement for the faintest stars (depending on the exact
observational program). In the version submitted to ESA, we proposed an optical
(3501000nm) onaxis TMA telescope. Due to ESA Technology readiness level, the
camera's focal plane would have been made of CCD detectors but we anticipated
an upgrade with CMOS detectors. Photometric measurements would have been
performed during slew time and stabilisation phases needed for reaching the
required astrometric precision.

This paper presents the analytical solution of the inverse ray tracing
problem for photons emitted by a star and collected by an observer located in
the gravitational field of the Solar System. This solution has been conceived
to suit the accuracy achievable by the ESA Gaia satellite (launched on December
19, 2013) consistently with the measurement protocol in General relativity
adopted within the RAMOD framework. Aim of this study is to provide a general
relativistic tool for the science exploitation of such a revolutionary mission,
whose main goal is to trace back star directions from within our local curved
spacetime, therefore providing a threedimensional map of our Galaxy. The
results are useful for a thorough comparison and crosschecking validation of
what already exists in the field of Relativistic Astrometry. Moreover, the
analytical solutions presented here can be extended to model other measurements
that require the same order of accuracy expected for Gaia.

The gravitational field of a static body with quadrupole moment is described
by an exact solution found by Erez and Rosen. Here we investigate the role of
the quadrupole in the motion, deflection and lensing of a light ray in the
above metric. The standard lensing observables like image positions and
magnification have been explicitly obtained in the weak field and small
quadrupole limit. In this limit the spacetime metric appears as the natural
generalization to quadrupole corrections of the metric form adopted also in
current astrometric models. Hence, the corresponding analytical solution of the
inverse ray tracing problem as well as the consistency with other approaches
are also discussed.

Given the extreme accuracy of modern space astrometry, a precise relativistic
modeling of observations is required. Moreover, the availability of several
models formulated in different and independent ways is a security against the
presence of systematic errors in the analysis of future experimental results,
like in the case of the Gaia mission. In this work, we simulate a series of
observations using the two models to be used for the data analysis of Gaia, the
Gaia RElativistic Model (GREM) and the Relativistic Astrometric MODel (RAMOD),
and we compare them with the results of our astrometric model based on the Time
Transfer Functions.

We review the mathematical models available for relativistic astrometry,
discussing the different approaches and their accuracies in the context of the
modern experiments from space like Gaia and GAME, and we show how these models
can be applied to the real world, and their consequences from the mathematical
and numerical point of view, with specific reference to the case of Gaia, whose
launch is due before the end of the year.

Given the extreme accuracy of modern space astrometry, a precise relativistic
modeling of observations is required. Concerning light propagation, the
standard procedure is the solution of the nullgeodesic equations. However,
another approach based on the Time Transfer Functions (TTF) has demonstrated
its capability to give access to key quantities such as the time of flight of a
light signal between two pointevents and the tangent vector to its
nullgeodesic in a weak gravitational field using an integralbased method. The
availability of several models, formulated in different and independent ways,
must not be considered like an oversized relativistic toolbox. Quite the
contrary, they are needed as validation to put future experimental results on
solid ground. The objective of this work is then twofold. First, we build the
time of flight and tangent vectors in a closed form within the TTF formalism
giving the case of a time dependent metric. Second, we show how to use this new
approach to obtain a comparison of the TTF with two existing modelings, namely
GREM and RAMOD. In this way, we evidentiate the mutual consistency of the three
models, opening the basis for further links between all the approaches, which
is mandatory for the interpretation of future space missions data. This will be
illustrated through two recognized cases: a static gravitational field and a
system of monopoles in uniform motion.

Advancement in astronomical observations and technical instrumentation
implies taking into account the general relativistic effects due the
gravitational fields encountered by the light while propagating from the star
to the observer. Therefore, data exploitation for Gaialike space astrometric
mission (ESA, launch 2013) requires a fully relativistic interpretation of the
inverse raytracing problem, namely the development of a highly accurate
astrometric models in accordance with the geometrical environment affecting
light propagation itself and the precepts of the theory of measurement. This
could open a new rendition of the stellar distances and proper motions, or even
an alternative detection perspective of many subtle relativistic effects
suffered by light while it is propagating and subsequently recorded in the
physical measurements.

Advancement in astronomical observations and technical instrumentation
requires coding light propagation at high level of precision; this could open a
new detection window of many subtle relativistic effects suffered by light
while it is propagating and entangled in the physical measurements. Light
propagation and its subsequent detection should indeed be conceived in a fully
relativistic context, in order to interpret the results of the observations in
accordance with the geometrical environment affecting light propagation itself,
as an unicum surrounding universe. One of the most intriguing aspects is the
boost towards the development of highly accurate models able to recon struct
the light path consistently with General Relativity and the precepts of
measurements. This paper deals with the complexity of such a topic by showing
how the geometrical framework of models like RAMOD, initially developed for
astrometric observations, constitutes an appropriate physical environment for
back tracing a light ray conforming to the intrinsic accuracy of spacetime.
This article discusses the reasons why RAMOD stands out among the existent
approaches applied to the light propagation problem and provides a proof of its
capability in recasting recent literature cases.