Prof. Narutaka Ozawa | Kazhdan's property (T) for EL_n(R)

Prof. Narutaka Ozawa | Kazhdan's property (T) for EL_n(R)

by Narutaka Ozawa

Formal & Physical Sciences Mathematics PBMathematicsPBGGroups and group theory
🎙 Narutaka Ozawa 👥 8K 📅 October 10, 2025 ⏱ 57 min 👁 371 📄 original study 🧭 2026-08-15
Available in: English (current) Français

Keywords

Kazhdan's property (T)EL_n(R)sum of squaresspectral gapHeisenberg group

Summary

In this seminar, Professor Narutaka Ozawa presents his recent work on Kazhdan’s property (T) for the group EL_n(R), where R is a finitely generated ring. He begins by reviewing the connection between property (T) and the existence of a spectral gap for the Laplacian on the group. He then introduces the framework of non-commutative real algebraic geometry, where positivity of elements in the group C*-algebra is related to sums of squares. Ozawa explains that for certain groups, such as Z and free groups, the sum-of-squares condition is decidable, but for others, like Z^2, it is not. He then focuses on the case of EL_n(R), showing that for n large enough, the group has property (T) if and only if a certain second-order Laplacian dominates the first-order one. This condition is related to the absence of certain nilpotent quotients. He illustrates the method with examples, including SL_3(Z) and Heisenberg groups, and discusses the role of the almost Mathieu operator in the proof. The talk concludes with a discussion of the limitations of the sum-of-squares approach and open questions.

177 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk presents original research that extends known results on property (T) to a more general class of groups. The argumentation is rigorous, building on established results in operator algebras and group theory. The speaker clearly explains the main ideas and the role of each component, such as the use of the Heisenberg group representation theory. The value lies in the new sufficient condition for property (T) and the connection to non-commutative real algebraic geometry, which provides a fresh perspective. The proof strategy is well-motivated, and the speaker acknowledges limitations and open questions, enhancing the credibility.

Scientific Rigor, Source Quality, Title Accuracy

The talk is based on the speaker’s own research, which has been published in peer-reviewed journals. The speaker references the work of others, such as Shalom, Vershtein, and Mimura, but does not provide explicit citations in the talk. The title accurately reflects the content, focusing on property (T) for EL_n(R). The talk is given at the Isaac Newton Institute, a reputable institution, and is part of a workshop on spectral gaps, indicating relevance to the field. The presentation is rigorous, with clear definitions and logical flow, though it assumes a high level of expertise.

205 words

Title / Content Match

The title accurately reflects the content, focusing on Kazhdan's property (T) for the group EL_n(R).

Quality & Reliability

8/10

Presentation by a leading expert at a renowned institute, based on original research published in peer-reviewed venues. The talk is technical and assumes familiarity with the subject, but the reasoning is rigorous and transparent.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Concurring Sources

  • Shalom and Vershtein's work on property (T) for EL_n(R) — Referenced in the talk as prior work on the commutative case.

Contribution & Novelties

The talk presents a new sufficient condition for Kazhdan’s property (T) for EL_n(R) using a second-order Laplacian, extending previous work by Shalom and Vershtein. It also connects property (T) to non-commutative real algebraic geometry, offering a novel perspective. The method relies on representation theory of the Heisenberg group and the almost Mathieu operator, providing a concrete computational tool.

Pour aller plus loin :

  • Kazhdan’s property (T) — Background on property (T) and its significance.
  • Almost Mathieu operator — The operator used in the proof, with known spectral properties.
  • Heisenberg group — The group whose representation theory is used in the argument.
  • Noncommutative real algebraic geometry — The broader framework mentioned in the talk.

113 words

Radar Profile

The radar profile shows high scores in technical level and information quality, reflecting the advanced and rigorous nature of the talk. The lower score in quantity of information is due to the focused scope, but the depth compensates. The overall profile indicates a highly specialized and reliable presentation.

Reliability 9/10

💬 No comments were provided for analysis.