Neutrino oscillations are well established and the relevant parameters
determined with good precision, except for the CP phase, in terms of a unitary
lepton mixing matrix. Seesaw extensions of the Standard Model predict unitarity
deviations due to the admixture of heavy isosinglet neutrinos. We provide a
complete description of the unitarity and universality deviations in the light
neutrino sector. Neutrino oscillation experiments involving electron or muon
neutrinos and anti-neutrinos are fully described in terms of just three new
real parameters and a new CP phase, in addition to the ones describing
oscillations with unitary mixing. Using this formalism we describe the
implications of non-unitarity for neutrino oscillations and summarize the
model-independent constraints on heavy neutrino couplings that arise from
current experiments.Comment: 28 pages, 8 figures, typos corrected, modified bounds on
non-unitarity parameters, new figs 3 and
