Source author record

Hendrik Grundling

Hendrik Grundling appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

10 published item(s)

preprint2020arXiv

Covariant representations for possibly singular actions on C*-algebras

Singular actions on C*-algebras are automorphic group actions on C*-algebras, where the group need not be locally compact, or the action need not be strongly continuous. We study the covariant representation theory of such actions. In the usual case of strongly continuous actions of locally compact groups on C*-algebras, this is done via crossed products, but this approach is not available for singular C*-actions (this was our path in a previous paper). The literature regarding covariant representations for singular actions is already large and scattered, and in need of some consolidation. We collect in this survey a range of results in this field, mostly known. We improve some proofs and elucidate some interconnections. These include existence theorems by Borchers and Halpern, Arveson spectra, the Borchers-Arveson theorem, standard representations and Stinespring dilations as well as ground states, KMS states and ergodic states and the spatial structure of their GNS representations.

preprint2020arXiv

Crossed products of C^*-algebras for singular actions with spectrum conditions

We analyze existence of crossed product constructions of Lie group actions on C^*-algebras which are singular. These are actions where the group need not be locally compact, or the action need not be strongly continuous. In particular, we consider the case where spectrum conditions are required for the implementing unitary group in covariant representations of such actions. The existence of a crossed product construction is guaranteed by the existence of "cross representations". For one-parameter automorphism groups, we prove that the existence of cross representations is stable with respect to a large set of perturbations of the action, and we fully analyze the structure of cross representations of inner actions on von Neumann algebras. For one-parameter automorphism groups we study the cross property for covariant representations, where the generator of the implementing unitary group is positive. In particular, we find that if the Borchers-Arveson minimal implementing group is cross, then so are all other implementing groups. For higher dimensional Lie group actions, we consider a class of spectral conditions which include the ones occurring in physics, and is sensible also for non-abelian or for infinite dimensional Lie groups. We prove that the cross property of a covariant representation is fully determined by the cross property of a certain one-parameter subsystem. This greatly simplifies the analysis of the existence of cross representations, and it allows us to prove the cross property for several examples of interest to physics. We also consider non-abelian extensions of the Borchers-Arveson theorem. There is a full extension in the presence of a cyclic invariant vector, but otherwise one needs to determine the vanishing of lifting obstructions.

preprint2016arXiv

Dynamics for QCD on an infinite lattice

We prove the existence of the dynamics automorphism group for Hamiltonian QCD on an infinite lattice in R^3, and this is done in a C*-algebraic context. The existence of ground states is also obtained. Starting with the finite lattice model for Hamiltonian QCD developed by Kijowski & Rudolph, we state its field algebra and a natural representation. We then generalize this representation to the infinite lattice, and construct a Hilbert space which has represented on it all the local algebras (i.e. kinematics algebras associated with finite connected sublattices) equipped with the correct graded commutation relations. On a suitably large C*-algebra acting on this Hilbert space, and containing all the local algebras, we prove that there is a one parameter automorphism group, which is the pointwise norm limit of the local time evolutions along a sequence of finite sublattices, increasing to the full lattice. This is our global time evolution. We then take as our field algebra the C*-algebra generated by all the orbits of the local algebras w.r.t. the global time evolution. Thus the time evolution creates the field algebra. The time evolution is strongly continuous on this choice of field algebra, though not on the original larger C*-algebra. We define the gauge transformations, explain how to enforce the Gauss law constraint, show that the dynamics automorphism group descends to the algebra of physical observables and prove that gauge invariant ground states exist.

preprint2013arXiv

Quantum Systems and Resolvent Algebras

This survey article is concerned with the modeling of the kinematical structure of quantum systems in an algebraic framework which eliminates certain conceptual and computational difficulties of the conventional approaches. Relying on the Heisenberg picture it is based on the resolvents of the basic canonically conjugate operators and covers finite and infinite quantum systems. The resulting C*-algebras, the resolvent algebras, have many desirable properties. On one hand they encode specific information about the dimension of the respective quantum system and have the mathematically comfortable feature of being nuclear, and for finite dimensional systems they are even postliminal. This comes along with a surprisingly simple structure of their representations. On the other hand, they are a convenient framework for the study of interacting as well as constrained quantum systems since they allow the direct application of C*-algebraic methods which often simplify the analysis. Some pertinent facts are illustrated by instructive examples.

preprint2012arXiv

