Sobolev spaces and quasiconformal mappings on metric spaces

Heinonen and I have recently established a theory of quasiconformal mappings on Ahlfors regular Loewner spaces. These spaces are metric spaces that have sufficiently many rectifiable curves in a sense of good estimates on moduli of curve families. The Loewner condition can be conveniently described in terms of Poincare inequalities for pairs of functions and upper gradients. Here an upper gradient plays the role that the length of the gradient of a smooth function has in the Euclidean setting. For example, the Euclidean spaces and Heisenberg groups and the more general Carnot groups admit the type of a Poincare inequality we need. We describe the basics and discuss the associated Sobolev spaces that, for example, allow for a very abstract setting for variational integrals. We also discuss the concept of a Sobolev mapping between two metric spaces.