We study the prospects for the measurement of the stau - lightest neutralino mass difference (dM) and the gluino mass (Mg) in the supersymmetric co-annihilation region at the LHC using tau leptons. Recent WMAP measurements of the amount of cold dark matter and previous accelerator experiments indicate that the coannihilation region of mSUGRA is characterized by a small dM (5-15 GeV). Focusing on taus from N2 -> tau stau -> tau tau N1 decays in gluino and squark production, we consider inclusive 3 tau+jet+missing Et production, with two taus above a high Et threshold and a third tau above a lower threshold. Two observables, the number of opposite-signed tau pairs minus the number of like-signed tau pairs and the peak of the ditau invariant mass distribution, allow for the simultaneous determination of dM and Mg for dM >5 GeV. For example, for dM = 9 GeV and Mg =850 GeV and with 30 fb^-1 of data, we can measure dM to 15% and Mg to 6%.

We consider the problem of gravitational forces between point particles on the branes in a Randall-Sundrum (R-S) two brane model with $S^1/Z_2$ symmetry. Matter is assumed to produce a perturbation to the R-S vacuum metric and all the 5D Einstein equations are solved to linearized order (for arbitrary matter on both branes). We show that while the gauge condition $h_{i5} = 0, i=0,1,2,3$ can always be achieved without brane bending, the condition $h_{55} = 0$ leads to large brane bending. The static potential arising from the zero modes and the corrections due to the Kaluza-Klein (KK) modes are calculated. Gravitational forces on the Planck ($y_1 = 0$) brane recover Newtonian physics with small KK corrections (in accord with other work). However, forces on the TeV ($y_2$) brane due to particles on that brane are strongly distorted by large R-S exponentials.

The cosmology in the Hubble expansion era of the Horava-Witten M-theory compactified on a Calabi-Yau threefold is studied in the reduction to five-dimensions where the effects of the Calabi-Yau manifold are summarized by the volume modulus, and all perturbative potentials are included. Matter on the branes are treated as first order perturbations of the static vacuum solution, and all equations in the bulk and all boundary conditions on both end branes are imposed. It is found that for a static volume modulus and a static fifth dimension, y, one can recover the four dimensional Robertson Friedmann Walker cosmology for relativistic matter on the branes, but not for non-relativistic matter. In this case, the Hubble parameter H becomes independent of y to first order in matter density. This result holds also when an arbitrary number of 5-branes are included in the bulk. The five dimensional Horava-Witten model is compared with the Randall Sundrum phenomenology with a scalar field in the bulk where a bulk and brane potential are used so that the vacuum solutions can be rigorously obtained. (In the Appendix, the difficulty of obtaining approximate vacuum solutions for other potentials is discussed.) In this case non-relativistic matter is accommodated by allowing the distance between the branes to vary. It is suggested that non-perturbative potentials for the vacuum solution of Horava-Witten theory are needed to remove the inconsistency that non-relativistic matter creates.

This article--summarizing the authors' then novel formulation of General Relativity--appeared as Chapter 7 of an often cited compendium edited by L. Witten in 1962, which is now long out of print. Intentionally unretouched, this posting is intended to provide contemporary accessibility to the flavor of the original ideas. Some typographical corrections have been made: footnote and page numbering have changed--but not section nor equation numbering etc. The authors' current institutional affiliations are encoded in: arnowitt@physics.tamu.edu, deser@brandeis.edu, misner@physics.umd.edu .

We consider the cosmology of the reduced 5D Horava-Witten M-Theory (HW) with volume modulus and treating matter on the orbifold planes to first order. It is seen that one can recover the FRW cosmology in the Hubble expansion era with relativistic matter, but if a solution exist with non-relativistic (massive) matter it must be non-static with a Hubble constant that depends on the fifth dimension. (The same result holds when 5-branes are present.) This difficulty is traced to the fact that in HW, the volume modulus couples to the bulk and brane cosmological constants (so that the net 4D constant vanishes naturally). This situation is contrasted with the Randall-Sundrum 1 model (which is here treated without making the stiff potential approximation) where the radion field does not couple to the cosmological constants (and so one must instead fine tune the net constant to zero). One finds that non-relativistic matter is accommodated there by changing the distance between the end branes.

