arXiv subjects

Nadia S. Larsen

Publications and source records attributed to Nadia S. Larsen.

At least 19 recordsLinked to original sources

arXiv2026

Metrics on completely positive maps via noncommutative geometry

We study methods of inducing metrics on unital completely positive maps by employing seminorms arising in noncommutative geometry. Our main approach relies on the development of an infinite-dimensional $C^*$-algebraic analogue of the Choi-Jamiołkowski isomorphism. Under suitable conditions, we show that the induced metrics satisfy the quantum information theoretic properties of stability and chaining. Moreover, we show how to generate such metrics using constructions native to noncommutative geometry, by for example using external Kasparov products of spectral triples.

math.OA↗

arXiv2023

Gauge-invariant uniqueness theorems for $P$-graphs

We prove a version of the result in the title that makes use of maximal coactions in the context of discrete groups. Earlier Gauge-Invariant Uniqueness theorems for $C^*$-algebras associated to $P$-graphs and similar $C^*$-algebras exploited a property of coactions known as normality. In the present paper, the view point is that maximal coactions provide a more natural starting point to state and prove such uniqueness theorems. A byproduct of our approach consists of an abstract characterization of co-universal representations for a Fell bundle over a discrete group.

math.OA↗

arXiv2022

Spectral Triples for Noncommutative Solenoids and a Wiener's lemma

In this paper we construct odd finitely summable spectral triples based on length functions of bounded doubling on noncommutative solenoids. Our spectral triples induce a Leibniz Lip-norm on the state spaces of the noncommutative solenoids, giving them the structure of Leibniz quantum compact metric spaces. By applying methods of R. Floricel and A. Ghorbanpour, we also show that our odd spectral triples on noncommutative solenoids can be considered as direct limits of spectral triples on rotation algebras. In the final section we prove a noncommutative Wiener's lemma and show that our odd spectral triples can be defined to have an associated smooth dense subalgebra which is stable under the holomorphic functional calculus, thus answering a question of B. Long and W. Wu. The construction of the smooth subalgebra also extends to the case of nilpotent discrete groups.

math.OA↗

arXiv2022

Higher dimensional digraphs from cube complexes and their spectral theory

We define $k$-dimensional digraphs and initiate a study of their spectral theory. The $k$-dimensional digraphs can be viewed as generating graphs for small categories called $k$-graphs. Guided by geometric insight, we obtain several new series of $k$-graphs using cube complexes covered by Cartesian products of trees, for $k \geq 2$. These $k$-graphs can not be presented as virtual products, and constitute novel models of such small categories. The constructions yield rank-$k$ Cuntz-Krieger algebras for all $k\geq 2$. We introduce Ramanujan $k$-graphs satisfying optimal spectral gap property, and show explicitly how to construct the underlying $k$-digraphs.

math.OA↗

arXiv2022

KMS states of quasi-free dynamics on $C^*$-algebras of product systems over right LCM monoids

We generalise recent results of Afsar, Larsen and Neshveyev for product systems over quasi-lattice orders by showing that the equilibrium states of quasi-free dynamics on the Nica-Toeplitz $C^*$-algebras of product systems over right LCM monoids must satisfy a positivity condition encoded in a system of inequalities satisfied by their restrictions to the coefficient algebra. We prove that the reduction of this positivity condition to a finite subset of inequalities is valid for a wider class of monoids that properly includes finite-type Artin monoids, answering a question left open in their work. Our main technical tool is a combinatorially generated tree modelled on a recent construction developed by Boyu Li for dilations of contractive representations. We also obtain a reduction of the positivity condition to inequalities arising from a certain minimal subset that may not be finite but has the advantage of holding for all Noetherian right LCM monoids, and we present an example, arising from a finite-type Artin monoid, that exhibits a gap in its inverse temperature space.

math.OA↗

arXiv2020

Graph product Khintchine inequalities and Hecke C*-algebras: Haagerup inequalities, (non)simplicity, nuclearity and exactness

