Diffeomorphisms as Symplectomorphisms in History Phase Space: Bosonic String Model

The structure of the history phase space $\cal G$ of a covariant field system and its history group (in the sense of Isham and Linden) is analyzed on an example of a bosonic string. The history space $\cal G$ includes the time map $\sf T$ from the spacetime manifold (the two-sheet) $\cal Y$ to a one-dimensional time manifold $\cal T$ as one of its configuration variables. A canonical history action is posited on $\cal G$ such that its restriction to the configuration history space yields the familiar Polyakov action. The standard Dirac-ADM action is shown to be identical with the canonical history action, the only difference being that the underlying action is expressed in two different coordinate charts on $\cal G$. The canonical history action encompasses all individual Dirac-ADM actions corresponding to different choices $\sf T$ of foliating $\cal Y$. The history Poisson brackets of spacetime fields on $\cal G$ induce the ordinary Poisson brackets of spatial fields in the instantaneous phase space ${\cal G}_{0}$ of the Dirac-ADM formalism. The canonical history action is manifestly invariant both under spacetime diffeomorphisms Diff$\cal Y$ and temporal diffeomorphisms Diff$\cal T$. Both of these diffeomorphisms are explicitly represented by symplectomorphisms on the history phase space $\cal G$. The resulting classical history phase space formalism is offered as a starting point for projection operator quantization and consistent histories interpretation of the bosonic string model.Comment: 45 pages, no figure

Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics

This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained truth-value valuations are investigated. What is taken up is the modal approach based on a determinate lattice \Dcal(e,R), which is a sublattice of the lattice \Lcal of all quantum propositions and is determined by a quantum state $e$ and a preferred determinate observable $R$. Topos-theoretic extension is made in the functor category \Sets^{\CcalR} of which base category \CcalR is determined by $R$. Each true atom, which determines truth values, true or false, of all propositions in \Dcal(e,R), generates also a multi-valued valuation function of which domain and range are \Lcal and a Heyting algebra given by the subobject classifier in \Sets^{\CcalR}, respectively. All true propositions in \Dcal(e,R) are assigned the top element of the Heyting algebra by the valuation function. False propositions including the null proposition are, however, assigned values larger than the bottom element. This defect can be removed by use of a subobject semi-classifier. Furthermore, in order to treat all possible determinate observables in a unified framework, another valuations are constructed in the functor category \Sets^{\Ccal}. Here, the base category \Ccal includes all \CcalR's as subcategories. Although \Sets^{\Ccal} has a structure apparently different from \Sets^{\CcalR}, a subobject semi-classifier of \Sets^{\Ccal} gives valuations completely equivalent to those in \Sets^{\CcalR}'s.Comment: LaTeX2

`What is a Thing?': Topos Theory in the Foundations of Physics

The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. In doing so we provide a new answer to Heidegger's timeless question ``What is a thing?''. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics uses the topos of sets. Other theories involve a different topos. For the types of theory discussed in this paper, a key goal is to represent any physical quantity $A$ with an arrow \breve{A}_\phi:\Si_\phi\map\R_\phi where \Si_\phi and $\R_\phi$ are two special objects (the `state-object' and `quantity-value object') in the appropriate topos, $\tau_\phi$. We discuss two different types of language that can be attached to a system, $S$. The first, \PL{S}, is a propositional language; the second, \L{S}, is a higher-order, typed language. Both languages provide deductive systems with an intuitionistic logic. With the aid of \PL{S} we expand and develop some of the earlier work (By CJI and collaborators.) on topos theory and quantum physics. A key step is a process we term `daseinisation' by which a projection operator is mapped to a sub-object of the spectral presheaf \Sig--the topos quantum analogue of a classical state space. The topos concerned is \SetH{}: the category of contravariant set-valued functors on the category (partially ordered set) \V{} of commutative sub-algebras of the algebra of bounded operators on the quantum Hilbert space \Hi.Comment: To appear in ``New Structures in Physics'' ed R. Coeck

String and M-theory Deformations of Manifolds with Special Holonomy

The R^4-type corrections to ten and eleven dimensional supergravity required by string and M-theory imply corrections to supersymmetric supergravity compactifications on manifolds of special holonomy, which deform the metric away from the original holonomy. Nevertheless, in many such cases, including Calabi-Yau compactifications of string theory and G_2-compactifications of M-theory, it has been shown that the deformation preserves supersymmetry because of associated corrections to the supersymmetry transformation rules, Here, we consider Spin(7) compactifications in string theory and M-theory, and a class of non-compact SU(5) backgrounds in M-theory. Supersymmetry survives in all these cases too, despite the fact that the original special holonomy is perturbed into general holonomy in each case.Comment: Improved discussion of SU(5) holonomy backgrounds. Other minor typos corrected. Latex with JHEP3.cls, 42 page

Comparing Formulations of Generalized Quantum Mechanics for Reparametrization-Invariant Systems

A class of decoherence schemes is described for implementing the principles of generalized quantum theory in reparametrization-invariant `hyperbolic' models such as minisuperspace quantum cosmology. The connection with sum-over-histories constructions is exhibited and the physical equivalence or inequivalence of different such schemes is analyzed. The discussion focuses on comparing constructions based on the Klein-Gordon product with those based on the induced (a.k.a. Rieffel, Refined Algebraic, Group Averaging, or Spectral Analysis) inner product. It is shown that the Klein-Gordon and induced products can be simply related for the models of interest. This fact is then used to establish isomorphisms between certain decoherence schemes based on these products.Comment: 21 pages ReVTe