A study is made of what SUSY signals would be observable for mSUGRA models in a 500-GeV linear collider. All current experimental bounds on the mSUGRA parameter space are imposed. For m_0 < 1 TeV (or alternately if the current g_\mu - 2 anomaly maintains) the only observable signals that remain are slepton pair production and neutralino production of {\tilde\chi^0_2}+{\tilde\chi^0_1}. Slepton pair production can occur for masses < 250 GeV which for the selectron and smuon pairs require tanbeta < 40. In this domain very accurate selectron and smuon masses could be measured. Light staus, \tilde\tau_1, with mass < 250 GeV can be pair produced for any tanbeta and the neutralino signal can be seen provided m_{1/2}<~400 GeV. However, the detection of these requires a much more complicated analysis due to the fact that the dark matter co-annihilation constraint requires that the \tilde\tau_1 and {\tilde\chi^0_1} mass difference be <~ 15 GeV. The point m_{1/2} = 360 GeV, A_0 = 0, \mu>0 is analyzed in detail, and it is shown that the stau and neutralino signals can be detected provided an active mask down to 2^o is used. However, large parts of the mSUGRA parameter space exists where a 500-GeV machine would not be able to see any SUSY signal.

We examine here the constraints from the amount of relic density of neutralino dark matter and other experiments have on the SUSY parameter space for the mSUGRA model and for models with non-universal soft breaking at the GUT scale. In mSUGRA, the allowed amount of dark matter restricts the SUSY parameter space to a narrow band in m_0 - m_{1/2} (except at very large \tan\beta). The Higgs mass and b-> s\gamma constraints produce a lower bound of m_{1/2}>~{\sim} 300GeV and if the muon magnetic moment anomaly can be interpreted as a 3\sigma deviation from the Standard Model, one also obtains an upper bound of m_{1/2} <~900 GeV, making the SUSY spectrum well accessible to the LHC. The B_s->\mu \mu decay is seen to be accessible to the Tevatron Run2B with 15 fb^{-1} for \tan\beta>~30. However, only parts of the spectrum will be accessible to the NLC if it's energy is below 800GeV. Non-universal soft breaking opens new regions of parameter space. Thus the m_{1/2} lower bound constraint of b->s\gamma and also the Higgs mass can be reduced greatly if the gluino mass is assumed larger at the GUT scale (allowing for a lighter gaugino spectrum), and non-universal Higgs soft breaking masses at the GUT scale can open new allowed regions at relatively low m_{1/2} and high m_0 where dark matter detection cross sections may be increased by a factor of ten or more.

We examine supergravity models with grand unification at M_G possessing R parity invariance. Current data has begun to significantly constrain the parameter space. Thus for mSUGRA, accelerator data places a lower bound on m_{1/2} of m_{1/2} >~300 GeV while astronomical data on the amount of relic dark matter narrowly determines m_0 in terms of m_{1/2} (for fixed value of tanbeta and A_0) due to co-annihilation effects. Additional new data could fix the parameters further. Thus the parameter space is sensitive to the muon magnetic moment anomaly, \delta a_\mu, and if \delta a_\mu lies 1 \sigma above its current central value, it would exclude mSUGRA, while if it lies 1\sigma below (but is still positive) it pushes the SUSY spectrum into the TeV domain. The B_s ->\mu^+ \mu^- decay is seen to be accessible to the Tevatron RunII with branching ratio sensitivity of Br[B_s ->\mu^+ \mu^-] > 6.5\times10^{-9} with 15 fb^{-1}/detector, and a value of 7(14)\times10^{-8} obtainable with 2 fb^{-1} would be sufficient to exclude mSUGRA for tan beta < 50(55). Measurements of B_s ->\mu^+ \mu^- can cover the full mSUGRA parameter space for tanbeta > 40 if \delta a_\mu > 11\times10^{-10}, and combined measurements of B_s -> \mu^+ \mu^-, a_\mu and m_h (or alternately the gluino mass) would effectively determine the mSUGRA parameters for \mu > 0. Detector cross sections are then within the range of planned future dark matter experiments. Non-universal models are also discussed, and it is seen that detector cross sections there can be much larger, and can be in the DAMA data region.