Graph products of groups were introduced by Green in her thesis. They have an operator algebraic counterpart introduced and explored by Fima and the first-named author. In this paper we prove Khintchine type inequalities for general C$^{\ast}$-algebraic graph products which generalize results by Ricard and Xu on free products of C$^{\ast}$-algebras. We apply these inequalities in the context of (right-angled) Hecke C$^{\ast}$-algebras, which are deformations of the group algebra of Coxeter groups. For these we deduce a Haagerup inequality. We further use this to study the simplicity and trace uniqueness of (right-angled) Hecke C$^{\ast}$-algebras. Lastly we characterize exactness and nuclearity of general Hecke C$^{\ast}$-algebras.

math.OA↗

arXiv2019

$C^*$-algebras of right LCM monoids and their equilibrium states

We study the internal structure of $C^*$-algebras of right LCM monoids by means of isolating the core semigroup $C^*$-algebra as the coefficient algebra of a Fock-type module on which the full semigroup $C^*$-algebra admits a left action. If the semigroup has a generalised scale, we classify the KMS-states for the associated time evolution on the semigroup $C^*$-algebra, and provide sufficient conditions for uniqueness of the KMS$_β$-state at inverse temperature $β$ in a critical interval.

math.OA↗

arXiv2018

Ground states of groupoid C*-algebras, phase transitions and arithmetic subalgebras for Hecke algebras

