Searcharxiv⌕ Search

arXiv subjects

Srivatsav Kunnawalkam Elayavalli

Publications and source records attributed to Srivatsav Kunnawalkam Elayavalli.

47 records · Page 3Linked to original sources
arXiv2023

An exotic II$_1$ factor without property Gamma

We introduce a new iterative amalgamated free product construction of II$_1$ factors, and use it to construct a separable II$_1$ factor which does not have property Gamma and is not elementarily equivalent to the free group factor $\text{L}(\mathbb F_n)$, for any $2\leq n\leq \infty$. This provides the first explicit example of two non-elementarily equivalent II$_1$ factors without property Gamma. Moreover, our construction also provides the first explicit example of a II$_1$ factor without property Gamma that is also not elementarily equivalent to any ultraproduct of matrix algebras. Our proofs use a blend of techniques from Voiculescu's free entropy theory and Popa's deformation/rigidity theory.

math.OA↗
arXiv2023

Vanishing first cohomology and strong 1-boundedness for von Neumann algebras

In this paper, we obtain a new proof result of Shlyakhtenko which states that if $G$ is a sofic, finitely presented group with vanishing first $\ell^2$-Betti number, then $L(G)$ is strongly 1-bounded. Our proof of this result adapts and simplifies Jung's technical arguments which showed strong 1-boundedness under certain conditions on the Fuglede-Kadison determinant of the matrix capturing the relations. Our proof also features a key idea due to Jung which involves an iterative estimate for the covering numbers of microstate spaces. We also provide a short proof using works of Shlyakhtenko and Shalom that the von Neumann algebras of sofic groups with Property T are strongly 1 bounded, which is a special case of another result by the authors.

math.OA↗
arXiv2023

Remarks on the diagonal embedding and strong 1-boundedness

We identify a large class of hyperbolic groups whose von Neumann algebras are not strongly 1-bounded: Sela's hyperbolic towers over $F_2$ subgroups. We also show that any intermediate subalgebra of the diagonal embedding of $L(F_2)$ into its ultrapower doesn't have Property (T).

math.OA↗
arXiv2023

Uniformly Super McDuff II$_1$ Factors

We introduce and study the family of uniformly super McDuff II$_1$ factors. This family is shown to be closed under elementary equivalence and also coincides with the family of II$_1$ factors with the Brown property introduced in arXiv:2004.02293. We show that a certain family of existentially closed factors, the so-called infinitely generic factors, are uniformly super McDuff, thereby improving a recent result of arXiv:2205.07442. We also show that Popa's family of strongly McDuff II$_1$ factors are uniformly super McDuff. Lastly, we investigate when finitely generic II$_1$ factors are uniformly super McDuff.

math.OA↗
arXiv2022

Properly Proximal von Neumann Algebras

We introduce the notion of proper proximality for finite von Neumann algebras, which naturally extends the notion of proper proximality for groups. Apart from the group von Neumann algebras of properly proximal groups, we provide a number of additional examples, including examples in the settings of free products, crossed products, and compact quantum groups. Using this notion, we answer a question of Popa by showing that the group von Neumann algebra of a nonamenable inner amenable group cannot embed into a free group factor. We also introduce a notion of proper proximality for probability measure preserving actions, which gives an invariant for the orbit equivalence relation. This gives a new approach for establishing strong ergodicity type properties, and we use this in the setting of Gaussian actions to expand on solid ergodicity results first established by Chifan and Ioana, and later generalized by Boutonnet. The techniques developed also allow us to answer a problem left open by Anantharaman-Delaroche in 1995, by showing the equivalence between the Haagerup property and the compact approximation property for II$_1$ factors.

math.OA↗
arXiv2022

Proper proximality for various families of groups

In this paper, the notion of proper proximality (introduced in [BIP18]) is studied and classified in various families of groups. We show that if a group acts non-elementarily by isometries on a tree such that for any two edges, the intersection of their edge stabilizers is finite, then G is properly proximal. We show that the wreath product G\wr H is properly proximal if and only if H is non-amenable. We then completely classify proper proximality among graph products of non-trivial groups. Our results generalize recent work of Duchesne, Tucker-Drob and Wesolek classifying inner amenability for these families of groups. Our results also recover some rigidity results associated to the group von Neumann algebras, by virtue of being properly proximal. A key idea in the proofs of our theorems is a technique to upgrade from relative proper proximality using computations in the double dual of the small at infinity boundary.

math.GR↗
arXiv2021

Generic algebraic properties in spaces of enumerated groups

We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from combinatorial group theory, combined with the Baire category theorem, we obtain a plethora of results demonstrating that several phenomena in group theory are generic. In effect, we provide a new topological framework for the analysis of various well known problems in group theory. We also provide a connection between genericity in these spaces, the word problem for finitely generated groups and model-theoretic forcing. Using these connections, we investigate the natural question: when does a certain space of enumerated groups contain a comeager isomorphism class? We obtain a sufficient condition that allows us to answer the question in the negative for the space of all enumerated groups and the space of left orderable enumerated groups. We document several open questions in connection with these considerations.

math.GR↗
arXiv2021

Property (T) and strong $1$-boundedness for von Neumann algebras

The notion of strong 1-boundedness for finite von Neumann algebras was introduced by Jung in arXiv:math/0510576 . This framework provided a free probabilistic approach to study rigidity properties and classification of finite von Neumann algebras. In this paper, we prove that tracial von Neumann algebras with a finite Kazhdan set are strongly 1-bounded. This includes all Property (T) von Neumann algebras with finite dimensional center and group von Neumann algebras of Property (T) groups. This result generalizes all the previous results in this direction due to Voiculescu, Ge, Ge-Shen, Connes-Shlyakhtenko, Jung-Shlyakhtenko, Jung, and Shlyakhtenko. Our proofs are based on analysis of covering estimates of microstate spaces using an iteration technique in the spirit of Jung.

math.OA↗
arXiv2020

On ultraproduct embeddings and amenability for tracial von Neumann algebras

We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes Embedding Problem is self-tracially stable if and only if it is amenable. We then generalize a result of Jung by showing that a separable tracial von Neumann algebra that satisfies the Connes Embedding Problem is amenable if and only if any two embeddings into $R^\mathcal{U}$ are ucp-conjugate. Moreover we show that for a II$_1$ factor $N$ satisfying CEP, the space $\mathbb{H}$om$(N, \prod_{k\to \mathcal{U}}M_k)$ of unitary equivalence classes of embeddings is separable if and only $N$ is hyperfinite. This resolves a question of Popa for Connes embeddable factors. These results hold when we further ask that the pairs of embeddings commute, admitting a nontrivial action of $\text{Out}(N\otimes N)$ on $\mathbb{H}$om$(N\otimes N, \prod_{k\to \mathcal{U}}M_k)$ whenever $N$ is non-amenable. We also obtain an analogous result for commuting sofic representations of countable sofic groups.

math.OA↗
arXiv2020

Factorial relative commutants and the generalized Jung property for II$_1$ factors

We introduce the notion of a generalized Jung factor: a II$_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$. We show that $\mathcal R$ is not the unique generalized Jung factor but is the unique $\mathcal R^{\mathcal U}$-embeddable generalized Jung factor. We use model-theoretic techniques to obtain these results. Integral to the techniques used is the result that if $M$ is elementarily equivalent to $\mathcal R$, then any elementary embedding of $M$ into $\mathcal R^{\mathcal U}$ has factorial relative commutant. This answers a long-standing question of Popa for an uncountable family of II$_1$ factors. We also provide new examples and results about the notion of super McDuffness, which is a strengthening of the McDuff property for II$_1$ factors.

math.OA↗