Crossed products of C*-algebras for singular actions

We consider group actions of topological groups on C*-algebras of the types which occur in many physics models. These are singular actions in the sense that they need not be strongly continuous, or the group need not be locally compact. We develop a "crossed product host" in analogy to the usual crossed product for strongly continuous actions of locally compact groups, in the sense that its representation theory is in a natural bijection with the covariant representation theory of the action. We prove a uniqueness theorem for crossed product hosts, and analyze existence conditions. We also present a number of examples where a crossed product host exists, but the usual crossed product does not. For actions where a crossed product host does not exist, we obtain a "maximal" invariant subalgebra for which a crossed product host exists. We further study the case of a discontinuous action of a locally compact group in detail.

preprint2012arXiv

Lie Algebras of Derivations and Resolvent Algebras

This paper analyzes the action δ of a Lie algebra X by derivations on a C*-algebra A. This action satisfies an "almost inner" property which ensures affiliation of the generators of the derivations δ with A, and is expressed in terms of corresponding pseudo-resolvents. In particular, for an abelian Lie algebra X acting on a primitive C*-algebra A, it is shown that there is a central extension of X which determines algebraic relations of the underlying pseudo- resolvents. If the Lie action δ is ergodic, i.e. the only elements of A on which all the derivations in δ_x vanish are multiples of the identity, then this extension is given by a (non-degenerate) symplectic form σ on X. Moreover, the algebra generated by the pseudo-resolvents coincides with the resolvent algebra based on the symplectic space (X, σ). Thus the resolvent algebra of the canonical commutation relations, which was recently introduced in physically motivated analyses of quantum systems, appears also naturally in the representation theory of Lie algebras of derivations acting on C*-algebras.

preprint2012arXiv

QCD on an infinite lattice

We construct a mathematically well--defined framework for the kinematics of Hamiltonian QCD on an infinite lattice in $\R^3$, and it is done in a C*-algebraic context. This is based on the finite lattice model for Hamiltonian QCD developed by Kijowski, Rudolph e.a.. To extend this model to an infinite lattice, we need to take an infinite tensor product of nonunital C*-algebras, which is a nonstandard situation. We use a recent construction for such situations, developed by Grundling and Neeb. Once the field C*-algebra is constructed for the fermions and gauge bosons, we define local and global gauge transformations, and identify the Gauss law constraint. The full field algebra is the crossed product of the previous one with the local gauge transformations. The rest of the paper is concerned with enforcing the Gauss law constraint to obtain the C*-algebra of quantum observables. For this, we use the method of enforcing quantum constraints developed by Grundling and Hurst. In particular, the natural inductive limit structure of the field algebra is a central component of the analysis, and the constraint system defined by the Gauss law constraint is a system of local constraints in the sense of Grundling and Lledo. Using the techniques developed in that area, we solve the full constraint system by first solving the finite (local) systems and then combining the results appropriately. We do not consider dynamics.

preprint2010arXiv

Infinite Tensor Products of C_0(R): Towards a Group Algebra for R^\infty

The construction of an infinite tensor product of the C*-algebra C_0(R) is not obvious, because it is nonunital, and it has no nonzero projection. Based on a choice of an approximate identity, we construct here an infinite tensor product of C_0(R), denoted L_V. We use this to construct (partial) group algebras for the full continuous unitary representation theory of the group R^(N) = the infinite sequences with real entries, of which only finitely many entries are nonzero. We obtain an interpretation of the Bochner-Minlos theorem in R^(N) as the pure state space decomposition of the partial group algebras which generate L_V. We analyze the representation theory of L_V, and show that there is a bijection between a natural set of representations of L_V and the continuous unitary representations of R^(N), but that there is an extra part which essentially consists of the representation theory of a multiplicative semigroup which depends on the initial choice of approximate identity.

preprint2010arXiv

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.

preprint1995arXiv

A Groenewold-Van Hove Theorem for S^2

We prove that there does not exist a nontrivial quantization of the Poisson algebra of the symplectic manifold S^2 which is irreducible on the subalgebra generated by the components {S_1,S_2,S_3} of the spin vector. We also show that there does not exist such a quantization of the Poisson subalgebra P consisting of polynomials in {S_1,S_2,S_3}. Furthermore, we show that the maximal Poisson subalgebra of P containing {1,S_1,S_2,S_3} that can be so quantized is just that generated by {1,S_1,S_2,S_3}.