-
Games played by Exponential Weights Algorithms
Authors:
Maurizio d'Andrea,
Fabien Gensbittel,
Jérôme Renault
Abstract:
This paper studies the last-iterate convergence properties of the exponential weights algorithm with constant learning rates. We consider a repeated interaction in discrete time, where each player uses an exponential weights algorithm characterized by an initial mixed action and a fixed learning rate, so that the mixed action profile $p^t$ played at stage $t$ follows an homogeneous Markov chain.…
▽ More
This paper studies the last-iterate convergence properties of the exponential weights algorithm with constant learning rates. We consider a repeated interaction in discrete time, where each player uses an exponential weights algorithm characterized by an initial mixed action and a fixed learning rate, so that the mixed action profile $p^t$ played at stage $t$ follows an homogeneous Markov chain. At first, we show that whenever a strict Nash equilibrium exists, the probability to play a strict Nash equilibrium at the next stage converges almost surely to 0 or 1. Secondly, we show that the limit of $p^t$, whenever it exists, belongs to the set of ``Nash Equilibria with Equalizing Payoffs''. Thirdly, we show that in strong coordination games, where the payoff of a player is positive on the diagonal and 0 elsewhere, $p^t$ converges almost surely to one of the strict Nash equilibria. We conclude with open questions.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Cartan subalgebras in W*-algebras
Authors:
Jean Renault
Abstract:
This article presents a proof of the Feldman-Moore theorem on Cartan subalgebras in W*-algebras based on the non-commutative Stone equivalence between Boolean inverse semigroups and Boolean groupoids. The proof is decomposed into two parts. The first part writes the W*-algebra as the W*-algebra of the Weyl twist of the Cartan subalgebra. The second part is an extension to separable measure inverse…
▽ More
This article presents a proof of the Feldman-Moore theorem on Cartan subalgebras in W*-algebras based on the non-commutative Stone equivalence between Boolean inverse semigroups and Boolean groupoids. The proof is decomposed into two parts. The first part writes the W*-algebra as the W*-algebra of the Weyl twist of the Cartan subalgebra. The second part is an extension to separable measure inverse semigroups of the realization of a separable measure algebra by a standard measure space.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Optimistic Gradient Descent Ascent in Zero-Sum and General-Sum Bilinear Games
Authors:
Étienne de Montbrun,
Jérôme Renault
Abstract:
We study the convergence of Optimistic Gradient Descent Ascent in unconstrained bilinear games. In a first part, we consider the zero-sum case and extend previous results by Daskalakis et al. in 2018, Liang and Stokes in 2019, and others: we prove, for any payoff matrix, the exponential convergence of OGDA to a saddle point and also provide a new, optimal, geometric ratio for the convergence. We a…
▽ More
We study the convergence of Optimistic Gradient Descent Ascent in unconstrained bilinear games. In a first part, we consider the zero-sum case and extend previous results by Daskalakis et al. in 2018, Liang and Stokes in 2019, and others: we prove, for any payoff matrix, the exponential convergence of OGDA to a saddle point and also provide a new, optimal, geometric ratio for the convergence. We also characterize the step sizes inducing convergence, and are able to deduce the optimal step size for the speed of convergence. In a second part, we introduce OGDA for general-sum bilinear games: we show that in an interesting class of games, either OGDA converges exponentially fast to a Nash equilibrium, or the payoffs for both players converge exponentially fast to $+\infty$ (which might be interpreted as endogenous emergence of coordination, or cooperation, among players). We also give sufficient conditions for convergence of OGDA to a Nash equilibrium. These conditions are used to increase the speed of convergence of a min-max problem involving a matrix $A$, by introducing a general-sum game using the Moore-Penrose inverse matrix of $A$. This shows for the first time, at our knowledge, that general-sum games can be used to optimally improve algorithms designed for min-max problems. We finally illustrate our results on simple examples of Generative Adversarial Networks.
△ Less
Submitted 23 November, 2022; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Value-Based Distance Between Information Structures
Authors:
Fabien Gensbittel,
Marcin Peski,
Jérôme Renault
Abstract:
We define the distance between two information structures as the largest possible difference in value across all zero-sum games. We provide a tractable characterization of distance and use it to discuss the relation between the value of information in games versus single-agent problems, the value of additional information, informational substitutes, complements, or joint information. The convergen…
▽ More
We define the distance between two information structures as the largest possible difference in value across all zero-sum games. We provide a tractable characterization of distance and use it to discuss the relation between the value of information in games versus single-agent problems, the value of additional information, informational substitutes, complements, or joint information. The convergence to a countable information structure under value-based distance is equivalent to the weak convergence of belief hierarchies, implying, among other things, that for zero-sum games, approximate knowledge is equivalent to common knowledge. At the same time, the space of information structures under the value-based distance is large: there exists a sequence of information structures where players acquire increasingly more information, and $ε$ > 0 such that any two elements of the sequence have distance of at least $ε$. This result answers by the negative the second (and last unsolved) of the three problems posed by J.F. Mertens in his paper Repeated Games , ICM 1986.
△ Less
Submitted 17 September, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Competition and Recall in Selection Problems
Authors:
Fabien Gensbittel,
Dana Pizarro,
Jérôme Renault
Abstract:
We consider the problem in which n items arrive to a market sequentially over time, where two agents compete to choose the best possible item. When an agent selects an item, he leaves the market and obtains a payoff given by the value of the item, which is represented by a random variable following a known distribution with support contained in [0, 1]. We consider two different settings for this p…
▽ More
We consider the problem in which n items arrive to a market sequentially over time, where two agents compete to choose the best possible item. When an agent selects an item, he leaves the market and obtains a payoff given by the value of the item, which is represented by a random variable following a known distribution with support contained in [0, 1]. We consider two different settings for this problem. In the first one, namely competitive selection problem with no recall, agents observe the value of each item upon its arrival and decide whether to accept or reject it, in which case they will not select it in future. In the second setting, called competitive selection problem with recall, agents are allowed to select any of the available items arrived so far. For each of these problems, we describe the game induced by the selection problem as a sequential game with imperfect information and study the set of subgame-perfect Nash equilibrium payoffs. We also study the efficiency of the game equilibria. More specifically, we address the question of how much better is to have the power of getting any available item against the take-it-or-leave-it fashion. To this end, we define and study the price of anarchy and price of stability of a game instance as the ratio between the maximal sum of payoffs obtained by players under any feasible strategy and the sum of payoffs for the worst and best subgame-perfect Nash equilibrium, respectively. For the no recall case, we prove that if there are two agents and two items arriving sequentially over time, both the price of anarchy and price of stability are upper bounded by the constant 4/3 for any value distribution. Even more, we show that this bound is tight.
△ Less
Submitted 11 April, 2022; v1 submitted 10 August, 2021;
originally announced August 2021.
-
Pushouts of extensions of groupoids by bundles of abelian groups
Authors:
Marius Ionescu,
Alex Kumjian,
Jean N. Renault,
Aidan Sims,
Dana P. Williams
Abstract:
We analyse extensions $Σ$ of groupoids $G$ by bundles $A$ of abelian groups. We describe a pushout construction for such extensions, and use it to describe the extension group of a given groupoid $G$ by a given bundle $A$. There is a natural action of $Σ$ on the dual of $A$, yielding a corresponding transformation groupoid. The pushout of this transformation groupoid by the natural map from the fi…
▽ More
We analyse extensions $Σ$ of groupoids $G$ by bundles $A$ of abelian groups. We describe a pushout construction for such extensions, and use it to describe the extension group of a given groupoid $G$ by a given bundle $A$. There is a natural action of $Σ$ on the dual of $A$, yielding a corresponding transformation groupoid. The pushout of this transformation groupoid by the natural map from the fibre product of $A$ with its dual to the Cartesian product of the dual with the circle is a twist over the transformation groupoid resulting from the action of $G$ on the dual of $A$. We prove that the full $C^*$-algebra of this twist is isomorphic to the full $C^*$-algebra of $Σ$, and that this isomorphism descends to an isomorphism of reduced algebras. We give a number of examples and applications.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
The C*-algebra of a twisted groupoid extension
Authors:
Jean Renault
Abstract:
This article extends the main results of the publication arXiv:2001.01312 to the case of a twisted groupoid. More precisely, it gives a decomposition of the C*-algebra of a twisted locally compact groupoid with Haar system in presence of a normal subgroupoid. When the normal subgroupoid and the twist over it are abelian, one obtains another twisted groupoid C*-algebra. This is applied to C*-algebr…
▽ More
This article extends the main results of the publication arXiv:2001.01312 to the case of a twisted groupoid. More precisely, it gives a decomposition of the C*-algebra of a twisted locally compact groupoid with Haar system in presence of a normal subgroupoid. When the normal subgroupoid and the twist over it are abelian, one obtains another twisted groupoid C*-algebra. This is applied to C*-algebraic deformation quantization and to multiplier representations of locally compact abelian groups.
△ Less
Submitted 19 March, 2021; v1 submitted 5 December, 2020;
originally announced December 2020.
-
Continuity of the Haar dual measure
Authors:
Jean Renault
Abstract:
Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact abelian group bundle is also continuous.
Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact abelian group bundle is also continuous.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Strategic information transmission with sender's approval
Authors:
Françoise Forges,
Jérôme Renault
Abstract:
We consider a sender-receiver game with an outside option for the sender. After the cheap talk phase, the receiver makes a proposal to the sender, which the latter can reject. We study situations in which the sender's approval is crucial to the receiver.We show that a partitional, (perfect Bayesian Nash) equilibrium exists if the sender has only two types or if the receiver's preferences over deci…
▽ More
We consider a sender-receiver game with an outside option for the sender. After the cheap talk phase, the receiver makes a proposal to the sender, which the latter can reject. We study situations in which the sender's approval is crucial to the receiver.We show that a partitional, (perfect Bayesian Nash) equilibrium exists if the sender has only two types or if the receiver's preferences over decisions do not depend on the type of the sender as long as the latter participates. The result does not extend: we construct a counter-example (with three types for the sender and type-dependent affine utility functions) in which there is no mixed equilibrium. In the three type case, we provide a full characterization of (possibly mediated) equilibria.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
C*-Algebras of extensions of groupoids by group bundles
Authors:
Marius Ionescu,
Alex Kumjian,
Jean N. Renault,
Aidan Sims,
Dana P. Williams
Abstract:
Given a normal subgroup bundle $\mathcal A$ of the isotropy bundle of a groupoid $Σ$, we obtain a twisted action of the quotient groupoid $Σ/\mathcal A$ on the bundle of group $C^*$-algebras determined by $\mathcal A$ whose twisted crossed product recovers the groupoid $C^*$-algebra $C^*(Σ)$. Restricting to the case where $\mathcal A$ is abelian, we describe $C^*(Σ)$ as the $C^*$-algebra associate…
▽ More
Given a normal subgroup bundle $\mathcal A$ of the isotropy bundle of a groupoid $Σ$, we obtain a twisted action of the quotient groupoid $Σ/\mathcal A$ on the bundle of group $C^*$-algebras determined by $\mathcal A$ whose twisted crossed product recovers the groupoid $C^*$-algebra $C^*(Σ)$. Restricting to the case where $\mathcal A$ is abelian, we describe $C^*(Σ)$ as the $C^*$-algebra associated to a $\mathbf T$-groupoid over the tranformation groupoid obtained from the canonical action of $Σ/\mathcal A$ on the Pontryagin dual space of $\mathcal A$. We give some illustrative examples of this result.
△ Less
Submitted 20 November, 2020; v1 submitted 5 January, 2020;
originally announced January 2020.
-
Value-based distance between the information structures
Authors:
Marcin Pęski,
Fabien Gensbittel,
Jérôme Renault
Abstract:
We dene the distance between two information structures as the largest possible dierence in the value across all zero-sum games. We provide a tractable characterization of the distance, as the minimal distance between 2 polytopes. We use it to show various results about the relation between games and single-agent problems, the value of additional information, informational substitutes, complements…
▽ More
We dene the distance between two information structures as the largest possible dierence in the value across all zero-sum games. We provide a tractable characterization of the distance, as the minimal distance between 2 polytopes. We use it to show various results about the relation between games and single-agent problems, the value of additional information, informational substitutes, complements, etc. We show that approximate knowledge is similar to approximate common knowledge with respect to the value-based distance. Nevertheless, contrary to the weak topology, the value-based distance does not have a compact completion: there exists a sequence of information structures, where players acquire more and more information, and $ε$ > 0 such that any two elements of the sequence have distance at least $ε$. This result answers by the negative the second (and last unsolved) of the three problems posed by J.F. Mertens in his paper Repeated Games", ICM 1986.
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
A tutorial on Zero-sum Stochastic Games
Authors:
Jérôme Renault
Abstract:
Zero-sum stochastic games generalize the notion of Markov Decision Processes (i.e. controlled Markov chains, or stochastic dynamic programming) to the 2-player competitive case : two players jointly control the evolution of a state variable, and have opposite interests. These notes constitute a short mathematical introduction to the theory of such games. Section 1 presents the basic model with fin…
▽ More
Zero-sum stochastic games generalize the notion of Markov Decision Processes (i.e. controlled Markov chains, or stochastic dynamic programming) to the 2-player competitive case : two players jointly control the evolution of a state variable, and have opposite interests. These notes constitute a short mathematical introduction to the theory of such games. Section 1 presents the basic model with finitely many states and actions. We give proofs of the standard results concerning : the existence and formulas for the values of the n-stage games, of the $λ$-discounted games, the convergence of these values when $λ$ goes to 0 (algebraic approach) and when n goes to +$\infty$, an important example called 'The Big Match' and the existence of the uniform value. Section 2 presents a short and subjective selection of related and more recent results : 1-player games (MDP) and the compact non expansive case, a simple compact continuous stochastic game with no asymptotic value, and the general equivalence between the uniform convergence of (v n) n and (v $λ$) $λ$. More references on the topic can be found for instance in the books by Mertens-Sorin
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
The Large Space of Information Structures
Authors:
Fabien Gensbittel,
Marcin Peski,
Jérôme Renault
Abstract:
We revisit the question of modeling incomplete information among 2 Bayesian players, following an ex-ante approach based on values of zero-sum games. $K$ being the finite set of possible parameters, an information structure is defined as a probability distribution $u$ with finite support over $K\times \mathbb{N} \times \mathbb{N}$ with the interpretation that: $u$ is publicly known by the players,…
▽ More
We revisit the question of modeling incomplete information among 2 Bayesian players, following an ex-ante approach based on values of zero-sum games. $K$ being the finite set of possible parameters, an information structure is defined as a probability distribution $u$ with finite support over $K\times \mathbb{N} \times \mathbb{N}$ with the interpretation that: $u$ is publicly known by the players, $(k,c,d)$ is selected according to $u$, then $c$ (resp. $d$) is announced to player 1 (resp. player 2). Given a payoff structure $g$, composed of matrix games indexed by the state, the value of the incomplete information game defined by $u$ and $g$ is denoted $\mathrm{val}(u,g)$. We evaluate the pseudo-distance $d(u,v)$ between 2 information structures $u$ and $v$ by the supremum of $|\mathrm{val}(u,g)-\mathrm{val}(v,g)|$ for all $g$ with payoffs in $[-1,1]$, and study the metric space $Z^*$ of equivalent information structures.
We first provide a tractable characterization of $d(u,v)$, as the minimal distance between 2 polytopes, and recover the characterization of Peski (2008) for $u \succeq v$, generalizing to 2 players Blackwell's comparison of experiments via garblings. We then show that $Z^*$, endowed with a weak distance $d_W$, is homeomorphic to the set of consistent probabilities with finite support over the universal belief space of Mertens and Zamir. Finally we show the existence of a sequence of information structures, where players acquire more and more information, and of $\varepsilon>0$ such that any two elements of the sequence have distance at least $\varepsilon$: having more and more information may lead now here. As a consequence, the completion of $(Z^*,d)$ is not compact, hence not homeomorphic to the set of consistent probabilities over the states of the world {\it à la} Mertens and Zamir. This example answers by the negative the second (and last unsolved) of the three problems posed by J.F. Mertens in his paper ``Repeated Games", ICM 1986.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Random walks on Bratteli diagrams
Authors:
Jean Renault
Abstract:
In the eighties, A. Connes and E. J. Woods made a connection between hyperfinite von Neumann algebras and Poisson boundaries of time dependent random walks. The present paper explains this connection and gives a detailed proof of two theorems quoted there: the construction of a large class of states on a hyperfinite von Neumann algebra (due to A. Connes) and the ergodic decomposition of a Markov m…
▽ More
In the eighties, A. Connes and E. J. Woods made a connection between hyperfinite von Neumann algebras and Poisson boundaries of time dependent random walks. The present paper explains this connection and gives a detailed proof of two theorems quoted there: the construction of a large class of states on a hyperfinite von Neumann algebra (due to A. Connes) and the ergodic decomposition of a Markov measure via harmonic functions (a classical result in probability theory). The crux of the first theorem is a model for conditional expectations on finite dimensional C*-algebras. The proof of the second theorem hinges on the notion of cotransition probability.
△ Less
Submitted 23 April, 2017;
originally announced April 2017.
-
Cartan subalgebras in C*-algebras. Existence and uniqueness
Authors:
Xin Li,
Jean Renault
Abstract:
We initiate the study of Cartan subalgebras in C*-algebras, with a particular focus on existence and uniqueness questions. For homogeneous C*-algebras, these questions can be analysed systematically using the theory of fibre bundles. For group C*-algebras, while we are able to find Cartan subalgebras in C*-algebras of many connected Lie groups, there are classes of (discrete) groups, for instance…
▽ More
We initiate the study of Cartan subalgebras in C*-algebras, with a particular focus on existence and uniqueness questions. For homogeneous C*-algebras, these questions can be analysed systematically using the theory of fibre bundles. For group C*-algebras, while we are able to find Cartan subalgebras in C*-algebras of many connected Lie groups, there are classes of (discrete) groups, for instance non-abelian free groups, whose reduced group C*-algebras do not have any Cartan subalgebras. Moreover, we show that uniqueness of Cartan subalgebras usually fails for classifiable C*-algebras. However, distinguished Cartan subalgebras exist in some cases, for instance in nuclear Roe algebras.
△ Less
Submitted 30 March, 2017;
originally announced March 2017.
-
Acyclic Gambling Games
Authors:
Rida Laraki,
Jérôme Renault
Abstract:
We consider 2-player zero-sum stochastic games where each player controls his own state variable living in a compact metric space. The terminology comes from gambling problems where the state of a player represents its wealth in a casino. Under natural assumptions (such as continuous running payoff and non expansive transitions), we consider for each discount factor the value v $λ$ of the $λ$-disc…
▽ More
We consider 2-player zero-sum stochastic games where each player controls his own state variable living in a compact metric space. The terminology comes from gambling problems where the state of a player represents its wealth in a casino. Under natural assumptions (such as continuous running payoff and non expansive transitions), we consider for each discount factor the value v $λ$ of the $λ$-discounted stochastic game and investigate its limit when $λ$ goes to 0. We show that under a strong acyclicity condition, the limit exists and is characterized as the unique solution of a system of functional equations: the limit is the unique continuous excessive and depressive function such that each player, if his opponent does not move, can reach the zone when the current payoff is at least as good than the limit value, without degrading the limit value. The approach generalizes and provides a new viewpoint on the Mertens-Zamir system coming from the study of zero-sum repeated games with lack of information on both sides. A counterexample shows that under a slightly weaker notion of acyclicity, convergence of (v $λ$) may fail.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
Radiolysis of water confined in porous silica: A simulation study of the physicochemical yields
Authors:
H. Ouerdane,
B. Gervais,
H. Zhou,
M. Beuve,
J. -Ph. Renault
Abstract:
We investigate the radiolysis of liquid water confined in a porous silica matrix by means of an event-by-event Monte Carlo simulation of electron penetration in this composite system. We focus on the physical and physicochemical effects that take place in the picosecond range, before the radicals start to diffuse and react. We determine the radiolytic yields of the primary species for a system mad…
▽ More
We investigate the radiolysis of liquid water confined in a porous silica matrix by means of an event-by-event Monte Carlo simulation of electron penetration in this composite system. We focus on the physical and physicochemical effects that take place in the picosecond range, before the radicals start to diffuse and react. We determine the radiolytic yields of the primary species for a system made of cylindrical pores filled with water over a wide range of pore radii $R_{\rm C}$. We show that the relative position of the conduction band edge $V_0$ in both materials plays a major role in the radiolysis of composite systems. Due to its lower $V_0$ as compared to that of silica, water acts as a collector of low-energy electrons, which leads to a huge enhancement of the solvated electron yields for $R_{\rm C} \leq$ 100 nm. The confinement has also a marked effect on the spatial distribution of the radicals, which become isolated in a very large number of pores as $R_{\rm C}$ decreases.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
Limit value for optimal control with general means
Authors:
Xiaoxi Li,
Marc Quincampoix,
Jérôme Renault
Abstract:
We consider optimal control problem with an integral cost which is a mean of a given function. As a particular case, the cost concerned is the Cesàro average. The limit of the value with Cesàro mean when the horizon tends to infinity is widely studied in the literature. We address the more general question of the existence of a limit when the averaging parameter converges, for values defined with…
▽ More
We consider optimal control problem with an integral cost which is a mean of a given function. As a particular case, the cost concerned is the Cesàro average. The limit of the value with Cesàro mean when the horizon tends to infinity is widely studied in the literature. We address the more general question of the existence of a limit when the averaging parameter converges, for values defined with means of general types.
We consider a given function and a family of costs defined as the mean of the function with respect to a family of probability measures -- the evaluations -- on R_+. We provide conditions on the evaluations in order to obtain the uniform convergence of the associated value function (when the parameter of the family converges).
Our main result gives a necessary and sufficient condition in term of the total variation of the family of probability measures on R_+. As a byproduct, we obtain the existence of a limit value (for general means) for control systems having a compact invariant set and satisfying suitable nonexpansive property.
△ Less
Submitted 17 March, 2015;
originally announced March 2015.
-
Amenability of Groupoids Arising from Partial Semigroup Actions and Topological Higher Rank Graphs
Authors:
Jean N. Renault,
Dana P. Williams
Abstract:
We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if there is countable set $D\subset G$ such that $c(G^{u})D=Q$ for all $u\in G^{(0)}$. We show that our result is applicable to groupoids arising from partial semigrou…
▽ More
We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if there is countable set $D\subset G$ such that $c(G^{u})D=Q$ for all $u\in G^{(0)}$. We show that our result is applicable to groupoids arising from partial semigroup actions. We explore these actions in detail and show that these groupoids include those arising from directed graphs, higher rank graphs and even topological higher rank graphs. We believe our methods yield a nice alternative groupoid approach to these important constructions.
△ Less
Submitted 17 March, 2015; v1 submitted 13 January, 2015;
originally announced January 2015.
-
Optimal Dynamic Information Provision
Authors:
Jerome Renault,
Eilon Solan,
Nicolas Vieille
Abstract:
We study a dynamic model of information provision. A state of nature evolves according to a Markov chain. An informed advisor decides how much information to provide to an uninformed decision maker, so as to influence his short-term decisions. We deal with a stylized class of situations, in which the decision maker has a risky action and a safe action, and the payoff to the advisor only depends on…
▽ More
We study a dynamic model of information provision. A state of nature evolves according to a Markov chain. An informed advisor decides how much information to provide to an uninformed decision maker, so as to influence his short-term decisions. We deal with a stylized class of situations, in which the decision maker has a risky action and a safe action, and the payoff to the advisor only depends on the action chosen by the decision maker. The greedy disclosure policy is the policy which, at each round, minimizes the amount of information being disclosed in that round, under the constraint that it maximizes the current payoff of the advisor. We prove that the greedy policy is optimal in many cases -- but not always.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
Hidden Stochastic Games and Limit Equilibrium Payoffs
Authors:
Jérôme Renault,
Bruno Ziliotto
Abstract:
We consider 2-player stochastic games with perfectly observed actions, and study the limit, as the discount factor goes to one, of the equilibrium payoffs set. In the usual setup where current states are observed by the players, we show that the set of stationary equilibrium payoffs always converges, and provide a simple example where the set of equilibrium payoffs has no limit. We then introduce…
▽ More
We consider 2-player stochastic games with perfectly observed actions, and study the limit, as the discount factor goes to one, of the equilibrium payoffs set. In the usual setup where current states are observed by the players, we show that the set of stationary equilibrium payoffs always converges, and provide a simple example where the set of equilibrium payoffs has no limit. We then introduce the more general model of hidden stochastic game, where the players publicly receive imperfect signals over current states. In this setup we present an example where not only the limit set of equilibrium payoffs does not exist, but there is no converging selection of equilibrium payoffs. This second example is robust in many aspects, in particular to perturbations of the payoffs and to the introduction of correlation or communication devices.
△ Less
Submitted 10 December, 2014; v1 submitted 11 July, 2014;
originally announced July 2014.
-
On values of repeated games with signals
Authors:
Hugo Gimbert,
Jérôme Renault,
Sylvain Sorin,
Xavier Venel,
Wiesław Zielonka
Abstract:
We study the existence of different notions of value in two-person zero-sum repeated games where the state evolves and players receive signals. We provide some examples showing that the limsup value (and the uniform value) may not exist in general. Then we show the existence of the value for any Borel payoff function if the players observe a public signal including the actions played. We also prov…
▽ More
We study the existence of different notions of value in two-person zero-sum repeated games where the state evolves and players receive signals. We provide some examples showing that the limsup value (and the uniform value) may not exist in general. Then we show the existence of the value for any Borel payoff function if the players observe a public signal including the actions played. We also prove two other positive results without assumptions on the signaling structure: the existence of the $\sup$ value in any game and the existence of the uniform value in recursive games with nonnegative payoffs.
△ Less
Submitted 7 January, 2016; v1 submitted 17 June, 2014;
originally announced June 2014.
-
Hypergroupoids and C*-algebras
Authors:
Rohit Dilip Holkar,
Jean Renault
Abstract:
Let $G$ be a locally compact groupoid. If $X$ is a free and proper $G$-space, then $(X*X)/G$ is a groupoid equivalent to $G$. We consider the situation where $X$ is proper but no longer free. The formalism of groupoid C*-algebras and their representations is suitable to attach C*-algebras to this new object.
Let $G$ be a locally compact groupoid. If $X$ is a free and proper $G$-space, then $(X*X)/G$ is a groupoid equivalent to $G$. We consider the situation where $X$ is proper but no longer free. The formalism of groupoid C*-algebras and their representations is suitable to attach C*-algebras to this new object.
△ Less
Submitted 13 March, 2014;
originally announced March 2014.
-
Groupoids associated to semigroup actions
Authors:
Jean Renault,
S. Sundar
Abstract:
In this paper, we consider topological semigroup actions on compact topological spaces. Under mild assumptions on the semigroup and the action, we construct a semi-direct product groupoid with a Haar system. We also show that it is equivalent to a transformation groupoid. We apply this construction to the Wiener-Hopf $C^{*}$-algebras.
In this paper, we consider topological semigroup actions on compact topological spaces. Under mild assumptions on the semigroup and the action, we construct a semi-direct product groupoid with a Haar system. We also show that it is equivalent to a transformation groupoid. We apply this construction to the Wiener-Hopf $C^{*}$-algebras.
△ Less
Submitted 19 June, 2014; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Induced Representations and Hypergroupoids
Authors:
Jean Renault
Abstract:
We review various notions of correspondences for locally compact groupoids with Haar systems, in particular a recent definition due to R.D. Holkar. We give the construction of the representations induced by such a correspondence. Finally, we extend the construction of induced representations to hypergroupoids.
We review various notions of correspondences for locally compact groupoids with Haar systems, in particular a recent definition due to R.D. Holkar. We give the construction of the representations induced by such a correspondence. Finally, we extend the construction of induced representations to hypergroupoids.
△ Less
Submitted 3 June, 2014; v1 submitted 1 February, 2014;
originally announced February 2014.
-
Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets
Authors:
Sylvain Gravier,
Frédéric Maffray,
Jérôme Renault,
Nicolas Trotignon
Abstract:
We say that a 0-1 matrix $N$ of size $a\times b$ can be found in a collection of sets $\mathcal{H}$ if we can find sets $H_{1}, H_{2}, \dots, H_{a}$ in $\mathcal{H}$ and elements $e_1, e_2, \dots, e_b$ in $\cup_{H \in \mathcal{H}} H$ such that $N$ is the incidence matrix of the sets $H_{1}, H_{2}, \dots, H_{a}$ over the elements $e_1, e_2, \dots, e_b$. We prove the following Ramsey-type result: fo…
▽ More
We say that a 0-1 matrix $N$ of size $a\times b$ can be found in a collection of sets $\mathcal{H}$ if we can find sets $H_{1}, H_{2}, \dots, H_{a}$ in $\mathcal{H}$ and elements $e_1, e_2, \dots, e_b$ in $\cup_{H \in \mathcal{H}} H$ such that $N$ is the incidence matrix of the sets $H_{1}, H_{2}, \dots, H_{a}$ over the elements $e_1, e_2, \dots, e_b$. We prove the following Ramsey-type result: for every $n\in \N$, there exists a number S(n) such that in any collection of at least S(n) sets, one can find either the incidence matrix of a collection of $n$ singletons, or its complementary matrix, or the incidence matrix of a collection of $n$ sets completely ordered by inclusion. We give several results of the same extremal set theoretical flavour. For some of these, we give the exact value of the number of sets required.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
Topological amenability is a Borel property
Authors:
Jean Renault
Abstract:
We establish that a second countable locally compact groupoid possessing a continuous Haar system is topologically amenable if and only if it is Borel amenable. We give some examples and applications.
We establish that a second countable locally compact groupoid possessing a continuous Haar system is topologically amenable if and only if it is Borel amenable. We give some examples and applications.
△ Less
Submitted 5 April, 2013; v1 submitted 4 February, 2013;
originally announced February 2013.
-
General limit value in Dynamic Programming
Authors:
Jérôme Renault
Abstract:
We consider a dynamic programming problem with arbitrary state space and bounded rewards. Is it possible to define in an unique way a limit value for the problem, where the "patience" of the decision-maker tends to infinity ? We consider, for each evaluation $θ$ (a probability distribution over positive integers) the value function $v_θ$ of the problem where the weight of any stage $t$ is given by…
▽ More
We consider a dynamic programming problem with arbitrary state space and bounded rewards. Is it possible to define in an unique way a limit value for the problem, where the "patience" of the decision-maker tends to infinity ? We consider, for each evaluation $θ$ (a probability distribution over positive integers) the value function $v_θ$ of the problem where the weight of any stage $t$ is given by $θ_t$, and we investigate the uniform convergence of a sequence $(v_{θ^k})_k$ when the "impatience" of the evaluations vanishes, in the sense that $\sum_{t} |θ^k_{t}-θ^k_{t+1}| \rightarrow_{k \to \infty} 0$. We prove that this uniform convergence happens if and only if the metric space ${v_{θ^k}, k\geq 1}$ is totally bounded. Moreover there exists a particular function $v^*$, independent of the particular chosen sequence $({θ^k})_k$, such that any limit point of such sequence of value functions is precisely $v^*$. Consequently, while speaking of uniform convergence of the value functions, $v^*$ may be considered as the unique possible limit when the patience of the decision-maker tends to infinity. The result applies in particular to discounted payoffs when the discount factor vanishes, as well as to average payoffs where the number of stages goes to infinity, and also to models with stochastic transitions. We present tractable corollaries, and we discuss counterexamples and a conjecture.
△ Less
Submitted 3 January, 2013;
originally announced January 2013.
-
The value of Markov Chain Games with incomplete information on both sides
Authors:
Fabien Gensbittel,
Jérôme Renault
Abstract:
We consider zero-sum repeated games with incomplete information on both sides, where the states privately observed by each player follow independent Markov chains. It generalizes the model, introduced by Aumann and Maschler in the sixties and solved by Mertens and Zamir in the seventies, where the private states of the players were fixed. It also includes the model introduced in Renault \cite{R200…
▽ More
We consider zero-sum repeated games with incomplete information on both sides, where the states privately observed by each player follow independent Markov chains. It generalizes the model, introduced by Aumann and Maschler in the sixties and solved by Mertens and Zamir in the seventies, where the private states of the players were fixed. It also includes the model introduced in Renault \cite{R2006}, of Markov chain repeated games with lack of information on one side, where only one player privately observes the sequence of states. We prove here that the limit value exists, and we obtain a characterization via the Mertens-Zamir system, where the "non revealing value function" plugged in the system is now defined as the limit value of an auxiliary "non revealing" dynamic game. This non revealing game is defined by restricting the players not to reveal any information on the {\it limit behavior} of their own Markov chain, as in Renault 2006. There are two key technical difficulties in the proof: 1) proving regularity, in the sense of equicontinuity, of the $T$-stage non revealing value functions, and 2) constructing strategies by blocks in order to link the values of the non revealing games with the original values.
△ Less
Submitted 22 January, 2014; v1 submitted 26 October, 2012;
originally announced October 2012.
-
Dynamic Sender-Receiver Games
Authors:
Jerome Renault,
Eilon Solan,
Nicolas Vieille
Abstract:
We consider a dynamic version of sender-receiver games, where the sequence of states follows an irreducible Markov chain observed by the sender. Under mild assumptions, we provide a simple characterization of the limit set of equilibrium payoffs, as players become very patient. Under these assumptions, the limit set depends on the Markov chain only through its invariant measure. The (limit) equili…
▽ More
We consider a dynamic version of sender-receiver games, where the sequence of states follows an irreducible Markov chain observed by the sender. Under mild assumptions, we provide a simple characterization of the limit set of equilibrium payoffs, as players become very patient. Under these assumptions, the limit set depends on the Markov chain only through its invariant measure. The (limit) equilibrium payoffs are the feasible payoffs that satisfy an individual rationality condition for the receiver, and an incentive compatibility condition for the sender.
△ Less
Submitted 2 April, 2012;
originally announced April 2012.
-
A distance for probability spaces, and long-term values in Markov Decision Processes and Repeated Games
Authors:
Jérôme Renault,
Xavier Venel
Abstract:
Given a finite set $K$, we denote by $X=Δ(K)$ the set of probabilities on $K$ and by $Z=Δ_f(X)$ the set of Borel probabilities on $X$ with finite support. Studying a Markov Decision Process with partial information on $K$ naturally leads to a Markov Decision Process with full information on $X$. We introduce a new metric $d_*$ on $Z$ such that the transitions become 1-Lipschitz from…
▽ More
Given a finite set $K$, we denote by $X=Δ(K)$ the set of probabilities on $K$ and by $Z=Δ_f(X)$ the set of Borel probabilities on $X$ with finite support. Studying a Markov Decision Process with partial information on $K$ naturally leads to a Markov Decision Process with full information on $X$. We introduce a new metric $d_*$ on $Z$ such that the transitions become 1-Lipschitz from $(X, \|.\|_1)$ to $(Z,d_*)$. In the first part of the article, we define and prove several properties of the metric $d_*$. Especially, $d_*$ satisfies a Kantorovich-Rubinstein type duality formula and can be characterized by using disintegrations. In the second part, we characterize the limit values in several classes of "compact non expansive" Markov Decision Processes. In particular we use the metric $d_*$ to characterize the limit value in Partial Observation MDP with finitely many states and in Repeated Games with an informed controller with finite sets of states and actions. Moreover in each case we can prove the existence of a generalized notion of uniform value where we consider not only the Cesàro mean when the number of stages is large enough but any evaluation function $θ\in Δ(\N^*)$ when the impatience $I(θ)=\sum_{t\geq 1} |θ_{t+1}-θ_t|$ is small enough.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
Groupoid cocycles and derivations
Authors:
Jean Renault
Abstract:
This is a study of derivations constructed from conditionally negative type functions on groupoids which illustrates Sauvageot's theory of non-commutative Dirichlet forms.
This is a study of derivations constructed from conditionally negative type functions on groupoids which illustrates Sauvageot's theory of non-commutative Dirichlet forms.
△ Less
Submitted 22 January, 2012;
originally announced January 2012.
-
Continuous bounded cocycles
Authors:
Jean Renault
Abstract:
Let $G$ be a minimal locally compact groupoid with compact metrizable unit space and let $E$ be a continuous $G$-Hilbert bundle. We show that a bounded continuous cocycle $c: G\ra r^*E$ is necessarily a continuous coboundary. This is a groupoid version of a classical theorem of Gottschalk and Hedlund.
Let $G$ be a minimal locally compact groupoid with compact metrizable unit space and let $E$ be a continuous $G$-Hilbert bundle. We show that a bounded continuous cocycle $c: G\ra r^*E$ is necessarily a continuous coboundary. This is a groupoid version of a classical theorem of Gottschalk and Hedlund.
△ Less
Submitted 20 September, 2011;
originally announced September 2011.
-
Uniqueness theorems for topological higher-rank graph C*-algebras
Authors:
Jean N. Renault,
Aidan Sims,
Dana P. Williams,
Trent Yeend
Abstract:
We consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topologi…
▽ More
We consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topological higher-rank graph C*-algebra, and a condition under which it is also purely infinite.
△ Less
Submitted 9 September, 2012; v1 submitted 4 June, 2009;
originally announced June 2009.
-
On the existence of a limit value in some non expansive optimal control problems
Authors:
Marc Quincampoix,
Jérôme Renault
Abstract:
We investigate a limit value of an optimal control problem when the horizon converges to infinity. For this aim, we suppose suitable nonexpansive-like assumptions which does not imply that the limit is independent of the initial state as it is usually done in the literature.
We investigate a limit value of an optimal control problem when the horizon converges to infinity. For this aim, we suppose suitable nonexpansive-like assumptions which does not imply that the limit is independent of the initial state as it is usually done in the literature.
△ Less
Submitted 21 October, 2009; v1 submitted 23 April, 2009;
originally announced April 2009.
-
Examples of masas in C*-algebras
Authors:
Jean Renault
Abstract:
This paper illustrates the notion of a Cartan subalgebra in a C*-algebra through a number of examples and counterexamples. Some of these examples have a geometrical flavour and are related to orbifolds and non-Hausdorff manifolds.
This paper illustrates the notion of a Cartan subalgebra in a C*-algebra through a number of examples and counterexamples. Some of these examples have a geometrical flavour and are related to orbifolds and non-Hausdorff manifolds.
△ Less
Submitted 23 March, 2009;
originally announced March 2009.
-
The value of Repeated Games with an informed controller
Authors:
Jérôme Renault
Abstract:
We consider the general model of zero-sum repeated games (or stochastic games with signals), and assume that one of the players is fully informed and controls the transitions of the state variable. We prove the existence of the uniform value, generalizing several results of the literature. A preliminary existence result is obtained for a certain class of stochastic games played with pure strateg…
▽ More
We consider the general model of zero-sum repeated games (or stochastic games with signals), and assume that one of the players is fully informed and controls the transitions of the state variable. We prove the existence of the uniform value, generalizing several results of the literature. A preliminary existence result is obtained for a certain class of stochastic games played with pure strategies.
△ Less
Submitted 20 April, 2009; v1 submitted 23 March, 2008;
originally announced March 2008.
-
Uniform value in Dynamic Programming
Authors:
Jérôme Renault
Abstract:
We consider dynamic programming problems with a large time horizon, and give sufficient conditions for the existence of the uniform value. As a consequence, we obtain an existence result when the state space is precompact, payoffs are uniformly continuous and the transition correspondence is non expansive. In the same spirit, we give an existence result for the limit value. We also apply our res…
▽ More
We consider dynamic programming problems with a large time horizon, and give sufficient conditions for the existence of the uniform value. As a consequence, we obtain an existence result when the state space is precompact, payoffs are uniformly continuous and the transition correspondence is non expansive. In the same spirit, we give an existence result for the limit value. We also apply our results to Markov decision processes and obtain a few generalizations of existing results.
△ Less
Submitted 20 April, 2009; v1 submitted 19 March, 2008;
originally announced March 2008.
-
Cartan subalgebras in C*-algebras
Authors:
Jean Renault
Abstract:
According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and Cartan pairs, i.e. a von Neumann algebra (on a separable Hilbert space) together with a Cartan subalgebra. A. Kumjian gave a C*-algebraic analogue of this theorem…
▽ More
According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and Cartan pairs, i.e. a von Neumann algebra (on a separable Hilbert space) together with a Cartan subalgebra. A. Kumjian gave a C*-algebraic analogue of this theorem in the early eighties. After a short survey of maximal abelian self-adjoint subalgebras in operator algebras, I present a natural definition of a Cartan subalgebra in a C*-algebra and an extension of Kumjian's theorem which covers graph algebras and some foliation algebras.
△ Less
Submitted 15 March, 2008;
originally announced March 2008.
-
A Hausdorff-Young inequality for measured groupoids
Authors:
Patricia Boivin,
Jean Renault
Abstract:
The classical Hausdorff-Young inequality for locally compact abelian groups states that, for $1\le p\le 2$, the $L^p$-norm of a function dominates the $L^q$-norm of its Fourier transform, where $1/p+1/q=1$. By using the theory of non-commutative $L^p$-spaces and by reinterpreting the Fourier transform, R. Kunze (1958) [resp. M. Terp (1980)] extended this inequality to unimodular [resp. non-unimo…
▽ More
The classical Hausdorff-Young inequality for locally compact abelian groups states that, for $1\le p\le 2$, the $L^p$-norm of a function dominates the $L^q$-norm of its Fourier transform, where $1/p+1/q=1$. By using the theory of non-commutative $L^p$-spaces and by reinterpreting the Fourier transform, R. Kunze (1958) [resp. M. Terp (1980)] extended this inequality to unimodular [resp. non-unimodular] groups. The analysis of the $L^p$-spaces of the von Neumann algebra of a measured groupoid provides a further extension of the Hausdorff-Young inequality to measured groupoids.
△ Less
Submitted 15 March, 2008;
originally announced March 2008.
-
Semigroups of local homeomorphisms and interaction groups
Authors:
Ruy Exel,
Jean Renault
Abstract:
Given a semigroup of local homeomorphisms on a compact space X we consider the corresponding semigroup of *-endomorphisms on C(X) and discuss the possibility of extending it to an interaction group, a concept recently introduced by the first named author. Under suitable hypotheses we may also define a transformation groupoid whose C*-algebra turns out to be isomorphic to the crossed product alge…
▽ More
Given a semigroup of local homeomorphisms on a compact space X we consider the corresponding semigroup of *-endomorphisms on C(X) and discuss the possibility of extending it to an interaction group, a concept recently introduced by the first named author. Under suitable hypotheses we may also define a transformation groupoid whose C*-algebra turns out to be isomorphic to the crossed product algebra for the interaction group. Several examples are considered, including one which gives rise to a slightly different construction and should be interpreted as being the C*-algebra of a certain polymorphism.
△ Less
Submitted 10 October, 2006; v1 submitted 23 August, 2006;
originally announced August 2006.
-
AF-algebras and the tail-equivalence relation on Bratteli diagrams
Authors:
R. Exel,
J. Renault
Abstract:
Given a Bratteli diagram D we consider the compact topological space formed by all infinite paths on D. Two such path are said to be tail-equivalent when they "have the same tail", i.e. when they eventually coincide. This equivalence relation is approximately proper and hence one may consider the C*-algebra associated to it according to a procedure recently introduced by the first named author a…
▽ More
Given a Bratteli diagram D we consider the compact topological space formed by all infinite paths on D. Two such path are said to be tail-equivalent when they "have the same tail", i.e. when they eventually coincide. This equivalence relation is approximately proper and hence one may consider the C*-algebra associated to it according to a procedure recently introduced by the first named author and A. Lopes. The main result of this work is the proof that this algebra is isomorphic to the AF-algebra associated to the given Bratteli diagram.
△ Less
Submitted 16 July, 2003;
originally announced July 2003.
-
KMS states on C*-algebras associated to expansive maps
Authors:
Alex Kumjian,
Jean Renault
Abstract:
Using Walters' version of the Ruelle-Perron-Frobenius Theorem we show the existence and uniqueness of KMS states for a certain one-parameter group of automorphisms on a C*-algebra associated to a positively expansive map on a compact metric space.
Using Walters' version of the Ruelle-Perron-Frobenius Theorem we show the existence and uniqueness of KMS states for a certain one-parameter group of automorphisms on a C*-algebra associated to a positively expansive map on a compact metric space.
△ Less
Submitted 27 October, 2003; v1 submitted 1 May, 2003;
originally announced May 2003.
-
The Radon-Nikodym problem for approximately proper equivalence relations
Authors:
Jean Renault
Abstract:
We study the Radon-Nikodym problem for approximately proper equivalence relations and more specifically the uniqueness of certain Gibbs states. One of our tools is a variant of the dimension group introduced in the study of AF algebras. As applications, we retrieve sufficient conditions for the uniqueness of traces on AF algebras and parts of the Perron-Frobenius-Ruelle theorem.
We study the Radon-Nikodym problem for approximately proper equivalence relations and more specifically the uniqueness of certain Gibbs states. One of our tools is a variant of the dimension group introduced in the study of AF algebras. As applications, we retrieve sufficient conditions for the uniqueness of traces on AF algebras and parts of the Perron-Frobenius-Ruelle theorem.
△ Less
Submitted 23 November, 2002;
originally announced November 2002.
-
AF-equivalence relations and their cocycles
Authors:
Jean Renault
Abstract:
After a review of some of the main results about hyperfinite equivalence relations and their cocycles in the measured setting, we give a definition of a topological AF-equivalence relation. We show that every cocycle is cohomologous to a quasi-product cocycle. We then study the problem of determining the quasi-invariant probability measures admitting a given cocycle as their Radon-Nikodym deriva…
▽ More
After a review of some of the main results about hyperfinite equivalence relations and their cocycles in the measured setting, we give a definition of a topological AF-equivalence relation. We show that every cocycle is cohomologous to a quasi-product cocycle. We then study the problem of determining the quasi-invariant probability measures admitting a given cocycle as their Radon-Nikodym derivative.
△ Less
Submitted 15 November, 2001;
originally announced November 2001.
-
Cuntz-like algebras
Authors:
Jean Renault
Abstract:
The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an…
▽ More
The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an infinite matrix) which have been introduced recently can also be described as C$^*$-algebras of Markov chains with countably many states. This is useful to obtain such properties of these algebras as nuclearity, simplicity or pure infiniteness. One also gives examples of strong Morita equivalences arising from dynamical systems equivalences.
△ Less
Submitted 29 May, 1999;
originally announced May 1999.
-
The Brauer Group of a Locally Compact Groupoid
Authors:
Alex Kumjian,
Paul S. Muhly,
Jean N. Renault,
Dana P. Williams
Abstract:
We define the Brauer group $\Br(G)$ of a locally compact groupoid $G$ to be the set of Morita equivalence classes of pairs $(\A,α)$ consisting of an elementary C*-bundle $\A$ over $G^{(0)}$ satisfying Fell's condition and an action $α$ of $G$ on $\A$ by $*$-isomorphisms. When $G$ is the transformation groupoid $X\times H$, then $\Br(G)$ is the equivariant Brauer group $\Br_H(X)$.
In addition t…
▽ More
We define the Brauer group $\Br(G)$ of a locally compact groupoid $G$ to be the set of Morita equivalence classes of pairs $(\A,α)$ consisting of an elementary C*-bundle $\A$ over $G^{(0)}$ satisfying Fell's condition and an action $α$ of $G$ on $\A$ by $*$-isomorphisms. When $G$ is the transformation groupoid $X\times H$, then $\Br(G)$ is the equivariant Brauer group $\Br_H(X)$.
In addition to proving that $\Br(G)$ is a group, we prove three isomorphism results. First we show that if $G$ and $H$ are equivalent groupoids, then $\Br(G)$ and $\Br(H)$ are isomorphic. This generalizes the result that if $G$ and $H$ are groups acting freely and properly on a space $X$, say $G$ on the left and $H$ on the right then $\Br_G(X/H)$ and $\Br_H(G/ X)$ are isomorphic. Secondly we show that the subgroup $\Br_0(G)$ of $\Br(G)$ consisting of classes $[\A,α]$ with $\A$ having trivial Dixmier-Douady invariant is isomorphic to a quotient $\E(G)$ of the collection $\Tw(G)$ of twists over $G$. Finally we prove that $\Br(G)$ is isomorphic to the inductive limit $\Ext(G,T)$ of the groups $\E(G^X)$ where $X$ varies over all principal $G$ spaces $X$ and $G^X$ is the imprimitivity groupoid associated to $X$.
△ Less
Submitted 17 June, 1997;
originally announced June 1997.
