New interpretation of variational principles for gauge theories. I. Cyclic coordinate alternative to ADM split

I show how there is an ambiguity in how one treats auxiliary variables in gauge theories including general relativity cast as 3 + 1 geometrodynamics. Auxiliary variables may be treated pre-variationally as multiplier coordinates or as the velocities corresponding to cyclic coordinates. The latter treatment works through the physical meaninglessness of auxiliary variables' values applying also to the end points (or end spatial hypersurfaces) of the variation, so that these are free rather than fixed. [This is also known as variation with natural boundary conditions.] Further principles of dynamics workings such as Routhian reduction and the Dirac procedure are shown to have parallel counterparts for this new formalism. One advantage of the new scheme is that the corresponding actions are more manifestly relational. While the electric potential is usually regarded as a multiplier coordinate and Arnowitt, Deser and Misner have regarded the lapse and shift likewise, this paper's scheme considers new {\it flux}, {\it instant} and {\it grid} variables whose corresponding velocities are, respectively, the abovementioned previously used variables. This paper's way of thinking about gauge theory furthermore admits interesting generalizations, which shall be provided in a second paper.Comment: 11 page

Triangleland. I. Classical dynamics with exchange of relative angular momentum

In Euclidean relational particle mechanics, only relative times, relative angles and relative separations are meaningful. Barbour--Bertotti (1982) theory is of this form and can be viewed as a recovery of (a portion of) Newtonian mechanics from relational premises. This is of interest in the absolute versus relative motion debate and also shares a number of features with the geometrodynamical formulation of general relativity, making it suitable for some modelling of the problem of time in quantum gravity. I also study similarity relational particle mechanics (`dynamics of pure shape'), in which only relative times, relative angles and {\sl ratios of} relative separations are meaningful. This I consider firstly as it is simpler, particularly in 1 and 2 d, for which the configuration space geometry turns out to be well-known, e.g. S^2 for the `triangleland' (3-particle) case that I consider in detail. Secondly, the similarity model occurs as a sub-model within the Euclidean model: that admits a shape--scale split. For harmonic oscillator like potentials, similarity triangleland model turns out to have the same mathematics as a family of rigid rotor problems, while the Euclidean case turns out to have parallels with the Kepler--Coulomb problem in spherical and parabolic coordinates. Previous work on relational mechanics covered cases where the constituent subsystems do not exchange relative angular momentum, which is a simplifying (but in some ways undesirable) feature paralleling centrality in ordinary mechanics. In this paper I lift this restriction. In each case I reduce the relational problem to a standard one, thus obtain various exact, asymptotic and numerical solutions, and then recast these into the original mechanical variables for physical interpretation.Comment: Journal Reference added, minor updates to References and Figure