Researcher profile

Derek K. Wise

Derek K. Wise contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2015arXiv

How not to factor a miracle

Wigner's famous and influential claim that mathematics is "unreasonably effective" in physics is founded on unreasonable assumptions about the nature of mathematics and its independence of physics. Here I argue that what is surprising is not the effectiveness of mathematics but the amenability of physics to reductionist strategies. I also argue that while our luck may run out on the effectiveness of reductionism, mathematics is still our best hope for surpassing this obstacle. While I agree that human understanding of the natural world in mathematical terms evinces a miracle, I see no way to factor out the human dimension of this miracle.

preprint2013arXiv

Geometrodynamics and Lorentz symmetry

We study the dynamics of gauge theory and general relativity using fields of local observers, thus maintaining local Lorentz symmetry despite a space/time splitting of fields. We start with Yang--Mills theory, where observer fields are defined as normalized future-timelike vector fields. We then define observers without a fixed geometry, and find these play two related roles in general relativity: splitting fields into spatial and temporal parts, and "breaking" gauge symmetry, effectively reducing the spacetime SO(n,1) connection to an observer-dependent spatial SO(n) connection. In both gauge theory and gravity, the observer field reduces the action to canonical form, without using gauge fixing. In the 4d gravity case, the result is a manifestly Lorentz covariant counterpart of the Ashtekar-Barbero formulation. We also explain how this leads geometrically to a picture of general relativity in terms of "observer space" rather than spacetime---a setting where both spacetime symmetry and the dynamical description are simultaneously available.

preprint2013arXiv

Holographic Special Relativity

We reinterpret special relativity, or more precisely its de Sitter deformation, in terms of 3d conformal geometry, as opposed to (3+1)d spacetime geometry. An inertial observer, usually described by a geodesic in spacetime, becomes instead a choice of ways to reverse the conformal compactification of a Euclidean vector space up to scale. The observer's "current time," usually given by a point along the geodesic, corresponds to the choice of scale in the decompactification. We also show how arbitrary conformal 3-geometries give rise to "observer space geometries," as defined in recent work, from which spacetime can be reconstructed under certain integrability conditions. We conjecture a relationship between this kind of "holographic relativity" and the "shape dynamics" proposal of Barbour and collaborators, in which conformal space takes the place of spacetime in general relativity. We also briefly survey related pictures of observer space, including the AdS analog and a representation related to twistor theory.

preprint2013arXiv

Lifting General Relativity to Observer Space