We consider the Hecke pair consisting of the group $P^+_K$ of affine transformations of a number field $K$ that preserve the orientation in every real embedding and the subgroup $P^+_O$ consisting of transformations with algebraic integer coefficients. The associated Hecke algebra $C^*(P^+_K,P^+_O)$ has a natural time evolution $σ$, and we describe the corresponding phase transition for KMS$_β$-states and for ground states. From work of Yalkinoglu and Neshveyev it is known that a Bost-Connes type system associated to $K$ has an essentially unique arithmetic subalgebra. When we import this subalgebra through the isomorphism of $C^*(P^+_K,P^+_O)$ to a corner in the Bost-Connes system established by Laca, Neshveyev and Trifkovic, we obtain an arithmetic subalgebra of $C^*(P^+_K,P^+_O)$ on which ground states exhibit the `fabulous' property with respect to an action of the Galois group $Gal(K^{ab}/H_+(K))$, where $H_+(K)$ is the narrow Hilbert class field. In order to characterize the ground states of the $C^*$-dynamical system $(C^*(P^+_K,P^+_O),σ)$, we obtain first a characterization of the ground states of a groupoid $C^*$-algebra, refining earlier work of Renault. This is independent from number theoretic considerations, and may be of interest by itself in other situations.

math.OA↗

arXiv2018

Nica-Toeplitz algebras associated with right tensor $C^*$-precategories over right LCM semigroups

We introduce and analyze the full $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$ and the reduced $\mathcal{NT}_{\mathcal{L}}^r(\mathcal{K})$ Nica-Toeplitz algebra associated to an ideal $\mathcal{K}$ in a right tensor $C^*$-precategory $\mathcal{L}$ over a right LCM semigroup $P$. Our main results are uniqueness theorems in the spirit of classical Coburn's theorem, generalizing uniqueness results for Toeplitz-type $C^*$-algebras associated to single $C^*$-correspondences, quasi-lattice ordered semigroups, and crossed products twisted by product systems of $C^*$-correspondences obtained by Fowler, Laca and Raeburn. We formulate geometric conditions on a representation $Φ$ of $\mathcal{K}$ so that the $C^*$-algebra it generates, $C^*(Φ(\mathcal{K}))$, naturally lies between $\mathcal{NT}_{\mathcal{L}}^r(\mathcal{K})$ and $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$. Under suitable amenability hypotheses, $C^*(Φ(\mathcal{K}))$ and $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$ are isomorphic. The geometric conditions are necessary for our uniqueness result when the right tensoring preserves $\mathcal{K}$ and in general they capture uniqueness of the $C^*$-algebra generated by a natural extension of $Φ$ to $\mathcal{L}$. In particular, the latter algebra could be viewed as a Doplicher-Roberts version of $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$.

math.OA↗

arXiv2018

Nica-Toeplitz algebras associated with product systems over right LCM semigroups

We prove uniqueness of representations of Nica-Toeplitz algebras associated to product systems of $C^*$-correspondences over right LCM semigroups by applying our previous abstract uniqueness results developed for $C^*$-precategories. Our results provide an interpretation of conditions identified in work of Fowler and Fowler-Raeburn, and apply also to their crossed product twisted by a product system, in the new context of right LCM semigroups, as well as to a new, Doplicher-Roberts type $C^*$-algebra associated to the Nica-Toeplitz algebra. As a derived construction we develop Nica-Toeplitz crossed products by actions with completely positive maps. This provides a unified framework for Nica-Toeplitz semigroup crossed products by endomorphisms and by transfer operators. We illustrate these two classes of examples with semigroup $C^*$-algebras of right and left semidirect products.

math.OA↗

arXiv2018

KMS states on Nica-Toeplitz C*-algebras

Given a quasi-lattice ordered group $(G,P)$ and a compactly aligned product system $X$ of essential C$^*$-correspondences over the monoid $P$, we show that there is a bijection between the gauge-invariant KMS$_β$-states on the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of $X$ with respect to a gauge-type dynamics, on one side, and the tracial states on the coefficient algebra $A$ satisfying a system (in general infinite) of inequalities, on the other. This strengthens and generalizes a number of results in the literature in several directions: we do not make any extra assumptions on $P$ and $X$, and our result can, in principle, be used to study KMS-states at any finite inverse temperature $β$. Under fairly general additional assumptions we show that there is a critical inverse temperature $β_c$ such that for $β>β_c$ all KMS$_β$-states are of Gibbs type, hence gauge-invariant, in which case we have a complete classification of KMS$_β$-states in terms of tracial states on $A$, while at $β=β_c$ we have a phase transition manifesting itself in the appearance of KMS$_β$-states that are not of Gibbs type. In the case of right-angled Artin monoids we show also that our system of inequalities for traces on $A$ can be reduced to a much smaller system, a finite one when the monoid is finitely generated. Most of our results generalize to arbitrary quasi-free dynamics on $\mathcal{NT}(X)$.

math.OA↗

arXiv2018

Generalized gauge actions on $k$-graph $C^*$-algebras: KMS states and Hausdorff structure

For a finite, strongly connected $k$-graph $Λ$, an Huef, Laca, Raeburn and Sims studied the KMS states associated to the preferred dynamics of the $k$-graph $C^*$-algebra $C^*(Λ)$. They found that these KMS states are determined by the periodicity of $Λ$ and a certain Borel probability measure $M$ on the infinite path space $Λ^\infty$ of $Λ$. Here we consider different dynamics on $C^*(Λ)$, which arise from a functor $y: Λ\to \mathbb{R}_+$ and were first proposed by McNamara in his thesis. We show that the KMS states associated to McNamara's dynamics are again parametrized by the periodicity group of $Λ$ and a family of Borel probability measures on the infinite path space. Indeed, these measures also arise as Hausdorff measures on $Λ^\infty$, and the associated Hausdorff dimension is intimately linked to the inverse temperatures at which KMS states exist. Our construction of the metrics underlying the Hausdorff structure uses the functors $y: Λ\to \mathbb{R}_+$; the stationary $k$-Bratteli diagram associated to $Λ$; and the concept of exponentially self-similar weights on Bratteli diagrams.

math.OA↗

arXiv2018

Subgroup correspondences

For a closed subgroup of a locally compact group the Rieffel induction process gives rise to a $C^*$-correspondence over the $C^*$-algebra of the subgroup. We study the associated Cuntz-Pimsner algebra and show that, by varying the subgroup to be open, compact, or discrete, there are connections with the Exel-Pardo correspondence arising from a cocycle, and also with graph algebras.

math.OA↗

arXiv2017

On C*-algebras associated to right LCM semigroups

We initiate the study of the internal structure of C*-algebras associated to a left cancellative semigroup in which any two principal right ideals are either disjoint or intersect in another principal right ideal; these are variously called right LCM semigroups or semigroups that satisfy Clifford's condition. Our main findings are results about uniqueness of the full semigroup C*-algebra. We build our analysis upon a rich interaction between the group of units of the semigroup and the family of constructible right ideals. As an application we identify algebraic conditions on S under which C*(S) is purely infinite and simple.

math.OA↗

arXiv2017

Equilibrium states on right LCM semigroup C*-algebras

We determine the structure of equilibrium states for a natural dynamics on the boundary quotient diagram of $C^*$-algebras for a large class of right LCM semigroups. The approach is based on abstract properties of the semigroup and covers the previous case studies on $\mathbb{N} \rtimes \mathbb{N}^\times$, dilation matrices, self-similar actions, and Baumslag-Solitar monoids. At the same time, it provides new results for large classes of right LCM semigroups, including those associated to algebraic dynamical systems.

math.OA↗

arXiv2017

C*-Algebras of algebraic dynamical systems and right LCM semigroups

We introduce algebraic dynamical systems, which consist of an action of a right LCM semigroup by injective endomorphisms of a group. To each algebraic dynamical system we associate a C*-algebra and describe it as a semigroup C*-algebra. As part of our analysis of these C*-algebras we prove results for right LCM semigroups. More precisely we discuss functoriality of the full semigroup C*-algebra and compute its K-theory for a large class of semigroups. We introduce the notion of a Nica-Toeplitz algebra of a product system over a right LCM semigroup, and show that it provides a useful alternative to study algebraic dynamical systems.

math.OA↗

arXiv2016

Positive definite $$-spherical functions, property (T), and $C^$-completions of Gelfand pairs

The study of existence of a universal $C^*$-completion of the $^*$-algebra canonically associated to a Hecke pair was initiated by Hall, who proved that the Hecke algebra associated to $(\operatorname{SL}_2(\Qp), \operatorname{SL}_2(\Zp))$ does not admit a universal $C^*$-completion. Kaliszewski, Landstad and Quigg studied the problem by placing it in the framework of Fell-Rieffel equivalence, and highlighted the role of other $C^*$-completions. In the case of the pair $(\operatorname{SL}_n(\Qp), \operatorname{SL}_n(\Zp))$ for $n\geq 3$ we show, invoking property (T) of $\operatorname{SL}_n(\Qp)$, that the $C^*$-completion of the $L^1$-Banach algebra and the corner of $C^*(\operatorname{SL}_n(\Qp))$ determined by the subgroup are distinct. In fact, we prove a more general result valid for a simple algebraic group of rank at least $2$ over a $\mathfrak{p}$-adic field with a good choice of a maximal compact open subgroup.

math.OA↗

arXiv2016

Partial actions and KMS states on relative graph $C^*$-algebras

The relative graph $C^*$-algebras introduced by Muhly and Tomforde are generalizations of both graph algebras and their Toeplitz extensions. For an arbitrary graph $E$ and a subset $R$ of the set of regular vertices of $E$ we show that the relative graph $C^*$-algebra $C^*(E, R)$ is isomorphic to a partial crossed product for an action of the free group generated by the edge set on the relative boundary path space. Given a time evolution on $C^*(E, R)$ induced by a function on the edge set, we characterize the KMS$_β$ states and ground states using an abstract result of Exel and Laca. Guided by their work on KMS states for Toeplitz-Cuntz-Krieger type algebras associated to infinite matrices, we obtain complete descriptions of the convex sets of KMS states of finite type and of KMS states of infinite type whose associated measures are supported on recurrent infinite paths. This allows us to give a complete concrete description of the convex set of all KMS states for a big class of graphs which includes all finite graphs.

math.OA↗