Direct detection experiments for neutralino dark matter in the Milky Way are examined within the framework of SUGRA models with R-parity invariance and grand unification at the GUT scale, M_G. Models of this type apply to a large number of phenomena, and all existing bounds on the SUSY parameter space due to current experimental constraints are included. For models with universal soft breaking at M_G (mSUGRA), the Higgs mass and b\to s\gamma constraints imply that the gaugino mass, m_{1/2}, obeys m_{1/2} >(300-400)GeV putting most of the parameter space in the co-annihilation domain where there is a relatively narrow band in the m_0 - m_{1/2} plane. For $\mu > 0$ we find that the neutralino -proton cross section >~ 10^{-10} pb for m_{1/2} < 1 TeV, making almost all of this parameter space accessible to future planned detectors. For \mu < 0, however, there will be large regions of parameter space with cross sections < 10^{-12} pb, and hence unaccessible experimentally. If, however, the muon magnetic moment anomaly is confirmed, then \mu >0 and m_{1/2}<~ 800 GeV. Models with non-universal soft breaking in the third generation and Higgs sector can allow for new effects arising from additional early universe annihilation through the Z-channel pole. Here cross sections that will be accessible in the near future to the next generation of detectors can arise, and can even rise to the large values implied by the DAMA data. Thus dark matter detectors have the possibility of studying the the post-GUT physics that control the patterns of soft breaking.

Coannihilation effects in neutralino relic density calculations are examined for a full range of supersymmetry parameters including large \tan\beta and large A_0 for stau, chargino, stop and sbottom coannihilation with the neutralino. Supergravity models possessing grand unification with universal soft breaking (mSUGRA), models with nonuniversal soft breaking in the Higgs and third generation sparticles, and D-brane models with nonuniversal gaugino masses were analysed. Unlike low \tan\beta where m_0 is generally small, stau coannihilation corridors with high \tan\beta are highly sensitive to A_0, and large A_0 allows m_0 to become as large as 1TeV. Nonuniversal soft breaking models at high \tan\beta also allow the opening of a new annihilation channel through the s-channel Z pole with acceptable relic density, allowing a new wide band in the m_0-m_{1/2} plane with m_{1/2} >~ 400 GeV and $m_0$ rising to 1 TeV. The D-brane models considered possess stau coannihilations regions similar to mSUGRA, as well as small regions of chargino coannihilation. Neutralino-proton cross sections are analysed for all models and it is found that future detectors for halo wimps will be able to scan essentially the full parameter space with m_{1/2} < 1 TeV except for a region with \mu < 0 where accidental cancellations occur when 5 ~<\tan\beta ~< 30. Analytic explanations of much of the above phenomena are given. The above analyses include current LEP bounds on the Higgs mass, large \tan\beta NLO correction to the b \to s \gamma decay, and large \tan\beta SUSY corrections to the b and \tau masses.

We examine the recently observed deviation of the muon g - 2 from the Standard Model prediction within the framework of gravity mediated SUGRA models with R parity invariance. Universal soft breaking (mSUGRA) models, and models with non-universal Higgs and third generation squark/slepton masses at M_G are considered. All relic density constraints from stau-neutralino co-annihilation and large \tan\beta NLO corrections for b \to s\gamma decay are included, and we consider two possibilities for the light Higgs: m_h > 114 GeV and m_h > 120 GeV. The combined m_h, b \to s\gamma and a_{\mu} bounds give rise to lower bounds on \tan\beta and m_{1/2}, while the lower bound on a_{\mu} gives rise to an upper bounds on m_{1/2}. These bounds are sensitive to A_0, e.g. for m_h > 114 GeV, the 95% C.L. is \tan\beta > 7(5) for A_0 = 0(-4m_{1/2}), and for m_h > 120 GeV, \tan\beta > 15(10). The positive sign of the a_{\mu} deviation implies \mu > 0, eliminating the extreme cancellations in the dark matter neutralino-proton detection cross section so that almost all the SUSY parameter space should be accessible to future planned detectors. Most of the allowed parts of parameter space occur in the co-annihilation region where m_0 is strongly correlated with m_{1/2}. The lower bound on a_{\mu} then greatly reduces the allowed parameter space. Thus using 90% C. L. bounds on a_{\mu} we find for A_0 = 0 that \tan\beta \geq 10 and for \tan\beta \leq 40 that m_{1/2} = (290 - 550) GeV and m_0 = (70 - 300) GeV. Then the tri-lepton signal and other SUSY signals would be beyond the Tevatron Run II (except for the light Higgs), only the \tilde{\tau}_1 and h and (and for part of the parameter space) the \tilde{e}_1 will be accessible to a 500 GeV NLC, while the LHC would be able to see the full SUSY mass spectrum.

