-
Formality of $\mathbb{E}_n$-algebras and cochains on spheres
Authors:
Gijs Heuts,
Markus Land
Abstract:
We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with coefficients in general commutative ring spectra, but rarely $\mathbb{E}_{n+1}$-formal unless the coefficients are rational. Along the way we show that the free…
▽ More
We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with coefficients in general commutative ring spectra, but rarely $\mathbb{E}_{n+1}$-formal unless the coefficients are rational. Along the way we show that the free functor from operads in spectra to monads in spectra is fully faithful on a nice subcategory of operads which in particular contains the stable $\mathbb{E}_n$-operads for finite $n$. We use this to interpret our results on loop and suspension functors of augmented algebras in operadic terms.
△ Less
Submitted 11 July, 2024; v1 submitted 30 June, 2024;
originally announced July 2024.
-
Homology manifolds and euclidean bundles
Authors:
Fabian Hebestreit,
Markus Land,
Michael Weiss,
Christoph Winges
Abstract:
We construct a Poincaré complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincaré complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in…
▽ More
We construct a Poincaré complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincaré complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in work of Bryant--Ferry--Mio--Weinberger, and on the other that the Spivak normal fibration of a homology manifold always admits a reduction to a stable euclidean bundle, which appears in work of Ferry--Pedersen.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
A survey on operator $K$-theory via homotopical algebra
Authors:
Ulrich Bunke,
Markus Land,
Ulrich Pennig
Abstract:
This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and u…
▽ More
This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and universal coefficient formulas, the bootstrap class, variations of Karoubi's conjecture, and spectra of units for strongly self-absorbing $C^*$-algebras, as well as some new aspects on twisted $K$-theory and coherent multiplicative structures on $C^*$-algebras, viewed as objects in the previously mentioned $\infty$-category.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
An Evolving Spacetime Metric Induced by a `Static' Source
Authors:
Martin Land
Abstract:
In a series of recent papers we developed a formulation of general relativity in which spacetime and the dynamics of matter evolve with a Poincaré invariant parameter $τ$. In this paper, we apply the formalism to derive the metric induced by a `static' event evolving uniformly along its $t$-axis at the spatial origin ${\mathbf x} = 0$. The metric is shown to vary with $t$ and $τ$, as well as spati…
▽ More
In a series of recent papers we developed a formulation of general relativity in which spacetime and the dynamics of matter evolve with a Poincaré invariant parameter $τ$. In this paper, we apply the formalism to derive the metric induced by a `static' event evolving uniformly along its $t$-axis at the spatial origin ${\mathbf x} = 0$. The metric is shown to vary with $t$ and $τ$, as well as spatial distance $r$, taking its maximum value for a test particle at the retarded time $τ= t - r/c$. In the resulting picture, an event localized in space and time produces a metric field similarly localized, where both evolve in $τ$. We first derive this metric as a solution to the wave equation in linearized field theory, and discuss its limitations by studying the geodesic motion it produces for an evolving event. By then examining this solution in the 4+1 formalism, which poses an initial value problem for the metric under $τ$-evolution, we clarify these limitations and indicate how they may be overcome in a solution to the full nonlinear field equations.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
On the $K$-theory of pushouts
Authors:
Markus Land,
Georg Tamme
Abstract:
We reveal a relation between the behaviour of localizing invariants $E$ on pushouts and on pullbacks of ring spectra. More concretely, we show that the failure of $E$ sending a pushout of ring spectra to a pushout is controlled by the value of $E$ on a pullback of ring spectra. Vice versa, in many situations, we show that the failure $E$ of sending a pullback square to a pullback is controlled by…
▽ More
We reveal a relation between the behaviour of localizing invariants $E$ on pushouts and on pullbacks of ring spectra. More concretely, we show that the failure of $E$ sending a pushout of ring spectra to a pushout is controlled by the value of $E$ on a pullback of ring spectra. Vice versa, in many situations, we show that the failure $E$ of sending a pullback square to a pullback is controlled by the value of $E$ on a pushout of ring spectra.
The latter can be interpreted as identifying the $\odot$-ring, introduced in earlier work of ours, as a pushout which turns out to be explicitly computable in many cases. This opens up new possibilities for direct computations. As further applications, we give new proofs of (generalizations) of Waldhausen's seminal results on the $K$-theory of generalized free products and obtain a general relation between the value of a localizing invariant on trivial square zero extensions and on tensor algebras.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
L-theory of $C^*$-algebras
Authors:
Markus Land,
Thomas Nikolaus,
Marco Schlichting
Abstract:
We establish a formula for the L-theory spectrum of real $C^*$-algebras from which we deduce a presentation of the L-groups in terms of the topological K-groups, extending all previously known results of this kind. Along the way, we extend the integral comparison map $τ\colon \mathrm{k} \to \mathrm{L}$ obtained in previous work by the first two authors to real $C^*$-algebras and interpret it using…
▽ More
We establish a formula for the L-theory spectrum of real $C^*$-algebras from which we deduce a presentation of the L-groups in terms of the topological K-groups, extending all previously known results of this kind. Along the way, we extend the integral comparison map $τ\colon \mathrm{k} \to \mathrm{L}$ obtained in previous work by the first two authors to real $C^*$-algebras and interpret it using topological Grothendieck-Witt theory. Finally, we use our results to give an integral comparison between the Baum-Connes conjecture and the L-theoretic Farrell-Jones conjecture, and discuss our comparison map $τ$ in terms of the signature operator on oriented manifolds.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Gradient Estimation for Binary Latent Variables via Gradient Variance Clip**
Authors:
Russell Z. Kunes,
Mingzhang Yin,
Max Land,
Doron Haviv,
Dana Pe'er,
Simon Tavaré
Abstract:
Gradient estimation is often necessary for fitting generative models with discrete latent variables, in contexts such as reinforcement learning and variational autoencoder (VAE) training. The DisARM estimator (Yin et al. 2020; Dong, Mnih, and Tucker 2020) achieves state of the art gradient variance for Bernoulli latent variable models in many contexts. However, DisARM and other estimators have pot…
▽ More
Gradient estimation is often necessary for fitting generative models with discrete latent variables, in contexts such as reinforcement learning and variational autoencoder (VAE) training. The DisARM estimator (Yin et al. 2020; Dong, Mnih, and Tucker 2020) achieves state of the art gradient variance for Bernoulli latent variable models in many contexts. However, DisARM and other estimators have potentially exploding variance near the boundary of the parameter space, where solutions tend to lie. To ameliorate this issue, we propose a new gradient estimator \textit{bitflip}-1 that has lower variance at the boundaries of the parameter space. As bitflip-1 has complementary properties to existing estimators, we introduce an aggregated estimator, \textit{unbiased gradient variance clip**} (UGC) that uses either a bitflip-1 or a DisARM gradient update for each coordinate. We theoretically prove that UGC has uniformly lower variance than DisARM. Empirically, we observe that UGC achieves the optimal value of the optimization objectives in toy experiments, discrete VAE training, and in a best subset selection problem.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
The Particle as a Statistical Ensemble of Events in Stueckelberg-Horwitz-Piron Electrodynamics
Authors:
Martin Land
Abstract:
In classical Maxwell electrodynamics, charged particles following deterministic trajectories are described by currents that induce fields, mediating interactions with other particles. Statistical methods are used when needed to treat complex particle and/or field configurations. In Stueckelberg-Horwitz-Piron (SHP) electrodynamics, the classical trajectories are traced out dynamically, through the…
▽ More
In classical Maxwell electrodynamics, charged particles following deterministic trajectories are described by currents that induce fields, mediating interactions with other particles. Statistical methods are used when needed to treat complex particle and/or field configurations. In Stueckelberg-Horwitz-Piron (SHP) electrodynamics, the classical trajectories are traced out dynamically, through the evolution of a 4D spacetime event $x^μ(τ)$ as $τ$ grows monotonically. Stueckelberg proposed to formalize the distinction between coordinate time $x^0 = ct$ (measured by laboratory clocks) and chronology $τ$ (the temporal ordering of event occurrence) in order to describe antiparticles and resolve problems of irreversibility such as grandfather paradoxes. Consequently, in SHP theory, the elementary object is not a particle (a 4D curve in spacetime) but rather an event (a single point along the dynamically evolving curve). Following standard deterministic methods in classical relativistic field theory, one is led to Maxwell-like field equations that are \hbox{$τ$-dependent} and sourced by a current that represents a statistical ensemble of instantaneous events distributed along the trajectory. The width $λ$ of this distribution defines a correlation time for the interactions and a mass spectrum for the photons emitted by particles. As $λ$ becomes very large, the photon mass goes to zero and the field equations become $τ$-independent Maxwell's equations. Maxwell theory thus emerges as an equilibrium limit of SHP, in which $λ$ is larger than any other relevant time scale. Thus, statistical mechanics is a fundamental ingredient in SHP electrodynamics, and its insights are required to give meaning to the concept of a particle.
△ Less
Submitted 24 January, 2022;
originally announced March 2022.
-
Gabber rigidity in hermitian K-theory
Authors:
Markus Land
Abstract:
We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.
We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.
△ Less
Submitted 19 February, 2022;
originally announced February 2022.
-
Remarks on chromatically localised hermitian K-theory
Authors:
Markus Land
Abstract:
We describe chromatic localisations of genuine L-spectra of discrete rings and deduce that the purity property of $K(1)$-local $K$-theory of rings established by Bhatt-Clausen-Mathew also holds in Grothendieck-Witt theory. In addition, we collect some results on higher chromatic localisations of various L-theory spectra and their consequences for Grothendieck-Witt theory.
We describe chromatic localisations of genuine L-spectra of discrete rings and deduce that the purity property of $K(1)$-local $K$-theory of rings established by Bhatt-Clausen-Mathew also holds in Grothendieck-Witt theory. In addition, we collect some results on higher chromatic localisations of various L-theory spectra and their consequences for Grothendieck-Witt theory.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Mass as a dynamical quantity
Authors:
M. Land
Abstract:
The Standard Model (SM) ascribes the observed mass of elementary particles to an effective interaction between basis states defined without mass terms and a scalar potential associated with the Higgs boson. In the relativistic field theory that underlies the SM, mass itself, understood as the Lorentz-invariant squared 4-momentum of a particle or field, is fixed a priori, imposing a constraint on p…
▽ More
The Standard Model (SM) ascribes the observed mass of elementary particles to an effective interaction between basis states defined without mass terms and a scalar potential associated with the Higgs boson. In the relativistic field theory that underlies the SM, mass itself, understood as the Lorentz-invariant squared 4-momentum of a particle or field, is fixed a priori, imposing a constraint on possible momentum states. Stueckelberg introduced an alternative approach, positing antiparticles as particles evolving backward in time, thus relaxing the mass shell constraint for individual particles. Further work by Piron and Horwitz established a covariant Hamiltonian mechanics on an unconstrained 8D phase space, leading to a gauge field theory that mediates the exchange of mass between particles, while the total mass of particles and fields remains conserved. In a recently developed extension of general relativity, consistent with this approach, the spacetime metric evolves in a manner that permits the exchange of mass across spacetime through the gravitational field. Mechanisms that restrict mass exchange between particles have also been identified. Nevertheless, mass exchange remains possible under certain circumstances and may have phenomenological implications in particle physics and cosmology.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Local Metric with Parameterized Evolution
Authors:
Martin Land
Abstract:
We present a canonical Hamiltonian formulation of GR in which $τ$, the parameter of system evolution, is external to spacetime, playing a role similar to what we call time in nonrelativistic mechanics. This approach, known as Stueckelberg-Horwitz-Piron (SHP) theory, inherits the full computational power of classical analytical mechanics while maintaining manifest covariance throughout and eliminat…
▽ More
We present a canonical Hamiltonian formulation of GR in which $τ$, the parameter of system evolution, is external to spacetime, playing a role similar to what we call time in nonrelativistic mechanics. This approach, known as Stueckelberg-Horwitz-Piron (SHP) theory, inherits the full computational power of classical analytical mechanics while maintaining manifest covariance throughout and eliminating possible conflict with general diffeomorphism invariance. In particular, SHP simplifies the initial value problem with potential applications in highly dynamical interactions, such as black hole collisions. By allowing the energy-momentum tensor and metric to depend explicitly on $τ$, we may describe particle motion in geodesic form with respect to a dynamically evolving background metric. As a toy model, we consider a $τ$-dependent mass $M(τ)$, first as a perturbation in the Newtonian approximation and then for a Schwarzschild-like metric. As expected, the extended Einstein equations imply a non-zero energy-momentum tensor, proportional to $dM / dτ$, representing a flow of mass and energy into spacetime that corresponds to the changing source mass. In $τ$-equilibrium, this system becomes a generalized Schwarzschild solution for which the extended Ricci tensor and energy-momentum tensor vanish.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
A 4+1 Formalism for the Evolving Stueckelberg-Horwitz-Piron Metric
Authors:
Martin Land
Abstract:
We propose a field theory for the local metric in Stueckelberg--Horwitz--Piron (SHP) general relativity, a framework in which the evolution of classical four-dimensional (4D) worldlines $x^μ\left( τ\right)$ ($μ= 0,1,2,3 $) is parameterized by an external time $τ$. Combining insights from SHP electrodynamics and the ADM formalism in general relativity, we generalize the notion of a 4D spacetime…
▽ More
We propose a field theory for the local metric in Stueckelberg--Horwitz--Piron (SHP) general relativity, a framework in which the evolution of classical four-dimensional (4D) worldlines $x^μ\left( τ\right)$ ($μ= 0,1,2,3 $) is parameterized by an external time $τ$. Combining insights from SHP electrodynamics and the ADM formalism in general relativity, we generalize the notion of a 4D spacetime $\mathcal{M}$ to a formal manifold $\mathcal{M}_5 = \mathcal{M} \times R$, representing an admixture of geometry (the diffeomorphism invariance of $\mathcal{M}$) and dynamics (the system evolution of $\mathcal{M} \left( τ\right)$ with the monotonic advance of $τ\in R$). Strategically breaking the formal 5D symmetry of a metric $g_{αβ}(x,τ)$ ($α,β= 0,1,2,3,5 $) posed on $\mathcal{M}_5$, we obtain ten unconstrained Einstein equations for the $τ$-evolution of the 4D metric $γ_{μν}(x,τ)$ and five constraints that are to be satisfied by the initial conditions. The resulting theory differs from five-dimensional (5D) gravitation, much as SHP U(1) gauge theory differs from 5D electrodynamics.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Paschke duality and assembly maps
Authors:
Ulrich Bunke,
Alexander Engel,
Markus Land
Abstract:
We construct a natural transformation between two versions of $G$-equivariant $K$-homology with coefficients in a $G$-$C^{*}$-category for a countable discrete group $G$. Its domain is a coarse geometric $K$-homology and its target is the usual analytic $K$-homology. Following classical terminology, we call this transformation the Paschke transformation. We show that under certain finiteness assum…
▽ More
We construct a natural transformation between two versions of $G$-equivariant $K$-homology with coefficients in a $G$-$C^{*}$-category for a countable discrete group $G$. Its domain is a coarse geometric $K$-homology and its target is the usual analytic $K$-homology. Following classical terminology, we call this transformation the Paschke transformation. We show that under certain finiteness assumptions on a $G$-space $X$, the Paschke transformation is an equivalence on $X$. As an application, we provide a direct comparison of the homotopy theoretic Davis-Lück assembly map with Kasparov's analytic assembly map appearing in the Baum-Connes conjecture.
△ Less
Submitted 22 January, 2023; v1 submitted 6 July, 2021;
originally announced July 2021.
-
A stable $\infty$-category for equivariant $KK$-theory
Authors:
Ulrich Bunke,
Alexander Engel,
Markus Land
Abstract:
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable $G$-$C^*$-algebras, and exhibit its universal property. Likewise, we consider an associated presentably symmetric monoidal, stable $\infty$-category…
▽ More
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable $G$-$C^*$-algebras, and exhibit its universal property. Likewise, we consider an associated presentably symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}$ which receives a symmetric monoidal functor $\mathrm{kk}^{G}$ from possibly non-separable $G$-$C^*$-algebras and discuss its universal property. In addition to the symmetric monoidal structures, we construct various change-of-group functors relating these KK-categories for varying $G$. We use this to define and establish key properties of a (spectrum valued) equivariant, locally finite $K$-homology theory on proper and locally compact $G$-topological spaces, allowing for coefficients in arbitrary $G$-$C^*$-algebras. Finally, we extend the functor $\mathrm{kk}^{G}$ from $G$-$C^*$-algebras to $G$-$C^*$-categories. These constructions are key in a companion paper about a form of equivariant Paschke duality and assembly maps.
△ Less
Submitted 22 January, 2023; v1 submitted 26 February, 2021;
originally announced February 2021.
-
Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings
Authors:
Baptiste Calmès,
Emanuele Dotto,
Yonatan Harpaz,
Fabian Hebestreit,
Markus Land,
Kristian Moi,
Denis Nardin,
Thomas Nikolaus,
Wolfgang Steimle
Abstract:
We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind ring…
▽ More
We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-dévissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi.
△ Less
Submitted 27 December, 2021; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity
Authors:
Baptiste Calmès,
Emanuele Dotto,
Yonatan Harpaz,
Fabian Hebestreit,
Markus Land,
Kristian Moi,
Denis Nardin,
Thomas Nikolaus,
Wolfgang Steimle
Abstract:
We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such al…
▽ More
We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory.
Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.
△ Less
Submitted 13 July, 2023; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Hermitian K-theory for stable $\infty$-categories I: Foundations
Authors:
Baptiste Calmès,
Emanuele Dotto,
Yonatan Harpaz,
Fabian Hebestreit,
Markus Land,
Kristian Moi,
Denis Nardin,
Thomas Nikolaus,
Wolfgang Steimle
Abstract:
This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible.
In this article we lay the foundations of our approach by considering Lurie…
▽ More
This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible.
In this article we lay the foundations of our approach by considering Lurie's notion of a Poincaré $\infty$-category, which permits an abstract counterpart of unimodular forms called Poincaré objects. We analyse the special cases of hyperbolic and metabolic Poincaré objects, and establish a version of Ranicki's algebraic Thom construction. For derived $\infty$-categories of rings, we classify all Poincaré structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincaré structures on $\infty$-categories of parametrised spectra, recovering the visible signature of a Poincaré duality space.
We conduct a thorough investigation of the global structural properties of Poincaré $\infty$-categories, showing in particular that they form a bicomplete, closed symmetric monoidal $\infty$-category. We also study the process of tensoring and cotensoring a Poincaré $\infty$-category over a finite simplicial complex, a construction featuring prominently in the definition of the L- and Grothendieck-Witt spectra that we consider in the next instalment.
Finally, we define already here the 0-th Grothendieck-Witt group of a Poincaré $\infty$-category using generators and relations. We extract its basic properties, relating it in particular to the 0-th L- and algebraic K-groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications.
△ Less
Submitted 27 December, 2021; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Seasonal hydrogen storage decisions under constrained electricity distribution capacity
Authors:
Jan Eise Fokkema,
Michiel A. J. uit het Broek,
Albert H. Schrotenboer,
Martin J. Land,
Nicky D. Van Foreest
Abstract:
The transition to renewable energy systems causes increased decentralization of the energy supply. Solar parks are built to increase renewable energy penetration and to supply local communities that become increasingly self-sufficient. These parks are generally installed in rural areas where electricity grid distribution capacity is limited. This causes the produced energy to create grid congestio…
▽ More
The transition to renewable energy systems causes increased decentralization of the energy supply. Solar parks are built to increase renewable energy penetration and to supply local communities that become increasingly self-sufficient. These parks are generally installed in rural areas where electricity grid distribution capacity is limited. This causes the produced energy to create grid congestion. Temporary storage can be a solution. In addition to batteries, which are most suitable for intraday storage, hydrogen provides a long-term storage option and can be used to overcome seasonal mismatches in supply and demand. In this paper, we examine the operational decisions related to storing energy using hydrogen, and buying from or selling to the grid considering grid capacity limitations. We model the problem as a Markov decision process taking into account seasonal production and demand patterns, uncertain solar energy generation, and local electricity prices. We show that ignoring seasonal demand and production patterns is suboptimal. In addition, we show that the introduction of a hydrogen storage facility for a solar farm in rural areas may lead to positive profits, whereas this is loss-making without storage facilities. In a sensitivity analysis, we show that only if distribution capacity is too small, hydrogen storage does not lead to profits and reduced congestion at the cable connection. When the distribution capacity is constrained, a higher storage capacity leads to more buying-related actions from the electricity grid to prevent future shortages and to exploit price differences. This leads to more congestion at the connected cable and is an important insight for policy-makers and net-operators.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Topological 4-manifolds with 4-dimensional fundamental group
Authors:
Daniel Kasprowski,
Markus Land
Abstract:
Let $π$ be a group satisfying the Farrell-Jones conjecture and assume that $Bπ$ is a 4-dimensional Poincaré duality space. We consider topological, closed, connected manifolds with fundamental group $π$ whose canonical map to $Bπ$ has degree 1 and show that two such manifolds are s-cobordant if and only if their equivariant intersection forms are isometric and they have the same Kirby-Siebenmann i…
▽ More
Let $π$ be a group satisfying the Farrell-Jones conjecture and assume that $Bπ$ is a 4-dimensional Poincaré duality space. We consider topological, closed, connected manifolds with fundamental group $π$ whose canonical map to $Bπ$ has degree 1 and show that two such manifolds are s-cobordant if and only if their equivariant intersection forms are isometric and they have the same Kirby-Siebenmann invariant. If $π$ is good in the sense of Freedman, it follows that two such manifolds are homeomorphic if and only if they are homotopy equivalent and have the same Kirby--Siebenmann invariant. This shows rigidity in many cases that lie between aspherical 4-manifolds, where rigidity is expected by Borel's conjecture, and simply connected manifolds where rigidity is a consequence of Freedman's classification results.
△ Less
Submitted 28 June, 2021; v1 submitted 7 July, 2020;
originally announced July 2020.
-
On the homotopy type of L-spectra of the integers
Authors:
Fabian Hebestreit,
Markus Land,
Thomas Nikolaus
Abstract:
We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothen…
▽ More
We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothendieck--Witt theory.
△ Less
Submitted 25 May, 2021; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Purity in chromatically localized algebraic $K$-theory
Authors:
Markus Land,
Akhil Mathew,
Lennart Meier,
Georg Tamme
Abstract:
We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only dep…
▽ More
We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(τ_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$.
△ Less
Submitted 18 December, 2023; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Topologically flat embedded 2-spheres in specific simply connected 4-manifolds
Authors:
Daniel Kasprowski,
Peter Lambert-Cole,
Markus Land,
Ana G. Lecuona
Abstract:
In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.
In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
Connected sum decompositions of high-dimensional manifolds
Authors:
Imre Bokor,
Diarmuid Crowley,
Stefan Friedl,
Fabian Hebestreit,
Daniel Kasprowski,
Markus Land,
Johnny Nicholson
Abstract:
The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.
The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.
△ Less
Submitted 7 September, 2020; v1 submitted 5 September, 2019;
originally announced September 2019.
-
On the K-theory of pullbacks
Authors:
Markus Land,
Georg Tamme
Abstract:
To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory.
As immediate consequences we obtain an improved version of Suslin's excision result in…
▽ More
To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory.
As immediate consequences we obtain an improved version of Suslin's excision result in $K$-theory, generalizations of results of Geisser and Hesselholt on torsion in (bi)relative $K$-groups, and a generalized version of pro-excision for $K$-theory. Furthermore, we show that any truncating invariant satisfies excision, nilinvariance, and cdh-descent. Examples of truncating invariants include the fibre of the cyclotomic trace, the fibre of the rational Goodwillie--Jones Chern character, periodic cyclic homology in characteristic zero, and homotopy $K$-theory.
Various of the results we obtain have been known previously, though most of them in weaker forms and with less direct proofs.
△ Less
Submitted 8 November, 2019; v1 submitted 16 August, 2018;
originally announced August 2018.
-
Reducibility of low dimensional Poincaré duality spaces
Authors:
Markus Land
Abstract:
We discuss Poincaré duality complexes X and the question whether or not their Spivak normal fibration admits a reduction to a vector bundle in the case where the dimension of X is at most 4. We show that in dimensions less than 4 such a reduction always exists, and in dimension 4 such a reduction exists provided X is orientable. In the non-orientable case there are counterexamples to reducibility…
▽ More
We discuss Poincaré duality complexes X and the question whether or not their Spivak normal fibration admits a reduction to a vector bundle in the case where the dimension of X is at most 4. We show that in dimensions less than 4 such a reduction always exists, and in dimension 4 such a reduction exists provided X is orientable. In the non-orientable case there are counterexamples to reducibility by Hambleton--Milgram.
△ Less
Submitted 8 November, 2021; v1 submitted 22 November, 2017;
originally announced November 2017.
-
A vanishing theorem for tautological classes of aspherical manifolds
Authors:
Fabian Hebestreit,
Markus Land,
Wolfgang Lück,
Oscar Randal-Williams
Abstract:
Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vani…
▽ More
Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vanishing of tautological classes for many bundles with fibre an aspherical manifold.
△ Less
Submitted 8 March, 2020; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Localization of Cofibration Categories and Groupoid $C^*$-algebras
Authors:
Markus Land,
Thomas Nikolaus,
Karol Szumiło
Abstract:
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns to a groupoid its groupoid $C^*$-algebra and thereby its topological $K$-theory spectrum.
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns to a groupoid its groupoid $C^*$-algebra and thereby its topological $K$-theory spectrum.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
On the Relation between K- and L-Theory of $C^*$-Algebras
Authors:
Markus Land,
Thomas Nikolaus
Abstract:
We prove the existence of a map of spectra $τ_A \colon kA \to lA$ between connective topological K-theory and connective algebraic L-theory of a complex $C^*$-algebra A which is natural in A and compatible with multiplicative structures. We determine its effect on homotopy groups and as a consequence obtain a natural equivalence $KA[1/2] \to LA[1/2]$ of periodic K- and L-theory spectra after inver…
▽ More
We prove the existence of a map of spectra $τ_A \colon kA \to lA$ between connective topological K-theory and connective algebraic L-theory of a complex $C^*$-algebra A which is natural in A and compatible with multiplicative structures. We determine its effect on homotopy groups and as a consequence obtain a natural equivalence $KA[1/2] \to LA[1/2]$ of periodic K- and L-theory spectra after inverting 2. We show that this equivalence extends to K- and L-theory of real $C^*$-algebras. Using this we give a comparison between the real Baum-Connes conjecture and the L-theoretic Farrell-Jones conjecture. We conclude that these conjectures are equivalent after inverting 2 if and only if a certain completion conjecture in L-theory is true.
△ Less
Submitted 3 November, 2017; v1 submitted 9 August, 2016;
originally announced August 2016.
-
An Upper Bound on Burning Number of Graphs
Authors:
Max Land,
Linyuan Lu
Abstract:
The burning number $b(G)$ of a graph $G$ was introduced by Bonato, Janssen, and Roshanbin [Lecture Notes in Computer Science 8882 (2014)] for measuring the speed of the spread of contagion in a graph. They proved for any connected graph $G$ of order $n$, $b(G)\leq 2\lceil \sqrt{n} \rceil-1$, and conjectured that $b(G)\leq \lceil \sqrt{n} \rceil$. In this paper, we proved…
▽ More
The burning number $b(G)$ of a graph $G$ was introduced by Bonato, Janssen, and Roshanbin [Lecture Notes in Computer Science 8882 (2014)] for measuring the speed of the spread of contagion in a graph. They proved for any connected graph $G$ of order $n$, $b(G)\leq 2\lceil \sqrt{n} \rceil-1$, and conjectured that $b(G)\leq \lceil \sqrt{n} \rceil$. In this paper, we proved $b(G)\leq \lceil\frac{-3+\sqrt{24n+33}}{4}\rceil$, which is roughly $\frac{\sqrt{6}}{2}\sqrt{n}$. We also settled the following conjecture of Bonato-Janssen-Roshanbin: $b(G)b(\bar G)\leq n+4$ provided both $G$ and $\bar G$ are connected.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
The Lorentz Force and Energy-Momentum for Off-Shell Electromagnetism
Authors:
M. C. Land,
L. P. Horwitz
Abstract:
The kinematics of pre-Maxwell electrodynamics is examined and interpretations of these fields is found through an examination of the associated Lorentz force and the structure of the energy-momentum tensor.
The kinematics of pre-Maxwell electrodynamics is examined and interpretations of these fields is found through an examination of the associated Lorentz force and the structure of the energy-momentum tensor.
△ Less
Submitted 20 April, 2016;
originally announced April 2016.
-
Speeds of light and mass stability in Stueckelberg-Horwitz-Piron electrodynamics
Authors:
Martin Land
Abstract:
It is well-known that the 5D gauge structure of Stueckelberg-Horwitz-Piron (SHP) electrodynamics permits the exchange of mass between particles and the fields induced by their motion, even at the classical level. This phenomenon presents two closely related problems: (1) What accounts for the stability of the measured masses of the known particles? (2) Under what circumstances can real particles e…
▽ More
It is well-known that the 5D gauge structure of Stueckelberg-Horwitz-Piron (SHP) electrodynamics permits the exchange of mass between particles and the fields induced by their motion, even at the classical level. This phenomenon presents two closely related problems: (1) What accounts for the stability of the measured masses of the known particles? (2) Under what circumstances can real particles evolve sufficiently off-shell to account for mass changing phenomena such as flavor-changing neutrino interactions and low energy nuclear reactions? To approach these questions, we introduce a constant $c_5$ associated with the invariant time $τ$, in analogy with the constant $c$ that associates a unit of length with intervals of time $t$ in standard relativity. It follows that electromagnetic mass exchange can be a small effect, in proportion to $c_5 / c$. We show that this structure permits a classical self-interaction that tends to restore on-shell propagation. Finally we propose a model in which a particle evolving through a complex charged environment can acquire a significant mass shift for a short time.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Pair production in classical Stueckelberg-Horwitz-Piron electrodynamics
Authors:
Martin Land
Abstract:
In this paper we calculate pair production from bremsstrahlung as a classical effect in Stueckelberg-Horwitz-Piron electrodynamics. In this framework, worldlines are traced out dynamically through the evolution of events $x^μ(τ)$ parameterized by a chronological time $τ$ that is independent of the spacetime coordinates. These events, defined in an unconstrained 8D phase space, interact through fiv…
▽ More
In this paper we calculate pair production from bremsstrahlung as a classical effect in Stueckelberg-Horwitz-Piron electrodynamics. In this framework, worldlines are traced out dynamically through the evolution of events $x^μ(τ)$ parameterized by a chronological time $τ$ that is independent of the spacetime coordinates. These events, defined in an unconstrained 8D phase space, interact through five $τ$-dependent gauge fields induced by the event evolution. The resulting theory differs in its underlying mechanics from conventional electromagnetism, but coincides with Maxwell theory in an equilibrium limit. In particular, the total mass-energy-momentum of particles and fields is conserved, but the mass-shell constraint is lifted from individual interacting events, so that the standard Feynman-Stueckelberg interpretation of pair creation/annihilation is implemented in classical mechanics.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Field signature for apparently superluminal particle motion
Authors:
Martin Land
Abstract:
In the context of Stueckelberg's covariant symplectic mechanics, Horwitz and Aharonovich have proposed a simple mechanism by which a particle traveling below light speed almost everywhere may exhibit a transit time that suggests superluminal motion. This mechanism, which requires precise measurement of the particle velocity, involves a subtle perturbation affecting the particle's recorded time coo…
▽ More
In the context of Stueckelberg's covariant symplectic mechanics, Horwitz and Aharonovich have proposed a simple mechanism by which a particle traveling below light speed almost everywhere may exhibit a transit time that suggests superluminal motion. This mechanism, which requires precise measurement of the particle velocity, involves a subtle perturbation affecting the particle's recorded time coordinate caused by virtual pair processes. The Stueckelberg framework is particularly well suited to such problems, because it permits pair creation/annihilation at the classical level. In this paper, we study a trajectory of the type proposed by Horwitz and Aharonovich, and derive the Maxwell 4-vector potential associated with the motion. We show that the resulting fields carry a signature associated with the apparent superluminal motion, providing an independent test for the mechanism that does not require direct observation of the trajectory, except at the detector.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Electrostatics in Stueckelberg-Horwitz-Piron Electrodynamics
Authors:
Martin Land
Abstract:
In this paper, we study fundamental aspects of electrostatics as a special case in Stueckelberg-Horwitz electromagnetic theory. In this theory, spacetime events $x^μ(τ)$ evolve in an unconstrained 8-dimensional phase space, interacting through five $τ$-dependent gauge fields induced by the current densities associated with their evolutions. The chronological time $τ$ was introduced as an independe…
▽ More
In this paper, we study fundamental aspects of electrostatics as a special case in Stueckelberg-Horwitz electromagnetic theory. In this theory, spacetime events $x^μ(τ)$ evolve in an unconstrained 8-dimensional phase space, interacting through five $τ$-dependent gauge fields induced by the current densities associated with their evolutions. The chronological time $τ$ was introduced as an independent evolution parameter in order to free the laboratory clock $x^0$ to evolve alternately 'forward' and 'backward' in time according to the sign of the energy, thus providing a classical implementation of the Feynman-Stueckelberg interpretation of pair creation/annihilation. The resulting theory differs in its underlying mechanics from conventional electromagnetism, but coincides with Maxwell theory in an equilibrium limit.
After a brief review of Stueckelberg-Horwitz electrodynamics, we obtain the field produced by an event in uniform motion and verify that it satisfies the field equations. We study this field in the rest frame of the event, where it depends explicitly on coordinate time $x^0$ and the parameter $τ$, as well as spatial distance $R$. Calculating with this generalized Coulomb field, we demonstrate how Gauss's theorem and Stoke's theorem apply in 4D spacetime, and obtain the fields associated with a charged line and a charged sheet. Finally, we use the field of the charged sheet to study a static event in the vicinity of a potential barrier. In all of these cases, we observe a small transfer of mass from the field to the particle. It is seen that for an event in the field of an oppositely charged sheet of sufficient density, the event can reverse time direction, providing a specific model for pair phenomena.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Abraham-Lorentz-Dirac Equation in 5D Stuekelberg Electrodynamics
Authors:
Martin Land
Abstract:
We derive the Abraham-Lorentz-Dirac (ALD) equation in the framework of the electrodynamic theory associated with Stueckelberg manifestly covariant canonical mechanics. In this framework, a particle worldline is traced out through the evolution of an event $x^μ(τ)$. By admitting unconstrained commutation relations between the positions and velocities, the associated electromagnetic gauge fields are…
▽ More
We derive the Abraham-Lorentz-Dirac (ALD) equation in the framework of the electrodynamic theory associated with Stueckelberg manifestly covariant canonical mechanics. In this framework, a particle worldline is traced out through the evolution of an event $x^μ(τ)$. By admitting unconstrained commutation relations between the positions and velocities, the associated electromagnetic gauge fields are in general dependent on the parameter $τ$, which plays the role of time in Newtonian mechanics. Standard Maxwell theory emerges from this system as a $τ$-independent equilibrium limit. In this paper, we calculate the $τ$-dependent field induced by an arbitrarily evolving event, and study the long-range radiation part, which is seen to be an on-shell plane wave of the Maxwell type. Following Dirac's method, we obtain an expression for the finite part of the self-interaction, which leads to the ALD equation that generalizes the Lorentz force. This third-order differential equation is then converted to an integro-differential equation, identical to the standard Maxwell expression, except for the $τ$-dependence of the field. By studying this $τ$-dependence in detail, we show that field can be removed from the integration, so that the Lorentz force depends only on the instantaneous external field and an integral over dynamical variables of the event evolution. In this form, pre-acceleration of the event by future values of the field is not present.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Stable classification of 4-manifolds with 3-manifold fundamental groups
Authors:
Daniel Kasprowski,
Markus Land,
Mark Powell,
Peter Teichner
Abstract:
We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invariants that determine the stable classification for spin manifolds in this class.
We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invariants that determine the stable classification for spin manifolds in this class.
△ Less
Submitted 15 June, 2017; v1 submitted 3 November, 2015;
originally announced November 2015.
-
The Analytical Assembly Map and Index Theory
Authors:
Markus Land
Abstract:
In this paper we study the index theoretic interpretation of the analytical assembly map that appears in the Baum-Connes conjecture. In its general form it may be constructed using Kasparov's equivariant KK-theory. In the special case of a torsionfree group the domain simplifies to the usual K-homology of the classifying space BG of G and it is frequently used that in this case the analytical asse…
▽ More
In this paper we study the index theoretic interpretation of the analytical assembly map that appears in the Baum-Connes conjecture. In its general form it may be constructed using Kasparov's equivariant KK-theory. In the special case of a torsionfree group the domain simplifies to the usual K-homology of the classifying space BG of G and it is frequently used that in this case the analytical assembly map is given by assigning to an operator an equivariant index. We give a precise formulation of this statement and prove it.
△ Less
Submitted 6 March, 2014; v1 submitted 24 June, 2013;
originally announced June 2013.
-
Harmonic Oscillator States with Non-Integer Orbital Angular Momentum
Authors:
Martin Land
Abstract:
We study the quantum mechanical harmonic oscillator in two and three dimensions, with particular attention to the solutions as represents of their respective symmetry groups: O(2), O(3), and O(2,1). Solving the Schrodinger equation by separating variables in polar coordinates, we obtain wavefunctions characterized by a principal quantum number, the group Casimir eigenvalue, and one observable co…
▽ More
We study the quantum mechanical harmonic oscillator in two and three dimensions, with particular attention to the solutions as represents of their respective symmetry groups: O(2), O(3), and O(2,1). Solving the Schrodinger equation by separating variables in polar coordinates, we obtain wavefunctions characterized by a principal quantum number, the group Casimir eigenvalue, and one observable component of orbital angular momentum, with eigenvalue $m+s$, for integer $m$ and real constant parameter $s$. In each symmetry group, $s$ splits the solutions into two inequivalent representations, one associated with $s=0$, which recovers the familiar description of the oscillator as a product of one-dimensional solutions, and the other with $s>0$ (in three dimensions, $s=0, 1/2$) whose solutions are non-separable in Cartesian coordinates, and are hence overlooked by the standard Fock space approach. In two dimensions, a single set of creation and annihilation operators forms a ladder representation for the allowed oscillator states for any $s$, and the degeneracy of energy states is always finite. However, in three dimensions, the integer and half-integer eigenstates are qualitatively different: the former can be expressed as finite dimensional irreducible tensors under O(3) or O(2,1), and a ladder representation can be constructed via irreducible tensor products of the vector creation operator multiplet, while the latter exhibit infinite degeneracy and the finite-dimensional ladder representation fails for these states. These results are closely connected to the breaking of a unitary symmetry of the harmonic oscillator Hamiltonian recently discussed by Bars.
△ Less
Submitted 27 March, 2009; v1 submitted 10 March, 2009;
originally announced March 2009.
-
Dirac Monopole from Lorentz Symmetry in N-Dimensions: II. The Generalized Monopole
Authors:
Martin Land
Abstract:
In a previous paper, we found an extension of the N-dimensional Lorentz generators that partially restores the closed operator algebra in the presence of a Maxwell field, and is conserved under system evolution. Generalizing the construction found by Berard, Grandati, Lages and Mohrbach for the angular momentum operators in the O(3)-invariant nonrelativistic case, we showed that the construction…
▽ More
In a previous paper, we found an extension of the N-dimensional Lorentz generators that partially restores the closed operator algebra in the presence of a Maxwell field, and is conserved under system evolution. Generalizing the construction found by Berard, Grandati, Lages and Mohrbach for the angular momentum operators in the O(3)-invariant nonrelativistic case, we showed that the construction can be maximally satisfied in a three dimensional subspace of the full Minkowski space; this subspace can be chosen to describe either the O(3)-invariant space sector, or an O(2,1)-invariant restriction of spacetime. When the O(3)-invariant subspace is selected, the field solution reduces to the Dirac monopole field found in the nonrelativistic case. For the O(2,1)-invariant subspace, the Maxwell field can be associated with a Coulomb-like potential on spacetime, similar to that used by Horwitz and Arshansky to obtain a covariant generalization of the hydrogen-like bound state. In this paper we elaborate on the generalization of the Dirac monopole to N-dimensions.
△ Less
Submitted 6 June, 2006;
originally announced June 2006.
-
Discrete Symmetries of Off-Shell Electromagnetism
Authors:
Martin Land
Abstract:
We discuss the discrete symmetries of the Stueckelberg-Schrodinger relativistic quantum theory and its associated 5D local gauge theory, a dynamical description of particle/antiparticle interactions, with monotonically increasing Poincare-invariant parameter. In this framework, worldlines are traced out through the parameterized evolution of spacetime events, advancing or retreating with respect…
▽ More
We discuss the discrete symmetries of the Stueckelberg-Schrodinger relativistic quantum theory and its associated 5D local gauge theory, a dynamical description of particle/antiparticle interactions, with monotonically increasing Poincare-invariant parameter. In this framework, worldlines are traced out through the parameterized evolution of spacetime events, advancing or retreating with respect to the laboratory clock, with negative energy trajectories appearing as antiparticles when the observer describes the evolution using the laboratory clock. The associated gauge theory describes local interactions between events (correlated by the invariant parameter) mediated by five off-shell gauge fields. These gauge fields are shown to transform tensorially under under space and time reflections, unlike the standard Maxwell fields, and the interacting quantum theory therefore remains manifestly Lorentz covariant. Charge conjugation symmetry in the quantum theory is achieved by simultaneous reflection of the sense of evolution and the fifth scalar field. Applying this procedure to the classical gauge theory leads to a purely classical manifestation of charge conjugation, placing the CPT symmetries on the same footing in the classical and quantum domains. In the resulting picture, interactions do not distinguish between particle and antiparticle trajectories -- charge conjugation merely describes the interpretation of observed negative energy trajectories according to the laboratory clock.
△ Less
Submitted 28 March, 2006;
originally announced March 2006.
-
Duality in Off-Shell Electromagnetism
Authors:
Martin Land
Abstract:
In this paper, we examine the Dirac monopole in the framework of Off-Shell Electromagnetism, the five dimensional U(1) gauge theory associated with Stueckelberg-Schrodinger relativistic quantum theory. After reviewing the Dirac model in four dimensions, we show that the structure of the five dimensional theory prevents a natural generalization of the Dirac monopole, since the theory is not symme…
▽ More
In this paper, we examine the Dirac monopole in the framework of Off-Shell Electromagnetism, the five dimensional U(1) gauge theory associated with Stueckelberg-Schrodinger relativistic quantum theory. After reviewing the Dirac model in four dimensions, we show that the structure of the five dimensional theory prevents a natural generalization of the Dirac monopole, since the theory is not symmetric under duality transformations. It is shown that the duality symmetry can be restored by generalizing the electromagnetic field strength to an element of a Clifford algebra. Nevertheless, the generalized framework does not permit us to recover the phenomenological (or conventional) absence of magnetic monopoles.
△ Less
Submitted 21 March, 2006;
originally announced March 2006.
-
Higher-Order Kinetic Term for Controlling Photon Mass in Off-Shell Electrodynamics
Authors:
Martin Land
Abstract:
In a relativistic classical and quantum mechanics with Poincare-invariant parameter, particle worldlines are traced out by the evolution of spacetime events. In pre-Maxwell electrodynamics -- the local gauge theory associated with this framework -- events induce five local off-shell fields, which mediate interactions between instantaneous events, not between the worldlines which represent entire…
▽ More
In a relativistic classical and quantum mechanics with Poincare-invariant parameter, particle worldlines are traced out by the evolution of spacetime events. In pre-Maxwell electrodynamics -- the local gauge theory associated with this framework -- events induce five local off-shell fields, which mediate interactions between instantaneous events, not between the worldlines which represent entire particle histories. The fifth field, required to compensate for dependence of gauge transformations on the evolution parameter, enables the exchange of mass between particles and fields. In the equilibrium limit, these pre-Maxwell fields are pushed onto the zero-mass shell, but during interactions there is no mechanism regulating the mass that photons may acquire, even when event trajectories evolve far into the spacelike region. This feature of the off-shell formalism requires the application of some ad hoc mechanism for controlling the photon mass in low energy classical Coulomb scattering of charged events, and in the renormalization of off-shell quantum electrodynamics. We discuss a nonlocal, higher derivative correction to the photon kinetic term, which provides regulation of the photon mass in a manner that preserves the gauge invariance and Poincare covariance of the original theory. We demonstrate that the inclusion of this term is equivalent to an earlier solution to the classical Coulomb problem, and that the resulting quantum field theory is renormalized.
△ Less
Submitted 9 March, 2006;
originally announced March 2006.
-
Dirac Monopole from Lorentz Symmetry in N-Dimensions: I. The Generator Extension
Authors:
Martin Land
Abstract:
It is by now well-known that a Lorentz force law and the homogeneous Maxwell equations can be derived from commutation relations among Euclidean coordinates and velocities, without explicit reference to momentum, action or variational principle. This result was extended to the relativistic case and shown to correspond to a Stueckelberg-type quantum theory, in which gauge transformations may depe…
▽ More
It is by now well-known that a Lorentz force law and the homogeneous Maxwell equations can be derived from commutation relations among Euclidean coordinates and velocities, without explicit reference to momentum, action or variational principle. This result was extended to the relativistic case and shown to correspond to a Stueckelberg-type quantum theory, in which gauge transformations may depend on the invariant evolution parameter, such that the associated the five-dimensional electromagnetism becomes standard Maxwell theory in the equilibrium limit. Building on the work of Berard, Grandati, Lages and Mohrbach, we construct an extension of the Lorentz generators in N-dimensions that restores the closed commutation relations in the presence of a Maxwell field, and renders the extended generators constants of the classical motion. The algebra imposes conditions on the Maxwell field, leading to a Dirac monopole solution. The construction can be maximally satisfied in a three dimensional subspace of the full Minkowski space; this subspace can be chosen to describe either the O(3)-invariant space sector, generalizing the nonrelativistic result, or an O(2,1)-invariant restriction of spacetime, and leading to a relativistic Coulomb-like potential of the type used by Horwitz and Arshansky to obtain a covariant generalization of the hydrogen-like bound state.
△ Less
Submitted 15 March, 2006; v1 submitted 7 March, 2006;
originally announced March 2006.
-
The Covariant Stark Effect
Authors:
M. C. Land,
L. P. Howitz
Abstract:
This paper examines the Stark effect, as a first order perturbation of manifestly covariant hydrogen-like bound states. These bound states are solutions to a relativistic Schrödinger equation with invariant evolution parameter, and represent mass eigenstates whose eigenvalues correspond to the well-known energy spectrum of the non-relativistic theory. In analogy to the nonrelativistic case, the…
▽ More
This paper examines the Stark effect, as a first order perturbation of manifestly covariant hydrogen-like bound states. These bound states are solutions to a relativistic Schrödinger equation with invariant evolution parameter, and represent mass eigenstates whose eigenvalues correspond to the well-known energy spectrum of the non-relativistic theory. In analogy to the nonrelativistic case, the off-diagonal perturbation leads to a lifting of the degeneracy in the mass spectrum. In the covariant case, not only do the spectral lines split, but they acquire an imaginary part which is lnear in the applied electric field, thus revealing induced bound state decay in first order perturbation theory. This imaginary part results from the coupling of the external field to the non-compact boost generator. In order to recover the conventional first order Stark splitting, we must include a scalar potential term. This term may be understood as a fifth gauge potential, which compensates for dependence of gauge transformations on the invariant evolution parameter.
△ Less
Submitted 25 March, 2001;
originally announced March 2001.
-
Particles and Events in Classical Off-Shell Electrodynamics
Authors:
M. C. Land
Abstract:
Despite the many successes of the relativistic quantum theory developed by Horwitz, et. al., certain difficulties persist in the associated covariant classical mechanics. In this paper, we explore these difficulties through an examination of the classical Coulomb problem in the framework of off-shell electrodynamics. As the local gauge theory of a covariant quantum mechanics with evolution param…
▽ More
Despite the many successes of the relativistic quantum theory developed by Horwitz, et. al., certain difficulties persist in the associated covariant classical mechanics. In this paper, we explore these difficulties through an examination of the classical Coulomb problem in the framework of off-shell electrodynamics. As the local gauge theory of a covariant quantum mechanics with evolution parameter $τ$, off-shell electrodynamics constitutes a dynamical theory of spacetime events, interacting through five $τ$-dependent pre-Maxwell potentials. We present a straightforward solution of the classical equations of motion, which is seen to be unsatisfactory, and reveals the essential difficulties in the formalism at the classical level. We then offer a new model of the particle current -- as a certain distribution of the event currents on the worldline -- which eliminates these difficulties and permits comparison of classical off-shell electrodynamics with the standard Maxwell theory. In this model, the ``fixed'' event induces a Yukawa-type potential, permitting a semi-classical identification of the pre-Maxwell time scale $λ$ with the inverse mass of the intervening photon. Numerical solutions to the equations of motion are compared with the standard Maxwell solutions, and are seen to coincide when $λ\gtrsim 10^{-6}$ seconds, providing an initial estimate of this parameter. It is also demonstrated that the proposed model provides a natural interpretation for the photon mass cut-off required for the renormalizability of the off-shell quantum electrodynamics.
△ Less
Submitted 28 January, 1997;
originally announced January 1997.
-
Off-Shell Quantum Electrodynamics
Authors:
M. C. Land,
L. P. Horwitz
Abstract:
More than twenty years have passed since the threads of the `proper time formalism' in covariant classical and quantum mechanics were brought together to construct a canonical formalism for the relativistic mechanics of many particles. Drawing on the work of Fock, Stueckelberg, Nambu, Schwinger, and Feynman, the formalism was raised from the status of a purely formal mathematical technique to a…
▽ More
More than twenty years have passed since the threads of the `proper time formalism' in covariant classical and quantum mechanics were brought together to construct a canonical formalism for the relativistic mechanics of many particles. Drawing on the work of Fock, Stueckelberg, Nambu, Schwinger, and Feynman, the formalism was raised from the status of a purely formal mathematical technique to a covariant evolution theory for interacting particles. In the context of this theory, solutions have been found for the relativistic bound state problem, classical and quantum scattering in relativistic potentials, as well as applications in statistical mechanics.
It has been shown that a generalization of the Maxwell theory is required in order that the electromagnetic interaction be well-posed in the theory. The resulting theory of electromagnetism involves a fifth gauge field introduced to compensate for the dependence of the gauge transformation on the invariant time parameter; permitting such dependence relaxes the requirement that individual particles be on fixed mass shells and allows exchange of mass during scattering. In this paper, we develop the quantum field theory of off-shell electromagnetism, and use it to calculate certain elementary processes, including Compton scattering and Møller scattering. These calculations lead to {\em qualitative} deviations from the usual scattering cross-sections, which are, however, small effects, but may be visible at small angles near the forward direction. The familiar IR divergence of the Møller scattering is, moreover, completely regularized.
△ Less
Submitted 7 January, 1996;
originally announced January 1996.
-
The Zeeman Effect for the Relativistic Bound State
Authors:
M. C. Land,
L. P. Horwitz
Abstract:
In the context of a relativistic quantum mechanics with invariant evolution parameter, solutions for the relativistic bound state problem have been found, which yield a spectrum for the total mass coinciding with the nonrelativistic Schrödinger energy spectrum. These spectra were obtained by choosing an arbitrary spacelike unit vector $n_μ$ and restricting the support of the eigenfunctions in sp…
▽ More
In the context of a relativistic quantum mechanics with invariant evolution parameter, solutions for the relativistic bound state problem have been found, which yield a spectrum for the total mass coinciding with the nonrelativistic Schrödinger energy spectrum. These spectra were obtained by choosing an arbitrary spacelike unit vector $n_μ$ and restricting the support of the eigenfunctions in spacetime to the subspace of the Minkowski measure space, for which $(x_\perp )^2 = [x-(x \cdot n) n ]^2 \geq 0$. In this paper, we examine the Zeeman effect for these bound states, which requires $n_μ$ to be a dynamical quantity. We recover the usual Zeeman splitting in a manifestly covariant form.
△ Less
Submitted 14 July, 1994;
originally announced July 1994.
-
On Feynman's Approach to the Foundations of Gauge Theory
Authors:
M. C. Land,
N. Shnerb,
L. P. Horwitz
Abstract:
In 1948, Feynman showed Dyson how the Lorentz force and Maxwell equations could be derived from commutation relations coordinates and velocities. Several authors noted that the derived equations are not Lorentz covariant and so are not the standard Maxwell theory. In particular, Hojman and Shepley proved that the existence of commutation relations is a strong assumption, sufficient to determine…
▽ More
In 1948, Feynman showed Dyson how the Lorentz force and Maxwell equations could be derived from commutation relations coordinates and velocities. Several authors noted that the derived equations are not Lorentz covariant and so are not the standard Maxwell theory. In particular, Hojman and Shepley proved that the existence of commutation relations is a strong assumption, sufficient to determine the corresponding action, which for Feynman's derivation is of Newtonian form. Tanimura generalized Feynman's derivation to a Lorentz covariant form, however, this derivation does not lead to the standard Maxwell theory either. Tanimura's force equation depends on a fifth ({\it scalar}) electromagnetic potential, and the invariant evolution parameter cannot be consistently identified with the proper time of the particle motion. Moreover, the derivation cannot be made reparameterization invariant; the scalar potential causes violations of the mass-shell constraint which this invariance should guarantee. In this paper, we examine Tanimura's derivation in the framework of the proper time method in relativistic mechanics, and use the technique of Hojman and Shepley to study the unconstrained commutation relations. We show that Tanimura's result then corresponds to the five-dimensional electromagnetic theory previously derived from a Stueckelberg-type quantum theory in which one gauges the invariant parameter in the proper time method. This theory provides the final step in Feynman's program of deriving the Maxwell theory from commutation relations; the Maxwell theory emerges as the ``correlation limit'' of a more general gauge theory, in which it is properly contained.
△ Less
Submitted 16 January, 1995; v1 submitted 2 August, 1993;
originally announced August 1993.