Localization via Automorphisms of the CARs. Local gauge invariance

The classical matter fields are sections of a vector bundle E with base manifold M. The space L^2(E) of square integrable matter fields w.r.t. a locally Lebesgue measure on M, has an important module action of C_b^\infty(M) on it. This module action defines restriction maps and encodes the local structure of the classical fields. For the quantum context, we show that this module action defines an automorphism group on the algebra A, of the canonical anticommutation relations on L^2(E), with which we can perform the analogous localization. That is, the net structure of the CAR, A, w.r.t. appropriate subsets of M can be obtained simply from the invariance algebras of appropriate subgroups. We also identify the quantum analogues of restriction maps. As a corollary, we prove a well-known "folk theorem," that the algebra A contains only trivial gauge invariant observables w.r.t. a local gauge group acting on E.Comment: 15 page

Carnot-Caratheodory metric and gauge fluctuation in Noncommutative Geometry

Gauge fields have a natural metric interpretation in terms of horizontal distance. The latest, also called Carnot-Caratheodory or subriemannian distance, is by definition the length of the shortest horizontal path between points, that is to say the shortest path whose tangent vector is everywhere horizontal with respect to the gauge connection. In noncommutative geometry all the metric information is encoded within the Dirac operator D. In the classical case, i.e. commutative, Connes's distance formula allows to extract from D the geodesic distance on a riemannian spin manifold. In the case of a gauge theory with a gauge field A, the geometry of the associated U(n)-vector bundle is described by the covariant Dirac operator D+A. What is the distance encoded within this operator ? It was expected that the noncommutative geometry distance d defined by a covariant Dirac operator was intimately linked to the Carnot-Caratheodory distance dh defined by A. In this paper we precise this link, showing that the equality of d and dh strongly depends on the holonomy of the connection. Quite interestingly we exhibit an elementary example, based on a 2 torus, in which the noncommutative distance has a very simple expression and simultaneously avoids the main drawbacks of the riemannian metric (no discontinuity of the derivative of the distance function at the cut-locus) and of the subriemannian one (memory of the structure of the fiber).Comment: published version with additional figures to make the proof more readable. Typos corrected in this ultimate versio

Entropy and the variational principle for actions of sofic groups

Recently Lewis Bowen introduced a notion of entropy for measure-preserving actions of a countable sofic group on a standard probability space admitting a generating partition with finite entropy. By applying an operator algebra perspective we develop a more general approach to sofic entropy which produces both measure and topological dynamical invariants, and we establish the variational principle in this context. In the case of residually finite groups we use the variational principle to compute the topological entropy of principal algebraic actions whose defining group ring element is invertible in the full group C*-algebra.Comment: 44 pages; minor changes; to appear in Invent. Mat

On Pythagoras' theorem for products of spectral triples

We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and provide non-unital counter-examples inspired by K-homology.Comment: Paper slightly shortened to match the published version; Lett. Math. Phys. 201

Isomorphisms of algebras of Colombeau generalized functions

We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the multiplicative linear functionals from the special algebra of Colombeau generalized functions on X to the ring of Colombeau generalized numbers. Up to multiplication with an idempotent generalized number, they are given by an evaluation map at a compactly supported generalized point on X.Comment: 10 page

Scaling algebras and pointlike fields: A nonperturbative approach to renormalization

We present a method of short-distance analysis in quantum field theory that does not require choosing a renormalization prescription a priori. We set out from a local net of algebras with associated pointlike quantum fields. The net has a naturally defined scaling limit in the sense of Buchholz and Verch; we investigate the effect of this limit on the pointlike fields. Both for the fields and their operator product expansions, a well-defined limit procedure can be established. This can always be interpreted in the usual sense of multiplicative renormalization, where the renormalization factors are determined by our analysis. We also consider the limits of symmetry actions. In particular, for suitable limit states, the group of scaling transformations induces a dilation symmetry in the limit theory.Comment: minor changes and clarifications; as to appear in Commun. Math. Phys.; 37 page

Super-KMS functionals for graded-local conformal nets

Motivated by a few preceding papers and a question of R. Longo, we introduce super-KMS functionals for graded translation-covariant nets over R with superderivations, roughly speaking as a certain supersymmetric modification of classical KMS states on translation-covariant nets over R, fundamental objects in chiral algebraic quantum field theory. Although we are able to make a few statements concerning their general structure, most properties will be studied in the setting of specific graded-local (super-) conformal models. In particular, we provide a constructive existence and partial uniqueness proof of super-KMS functionals for the supersymmetric free field, for certain subnets, and for the super-Virasoro net with central charge c>= 3/2. Moreover, as a separate result, we classify bounded super-KMS functionals for graded-local conformal nets over S^1 with respect to rotations.Comment: 30 pages, revised version (to appear in Ann. H. Poincare

On the relativistic KMS condition for the P(\phi)_2 model

The relativistic KMS condition introduced by Bros and Buchholz provides a link between quantum statistical mechanics and quantum field theory. We show that for the $P(\phi)_2$ model at positive temperature, the two point function for fields satisfies the relativistic KMS condition