Showing 1–50 of 70 results for author: Christensen, J

On a Rokhlin property for abelian group actions on C$^*$-algebras

Authors: Johannes Christensen, Robert Neagu, Gábor Szabó

Abstract: In this article, we study the so-called abelian Rokhlin property for actions of locally compact, abelian groups on C$^*$-algebras. We propose a unifying framework for obtaining various duality results related to this property. The abelian Rokhlin property coincides with the known Rokhlin property for actions by the reals (i.e., flows), but is not identical to the known Rokhlin property in general.… ▽ More In this article, we study the so-called abelian Rokhlin property for actions of locally compact, abelian groups on C$^*$-algebras. We propose a unifying framework for obtaining various duality results related to this property. The abelian Rokhlin property coincides with the known Rokhlin property for actions by the reals (i.e., flows), but is not identical to the known Rokhlin property in general. The main duality result we obtain is a generalisation of a duality for flows proved by Kishimoto in the case of Kirchberg algebras. We consider also a slight weakening of the abelian Rokhlin property, which allows us to show that all traces on the crossed product C$^*$-algebra are canonically induced from invariant traces on the the coefficient C$^*$-algebra. △ Less

Submitted 17 April, 2025; originally announced April 2025.

MSC Class: 46L55; 46L40

The ideal structure of C*-algebras of etale groupoids with isotropy groups of local polynomial growth

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Given an amenable second countable Hausdorff locally compact étale groupoid $\mathcal G$ such that each isotropy group $\mathcal G^x_x$ has local polynomial growth, we give a description of $\operatorname{Prim} C^*(\mathcal G)$ as a topological space in terms of the topology on $\mathcal G$ and representation theory of the isotropy groups and their subgroups. The description simplifies when either… ▽ More Given an amenable second countable Hausdorff locally compact étale groupoid $\mathcal G$ such that each isotropy group $\mathcal G^x_x$ has local polynomial growth, we give a description of $\operatorname{Prim} C^*(\mathcal G)$ as a topological space in terms of the topology on $\mathcal G$ and representation theory of the isotropy groups and their subgroups. The description simplifies when either the isotropy groups are FC-hypercentral or $\mathcal G$ is the transformation groupoid $Γ\ltimes X$ defined by an action $Γ\curvearrowright X$ with locally finite stabilizers. To illustrate the class of C$^*$-algebras for which our results can provide a complete description of the ideal structure, we compute the primitive spectrum of $\mathrm{SL}_3(\mathbb Z)\ltimes C_0(\mathrm{SL}_3(\mathbb R)/U_3(\mathbb R))$, where $U_3(\mathbb R)$ is the group of unipotent upper triangular matrices. △ Less

Submitted 30 May, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 46 pages; v3: a discussion of essentially principal groupoids and the ideal intersection property added; v2: minor corrections and improvements, a discussion of type I case added