We consider the neutralino proton cross section for detection of Milky Way dark matter for a number of supergravity models with gauge unification at the GUT scale: models with universal soft breaking (mSUGRA), models with nonuniversal soft breaking, and string inspired D-brane models. The parameter space examined includes m_{1/2}<1 TeV and tan \beta < 50, and the recent Higgs bound of m_h >114 GeV is imposed. (For grand unified models, this bound is to be imposed for all tan \beta.) All coannihilation effects are included as well as the recent NLO corrections to b\to s\gamma for large tan \beta, and coannihilation effects are shown to be sensitive to A_0 for large tan \beta. In all models, current detectors are sampling parts of the paramater space i. e. tan \beta >~ 25 for mSUGRA, tan \beta >~ 7 for nonuniversal models, and tan \beta>~ 20 for D-brane models. Future detectors should be able to cover almost the full parameter space for \mu > 0. For \mu< 0, cancellations can occur for m_{1/2} >~ 450 GeV, allowing the cross sections to become ~< 10^{-10} pb for limited ranges of tan\beta. (The positions of these cancellations are seen to be sensitive to the value of \sigma_{\pi N}.) In this case, the gluino and squarks lie above 1 TeV, but still should be accessible to the LHC if m_{1/2} <1 TeV.

We consider neutralino-proton cross sections for halo dark matter neutralinos within the framework of supergravity models with R-parity invariance for models with universal soft breaking (mSUGRA) and models with nonuniversal soft breaking. The analysis includes the necessary corrections to treat the large tanbeta region (i.e. L-R mixing in the squark and slepton mass matrices, loop corrections to the b and tau masses,etc) and includes all coannihilation phenomena. For mSUGRA, dark matter detectors with current sensitivity are seen to be probing the region where tanbeta>~25, Omega h^2 <0.1, m_{chi_1^0}~<90 GeV, and for the light Higgs, m_h~< 120 GeV. Nonuniversal models can have a much larger cross section, and current detectors can probe part of the parameter space where tan>~4. Minimum cross sections are generally greater than 10^{-9} pb to 10^{-10} pb for m_{1/2} <600 GeV (and hence accessible to planned future detectors), with the exception of a region when mu <0 where for m_{1/2}>~450 GeV, 4~< tanbeta~<20, the cross section drops to a minimum of about 1\times10^{-12} pb at m_{1/2}=600 GeV, tan beta=~10. In this region, the gluino and squarks lie above 1 TeV, but should still be accessible to the LHC.

Neutralino proton cross sections are examined for models with R-parity invariance with universal soft breaking (mSUGRA) models, nonuniversal SUGRA models, and D-brane models. The region of parameter space where current dark matter detectors are sensitive, i.e. $1\times 10^{-6}$ pb, is examined. For mSUGRA models, detectors are sampling parts of the parametr space for tan$\beta >\sim 25$. The nonuniversal models can achieve cross sections that are a factor of 10-100 bigger or smaller then the universal one and in the former case sample regions tan$\beta >\sim 4$. The D-brane models considered require tan$\beta >\sim 15$. The inclusion of CP violating phases reduces the cross section by a factor of $\sim$ 2-3 (but also requires considerable fine tuning at the GUT scale). The expected particle spectra at accelerators are examined and seen to differ for each model. Three new regions of possible coannihilation are noted.

