arXiv subjects

Ralf Meyer

Publications and source records attributed to Ralf Meyer.

At least 91 records · Page 5Linked to original sources

arXiv2009

Smooth and rough modules over self-induced algebras

A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category of modules onto two equivalent subcategories of smooth and rough modules, respectively. These functors generalise previous constructions for group representations on bornological vector spaces. We also study the pairs of adjoint functors between categories of smooth and rough modules that are induced by bimodules and Morita equivalence.

math.RA↗

arXiv2009

Bivariant K-theory via correspondences

We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. We replace smooth K-oriented maps by a class of K-oriented normal maps, which are maps together with a certain factorisation. Our construction does not use any special features of equivariant K-theory. To highlight this, we construct bivariant extensions for arbitrary equivariant multiplicative cohomology theories. We formulate necessary and sufficient conditions for certain duality isomorphisms in the geometric bivariant K-theory and verify these conditions in some cases, including smooth manifolds with a smooth cocompact action of a Lie group. One of these duality isomorphisms reduces bivariant K-theory to K-theory with support conditions. Since similar duality isomorphisms exist in Kasparov theory, both bivariant K-theories agree if there is such a duality isomorphism.

math.KT↗

arXiv2009

Equivariant embedding theorems and topological index maps

The construction of topological index maps for equivariant families of Dirac operators requires factoring a general smooth map through maps of a very simple type: zero sections of vector bundles, open embeddings, and vector bundle projections. Roughly speaking, a normally non-singular map is a map together with such a factorisation. These factorisations are models for the topological index map. Under some assumptions concerning the existence of equivariant vector bundles, any smooth map admits a normal factorisation, and two such factorisations are unique up to a certain notion of equivalence. To prove this, we generalise the Mostow Embedding Theorem to spaces equipped with proper groupoid actions. We also discuss orientations of normally non-singular maps with respect to a cohomology theory and show that oriented normally non-singular maps induce wrong-way maps on the chosen cohomology theory. For K-oriented normally non-singular maps, we also get a functor to Kasparov's equivariant KK-theory. We interpret this functor as a topological index map.

math.KT↗

arXiv2009

A higher category approach to twisted actions on C*-algebras

C*-algebras form a 2-category with \Star{}homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions, and modifications between weakly equivariant maps. In the group case, we identify the resulting notions with known ones, including Busby-Smith twisted actions and equivalence of such actions, covariant representations, and saturated Fell bundles. For 2-groups, weak actions combine twists in the sense of Green and Busby-Smith. The Packer-Raeburn Stabilisation Trick implies that all Busby-Smith twisted group actions of locally compact groups are Morita equivalent to classical group actions. We generalise this to actions of strict 2-groupoids.

math.OA↗

arXiv2009

Resolutions for representations of reductive p-adic groups via their buildings

Schneider-Stuhler and Vigneras have used cosheaves on the affine Bruhat-Tits building to construct natural finite type projective resolutions for admissible representations of reductive p-adic groups in characteristic not equal to p. We use a system of idempotent endomorphisms of a representation with certain properties to construct a cosheaf and a sheaf on the building. We establish that these are acyclic and compute homology and cohomology with these coefficients. This implies Bernstein's result that certain subcategories of the category of representations are Serre subcategories. Furthermore, we also get results for convex subcomplexes of the building. Following work of Korman, this leads to trace formulas for admissible representations.

math.RT↗

arXiv2009

Dualities in equivariant Kasparov theory

We study several duality isomorphisms between equivariant bivariant K-theory groups, generalising Kasparov's first and second Poincare duality isomorphisms. We use the first duality to define an equivariant generalisation of Lefschetz invariants of generalised self-maps. The second duality is related to the description of bivariant Kasparov theory for commutative C*-algebras by families of elliptic pseudodifferential operators. For many groupoids, both dualities apply to a universal proper G-space. This is a basic requirement for the dual Dirac method and allows us to describe the Baum-Connes assembly map via localisation of categories.

math.KT↗

arXiv2009

Square-integrable coactions of locally compact quantum groups

We define and study square-integrable coactions of locally compact quantum groups on Hilbert modules, generalising previous work for group actions. As special cases, we consider square-integrable Hilbert space corepresentations and integrable coactions on C*-algebras. Our main result is an equivariant generalisation of Kasparov's Stabilisation Theorem.

math.OA↗

arXiv2008

Homological algebra in bivariant K-theory and other triangulated categories. II

We use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally compact groups and torsion-free discrete quantum groups. Our methods are related to the abstract version of the Adams spectral sequence by Brinkmann and Christensen.

math.KT↗

arXiv2008

Equivariant representable K-theory

We interpret certain equivariant Kasparov groups as equivariant representable K-theory groups. We compute these groups via a classifying space and as K-theory groups of suitable sigma-C*-algebras. We also relate equivariant vector bundles to these sigma-C*-algebras and provide sufficient conditions for equivariant vector bundles to generate representable K-theory. Mostly we work in the generality of locally compact groupoids with Haar system.

math.KT↗

arXiv2008

C*-Algebras over Topological Spaces: The Bootstrap Class

We carefully define and study C*-algebras over topological spaces, possibly non-Hausdorff, and review some relevant results from point-set topology along the way. We explain the triangulated category structure on the bivariant Kasparov theory over a topological space. We introduce and describe an analogue of the bootstrap class for C*-algebras over a finite topological space.

math.KT↗

arXiv2008