The primitive spectrum of C*-algebras of etale groupoids with abelian isotropy

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Given a Hausdorff locally compact étale groupoid $\mathcal G$, we describe as a topological space the part of the primitive spectrum of $C^*(\mathcal G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\mathcal G$. When $\mathcal G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of… ▽ More Given a Hausdorff locally compact étale groupoid $\mathcal G$, we describe as a topological space the part of the primitive spectrum of $C^*(\mathcal G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\mathcal G$. When $\mathcal G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of $\operatorname{Prim} C^*(\mathcal G)$ conjectured by van Wyk and Williams. This, in principle, completely determines the ideal structure of a large class of separable C$^*$-algebras, including the transformation group C$^*$-algebras defined by amenable actions of discrete groups with abelian stabilizers and the C$^*$-algebras of higher rank graphs. As an illustration we describe the primitive spectrum of the C$^*$-algebra of any row-finite higher rank graph without sources. △ Less

Submitted 4 March, 2025; v1 submitted 3 May, 2024; originally announced May 2024.

Comments: 34 pages; v3: the revised version contains various improvements, including that it no longer depends on the main results of arXiv:2308.10768 and gives a description of the primitive spectrum of C*-algebras of higher rank graphs in terms of maximal tails, periodicity groups and finite paths; v2: minor changes and corrections

Differential operators on {B}ergman space on bounded symmetric domains

Authors: Jens Gerlach Christensen, Christopher Benjamin Deng

Abstract: We classify self-adjoint first-order differential operators on weighted Bergman spaces on the $N$-dimensional unit ball $\mathbb{B}^N$ and $\mathbb{D}^2$ of $2\times2$ complex matrices satisfying $I-ZZ^*>0$.Our main tools are the discrete series representations of $\mathrm{SU}(N,1)$ and $\mathrm{SU}(2,2)$. We believe that our observations extend to general bounded symmetric domains. We classify self-adjoint first-order differential operators on weighted Bergman spaces on the $N$-dimensional unit ball $\mathbb{B}^N$ and $\mathbb{D}^2$ of $2\times2$ complex matrices satisfying $I-ZZ^*>0$.Our main tools are the discrete series representations of $\mathrm{SU}(N,1)$ and $\mathrm{SU}(2,2)$. We believe that our observations extend to general bounded symmetric domains. △ Less

Submitted 16 April, 2024; originally announced April 2024.

MSC Class: 32A36

The Snapshot Problem for the Wave equation

Authors: Fulton Gonzalez, Tomoyuki Kakehi, Jens Christensen, Jue Wang

Abstract: By definition, a wave is a $C^\infty$ solution $u(x,t)$ of the wave equation on $\mathbb R^n$, and a snapshot of the wave $u$ at time $t$ is the function $u_t$ on $\mathbb R^n$ given by $u_t(x)=u(x,t)$. We show that there are infinitely many waves with given $C^\infty$ snapshots $f_0$ and $f_1$ at times $t=0$ and $t=1$ respectively, but that all such waves have the same snapshots at integer times.… ▽ More By definition, a wave is a $C^\infty$ solution $u(x,t)$ of the wave equation on $\mathbb R^n$, and a snapshot of the wave $u$ at time $t$ is the function $u_t$ on $\mathbb R^n$ given by $u_t(x)=u(x,t)$. We show that there are infinitely many waves with given $C^\infty$ snapshots $f_0$ and $f_1$ at times $t=0$ and $t=1$ respectively, but that all such waves have the same snapshots at integer times. We present a necessary condition for the uniqueness, and a compatibility condition for the existence, of a wave $u$ to have three given snapshots at three different times, and we show how this compatibility condition leads to the problem of small denominators and Liouville numbers. We extend our results to shifted wave equations on noncompact symmetric spaces. Finally, we consider the two-snapshot problem and corresponding small denominator results for the shifted wave equation on the $n$-sphere. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 47 pages

MSC Class: 35L05 (Primary) 58J45; 43A85 (Secondary)

Isotropy fibers of ideals in groupoid C$^{*}$-algebras

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ide… ▽ More Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ideals; (c) classify the primitive ideals for a class of graded groupoids with essentially central isotropy. △ Less

Submitted 31 May, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 22 pages; v3: minor corrections; to appear in Adv. Math. v2: Minor corrections and improvements, and a new section has been added with a new result on fibers of the singular ideal

Ext groups in Homotopy Type Theory

Authors: J. Daniel Christensen, Jarl G. Taxerås Flaten

Abstract: We develop the theory of Yoneda Ext groups over a ring in homotopy type theory (HoTT) and describe their interpretation into an $\infty$-topos. This is an abstract approach to Ext groups which does not require projective or injective resolutions. While it produces group objects that are a priori large, we show that the $\operatorname{Ext}^1$ groups are equivalent to small groups, leaving open the… ▽ More We develop the theory of Yoneda Ext groups over a ring in homotopy type theory (HoTT) and describe their interpretation into an $\infty$-topos. This is an abstract approach to Ext groups which does not require projective or injective resolutions. While it produces group objects that are a priori large, we show that the $\operatorname{Ext}^1$ groups are equivalent to small groups, leaving open the question of whether the higher Ext groups are essentially small as well. We also show that the $\operatorname{Ext}^1$ groups take on the usual form as a product of cyclic groups whenever the input modules are finitely presented and the ring is a PID (in the constructive sense). When interpreted into an $\infty$-topos of sheaves on a 1-category, our Ext groups recover (and give a resolution-free approach to) sheaf Ext groups, which arise in algebraic geometry. (These are also called "local" Ext groups.) We may therefore interpret results about Ext from HoTT and apply them to sheaf Ext. To show this, we prove that injectivity of modules in HoTT interprets to internal injectivity in these models. It follows, for example, that sheaf Ext can be computed using resolutions which are projective or injective in the sense of HoTT, when they exist, and we give an example of this in the projective case. We also discuss the relation between internal $\mathbb{Z} G$-modules (for a $0$-truncated group object $G$) and abelian groups in the slice over $BG$, and study the interpretation of our Ext groups in both settings. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 29 pages

Central H-spaces and banded types

Authors: Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke

Abstract: We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite delooping in terms of a tensor product of banded types, which are the appropriate notion of torsor for a central type. Our constructions are carried out… ▽ More We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite delooping in terms of a tensor product of banded types, which are the appropriate notion of torsor for a central type. Our constructions are carried out in homotopy type theory, and therefore hold in any $\infty$-topos. Even when interpreted into the $\infty$-topos of spaces, our approach to constructing these deloopings is new. Along the way, we further develop the theory of H-spaces in homotopy type theory, including their relation to evaluation fibrations and Whitehead products. These considerations let us, for example, rule out the existence of H-space structures on the $2n$-sphere for $n > 0$. We also give a novel description of the moduli space of H-space structures on an H-space. Using this description, we generalize a formula of Arkowitz-Curjel and Copeland for counting the number of path components of this moduli space. As an application, we deduce that the moduli space of H-space structures on the $3$-sphere is $Ω^6 \mathbb{S}^3$. △ Less

Submitted 2 April, 2025; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: v1: 22 pages; v2: 25 pages, with many improvements and additions; v3: 27 pages, accepted version to appear in JPAA

Journal ref: Journal of Pure and Applied Algebra 229(6) (2025), 107963, 31 pages

Tracial weights on topological graph algebras

Authors: Johannes Christensen

Abstract: We describe two kinds of regular invariant measures on the boundary path space of a second countable topological graph, which allows us to describe all extremal tracial weights on the graph C$^{*}$-algebra which are not gauge-invariant. Using this description we prove that all tracial weights on the C$^{*}$-algebra of a second countable topological graph are gauge-invariant when the graph is free.… ▽ More We describe two kinds of regular invariant measures on the boundary path space of a second countable topological graph, which allows us to describe all extremal tracial weights on the graph C$^{*}$-algebra which are not gauge-invariant. Using this description we prove that all tracial weights on the C$^{*}$-algebra of a second countable topological graph are gauge-invariant when the graph is free. This in particular implies that all tracial weights are gauge-invariant when the graph C$^{*}$-algebra is simple and separable. △ Less

Submitted 25 August, 2022; originally announced August 2022.

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 3428-3454

Uncertainty principles and differential operators on the weighted {B}ergman space

Authors: Jens Gerlach Christensen, Christopher Benjamin Deng

Abstract: We classify self-adjoint first-order differential operators on weighted Bergman spaces on the unit disc and answer questions related to uncertainty principles for such operators. Our main tools are the discrete series representations of $\mathrm{SU}(1,1)$. This approach has the promise to generalize to other bounded symmetric domains. We classify self-adjoint first-order differential operators on weighted Bergman spaces on the unit disc and answer questions related to uncertainty principles for such operators. Our main tools are the discrete series representations of $\mathrm{SU}(1,1)$. This approach has the promise to generalize to other bounded symmetric domains. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 11 pages

Non-accessible localizations

Authors: J. Daniel Christensen

Abstract: In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of the ZFC axioms. We show that this construction can be carried out in homotopy type theory. More precisely, we give a general method of associating to a suitable… ▽ More In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of the ZFC axioms. We show that this construction can be carried out in homotopy type theory. More precisely, we give a general method of associating to a suitable (possibly large) family of maps, a reflective subuniverse of any universe $\mathcal{U}$. When specialized to an appropriate family, this produces a localization which when interpreted in the $\infty$-topos of spaces agrees with the localization corresponding to $E$. Our approach generalizes the approach of [CSS] in two ways. First, by working in homotopy type theory, our construction can be interpreted in any $\infty$-topos. Second, while the local objects produced by [CSS] are always 1-types, our construction can produce $n$-types, for any $n$. This is new, even in the $\infty$-topos of spaces. In addition, by making use of universes, our proof is very direct. Along the way, we prove many results about "small" types that are of independent interest. As an application, we give a new proof that separated localizations exist. We also give results that say when a localization with respect to a family of maps can be presented as localization with respect to a single map, and show that the simplicial model satisfies a strong form of the axiom of choice which implies that sets cover and that the law of excluded middle holds. △ Less

Submitted 28 May, 2024; v1 submitted 14 September, 2021; originally announced September 2021.

Comments: 15 pages; v2 has improvements; v3 fixes very small typos and corresponds to published version

MSC Class: 18N55; 03B38; 03G30; 18N60 (Primary); 18E35; 55P60; 55U35 (Secondary)

Journal ref: Journal of Topology 17(2) (2024)

KMS spectra for group actions on compact spaces

Authors: Johannes Christensen, Stefaan Vaes

Abstract: Given a topologically free action of a countable group $G$ on a compact metric space $X$, there is a canonical correspondence between continuous 1-cocycles for this group action and diagonal 1-parameter groups of automorphisms of the reduced crossed product C*-algebra. The KMS spectrum is defined as the set of inverse temperatures for which there exists a KMS state. We prove that the possible KMS… ▽ More Given a topologically free action of a countable group $G$ on a compact metric space $X$, there is a canonical correspondence between continuous 1-cocycles for this group action and diagonal 1-parameter groups of automorphisms of the reduced crossed product C*-algebra. The KMS spectrum is defined as the set of inverse temperatures for which there exists a KMS state. We prove that the possible KMS spectra depend heavily on the nature of the acting group $G$. For groups of subexponential growth, we prove that the only possible KMS spectra are $\{0\}$, $[0,+\infty)$, $(-\infty,0]$ and $\mathbb{R}$. For certain wreath product groups, which are amenable and of exponential growth, we prove that any closed subset of $\mathbb{R}$ containing zero arises as KMS spectrum. Finally, for certain nonamenable groups including the free group with infinitely many generators, we prove that any closed subset may arise. Besides uncovering a surprising relation between geometric group theoretic properties and KMS spectra, our results provide two simple C*-algebras with the following universality property: any closed subset (containing, resp. not containing zero) arises as the KMS spectrum of a 1-parameter group of automorphisms of this C*-algebra. △ Less

Submitted 19 November, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: v3: minor changes, final version, to appear in Communications in Mathematical Physics

Journal ref: Communications in Mathematical Physics 390 (2022), 1341-1367

(Non)exotic completions of the group algebras of isotropy groups

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Motivated by the problem of characterizing KMS states on the reduced C$^*$-algebras of étale groupoids, we show that the reduced norm on these algebras induces a C$^*$-norm on the group algebras of the isotropy groups. This C$^*$-norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson-Lafforgue-Skandalis, it can be exotic already for groupoids… ▽ More Motivated by the problem of characterizing KMS states on the reduced C$^*$-algebras of étale groupoids, we show that the reduced norm on these algebras induces a C$^*$-norm on the group algebras of the isotropy groups. This C$^*$-norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson-Lafforgue-Skandalis, it can be exotic already for groupoids of germs associated with group actions. We show that the norm is still the reduced one for some classes of graded groupoids, in particular, for the groupoids associated with partial actions of groups and the semidirect products of exact groups and groupoids with amenable isotropy groups. △ Less

Submitted 8 June, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 20 pages; v2: minor corrections, references updated, a result on Morita equivalent groupoids added; to appear in IMRN

Journal ref: Int. Math. Res. Not. IMRN 2022, no. 19, 15155-15186

Exterior bundles in diffeology

Authors: J. Daniel Christensen, Enxin Wu

Abstract: We explore several notions of $k$-form at a point in a diffeological space, construct bundles of such $k$-forms, and compare sections of these bundles to differential forms. As they are defined locally, our $k$-forms can contain more information than the values of differential forms contain, and we illustrate this with many examples. To organize our work, we develop the basic theory of diffeologic… ▽ More We explore several notions of $k$-form at a point in a diffeological space, construct bundles of such $k$-forms, and compare sections of these bundles to differential forms. As they are defined locally, our $k$-forms can contain more information than the values of differential forms contain, and we illustrate this with many examples. To organize our work, we develop the basic theory of diffeological vector pseudo-bundles, including a detailed understanding of their limits and colimits, as well as a variety of fibrewise operations such as products, direct sums, tensor products, exterior powers and dual bundles. △ Less

Submitted 9 July, 2021; v1 submitted 3 September, 2020; originally announced September 2020.

Comments: 23 pages; v2 fixes typos and has minor clarifications

MSC Class: 58A10 (Primary) 58A05; 57P99 (Secondary)

Stochastic Fleet Mix Optimization: Evaluating Electromobility in Urban Logistics

Authors: Satya S. Malladi, Jonas M. Christensen, David Ramrez, Allan Larsen, Dario Pacino

Abstract: In this paper, we study the problem of optimizing the size and mix of a mixed fleet of electric and conventional vehicles owned by firms providing urban freight logistics services. Uncertain customer requests are considered at the strategic planning stage. These requests are revealed before operations commence in each operational period. At the operational level, a new model for vehicle power cons… ▽ More In this paper, we study the problem of optimizing the size and mix of a mixed fleet of electric and conventional vehicles owned by firms providing urban freight logistics services. Uncertain customer requests are considered at the strategic planning stage. These requests are revealed before operations commence in each operational period. At the operational level, a new model for vehicle power consumption is suggested. In addition to mechanical power consumption, this model accounts for cabin climate control power, which is dependent on ambient temperature, and auxiliary power, which accounts for energy drawn by external devices. We formulate the problem of stochastic fleet size and mix optimization as a two-stage stochastic program and propose a sample average approximation based heuristic method to solve it. For each operational period, an adaptive large neighborhood search algorithm is used to determine the operational decisions and associated costs. The applicability of the approach is demonstrated through two case studies within urban logistics services. △ Less

Submitted 2 September, 2020; originally announced September 2020.

On good morphisms of exact triangles

Authors: J. Daniel Christensen, Martin Frankland

Abstract: In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one "good" fill-in, i.e., one whose mapping cone is exact. Verdier constructed a fill-in of a particular form in his proof of the $4 \times 4$ lemma, which we call "Verdier good". We show that for several classes of morphisms of exact triangles, the notions of good and Verdier good agree. We prov… ▽ More In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one "good" fill-in, i.e., one whose mapping cone is exact. Verdier constructed a fill-in of a particular form in his proof of the $4 \times 4$ lemma, which we call "Verdier good". We show that for several classes of morphisms of exact triangles, the notions of good and Verdier good agree. We prove a lifting criterion for commutative squares in terms of (Verdier) good fill-ins. Using our results on good fill-ins, we also prove a pasting lemma for homotopy cartesian squares. △ Less

Submitted 17 July, 2021; v1 submitted 9 August, 2020; originally announced August 2020.

Comments: v3: Minor changes. Accepted for publication in the Journal of Pure and Applied Algebra

MSC Class: 18G80 (Primary) 55U35 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 226(3) (2022), 106846, 33 pages

Characterizations of modalities and lex modalities

Authors: J. Daniel Christensen, Egbert Rijke

Abstract: A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of $\infty$-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse $L$: (1) the associated subuniverse $L'$ of $L$-separated types is a modality; (2) $L$ is a modality; (3) $L$ is a lex modal… ▽ More A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of $\infty$-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse $L$: (1) the associated subuniverse $L'$ of $L$-separated types is a modality; (2) $L$ is a modality; (3) $L$ is a lex modality; and (4) $L$ is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to $L$, such as the $L$-étale maps, the $L$-equivalences, the $L$-local maps, the $L$-connected maps, the unit maps $η_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict. △ Less

Submitted 15 October, 2021; v1 submitted 8 August, 2020; originally announced August 2020.

Comments: 26 pages; v2 improves the intro and has a few minor updates

MSC Class: 03B38; 03B45; 55P60; 18N55; 18N60

Journal ref: Journal of Pure and Applied Algebra 226(3) (2022), 106848, 21 pages

The Hurewicz theorem in Homotopy Type Theory

Authors: J. Daniel Christensen, Luis Scoccola

Abstract: We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $π_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the abelianization of the homotopy groups with the homology. We also compute the connectivity of a smash product of types and express the lowest non-trivial homotopy… ▽ More We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $π_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the abelianization of the homotopy groups with the homology. We also compute the connectivity of a smash product of types and express the lowest non-trivial homotopy group as a tensor product. Along the way, we study magmas, loop spaces, connected covers and prespectra, and we use $1$-coherent categories to express naturality and for the Yoneda lemma. As homotopy type theory has models in all $\infty$-toposes, our results can be viewed as extending known results about spaces to all other $\infty$-toposes. △ Less

Submitted 14 June, 2023; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: 26 pages; v2 has minor clarifications; v3 has minor improvements throughout and is very close to AGT version

MSC Class: 55Qxx (Primary) 55Nxx; 03B38; 18N60 (Secondary)

Journal ref: Algebr. Geom. Topol. 23 (2023) 2107-2140

KMS states on crossed products by abelian groups

Authors: Johannes Christensen, Klaus Thomsen

Abstract: We provide a general description of the KMS states for flows whose fixed point algebra satisfies a certain regularity condition. This is the applied to crossed products by discrete groups, and in particular to certain flows on crossed products by discrete abelian groups where the methods can be combined with spectral analysis for abelian automrphism groups. We provide a general description of the KMS states for flows whose fixed point algebra satisfies a certain regularity condition. This is the applied to crossed products by discrete groups, and in particular to certain flows on crossed products by discrete abelian groups where the methods can be combined with spectral analysis for abelian automrphism groups. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Random walks on groups and KMS states

Authors: Johannes Christensen, Klaus Thomsen

Abstract: A classical construction associates to a transient random walk on a discrete group $Γ$ a compact $Γ$-space $\partial_M Γ$ known as the Martin boundary. The resulting crossed product $C^*$-algebra $C(\partial_M Γ) \rtimes_r Γ$ comes equipped with a one-parameter group of automorphisms given by the Martin kernels that define the Martin boundary. In this paper we study the KMS states for this flow an… ▽ More A classical construction associates to a transient random walk on a discrete group $Γ$ a compact $Γ$-space $\partial_M Γ$ known as the Martin boundary. The resulting crossed product $C^*$-algebra $C(\partial_M Γ) \rtimes_r Γ$ comes equipped with a one-parameter group of automorphisms given by the Martin kernels that define the Martin boundary. In this paper we study the KMS states for this flow and obtain a complete description when the Poisson boundary of the random walk is trivial and when $Γ$ is a torsion free non-elementary hyperbolic group. We also construct examples to show that the structure of the KMS states can be more complicated beyond these cases. △ Less

Submitted 25 June, 2020; originally announced June 2020.

The structure of KMS weights on étale groupoid $C^{*}$-algebras

Authors: Johannes Christensen

Abstract: We generalise a number of classical results from the theory of KMS states to KMS weights in the setting of $C^{*}$-dynamical systems arising from a continuous groupoid homomorphism $c:\mathcal{G} \to \mathbb{R}$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$. In particular, we generalise Neshveyev's Theorem to KMS weights. We generalise a number of classical results from the theory of KMS states to KMS weights in the setting of $C^{*}$-dynamical systems arising from a continuous groupoid homomorphism $c:\mathcal{G} \to \mathbb{R}$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$. In particular, we generalise Neshveyev's Theorem to KMS weights. △ Less

Submitted 14 April, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: v2: minor changes; v1: 28 pages. Questions and comments are welcome!

New atomic decompositions of Bergman spaces on bounded symmetric domains

Authors: Jens Gerlach Christensen, Gestur Olafsson

Abstract: We provide a large family of atoms for Bergman spaces on irreducible bounded symmetric domains. This vastly generalizes results by Coifman and Rochberg from 1980. The atomic decompositions are derived using the holomorphic discrete series representations for the domain, and the approach is inspired by recent advances in wavelet and coorbit theory. This approach also settles the relation between at… ▽ More We provide a large family of atoms for Bergman spaces on irreducible bounded symmetric domains. This vastly generalizes results by Coifman and Rochberg from 1980. The atomic decompositions are derived using the holomorphic discrete series representations for the domain, and the approach is inspired by recent advances in wavelet and coorbit theory. This approach also settles the relation between atomic decompositions for the bounded and unbounded realizations of the domain. △ Less

Submitted 24 September, 2020; v1 submitted 7 April, 2020; originally announced April 2020.

KMS states on the crossed product $C^{*}$-algebra of a homeomorphism

Authors: Johannes Christensen, Klaus Thomsen

Abstract: Let $\varphi:X\to X$ be a homeomorphism of a compact metric space $X$. For any continuous function $F:X\to \mathbb{R}$ there is a one-parameter group $α^{F}$ of automorphisms on the crossed product $C^*$-algebra $C(X)\rtimes_{\varphi}\mathbb{Z}$ defined such that $α^{F}_{t}(fU)=fUe^{-itF}$ when $f \in C(X)$ and $U$ is the canonical unitary in the construction of the crossed product. In this paper… ▽ More Let $\varphi:X\to X$ be a homeomorphism of a compact metric space $X$. For any continuous function $F:X\to \mathbb{R}$ there is a one-parameter group $α^{F}$ of automorphisms on the crossed product $C^*$-algebra $C(X)\rtimes_{\varphi}\mathbb{Z}$ defined such that $α^{F}_{t}(fU)=fUe^{-itF}$ when $f \in C(X)$ and $U$ is the canonical unitary in the construction of the crossed product. In this paper we study the KMS states for these flows by developing an intimate relation to the ergodic theory of non-singular transformations and show that the structure of KMS-states can be very rich and complicated. Our results are complete concerning the set of possible inverse temperatures; in particular, we show that when $C(X) \rtimes_φ \mathbb Z$ is simple this set is either $\{0\}$ or the whole line $\mathbb R$. △ Less

Submitted 19 April, 2021; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: v2: minor changes and beginning of section 4 rewritten. This is a preprint of an article to appear in ETDS

Detecting isomorphisms in the homotopy category

Authors: Kevin Arlin, J. Daniel Christensen

Abstract: We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly reflect equivalences in the homotopy 2-category of spaces. The non-existence of such a set in the homotopy category was originally claimed by Heller, but his argumen… ▽ More We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly reflect equivalences in the homotopy 2-category of spaces. The non-existence of such a set in the homotopy category was originally claimed by Heller, but his argument relied on the statement that for every set of spaces, long enough transfinite sequential diagrams admit weak colimits which are privileged with respect to the given set. Using the theory of graphs of groups, we show that this statement is false, by proving that for every ordinal with uncountable cofinality, there is a diagram indexed by that ordinal which admits no weak colimit that is privileged with respect to the spheres. △ Less

Submitted 8 August, 2023; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: 12 pages

MSC Class: 55U35; 18A30; 55P65

Journal ref: Algebr. Geom. Topol. 23 (2023) 2975-2991

Localization in Homotopy Type Theory

Authors: J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola

Abstract: We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniv… ▽ More We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniverse of $L$-separated types is again a reflective subuniverse, which we call $L'$. Furthermore, we prove results establishing that $L'$ is almost left exact. We next focus on localization with respect to a map, giving results on preservation of coproducts and connectivity. We also study how such localizations interact with other reflective subuniverses and orthogonal factorization systems. As key steps towards proving the main theorem, we show that localization at a prime commutes with taking loop spaces for a pointed, simply connected type, and explicitly describe the localization of an Eilenberg-Mac Lane space $K(G,n)$ with $G$ abelian. We also include a partial converse to the main theorem. △ Less

Submitted 9 February, 2020; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: 32 pages; to appear in Higher Structures; v4 contains a minor correction compared to published version

MSC Class: 55P60 (Primary); 18E35; 03B15 (Secondary)

Journal ref: Higher Structures, 4(1) (2020), 1-32

KMS states on the Toeplitz algebras of higher-rank graphs

Authors: Johannes Christensen

Abstract: The Toeplitz algebra $\mathcal{T}C^{*}(Λ)$ for a finite $k$-graph $Λ$ is equipped with a continuous one-parameter group $α^{r}$ for each $ r\in \mathbb{R}^{k}$, obtained by composing the map $\mathbb{R} \ni t \to (e^{itr_{1}}, \dots , e^{itr_{k}}) \in \mathbb{T}^{k}$ with the gauge action on $\mathcal{T}C^{*}(Λ)$. In this paper we give a complete description of the $β$-KMS states for the $C^{*}$-d… ▽ More The Toeplitz algebra $\mathcal{T}C^{*}(Λ)$ for a finite $k$-graph $Λ$ is equipped with a continuous one-parameter group $α^{r}$ for each $ r\in \mathbb{R}^{k}$, obtained by composing the map $\mathbb{R} \ni t \to (e^{itr_{1}}, \dots , e^{itr_{k}}) \in \mathbb{T}^{k}$ with the gauge action on $\mathcal{T}C^{*}(Λ)$. In this paper we give a complete description of the $β$-KMS states for the $C^{*}$-dynamical system $(\mathcal{T}C^{*}(Λ), α^{r})$ for all finite $k$-graphs $Λ$ and all values of $β\in \mathbb{R}$ and $r\in \mathbb{R}^{k}$. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 36 pages. Comments and questions are warmly welcomed at [email protected]

MSC Class: 47L15; 37D35

Journal ref: Journal of Mathematical Analysis and Applications, volume 485, issue 2, 2020

Symmetries of the KMS simplex

Authors: Johannes Christensen

Abstract: A continuous groupoid homomorphism $c$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$ gives rise to a $C^{*}$-dynamical system in which every $β$-KMS state can be associated to a $e^{-βc}$-quasi-invariant measure $μ$ on $\mathcal{G}^{(0)}$. Letting $Δ_μ$ denote the set of KMS states associated to such a $μ$, we will prove that $Δ_μ$ is a simplex for a large class of g… ▽ More A continuous groupoid homomorphism $c$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$ gives rise to a $C^{*}$-dynamical system in which every $β$-KMS state can be associated to a $e^{-βc}$-quasi-invariant measure $μ$ on $\mathcal{G}^{(0)}$. Letting $Δ_μ$ denote the set of KMS states associated to such a $μ$, we will prove that $Δ_μ$ is a simplex for a large class of groupoids, and we will show that there is an abelian group that acts transitively and freely on the extremal points of $Δ_μ$. This group can be described using the support of $μ$, so our theory of symmetries can be used to obtain a description of all KMS states by describing the $e^{-βc}$-quasi-invariant measures. To illustrate this we will describe the KMS states for the Cuntz-Krieger algebras of all finite higher rank graphs without sources and a large class of continuous one-parameter groups. △ Less

Submitted 31 August, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 25 pages. Some typos and a paragraph in the introduction have been corrected. This is a pre-print of an article to appear in Communications in Mathematical Physics

Smooth classifying spaces

Authors: J. Daniel Christensen, Enxin Wu

Abstract: We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles, the smooth analogs of numerable bundles from topology, and prove that pulling back a $D$-numerable bundle along smoothly homotopic maps gives isomorphic pullbac… ▽ More We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles, the smooth analogs of numerable bundles from topology, and prove that pulling back a $D$-numerable bundle along smoothly homotopic maps gives isomorphic pullbacks. We then define smooth structures on Milnor's spaces $EG$ and $BG$, show that $EG \to BG$ is a $D$-numerable principal bundle, and prove that it classifies all $D$-numerable principal bundles over any diffeological space. We deduce analogous classification results for $D$-numerable diffeological bundles and vector bundles. △ Less

Submitted 27 December, 2020; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: 29 pages; v3 matches version to appear in Israel Journal of Mathematics; v3 has only minor typos fixed compared to v2

MSC Class: 55R35 (Primary) 57P99 (Secondary)

Atomic decompositions of mixed norm Bergman spaces on tube type domains

Authors: Jens Gerlach Christensen

Abstract: We use the author's previous work on atomic decompositions of Besov spaces with spectrum on symmetric cones, to derive new atomic decompositions for Bergman spaces on tube type domains. It is related to work by Ricci and Taibleson who derived decompositions for classical Besov spaces from atomic decompositions of Bergman spaces on the upper half plane. Moreover, for this class of domains our metho… ▽ More We use the author's previous work on atomic decompositions of Besov spaces with spectrum on symmetric cones, to derive new atomic decompositions for Bergman spaces on tube type domains. It is related to work by Ricci and Taibleson who derived decompositions for classical Besov spaces from atomic decompositions of Bergman spaces on the upper half plane. Moreover, for this class of domains our method is an alternative to classical results by Coifman and Rochberg, and it works for a larger range of Bergman spaces. △ Less

Submitted 23 January, 2018; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: 9 pages

MSC Class: 32A36; 41A65

Equilibrium and ground states from Cayley graphs

Authors: Johannes Christensen, Klaus Thomsen

Abstract: We study the KMS states and $KMS_{\infty}$ states of generalized gauge actions on the $C^*$-algebra of a pointed Cayley graph. Our results provide information for any finitely generated group, but they are only complete for nilpotent groups. We study the KMS states and $KMS_{\infty}$ states of generalized gauge actions on the $C^*$-algebra of a pointed Cayley graph. Our results provide information for any finitely generated group, but they are only complete for nilpotent groups. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 27 pages, 1 figure

Coorbits for projective representations with an application to Bergman spaces

Authors: Jens Gerlach Christensen, Amer H. Darweesh, Gestur Olafsson

Abstract: Recently representation theory has been used to provide atomic decompositions for a large collection of classical Banach spaces. In this paper we extend the techniques to also include projective representations. As our main application we obtain atomic decompositions of Bergman spaces on the unit ball through the holomorphic discrete series for the group of isometries of the ball. Recently representation theory has been used to provide atomic decompositions for a large collection of classical Banach spaces. In this paper we extend the techniques to also include projective representations. As our main application we obtain atomic decompositions of Bergman spaces on the unit ball through the holomorphic discrete series for the group of isometries of the ball. △ Less

Submitted 26 March, 2019; v1 submitted 8 April, 2017; originally announced April 2017.

Diffeological vector spaces

Authors: J. Daniel Christensen, Enxin Wu

Abstract: We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by the smooth linear functionals, having fine finite-dimensional subspaces, and having a Hausdorff underlying topology. Our main result is that the majority of the… ▽ More We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by the smooth linear functionals, having fine finite-dimensional subspaces, and having a Hausdorff underlying topology. Our main result is that the majority of the conditions fit into a total order. We also give many examples in order to show which implications do not hold, and use our results to study the homological algebra of diffeological vector spaces. △ Less

Submitted 28 February, 2019; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 14 pages; to appear in Pacific J. Math

MSC Class: 46S99 (Primary) 57P99 (Secondary)

Journal ref: Pacific J. Math. 303 (2019) 73-92

Counterexamples to conjectures about Subset Takeaway and counting linear extensions of a Boolean lattice

Authors: Andries E. Brouwer, J. Daniel Christensen

Abstract: We develop an algorithm for efficiently computing recursively defined functions on posets. We illustrate this algorithm by disproving conjectures about the game Subset Takeaway (Chomp on a hypercube) and computing the number of linear extensions of the lattice of a 7-cube and related lattices. We develop an algorithm for efficiently computing recursively defined functions on posets. We illustrate this algorithm by disproving conjectures about the game Subset Takeaway (Chomp on a hypercube) and computing the number of linear extensions of the lattice of a 7-cube and related lattices. △ Less

Submitted 10 July, 2017; v1 submitted 9 February, 2017; originally announced February 2017.

Comments: 5 pages. v2 has improvements throughout and is to appear in Order

MSC Class: 91A46; 06A07

Surjectivity of Mean Value Operators on Noncompact Symmetric Spaces

Authors: Jens Christensen, Fulton Gonzalez, Tomoyuki Kakehi

Abstract: Let $X=G/K$ be a symmetric space of the non-compact type. We prove that the mean value operator over translated $K$-orbits of a fixed point is surjective on the space of smooth functions on $X$ if $X$ is either complex or of rank one. For higher rank spaces it is shown that the same statement is true for points in an appropriate Weyl subchamber. Let $X=G/K$ be a symmetric space of the non-compact type. We prove that the mean value operator over translated $K$-orbits of a fixed point is surjective on the space of smooth functions on $X$ if $X$ is either complex or of rank one. For higher rank spaces it is shown that the same statement is true for points in an appropriate Weyl subchamber. △ Less

Submitted 5 August, 2016; originally announced August 2016.

MSC Class: 44A12; 44A35

Diagonality of actions and KMS weights

Authors: Johannes Christensen, Klaus Thomsen

Abstract: The paper contains a description of a connection between diagonal actions and certain KMS weights on groupoid $C^{*}$-algebras. It furthermore contains the realization of a graph $C^{*}$-algebra of a countable graph as the groupoid $C^{*}$-algebra of a local homeomorphism and applies the theory obtained on these algebras. The paper contains a description of a connection between diagonal actions and certain KMS weights on groupoid $C^{*}$-algebras. It furthermore contains the realization of a graph $C^{*}$-algebra of a countable graph as the groupoid $C^{*}$-algebra of a local homeomorphism and applies the theory obtained on these algebras. △ Less

Submitted 16 December, 2015; originally announced December 2015.

Comments: 21 pages

MSC Class: 46L05

Higher Toda brackets and the Adams spectral sequence in triangulated categories

Authors: J. Daniel Christensen, Martin Frankland

Abstract: The Adams spectral sequence is available in any triangulated category equipped with a projective or injective class. Higher Toda brackets can also be defined in a triangulated category, as observed by B. Shipley based on J. Cohen's approach for spectra. We provide a family of definitions of higher Toda brackets, show that they are equivalent to Shipley's, and show that they are self-dual. Our main… ▽ More The Adams spectral sequence is available in any triangulated category equipped with a projective or injective class. Higher Toda brackets can also be defined in a triangulated category, as observed by B. Shipley based on J. Cohen's approach for spectra. We provide a family of definitions of higher Toda brackets, show that they are equivalent to Shipley's, and show that they are self-dual. Our main result is that the Adams differential $d_r$ in any Adams spectral sequence can be expressed as an $(r+1)$-fold Toda bracket and as an $r^{\text{th}}$ order cohomology operation. We also show how the result simplifies under a sparseness assumption, discuss several examples, and give an elementary proof of a result of Heller, which implies that the three-fold Toda brackets in principle determine the higher Toda brackets. △ Less

Submitted 12 August, 2017; v1 submitted 30 October, 2015; originally announced October 2015.

Comments: v2: Added Section 7, about an application to computing maps between modules over certain ring spectra. Minor improvements elsewhere. v3: Minor updates throughout; closely matches published version

MSC Class: 55T15 (Primary) 18E30; 55S20; 18G25 (Secondary)

Journal ref: Algebr. Geom. Topol. 17-5 (2017), 2687-2735

Tangent spaces of bundles and of filtered diffeological spaces

Authors: J. Daniel Christensen, Enxin Wu

Abstract: We show that a diffeological bundle gives rise to an exact sequence of internal tangent spaces. We then introduce two new classes of diffeological spaces, which we call weakly filtered and filtered diffeological spaces, whose tangent spaces are easier to understand. These are the diffeological spaces whose categories of pointed plots are (weakly) filtered. We extend the exact sequence one step fur… ▽ More We show that a diffeological bundle gives rise to an exact sequence of internal tangent spaces. We then introduce two new classes of diffeological spaces, which we call weakly filtered and filtered diffeological spaces, whose tangent spaces are easier to understand. These are the diffeological spaces whose categories of pointed plots are (weakly) filtered. We extend the exact sequence one step further in the case of a diffeological bundle with filtered total space and base space. We also show that the tangent bundle $T^H X$ defined by Hector is a diffeological vector space over $X$ when $X$ is filtered or when $X$ is a homogeneous space, and therefore agrees with the dvs tangent bundle introduced by the authors in a previous paper. △ Less

Submitted 30 June, 2016; v1 submitted 30 October, 2015; originally announced October 2015.

Comments: v3: new results and improvements to exposition; 14 pages; this version to appear in Proceedings of the AMS

MSC Class: 57P99; 58A05

Journal ref: Proceedings of the AMS 145(5) (2017), 2255-2270

Finite digraphs and KMS states

Authors: J. Christensen, K. Thomsen

Abstract: The paper contains a description of the KMS states and ground states of a generalized gauge action on the C*-algebra of a finite graph. The paper contains a description of the KMS states and ground states of a generalized gauge action on the C*-algebra of a finite graph. △ Less

Submitted 18 May, 2015; originally announced May 2015.

Comments: 21 pages, 4 figures

New atomic decompositons for Bergman spaces on the unit ball

Authors: Jens Christensen, Karlheinz Gröchenig, Gestur Ólafsson

Abstract: We derive atomic decompositions and frames for weighted Bergman spaces of several complex variables on the unit ball in the spirit of Coifman, Rochberg, and Luecking. In contrast to our predecessors, we use group theoretic methods, in particular the representation theory of the discrete series of $SU(n,1)$ and its covering groups. One of the benefits is a much larger class of admissible We derive atomic decompositions and frames for weighted Bergman spaces of several complex variables on the unit ball in the spirit of Coifman, Rochberg, and Luecking. In contrast to our predecessors, we use group theoretic methods, in particular the representation theory of the discrete series of $SU(n,1)$ and its covering groups. One of the benefits is a much larger class of admissible △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 19 pages

MSC Class: 32A36; 43A15; 42B35; 46E15

Tangent spaces and tangent bundles for diffeological spaces

Authors: J. Daniel Christensen, Enxin Wu

Abstract: We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth curves into the space, and the external tangent space is defined using smooth deriv… ▽ More We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth curves into the space, and the external tangent space is defined using smooth derivations on germs of smooth functions. We prove fundamental results about these tangent spaces, compute them in many examples, and observe that while they agree for smooth manifolds and many of the examples, they do not agree in general. After this, we recall Hector's definition of the tangent bundle of a diffeological space, and show that both scalar multiplication and addition can fail to be smooth, revealing errors in several references. We then give an improved definition of the tangent bundle, using what we call the dvs diffeology, which ensures that scalar multiplication and addition are smooth. We establish basic facts about these tangent bundles, compute them in many examples, and study the question of whether the fibres of tangent bundles are fine diffeological vector spaces. Our examples include singular spaces, spaces whose natural topology is non-Hausdorff (e.g., irrational tori), infinite-dimensional vector spaces and diffeological groups, and spaces of smooth maps between smooth manifolds (including diffeomorphism groups). △ Less

Submitted 14 November, 2015; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: v2 and v3: minor corrections and improvements to exposition; 27 pages; to appear in Cahiers de Topologie et Géométrie Différentielle

MSC Class: 57P99 (Primary) 58A05 (Secondary)

Journal ref: Cahiers de Topologie et Geométrie Différentielle Catégoriques 57(1) (2016), 3-50

The homotopy theory of diffeological spaces

Authors: J. Daniel Christensen, Enxin Wu

Abstract: Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce the smooth singular simplicial set $S^D(X)$ associated to a diffeological space $X$, and show that when $S^D(X)$ is fibrant, it captures smooth homotopical pro… ▽ More Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce the smooth singular simplicial set $S^D(X)$ associated to a diffeological space $X$, and show that when $S^D(X)$ is fibrant, it captures smooth homotopical properties of $X$. Motivated by this, we define $X$ to be fibrant when $S^D(X)$ is, and more generally define cofibrations, fibrations and weak equivalences in the category of diffeological spaces using the smooth singular simplicial set functor. We conjecture that these form a model category structure, but in this paper we assume little prior knowledge of model categories, and instead focus on concrete questions about smooth manifolds and diffeological spaces. We prove that our setup generalizes the naive smooth homotopy theory of smooth manifolds by showing that a smooth manifold without boundary is fibrant and that for fibrant diffeological spaces, the weak equivalences can be detected using ordinary smooth homotopy groups. We also show that our definition of fibrations generalizes Iglesias-Zemmour's theory of diffeological bundles. We prove enough of the model category axioms to show that every diffeological space has a functorial cofibrant replacement. We give many explicit examples of objects that are cofibrant, not cofibrant, fibrant and not fibrant, as well as many other examples showing the richness of the theory. For example, we show that the free loop space of a smooth manifold is fibrant. One of the implicit points of this paper is that the language of model categories is an effective way to organize homotopical thinking, even when it is not known that all of the model category axioms are satisfied. △ Less

Submitted 12 May, 2015; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: 24 pages; v2, v3: improvements to exposition; v4: update footnote

MSC Class: 57R19 (Primary); 57P99; 58A05 (Secondary)

Journal ref: New York J. Math. 20 (2014), 1269-1303

Ghost numbers of group algebras II

Authors: J. Daniel Christensen, Gaohong Wang

Abstract: We study several closely related invariants of the group algebra $kG$ of a finite group. The basic invariant is the ghost number, which measures the failure of the generating hypothesis and involves finding non-trivial composites of maps each of which induces the zero map in Tate cohomology ("ghosts"). The related invariants are the simple ghost number, which considers maps which are stably trivia… ▽ More We study several closely related invariants of the group algebra $kG$ of a finite group. The basic invariant is the ghost number, which measures the failure of the generating hypothesis and involves finding non-trivial composites of maps each of which induces the zero map in Tate cohomology ("ghosts"). The related invariants are the simple ghost number, which considers maps which are stably trivial when composed with any map from a suspension of a simple module, and the strong ghost number, which considers maps which are ghosts after restriction to every subgroup of $G$. We produce the first computations of the ghost number for non-$p$-groups, e.g., for the dihedral groups at all primes, as well as many new bounds. We prove that there are close relationships between the three invariants, and make computations of the new invariants for many families of groups. △ Less

Submitted 19 February, 2015; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: To appear in Algebras and Representation Theory. v2 corresponds to published version, and contains improvements throughout

MSC Class: 20C20; 18E30; 20J06; 55P99

Journal ref: Algebras and Representation Theory 18(3) (2015), 849-880

Atomic decompositions of Besov spaces related to symmetric cones

Authors: Jens Gerlach Christensen

Abstract: In this paper we extend the atomic decompositions previously obtained for Besov spaces related to the forward light cone to general symmetric cones. We do so via wavelet theory adapted to the cone. The wavelet transforms sets up an isomorphism between the Besov spaces and certain reproducing kernel function spaces on the group, and sampling of the transformed data will provide the atomic decomposi… ▽ More In this paper we extend the atomic decompositions previously obtained for Besov spaces related to the forward light cone to general symmetric cones. We do so via wavelet theory adapted to the cone. The wavelet transforms sets up an isomorphism between the Besov spaces and certain reproducing kernel function spaces on the group, and sampling of the transformed data will provide the atomic decompositions and frames for the Besov spaces. △ Less

Submitted 11 March, 2013; originally announced March 2013.

The D-topology for diffeological spaces

Authors: J. Daniel Christensen, Gord Sinnamon, Enxin Wu

Abstract: Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology has not yet been studied seriously in the existing literature. In this paper, we develop the basic theory of the $D$-topology for diffeological spaces. We expla… ▽ More Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology has not yet been studied seriously in the existing literature. In this paper, we develop the basic theory of the $D$-topology for diffeological spaces. We explain that the topological spaces that arise as the $D$-topology of a diffeological space are exactly the $Δ$-generated spaces and give results and examples which help to determine when a space is $Δ$-generated. Our most substantial results show how the $D$-topology on the function space $C^{\infty}(M,N)$ between smooth manifolds compares to other well-known topologies. △ Less

Submitted 16 September, 2015; v1 submitted 12 February, 2013; originally announced February 2013.

Comments: v1: 13 pages; v2: 19 pages, includes proofs of conjectures from v1; v3: 18 pages, minor improvements to exposition; v4: 18 pages, minor corrections

MSC Class: 57P99; 58D99; 57R99

Journal ref: Pacific Journal of Mathematics 272(1) (2014), 87-110

Ghost numbers of Group Algebras

Authors: J. Daniel Christensen, Gaohong Wang

Abstract: Motivated by Freyd's famous unsolved problem in stable homotopy theory, the generating hypothesis for the stable module category of a finite group is the statement that if a map in the thick subcategory generated by the trivial representation induces the zero map in Tate cohomology, then it is stably trivial. It is known that the generating hypothesis fails for most groups. Generalizing work done… ▽ More Motivated by Freyd's famous unsolved problem in stable homotopy theory, the generating hypothesis for the stable module category of a finite group is the statement that if a map in the thick subcategory generated by the trivial representation induces the zero map in Tate cohomology, then it is stably trivial. It is known that the generating hypothesis fails for most groups. Generalizing work done for $p$-groups, we define the ghost number of a group algebra, which is a natural number that measures the degree to which the generating hypothesis fails. We describe a close relationship between ghost numbers and Auslander-Reiten triangles, with many results stated for a general projective class in a general triangulated category. We then compute ghost numbers and bounds on ghost numbers for many families of $p$-groups, including abelian $p$-groups, the quaternion group and dihedral $2$-groups, and also give a general lower bound in terms of the radical length, the first general lower bound that we are aware of. We conclude with a classification of group algebras of $p$-groups with small ghost number and examples of gaps in the possible ghost numbers of such group algebras. △ Less

Submitted 9 October, 2014; v1 submitted 24 January, 2013; originally announced January 2013.

Comments: 28 pages; v2 improves introduction and has many other minor changes throughout. appears in Algebras and Representation Theory, 2014

MSC Class: 20C20 (Primary); 16G70; 18E30; 20J06; 55P99 (Secondary)

Journal ref: Algebras and Representation Theory, 18(1) (2015), 1-33

Coorbit description and atomic decomposition of Besov spaces

Authors: Jens Gerlach Christensen, Azita Mayeli, Gestur Olafsson

Abstract: Function spaces are central topic in analysis. Often those spaces and related analysis involves symmetries in form of an action of a Lie group. Coorbit theory as introduced by Feichtinger and Gröchenig and then later extended in [3] gives a unified method to construct Banach spaces of functions based on representations of Lie groups. In this article we identify the homogeneous Besov spaces on stra… ▽ More Function spaces are central topic in analysis. Often those spaces and related analysis involves symmetries in form of an action of a Lie group. Coorbit theory as introduced by Feichtinger and Gröchenig and then later extended in [3] gives a unified method to construct Banach spaces of functions based on representations of Lie groups. In this article we identify the homogeneous Besov spaces on stratified Lie groups introduced in [13] as coorbit spaces in the sense of [3] and use this to derive atomic decompositions for the Besov spaces. △ Less

Submitted 13 March, 2012; v1 submitted 30 October, 2011; originally announced October 2011.

Multi-window Gabor frames in amalgam spaces

Authors: Radu Balan, Jens G. Christensen, Ilya A. Krishtal, Kasso A. Okoudjou, José Luis Romero

Abstract: We show that multi-window Gabor frames with windows in the Wiener algebra $W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a byproduct of our results we positively answer an open question that was posed by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the continuity of the ca… ▽ More We show that multi-window Gabor frames with windows in the Wiener algebra $W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a byproduct of our results we positively answer an open question that was posed by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the continuity of the canonical dual of a Gabor frame with a continuous generator in the Wiener algebra. The proofs are based on a recent version of Wiener's $1/f$ lemma. △ Less

Submitted 30 December, 2013; v1 submitted 30 August, 2011; originally announced August 2011.

Comments: 17 pages

MSC Class: 42C15; 42A65; 47B38

Journal ref: Math. Res. Lett., 21(1), 2014, pp. 55--69

Sampling in Spaces of Bandlimited Functions on Commutative Spaces

Authors: Jens Gerlach Christensen, Gestur Olafsson

Abstract: A connected homogeneous space X=G/K is called commutative if G is a connected Lie group, $K$ is a compact subgroup and the B*-algebra L^1(X)^K of K-invariant integrable function on X is commutative. In this article we introduce the space L^2_A (X) of A-bandlimited function on X by using the spectral decomposition of L^2 (X). We show that those spaces are reproducing kernel Hilbert spaces and deter… ▽ More A connected homogeneous space X=G/K is called commutative if G is a connected Lie group, $K$ is a compact subgroup and the B*-algebra L^1(X)^K of K-invariant integrable function on X is commutative. In this article we introduce the space L^2_A (X) of A-bandlimited function on X by using the spectral decomposition of L^2 (X). We show that those spaces are reproducing kernel Hilbert spaces and determine the reproducing kernel. We then prove sampling results for those spaces using the smoothness of the elements in L^2_A (X). At the end we discuss the example of R^d, the spheres S^d, compact symmetric spaces and the Heisenberg group realized as the commutative space U (n) x H_n/U (n). △ Less

Submitted 22 July, 2011; originally announced July 2011.

Sampling in reproducing kernel Banach spaces on Lie groups

Authors: Jens Gerlach Christensen

Abstract: We present sampling theorems for reproducing kernel Banach spaces on Lie groups. Recent approaches to this problem rely on integrability of the kernel and its local oscillations. In this paper we replace the integrability conditions by requirements on the derivatives of the reproducing kernel. The results are then used to obtain frames and atomic decompositions for Banach spaces of distributions s… ▽ More We present sampling theorems for reproducing kernel Banach spaces on Lie groups. Recent approaches to this problem rely on integrability of the kernel and its local oscillations. In this paper we replace the integrability conditions by requirements on the derivatives of the reproducing kernel. The results are then used to obtain frames and atomic decompositions for Banach spaces of distributions stemming from a cyclic representation, and it is shown that this is particularly easy, when the cyclic vector is a Gårding vector for a square integrable representation. △ Less

Submitted 3 August, 2010; originally announced August 2010.

MSC Class: 43A15; 46E15; 94A12

Coorbit Spaces for Dual Pairs

Authors: J. G. Christensen, G. Ólafsson

Abstract: In this paper we present an abstract framework for construction of Banach spaces of distributions from group representations. This generalizes the theory of coorbit spaces initiated by H.G. Feichtinger and K. Gröchenig in the 1980's. Spaces that can be described by this new technique include the whole Banach-scale of Bergman spaces on the unit disc. For these Bergman spaces we show that atomic d… ▽ More In this paper we present an abstract framework for construction of Banach spaces of distributions from group representations. This generalizes the theory of coorbit spaces initiated by H.G. Feichtinger and K. Gröchenig in the 1980's. Spaces that can be described by this new technique include the whole Banach-scale of Bergman spaces on the unit disc. For these Bergman spaces we show that atomic decompositions can be constructed through sampling. We further present a wavelet characterization of Besov spaces on the forward light cone. △ Less

Submitted 22 January, 2010; v1 submitted 3 October, 2009; originally announced October 2009.

MSC Class: 43A15;42B35