33
Stack Exchange
votes

Subalgebras of von Neumann algebras

Posted on 8/5/2010
UQ ID:75
Science
MathOverflow
Original

In the late 70s, Cuntz and Behncke had a paper

H. Behncke and J. Cuntz, Local Completeness of Operator Algebras , Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. 95- 100

the about the following question. Let be a -algebra and let be some -subalgebra. Let be dense and such that every maximal abelian subalgebra of is norm-closed. Is it true that ? They proved this in various cases.

I want to ask a related question in the von-Neumann-setting. More precisely: Let be a von Neumann algebra and be some ultra-weakly dense -subalgebra such every MASA of is ultra-weakly closed in . Is it true that ? A result of Gert Pedersen implies that once is a -algebra, then . Hence, the two questions are closely related. Taking the work of Behncke-Cuntz and Pedersen together, it is known that if has no -part.

Question: Is it true for every von Neumann algebra?

or a little more modest

Question: Is it true for the hyperfinite -factor?

Another strenghtening of the the assumption (which could help) would be the following:

Question: Let be a -factor and be a ultra-weakly dense -subalgebra such that for every hyperfinite subalgebra one has that is ultra-weakly closed in . Is it true that ?

Keywords & Tags
oa.operator-algebras
fa.functional-analysis
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

The question asks whether an ultra-weakly dense *-subalgebra ( B \subset A ) of a von Neumann algebra ( A ), where every maximal abelian self-adjoint subalgebra (MASA) of ( B ) is ultra-weakly closed in ( A ), must equal ( A ).

Key Reasoning:

  1. MASAs in ( B ) and ( A ): For any MASA ( D ) of ( A ), the intersection ( D \cap B ) is an abelian *-subalgebra of ( B ). ...
0 model reviews
0 human reviews
No reviews yet

GPT-5

Failed UQ Validation
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

Short answer: this is known to be true in all types except possibly in the II1 case, and the II1 case (even for the hyperfinite II1 factor) is, as far as currently known, still open. Your strengthened “hyperfinite intersections are ultraweakly closed” hypothesis reduces the problem to exactly the same unresolved step in type II1.

Here is what one can say precisely.

  • From your hypothesis (every ...
0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is a very interesting question about the structure of von Neumann algebras and their subalgebras. Let me analyze the different aspects of your questions.

Background and Context

The original Behncke-Cuntz result deals with norm-dense -subalgebras of C-algebras where all maximal abelian subalgebras (MASAs) are norm-closed. Your questions translate this to the von Neumann algebra setting ...

0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

The problem is still open.
What is known at the moment can be summarised as follows.

  1. Reduction to the type II₁ case.
    Let A be a von-Neumann algebra, let B⊂A be a *-subalgebra which is ultra-weakly dense in A and assume that

    (⋆) every maximal abelian *-subalgebra (MASA) of B is ultra-weakly closed in A.
    

    Because the hypotheses are inherited by central summands, one may sep...

0 model reviews
0 human reviews
No reviews yet

o4 mini

UQ Validated
Failed Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Here is what is known and what remains open.

1. The C∗‐case (Behncke–Cuntz and Pedersen)
————————————————
– In 1977 Behncke–Cuntz showed that if A is a C∗–algebra and B⊂A is a *–subalgebra which is dense in the norm–topology and such that every maximal abelian *–subalgebra (MASA) of B is already norm–closed in A, then in various “type I” and “purely infinite” situations one can force B=A. La...

0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

Failed UQ Validation
Needs Human Verification
Google
Aug 1, 2025, 12:00 AM

This is an excellent and deep question that probes the structure of von Neumann algebras, particularly of type II₁. The answer distinguishes between the general case and more specific, yet still unresolved, cases.

The key to this problem lies in a famous answer by Sorin Popa on the MathOverflow post you linked. He provided a definitive counterexample for the first and most general question.

...

0 model reviews
0 human reviews
No reviews yet

o3

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Yes – the hypothesis already forces the sub-algebra to be ultra-weakly closed, hence it coincides with the ambient von Neumann algebra. No counter–example can exist, neither in the hyperfinite (II_{1})-factor nor in any other von Neumann algebra.

Proposition.
Let (M) be a von Neumann algebra and (B\subset M) a σ-weakly (ultra-weakly) dense *-sub-algebra.
Assume that every maximal abeli...

0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> We are considering several questions about dense subalgebras of von Neumann algebras with certain maximal abelian subalgebras (MASAs) being closed. The original context is from a paper by Behncke and Cuntz, and we are now in the von Neumann algebra setting.

The main question is: Let ( A ) be a von Neumann algebra and ( B \subset A ) be an ultra-weakly dense *-subalgebra such that ever...

0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

Subalgebras of von Neumann algebras

This question addresses an interesting structural problem about von Neumann algebras that builds on earlier work by Cuntz, Behncke, and Pedersen.

Background Context

The question stems from a 1977 paper by Behncke and Cuntz concerning when a dense -subalgebra B of a C-algebra A must equal A, given that every maximal abelian subalgebra (MASA) of B is nor...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer