Showing 1–15 of 15 results for author: Amrutam, T

Invariant subalgebras of the reduced group $C^*$-algebra

Authors: Tattwamasi Amrutam, Yongle Jiang

Abstract: Let $Γ$ be a countable discrete group. We say that $Γ$ has $C^*$-invariant subalgebra rigidity (ISR) property if every $Γ$-invariant $C^*$-subalgebra $\mathcal{A}\le C_r^*(Γ)$ is of the form $C_r^*(N)$ for some normal subgroup $N\triangleleftΓ$. We show that all torsion-free, non-amenable (cylindrically) hyperbolic groups with property-AP and a finite direct product of such groups have this proper… ▽ More Let $Γ$ be a countable discrete group. We say that $Γ$ has $C^*$-invariant subalgebra rigidity (ISR) property if every $Γ$-invariant $C^*$-subalgebra $\mathcal{A}\le C_r^*(Γ)$ is of the form $C_r^*(N)$ for some normal subgroup $N\triangleleftΓ$. We show that all torsion-free, non-amenable (cylindrically) hyperbolic groups with property-AP and a finite direct product of such groups have this property. We also prove that an infinite group $Γ$ has the C$^*$-ISR property only if $Γ$ is simple amenable or $C^*$-simple. △ Less

Submitted 18 March, 2025; v1 submitted 12 March, 2025; originally announced March 2025.

Comments: 24 Pages; the assumption of property-AP from the main theorem is removed. We also corrected a few typos

Strict comparison in reduced group $C^*$-algebras

Authors: Tattwamasi Amrutam, David Gao, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell

Abstract: We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several… ▽ More We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program. △ Less

Submitted 17 April, 2025; v1 submitted 8 December, 2024; originally announced December 2024.

Comments: In memory of Dr S Balachander. 14 pages. Comments welcome. In v2: added a new family of examples groups fitting into our result, heirarchically hyperbolic groups. Thanks to J. Behrstock for pointing this out to us. In v3: fixed some typographical errors and made minor edits, also added alternative argument in free group case shared by M. Magee

Splitting of Tensor Products and Intermediate Factor Theorem: Continuous Version

Authors: Tattwamasi Amrutam, Yongle Jiang

Abstract: Let $G$ be a discrete group. Given unital $G$-$C^*$-algebras $\mathcal{A}$ and $\mathcal{B}$, we give an abstract condition under which every $G$-subalgebra $\mathcal{C}$ of the form $\mathcal{A}\subset \mathcal{C}\subset \mathcal{A}\otimes_{\text{min}}\mathcal{B}$ is a tensor product. This generalizes the well-known splitting results in the context of $C^*$-algebras by Zacharias and Zsido. As an… ▽ More Let $G$ be a discrete group. Given unital $G$-$C^*$-algebras $\mathcal{A}$ and $\mathcal{B}$, we give an abstract condition under which every $G$-subalgebra $\mathcal{C}$ of the form $\mathcal{A}\subset \mathcal{C}\subset \mathcal{A}\otimes_{\text{min}}\mathcal{B}$ is a tensor product. This generalizes the well-known splitting results in the context of $C^*$-algebras by Zacharias and Zsido. As an application, we prove a topological version of the Intermediate Factor theorem. When a product group $G=Γ_1\timesΓ_2$ acts (by a product action) on the product of corresponding $Γ_i$-boundaries $\partialΓ_i$, using the abstract condition, we show that every intermediate subalgebra $C(X)\subset\mathcal{C}\subset C(X)\otimes_{\text{min}}C(\partialΓ_1\times \partialΓ_2)$ is a tensor product (under some additional assumptions on $X$). This can be considered as a topological version of the Intermediate Factor theorem. We prove that our assumptions are necessary and cannot generally be relaxed. We also introduce the notion of a uniformly rigid action for $C^*$-algebras and use it to give various classes of inclusions $\mathcal{A}\subset \mathcal{A}\otimes_{\text{min}}\mathcal{B}$ for which every invariant intermediate algebra is a tensor product. △ Less

Submitted 16 June, 2025; v1 submitted 16 August, 2024; originally announced August 2024.

Comments: Final version. It is going to appear in the Journal of the London Mathematical Society

MSC Class: Primary 46M05; 46L06; Secondary 37B05; 46L45

Journal ref: Journal of the London Mathematical Society, 111(6),2025, e70205

Relative stationary dynamical systems

Authors: Tattwamasi Amrutam, Martin Klötzer, Hanna Oppelmayer

Abstract: Let $G$ be a locally compact second countable group equipped with an admissible non-degenerate Borel probability measure $μ$. We generalize the notion of $μ$-stationary systems to $μ$-stationary $G$-factor maps $π: (X,ν)\to (Y,η)$. For these stationary relations between dynamical systems, we provide a structure theorem, which generalizes the structure theorem of Furstenberg-Glasner. Furthermore, w… ▽ More Let $G$ be a locally compact second countable group equipped with an admissible non-degenerate Borel probability measure $μ$. We generalize the notion of $μ$-stationary systems to $μ$-stationary $G$-factor maps $π: (X,ν)\to (Y,η)$. For these stationary relations between dynamical systems, we provide a structure theorem, which generalizes the structure theorem of Furstenberg-Glasner. Furthermore, we show the existence and uniqueness of a relative version of the Poisson boundary in this setup. △ Less

Submitted 27 May, 2024; originally announced May 2024.

MSC Class: 37A50 (Primary) 22F10; 37B05; 60J50 (Secondary)

Crossed products of dynamical systems; rigidity Vs. strong proximality

Authors: Tattwamasi Amrutam, Eli Glasner, Yair Glasner

Abstract: Given a dynamical system $(X, Γ)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}Γ$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(Γ)<\mathcal{A} < C(X)\rtimes_{r}Γ$ is of the form $\mathcal{A}=C(Y)\rtimes_{r}Γ$, corresponding to a dynamical factor $X \rightarrow Y$. It is called almost reflecting if $\mathbb{E}(\mathcal{A}) \subset \mathcal{A}$ for every such… ▽ More Given a dynamical system $(X, Γ)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}Γ$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(Γ)<\mathcal{A} < C(X)\rtimes_{r}Γ$ is of the form $\mathcal{A}=C(Y)\rtimes_{r}Γ$, corresponding to a dynamical factor $X \rightarrow Y$. It is called almost reflecting if $\mathbb{E}(\mathcal{A}) \subset \mathcal{A}$ for every such $\mathcal{A}$. These two notions coincide for groups admitting the approximation property (AP). Let $Γ$ be a non-elementary convergence group or a lattice in $\text{SL}_d(\mathbb{R})$ for some $d \ge 2$. We show that any uniformly rigid system $(X,Γ)$ is almost reflecting. In particular, this holds for any equicontinuous action. In the von Neumann setting, for the same groups $Γ$ and any uniformly rigid system $(X,\mathcal{B},μ, Γ)$ the crossed product algebra $L^{\infty}(X,μ)\rtimesΓ$ is reflecting. An inclusion of algebras $\mathcal{A}\subset\mathcal{B}$ is called $\textit{minimal ambient}$ if there are no intermediate algebras. As a demonstration of our methods, we construct examples of minimal ambient inclusions with various interesting properties in the $C^*$ and the von Neumann settings. △ Less

Submitted 6 May, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Comments: Minor typos corrected

MSC Class: 46L55; 37A55; 37B05

On relative commutants of subalgebras in group and tracial crossed product von Neumann algebras

Authors: Tattwamasi Amrutam, Jacopo Bassi

Abstract: Let $Γ$ be a discrete group acting on a compact Hausdorff space $X$. Given $x\in X$, and $μ\in\text{Prob}(X)$, we introduce the notion of contraction of $μ$ towards $x$ with respect to unitary elements of a group von Neumann algebra not necessarily coming from group elements. Using this notion, we study relative commutants of subalgebras in tracial crossed product von Neumann algebras. The results… ▽ More Let $Γ$ be a discrete group acting on a compact Hausdorff space $X$. Given $x\in X$, and $μ\in\text{Prob}(X)$, we introduce the notion of contraction of $μ$ towards $x$ with respect to unitary elements of a group von Neumann algebra not necessarily coming from group elements. Using this notion, we study relative commutants of subalgebras in tracial crossed product von Neumann algebras. The results are applied to negatively curved groups and $\text{SL}(d,\mathbb{Z})$, $d \geq 2$. △ Less

Submitted 3 October, 2024; v1 submitted 9 March, 2024; originally announced March 2024.

Comments: This is the final version. All the suggestions of the referees have been implemented. To appear in the Pacific Journal of Mathematics

MSC Class: 46L55; 37A55; 47L65

Journal ref: Pacific J. Math. 331 (2024) 1-22

Powers averaging for actions on $C(X)$-algebras

Authors: Tattwamasi Amrutam, Ilan Hirshberg, Apurva Seth

Abstract: Given a unital $C(X)$-algebra $A$ discrete group $Γ$ and an action $α: Γ\to \text{aut}(A)$ which leaves $C(X)$ invariant and such that $C(X)\rtimes_{α,r} Γ$ is simple, and a $2$-cocycle $ω$, we obtain a bijective correspondence between maximal $Γ$-invariant ideals of $A$ and maximal ideals in $A\rtimes_{α,ω,r} Γ$. In particular, $A\rtimes_{α,ω,r} Γ$ is simple if and only if $A$ has no $Γ$-invarian… ▽ More Given a unital $C(X)$-algebra $A$ discrete group $Γ$ and an action $α: Γ\to \text{aut}(A)$ which leaves $C(X)$ invariant and such that $C(X)\rtimes_{α,r} Γ$ is simple, and a $2$-cocycle $ω$, we obtain a bijective correspondence between maximal $Γ$-invariant ideals of $A$ and maximal ideals in $A\rtimes_{α,ω,r} Γ$. In particular, $A\rtimes_{α,ω,r} Γ$ is simple if and only if $A$ has no $Γ$-invariant ideals. △ Less

Submitted 9 April, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: Minor Revisions

MSC Class: 46L55; 37A55

Intermediate crossed product $C^*$-algebras

Authors: Tattwamasi Amrutam, Ilan Hirshberg, Apurva Seth

Abstract: Let $B$ be a separable $C^*$-algebra, let $Γ$ be a discrete countable group, let $α: Γ\to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any intermediate $C^*$-algebra $A \rtimes_{α,r} Γ\subseteq C \subseteq B \rtimes_{α,r} Γ$ is a crossed product of an intermediate invariant subalgebra $A \subseteq C_0 \subseteq B$ by… ▽ More Let $B$ be a separable $C^*$-algebra, let $Γ$ be a discrete countable group, let $α: Γ\to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any intermediate $C^*$-algebra $A \rtimes_{α,r} Γ\subseteq C \subseteq B \rtimes_{α,r} Γ$ is a crossed product of an intermediate invariant subalgebra $A \subseteq C_0 \subseteq B$ by $Γ$. Those are used to generalize related results by Suzuki. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: Preliminary version. Comments are welcome. 29 Pages

MSC Class: 46L05; 46L10; 46L55

On the amenable subalgebras of group von Neumann algebras

Authors: Tattwamasi Amrutam, Yair Hartman, Hanna Oppelmayer

Abstract: We approach the study of sub-von Neumann algebras of the group von Neumann algebra $LΓ$ for countable groups $Γ$ from a dynamical perspective. It is shown that $L(Γ)$ admits a maximal invariant amenable subalgebra. The notion of invariant probability measures (IRAs) on the space of sub-algebras is introduced, analogous to the concept of Invariant Random Subgroups. And it is shown that amenable IRA… ▽ More We approach the study of sub-von Neumann algebras of the group von Neumann algebra $LΓ$ for countable groups $Γ$ from a dynamical perspective. It is shown that $L(Γ)$ admits a maximal invariant amenable subalgebra. The notion of invariant probability measures (IRAs) on the space of sub-algebras is introduced, analogous to the concept of Invariant Random Subgroups. And it is shown that amenable IRAs are supported on the maximal amenable invariant sub-algebra. △ Less

Submitted 24 October, 2024; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: This final version will appear in the Journal of Functional Analysis

MSC Class: 46L10 (Primary) 22D25; 47A35 (Secondary)

Journal ref: Journal of Functional Analysis, 2024

Non-Abelian Factors for Actions of $\mathbb{Z}$ and Other Non-$C^*$-Simple Groups

Authors: Tattwamasi Amrutam, Eli Glasner, Yair Glasner

Abstract: Let $Γ$ be a countable group and $(X, Γ)$ a compact topological dynamical system. We study the question of the existence of an intermediate $C^*$-subalgebra $\mathcal{A}$ $$C^{*}_{r}(Γ)<\mathcal{A}<C(X)\rtimes_rΓ,$$ which is not of the form $\mathcal{A} = C(Y) \rtimes_r Γ$, corresponding to a factor map $(X,Γ) \to (Y,Γ)$. Here $ C^{*}_{r} (Γ)$ and $C(X) \rtimes_r Γ$ are the reduced $C^*$-algebras… ▽ More Let $Γ$ be a countable group and $(X, Γ)$ a compact topological dynamical system. We study the question of the existence of an intermediate $C^*$-subalgebra $\mathcal{A}$ $$C^{*}_{r}(Γ)<\mathcal{A}<C(X)\rtimes_rΓ,$$ which is not of the form $\mathcal{A} = C(Y) \rtimes_r Γ$, corresponding to a factor map $(X,Γ) \to (Y,Γ)$. Here $ C^{*}_{r} (Γ)$ and $C(X) \rtimes_r Γ$ are the reduced $C^*$-algebras of $Γ$ and $(X,Γ)$ respectively. Our main results are (1) For $Γ$, which is not $C^*$-simple, if $(X,Γ)$ admits a $Γ$-invariant probability measure, then such a sub-algebra always exists. (2) For $Γ= \mathbb{Z}$ and $(X, Γ)$ an irrational rotation of the circle $X = S^1$, we give a full description of all these non-crossed-product subalgebras. △ Less

Submitted 15 April, 2024; v1 submitted 25 June, 2023; originally announced June 2023.

Comments: All the changes suggested by the referee have been implemented. There is a change in the title, which aptly describes the paper's contents. The paper has been accepted into the Journal of Functional Analysis

MSC Class: 46L55; 37A55; 37B05;

Subalgebras, subgroups, and singularity

Authors: Tattwamasi Amrutam, Yair Hartman

Abstract: This paper concerns the non-commutative analog of the Normal Subgroup Theorem for certain groups. Inspired by Kalantar-Panagopoulos, we show that all $Γ$-invariant subalgebras of $LΓ$ and $C^*_r(Γ)$ are ($Γ$-) co-amenable. The groups we work with satisfy a singularity phenomenon described in Bader-Boutonnet-Houdayer-Peterson. The setup of singularity allows us to obtain a description of $Γ$-invari… ▽ More This paper concerns the non-commutative analog of the Normal Subgroup Theorem for certain groups. Inspired by Kalantar-Panagopoulos, we show that all $Γ$-invariant subalgebras of $LΓ$ and $C^*_r(Γ)$ are ($Γ$-) co-amenable. The groups we work with satisfy a singularity phenomenon described in Bader-Boutonnet-Houdayer-Peterson. The setup of singularity allows us to obtain a description of $Γ$-invariant intermediate von Neumann subalgebras $L^{\infty}(X,ξ)\subset\mathcal{M}\subset L^{\infty}(X,ξ)\rtimesΓ$ in terms of the normal subgroups of $Γ$. △ Less

Submitted 16 October, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: This is the final version. All the comments made by the referee have been implemented. The paper has been accepted to appear in the Bulletin of the London Math Society https://doi.org/10.1112/blms.12939

MSC Class: 46L10; 47L65

On invariant von Neumann subalgebras rigidity property

Authors: Tattwamasi Amrutam, Yongle Jiang

Abstract: We say that a countable discrete group $Γ$ satisfies the invariant von Neumann subalgebras rigidity (ISR) property if every $Γ$- invariant von Neumann subalgebra $\mathcal{M}$ in $L(Γ)$ is of the form $L(Λ)$ for some normal subgroup $Λ\lhd Γ$. We show many ``negatively curved" groups, including all torsion free non-amenable hyperbolic groups and torsion free groups with positive first $L^2$-Betti… ▽ More We say that a countable discrete group $Γ$ satisfies the invariant von Neumann subalgebras rigidity (ISR) property if every $Γ$- invariant von Neumann subalgebra $\mathcal{M}$ in $L(Γ)$ is of the form $L(Λ)$ for some normal subgroup $Λ\lhd Γ$. We show many ``negatively curved" groups, including all torsion free non-amenable hyperbolic groups and torsion free groups with positive first $L^2$-Betti number under a mild assumption, and certain finite direct product of them have this property. We also discuss whether the torsion-free assumption can be relaxed. △ Less

Submitted 2 December, 2022; v1 submitted 21 May, 2022; originally announced May 2022.

Comments: v3: final version, accepted to JFA. v2: title changed due to the change of name "non-commutative Margulis property" to "invariant von Neumann subalgebras rigidity property"; minor revision and typos corrected

A generalized Powers averaging property for commutative crossed products

Authors: Tattwamasi Amrutam, Dan Ursu

Abstract: We prove a generalized version of Powers' averaging property that characterizes simplicity of reduced crossed products $C(X) \rtimes_λG$, where $G$ is a countable discrete group, and $X$ is a compact Hausdorff space which $G$ acts on minimally by homeomorphisms. As a consequence, we generalize results of Hartman and Kalantar on unique stationarity to the state space of $C(X) \rtimes_λG$ and to Kaw… ▽ More We prove a generalized version of Powers' averaging property that characterizes simplicity of reduced crossed products $C(X) \rtimes_λG$, where $G$ is a countable discrete group, and $X$ is a compact Hausdorff space which $G$ acts on minimally by homeomorphisms. As a consequence, we generalize results of Hartman and Kalantar on unique stationarity to the state space of $C(X) \rtimes_λG$ and to Kawabe's generalized space of amenable subgroups $\operatorname{Sub}_a(X,G)$. This further lets us generalize a result of the first named author and Kalantar on simplicity of intermediate C*-algebras. We prove that if $C(Y) \subseteq C(X)$ is an inclusion of unital commutative $G$-C*-algebras with $X$ minimal and $C(Y) \rtimes_λG$ simple, then any intermediate C*-algebra $A$ satisfying $C(Y) \rtimes_λG \subseteq A \subseteq C(X) \rtimes_λG$ is simple. △ Less

Submitted 30 September, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 24 pages; To appear in Transactions of the American Mathematical Society. This is the accepted manuscript, which includes all changes requested by the referee

MSC Class: 37A55; 46L55; 46L89; 47L65

Journal ref: Transactions of the American Mathematical Society 375 (2022), no. 3, 2237-2254

On Intermediate $C^*$-subalgebras of $C^*$-simple Group Actions

Authors: Tattwamasi Amrutam

Abstract: We show that for a large class of actions $Γ\curvearrowright \mathcal{A}$ of $C^*$-simple groups $Γ$ on unital $C^*$-algebras $\mathcal{A}$, including any non-faithful action of a hyperbolic group with trivial amenable radical, every intermediate $C^*$-subalgebra $\mathcal{B}$, $C_λ^*(Γ)\subseteq \mathcal{B} \subseteq \mathcal{A}\rtimes_{r}Γ$, is of the form $\mathcal{A}_1\rtimes_{r}Γ$, where… ▽ More We show that for a large class of actions $Γ\curvearrowright \mathcal{A}$ of $C^*$-simple groups $Γ$ on unital $C^*$-algebras $\mathcal{A}$, including any non-faithful action of a hyperbolic group with trivial amenable radical, every intermediate $C^*$-subalgebra $\mathcal{B}$, $C_λ^*(Γ)\subseteq \mathcal{B} \subseteq \mathcal{A}\rtimes_{r}Γ$, is of the form $\mathcal{A}_1\rtimes_{r}Γ$, where $\mathcal{A}_1$ is a unital $Γ$-$C^*$-subalgebra of $\mathcal{A}$. △ Less

Submitted 6 February, 2019; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: We have added more examples of plump subgroups, in particular showed that every non-elementary subgroup of a non-torsion convergence group is plump. We have also proved a similar result in von Neumann algebraic setting. This version also includes an appendix with Yongle Jiang containing an example of a faithful action of a $C^*$-simple group, for which every intermediate $C^*$-algebra splits

On simplicity of intermediate C*-algebras

Authors: Tattwamasi Amrutam, Mehrdad Kalantar

Abstract: We prove simplicity of all intermediate $C^*$-algebras $C^*_{r}(Γ)\subseteq \mathcal{B} \subseteq Γ\ltimes_r C(X)$ in the case of minimal actions of $C^*$-simple groups $Γ$ on compact spaces $X$. For this, we use the notion of stationary states, recently introduced by Hartman and Kalantar (arXiv:1712.10133v2). We show that the Powers' averaging property holds for the reduced crossed product… ▽ More We prove simplicity of all intermediate $C^*$-algebras $C^*_{r}(Γ)\subseteq \mathcal{B} \subseteq Γ\ltimes_r C(X)$ in the case of minimal actions of $C^*$-simple groups $Γ$ on compact spaces $X$. For this, we use the notion of stationary states, recently introduced by Hartman and Kalantar (arXiv:1712.10133v2). We show that the Powers' averaging property holds for the reduced crossed product $Γ\ltimes_r \mathcal{A}$ for any action $Γ\curvearrowright \mathcal{A}$ of a $C^*$-simple group $Γ$ on a unital $C^*$-algebra $\mathcal{A}$, and use it to prove a one-to-one correspondence between stationary states on $\mathcal{A}$ and those on $Γ\ltimes_r \mathcal{A}$. △ Less

Submitted 16 September, 2018; originally announced September 2018.