Suppose I have a lattice of projections on some (finite dimensional) Hilbert space. Can I construct an algebra of operators of which this lattice is the set of all projections in the algebra? If not, are there any extra conditions on the lattice such that in would suffice?
2026-03-26 17:35:12.1774546512
Projection lattice to operator algebra
303 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in OPERATOR-ALGEBRAS
- Bijection between $\Delta(A)$ and $\mathrm{Max}(A)$
- hyponormal operators
- Cuntz-Krieger algebra as crossed product
- Identifying $C(X\times X)$ with $C(X)\otimes C(X)$
- If $A\in\mathcal{L}(E)$, why $\lim\limits_{n\to+\infty}\|A^n\|^{1/n}$ always exists?
- Given two projections $p,q$ in a C$^{*}$-algebra $E$, find all irreducible representations of $C^{*}(p,q)$
- projective and Haagerup tensor norms
- AF-algebras and K-theory
- How to show range of a projection is an eigenspace.
- Is $\left\lVert f_U-f_V\right\rVert_{op}\leq \left\lVert U-V\right\rVert_2$ where $f_U = A\mapsto UAU^*$?
Related Questions in LATTICE-ORDERS
- When a lattice is a lattice of open sets of some topological space?
- How to identify if a given Hasse diagram is a lattice
- How to find the smallest cardinal of a minimal generating set of a lattice
- Finding a poset with a homogeneity property
- Why is the "distributive lattice" structure of domino tilings significant?
- Two lattice identities
- Quickly determining whether given lattice is a distributive lattice from a given Hasse diagram
- Characteristic of a lattice that subsets contain their meets and joins
- Equalities in Heyting algebras
- Show that $(\operatorname{Up}(P),\subset)$ is a distributive lattice
Related Questions in QUANTUM-MECHANICS
- Is there a book on the purely mathematical version of perturbation theory?
- Matrix differential equation and matrix exponential
- "Good" Linear Combinations of a Perturbed Wave Function
- Necessary condition for Hermician lin operators
- What is a symplectic form of the rotation group SO(n)
- Why is $\textbf{J}$ called angular momentum?(Quantum)
- How does the quantumstate evolve?
- Differential equation $au''(x)+b\frac{u(x)}{x}+Eu=0$
- How to model this system of $^{238}\,U$ atoms?
- Discrete spectra of generators of compact Lie group
Related Questions in VON-NEUMANN-ALGEBRAS
- An embedding from the $C(X) \rtimes_{\alpha,r}\Gamma$ into $L^{\infty}(X) \ltimes \Gamma$.
- Are atomic simple C*-algebras von Neumann algebras?
- weak operator topology convergence and the trace of spectral projections
- Reference request for the following theorem in Von Neumann algebras.
- Is the bidual of a C*-algebra isomorphic to the universal enveloping von Nemann algebra as a Banach algebra?
- von Neumann algebra
- L2 norm convergence on (bounded ball of) *-subalgebra of von Neumann algebra
- Traces on $K(H)$
- Why is $M_n(A)$ a von Neumann algebra
- Clarification on proof in Murphy's C*-algebras
Related Questions in QUANTUM-COMPUTATION
- Show that R is a rotation of the Bloch sphere
- In the Bloch representation why pre and post multiply by rotation operator?
- How to find the projection matrix to find the projection along one of the basis matrices?
- Proving unitary similarity between two Hermitian operators with the same eigenvalues
- Why are n-1 linearly independent equations sufficient to solve for the secret string in Simon's algorithm?
- Reduced density operators of a pure Bipartite state?
- Understanding of matrix XOR product
- Quantum cirucit with two hadamard gates - unitary matrix & eigenvalues
- What geometry or topology best embodies the nonlocality of quantum entanglement?
- Evaluating $|\frac{1}{2}(|a\rangle \otimes|b\rangle+|b\rangle\otimes |a\rangle) |^2$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The answer in general is a big "no". Consider $M_2(\mathbb C)$ for instance. Its only C$^*$-subalgebras (which are also von Neumann, because of the finite-dimension) are $$\{0\},\ \ \mathbb C, \ \ \mathbb C\oplus\mathbb C,\ \ M_2(\mathbb C).$$
Thus the only possible lattices of projections are $$ \{0\},\ \ \{0,1\},\ \{(0,0),(1,0),(0,1),(1,1)\}, $$ and $$\tag{1} \left\{\begin{bmatrix}0&0\\0&0\end{bmatrix},\begin{bmatrix}1&0\\0&1\end{bmatrix}\right\}\cup\left\{\begin{bmatrix} t&e^{i\theta}\,\sqrt{1-t^2}\\ e^{-i\theta}\,\sqrt{1-t^2}&1-t\end{bmatrix}:\ {t\in[0,1],\theta\in[0,2\pi)}\right\}. $$ They are all of the form "a bunch of non-comparable elements, with a single common supremum and a common single infimum". So, if in the set $(1)$ you remove some (or many) of the projections depending on the parameters, you will still have a lattice of projections, but it won't be that of a C$^*$-algebra.
I might be wrong here, but I don't think there's an easy way to tell if a given lattice is the projection lattice of a von Neumann algebra; I know a necessary condition is that the lattice is complete, and maybe some other property is obvious. But, in general, I don't see how you could guarantee that limits and products of linear combinations of the given projections do not produce new projections.