Equivariant Lefschetz maps for simplicial complexes and smooth manifolds

Let X be a locally compact space with a continuous proper action of a locally compact group G. Assuming that X satisfies a certain kind of duality in equivariant bivariant Kasparov theory, we can enrich the classical construction of Lefschetz numbers to equivariant K-homology classes. We compute the Lefschetz invariants for self-maps of finite-dimensional simplicial complexes and of self-maps of smooth manifolds. The resulting invariants are independent of the extra structure used to compute them. Since smooth manifolds can be triangulated, we get two formulas for the same Lefschetz invariant in these cases. The resulting identity is closely related to the equivariant Lefschetz Fixed Point Theorem of Luck and Rosenberg.

math.KT↗

arXiv2008

Homological algebra in bivariant K-theory and other triangulated categories

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, projective resolutions, and derived functors. We introduce these notions and apply them to examples from bivariant K-theory. An important observation of Beligiannis is that we can approximate our category by an Abelian category in a canonical way, such that our homological concepts reduce to the corresponding ones in this Abelian category. We compute this Abelian approximation in several interesting examples, where it turns out to be very concrete and tractable. The derived functors comprise the second tableau of a spectral sequence that, in favourable cases, converges towards Kasparov groups and other interesting objects. This mechanism is the common basis for many different spectral sequences. Here we only discuss the very simple 1-dimensional case, where the spectral sequences reduce to short exact sequences.

math.KT↗

arXiv2008

Coarse and equivariant co-assembly maps

We study an equivariant co-assembly map that is dual to the usual Baum-Connes assembly map and closely related to coarse geometry, equivariant Kasparov theory, and the existence of dual Dirac morphisms. As applications, we prove the existence of dual Dirac morphisms for groups with suitable compactifications, that is, satisfying the Carlsson-Pedersen condition, and we study a K-theoretic counterpart to the proper Lipschitz cohomology of Connes, Gromov and Moscovici.

math.KT↗

arXiv2007

L^p-estimates for the wave equation associated to the Grushin operator

Let G:=-((d/dx)^2+x^2(d/du)^2) denote the Grusin operator on R^2. Consider the Cauchy problem for the associated wave equation on R x R^2, given by ((d/dt)^2+G)v =0, v(0,.)=f, d/dt v(0,.)=g, where t denotes time and f, g are suitable functions. The focus of this thesis lies on smoothness properties of the solution v for fixed time t with respect to the initial data. Smoothness can be measured in terms of Sobolev norms |f|_Lp^α:=|(1+G)^{α/2}f|_Lp, defined in terms of the differential operator G. Let S_C denote the strip S_C:={(x,u) in R^2, |x|<=C} in R^2. We prove that for 1<=p<=\infty the solution v is in L_p^{-α} if our initial data f and g are Lp-functions supported in a fixed strip S_C, C>0, and if α>|1/p-1/2| holds. In fact, we show that for every C>0 the operator \exp(itG^{1/2})(1+G)^{-α/2}, defined for Schwartz functions, extends to a bounded operator from Lp(S_C) to Lp(R^2) for all α>|1/p-1/2|.

math.AP↗

arXiv2007

Continuous spectral decompositions of Abelian group actions on C*-algebras

Let G be a locally compact Abelian group. Following Ruy Exel, we view Fell bundles over the Pontrjagin dual of G as continuous spectral decompositions of G-actions on C*-algebras. We classify such spectral decompositions using certain dense subspaces related to Marc Rieffel's theory of square-integrability. There is a unique continuous spectral decomposition if the group acts properly on the primitive ideal space of the C*-algebra. But there are also examples of group actions without or with several inequivalent spectral decompositions.

math.OA↗

arXiv2007

Categorical aspects of bivariant K-theory

This survey article on bivariant Kasparov theory and E-theory is mainly intended for readers with a background in homotopical algebra and category theory. We approach both bivariant K-theories via their universal properties and equip them with extra structure such as a tensor product and a triangulated category structure. We discuss the construction of the Baum-Connes assembly map via localisation of categories and explain how this is related to the purely topological construction by Davis and Lueck.

math.KT↗

arXiv2007

Creation of multiple nanodots by single ions

In the challenging search for tools that are able to modify surfaces on the nanometer scale, heavy ions with energies of several 10 MeV are becoming more and more attractive. In contrast to slow ions where nuclear stopping is important and the energy is dissipated into a large volume in the crystal, in the high energy regime the stopping is due to electronic excitations only. Because of the extremely local (< 1 nm) energy deposition with densities of up to 10E19 W/cm^2, nanoscaled hillocks can be created under normal incidence. Usually, each nanodot is due to the impact of a single ion and the dots are randomly distributed. We demonstrate that multiple periodically spaced dots separated by a few 10 nanometers can be created by a single ion if the sample is irradiated under grazing angles of incidence. By varying this angle the number of dots can be controlled.

cond-mat.mtrl-sci↗

arXiv2005

Homological algebra for Schwartz algebras of reductive p-adic groups

Let G be a reductive group over a non-Archimedean local field. Then the canonical functor from the derived category of smooth tempered representations of G to the derived category of all smooth representations of G is fully faithful. Here we consider representations on bornological vector spaces. As a consequence, if V and W are two tempered irreducible representations and if V or W is square-integrable, then Ext_G^n(V,W) vanishes for all n>0. We use this to prove in full generality a formula for the formal dimension of square-integrable representations due to Schneider and Stuhler.

math.RT↗