The `observer space' of a Lorentzian spacetime is the space of future-timelike unit tangent vectors. Using Cartan geometry, we first study the structure a given spacetime induces on its observer space, then use this to define abstract observer space geometries for which no underlying spacetime is assumed. We propose taking observer space as fundamental in general relativity, and prove integrability conditions under which spacetime can be reconstructed as a quotient of observer space. Additional field equations on observer space then descend to Einstein's equations on the reconstructed spacetime. We also consider the case where no such reconstruction is possible, and spacetime becomes an observer-dependent, relative concept. Finally, we discuss applications of observer space, including a geometric link between covariant and canonical approaches to gravity.

preprint2012arXiv

Linking Covariant and Canonical General Relativity via Local Observers

Hamiltonian gravity, relying on arbitrary choices of "space," can obscure spacetime symmetries. We present an alternative, manifestly spacetime covariant formulation that nonetheless distinguishes between "spatial" and "temporal" variables. The key is viewing dynamical fields from the perspective of a field of observers -- a unit timelike vector field that also transforms under local Lorentz transformations. On one hand, all fields are spacetime fields, covariant under spacetime symmeties. On the other, when the observer field is normal to a spatial foliation, the fields automatically fall into Hamiltonian form, recovering the Ashtekar formulation. We argue this provides a bridge between Ashtekar variables and covariant phase space methods. We also outline a framework where the 'space of observers' is fundamental, and spacetime geometry itself may be observer-dependent.

preprint2012arXiv

Spontaneously broken Lorentz symmetry for Hamiltonian gravity

In Ashtekar's Hamiltonian formulation of general relativity, and in loop quantum gravity, Lorentz covariance is a subtle issue that has been strongly debated. Maintaining manifest Lorentz covariance seems to require introducing either complex-valued fields, presenting a significant obstacle to quantization, or additional (usually second class) constraints whose solution renders the resulting phase space variables harder to interpret in a spacetime picture. After reviewing the sources of difficulty, we present a Lorentz covariant, real formulation in which second class constraints never arise. Rather than a foliation of spacetime, we use a gauge field y, interpreted as a field of observers, to break the SO(3,1) symmetry down to a subgroup SO(3)_y. This symmetry breaking plays a role analogous to that in MacDowell-Mansouri gravity, which is based on Cartan geometry, leading us to a picture of gravity as 'Cartan geometrodynamics.' We study both Lorentz gauge transformations and transformations of the observer field to show that the apparent breaking of SO(3,1) to SO(3) is not in conflict with Lorentz covariance.

preprint2011arXiv

Infinite-Dimensional Representations of 2-Groups

A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to vector spaces. Unfortunately, Lie 2-groups typically have few representations on the finite-dimensional 2-vector spaces introduced by Kapranov and Voevodsky. For this reason, Crane, Sheppeard and Yetter introduced certain infinite-dimensional 2-vector spaces called "measurable categories" (since they are closely related to measurable fields of Hilbert spaces), and used these to study infinite-dimensional representations of certain Lie 2-groups. Here we continue this work. We begin with a detailed study of measurable categories. Then we give a geometrical description of the measurable representations, intertwiners and 2-intertwiners for any skeletal measurable 2-group. We study tensor products and direct sums for representations, and various concepts of subrepresentation. We describe direct sums of intertwiners, and sub-intertwiners - features not seen in ordinary group representation theory. We study irreducible and indecomposable representations and intertwiners. We also study "irretractable" representations - another feature not seen in ordinary group representation theory. Finally, we argue that measurable categories equipped with some extra structure deserve to be considered "separable 2-Hilbert spaces", and compare this idea to a tentative definition of 2-Hilbert spaces as representation categories of commutative von Neumann algebras.

preprint2011arXiv

The geometric role of symmetry breaking in gravity

In gravity, breaking symmetry from a group G to a group H plays the role of describing geometry in relation to the geometry the homogeneous space G/H. The deep reason for this is Cartan's "method of equivalence," giving, in particular, an exact correspondence between metrics and Cartan connections. I argue that broken symmetry is thus implicit in any gravity theory, for purely geometric reasons. As an application, I explain how this kind of thinking gives a new approach to Hamiltonian gravity in which an observer field spontaneously breaks Lorentz symmetry and gives a Cartan connection on space.

preprint2009arXiv

2-Group Representations for Spin Foams

Just as 3d state sum models, including 3d quantum gravity, can be built using categories of group representations, "2-categories of 2-group representations" may provide interesting state sum models for 4d quantum topology, if not quantum gravity. Here we focus on the "Euclidean 2-group", built from the rotation group SO(4) and its action on the group of translations of 4d Euclidean space. We explain its infinite-dimensional unitary representations, and construct a model based on the resulting representation 2-category. This model, with clear geometric content and explicit "metric data" on triangulation edges, shows up naturally in an attempt to write the amplitudes of ordinary quantum field theory in a background independent way.

preprint2009arXiv

MacDowell-Mansouri gravity and Cartan geometry

The geometric content of the MacDowell-Mansouri formulation of general relativity is best understood in terms of Cartan geometry. In particular, Cartan geometry gives clear geometric meaning to the MacDowell-Mansouri trick of combining the Levi-Civita connection and coframe field, or soldering form, into a single physical field. The Cartan perspective allows us to view physical spacetime as tangentially approximated by an arbitrary homogeneous "model spacetime", including not only the flat Minkowski model, as is implicitly used in standard general relativity, but also de Sitter, anti de Sitter, or other models. A "Cartan connection" gives a prescription for parallel transport from one "tangent model spacetime" to another, along any path, giving a natural interpretation of the MacDowell-Mansouri connection as "rolling" the model spacetime along physical spacetime. I explain Cartan geometry, and "Cartan gauge theory", in which the gauge field is replaced by a Cartan connection. In particular, I discuss MacDowell-Mansouri gravity, as well as its more recent reformulation in terms of BF theory, in the context of Cartan geometry.