Algebraic approach to time-delay data analysis for LISA

Cancellation of laser frequency noise in interferometers is crucial for attaining the requisite sensitivity of the triangular three-spacecraft LISA configuration. Raw laser noise is several orders of magnitude above the other noises and thus it is essential to bring it down to the level of other noises such as shot, acceleration, etc. Since it is impossible to maintain equal distances between spacecrafts, laser noise cancellation must be achieved by appropriately combining the six beams with appropriate time delays. It has been shown in several recent papers that such combinations are possible. In this paper, we present a rigorous and systematic formalism based on algebraic geometrical methods involving computational commutative algebra, which generates in principle all the data combinations canceling the laser frequency noise. The relevant data combinations form the first module of syzygies, as it is called in the literature of algebraic geometry. The module is over a polynomial ring in three variables, the three variables corresponding to the three time delays around the LISA triangle. Specifically, we list several sets of generators for the module whose linear combinations with polynomial coefficients generate the entire module. We find that this formalism can also be extended in a straightforward way to cancel Doppler shifts due to optical bench motions. The two modules are in fact isomorphic. We use our formalism to obtain the transfer functions for the six beams and for the generators. We specifically investigate monochromatic gravitational wave sources in the LISA band and carry out the maximization over linear combinations of the generators of the signal-to-noise ratios with the frequency and source direction angles as parameters