Gravitons and Lightcone Fluctuations

Gravitons in a squeezed vacuum state, the natural result of quantum creation in the early universe or by black holes, will introduce metric fluctuations. These metric fluctuations will introduce fluctuations of the lightcone. It is shown that when the various two-point functions of a quantized field are averaged over the metric fluctuations, the lightcone singularity disappears for distinct points. The metric averaged functions remain singular in the limit of coincident points. The metric averaged retarded Green's function for a massless field becomes a Gaussian which is nonzero both inside and outside of the classical lightcone. This implies some photons propagate faster than the classical light speed, whereas others propagate slower. The possible effects of metric fluctuations upon one-loop quantum processes are discussed and illustrated by the calculation of the one-loop electron self-energy.Comment: 18pp, LATEX, TUTP-94-1

On Relativistic Material Reference Systems

This work closes certain gaps in the literature on material reference systems in general relativity. It is shown that perfect fluids are a special case of DeWitt's relativistic elastic media and that the velocity--potential formalism for perfect fluids can be interpreted as describing a perfect fluid coupled to a fleet of clocks. A Hamiltonian analysis of the elastic media with clocks is carried out and the constraints that arise when the system is coupled to gravity are studied. When the Hamiltonian constraint is resolved with respect to the clock momentum, the resulting true Hamiltonian is found to be a functional only of the gravitational variables. The true Hamiltonian is explicitly displayed when the medium is dust, and is shown to depend on the detailed construction of the clocks.Comment: 18 pages, ReVTe

Algebraic Quantization, Good Operators and Fractional Quantum Numbers

The problems arising when quantizing systems with periodic boundary conditions are analysed, in an algebraic (group-) quantization scheme, and the ``failure" of the Ehrenfest theorem is clarified in terms of the already defined notion of {\it good} (and {\it bad}) operators. The analysis of ``constrained" Heisenberg-Weyl groups according to this quantization scheme reveals the possibility for new quantum (fractional) numbers extending those allowed for Chern classes in traditional Geometric Quantization. This study is illustrated with the examples of the free particle on the circumference and the charged particle in a homogeneous magnetic field on the torus, both examples featuring ``anomalous" operators, non-equivalent quantization and the latter, fractional quantum numbers. These provide the rationale behind flux quantization in superconducting rings and Fractional Quantum Hall Effect, respectively.Comment: 29 pages, latex, 1 figure included with EPSF. Revised version with minor changes intended to clarify notation. Acepted for publication in Comm. Math. Phy

Partial and Complete Observables for Hamiltonian Constrained Systems

We will pick up the concepts of partial and complete observables introduced by Rovelli in order to construct Dirac observables in gauge systems. We will generalize these ideas to an arbitrary number of gauge degrees of freedom. Different methods to calculate such Dirac observables are developed. For background independent field theories we will show that partial and complete observables can be related to Kucha\v{r}'s Bubble Time Formalism. Moreover one can define a non-trivial gauge action on the space of complete observables and also state the Poisson brackets of these functions. Additionally we will investigate, whether it is possible to calculate Dirac observables starting with partially invariant partial observables, for instance functions, which are invariant under the spatial diffeomorphism group.Comment: 38 page

The holonomy of the supercovariant connection and Killing spinors

We show that the holonomy of the supercovariant connection for M-theory backgrounds with $N$ Killing spinors reduces to a subgroup of SL(32-N,\bR)\st (\oplus^N \bR^{32-N}). We use this to give the necessary and sufficient conditions for a background to admit $N$ Killing spinors. We show that there is no topological obstruction for the existence of up to 22 Killing spinors in eleven-dimensional spacetime. We investigate the symmetry superalgebras of supersymmetric backgrounds and find that their structure constants are determined by an antisymmetric matrix. The Lie subalgebra of bosonic generators is related to a real form of a symplectic group. We show that there is a one-one correspondence between certain bases of the Cartan subalgebra of sl(32, \bR) and supersymmetric planar probe M-brane configurations. A supersymmetric probe configuration can involve up to 31 linearly independent planar branes and preserves one supersymmetry. The space of supersymmetric planar probe M-brane configurations is preserved by an SO(32,\bR) subgroup of SL(32, \bR).Comment: 27 pages, a key reference was added. v3: minor change