The neutralino-proton cross section is examined for supergravity models with R-parity invariance with universal and non-universal soft breaking. The region of parameter space that dark matter detectors are currently (or will be shortly) sensitive i.e. $(0.1-10)\times 10^{-6}$ pb, is examined. For universal soft breaking (mSUGRA), detectors with sensitivity $\sigma_{\tilde{\chi}_{1}^{0}-p} \geq 1 \times 10^{-6}$ pb will be able to sample parts of the parameter space for $\tan \beta \stackrel{>}{\sim} 25$. Current relic density bounds restrict $m_{\tilde{\chi}_{1}^{0}} \leq 120$ GeV for the maximum cross sections, which is below where astronomical uncertainties about the Milky Way are relevant. Nonuniversal soft breaking models can allow much larger cross sections and can sample the parameter space for $\tan \beta \stackrel{>}{\sim} 4$. In such models, $m_0$ can be quite large reducing the tension between proton decay bounds and dark matter analysis. We note the existance of two new domains where coannihilation effects can enter, i.e. for mSUGRA at large $\tan \beta$, and for nonuniversal models with small $\tan \beta$.

An analysis is given of the annual modulation signal for the direct detection of relic neutralinos within the framework of supergravity unified models. It is shown that both the minimal and the non-minimal SUGRA models can generate neutralino-proton cross-sections at the level compatible with the signals reported in the DAMA experiment at the Gran Sasso National Laboratory. Effects of proton stability on the analysis of the DAMA data in the minimal and the non-minimal SUGRA models are also discussed.

Future sattelite, balloon and ground based experiments will give precision determinations of the basic cosmological parameters and hence determine the amount of cold dark matter accurately. We consider here two cosmological models, the nuCDM model and the LambdaCDM model, and examine within the framework of supergravity grand unification the effect this will have for these models on supersymmetry searches at accelerators. In the former example the gluino (neutralino) mass has an upper bound of about 720(100) GeV and gaps (forbidden regions) may deveop at lower energies. In the latter case the upper bound occurs at gluino (neutralino) mass of about 520(70) GeV with squarks and selectron becoming light when gluino (neutralino) masses are greater than 420(55) GeV. Both models are sensitive to non-universal soft breaking masses, and show a correlation between large (small) dark matter detector rates and low (high) b -> s+ gamma branching ratio.

Future sattelite (MAP and Planck) balloon and ground based experiments will the determine the basic cosmological parameters within a few percent. We examine here the effect of this on constraining the SUSY parameter space for supergravity R-parity conserving models (with tanbeta < 25) for the cases of nuCDM and LambdaCDM cosmological models. For the nuCDM (LambdaCDM) models, the gluino mass is restricted by m_g~ < 720(540)GeV. In both cases, the cosmological constraints are sensitive to non-universal SUSY soft breaking producing a lower bound m_g~ > 400GeV in some regions and for the nuCDM model, gaps in the allowed m_g~ range for other regions. For gluino (neutralino) masses greater than 450(65)GeV, m_0 is constrained to be small making the quark and slepton mass light generally light and detrmined mostly by m_g~.

The effect of non-universal SUSY soft breaking on predictions of dark matter detector event rates are surveyed for supergravity models with gravity mediated soft breaking. For universal soft breaking in the first two generations and tan(beta)<=20, non-universal effects can be characterized by four parameters (two for Higgs and two for third generation squarks) in addition to those of the minimal model (MSGM). These can increase or decrease event rates by a factor of 10-100 in the domain m_{\chi_1^0}<60 GeV (\chi_1^0= lightest neutralino) but produce generally small effects at higher masses. The value of the top mass and b->s+\gamma branching ratio eliminates most of the parameter space for \mu<0, causing event rates for \mu<0 to be a factor approximately 100 smaller than for mu>0. A correlation between large (small) event rates and small (large) b-> s+\gamma branching ratio is observed. The effect of future satellite (MAP and PLANCK) precision determinations of cosmological parameters on predicted event rates is examined for examples of the \Lambda CDM and \nu CDM models. It is seen that these could sharpen the event rate predictions and also restrict the allowed gaugino mass ranges, thus influencing predictions for accelerator SUSY searches.