Topos Quantum Theory with Short Posets

Topos quantum mechanics, developed by Döring (2008); Döring and Harding Houston J. Math. 42(2), 559–568 (2016); Döring and Isham (2008); Flori 2013)); Flori (2018); Isham and Butterfield J. Theoret. Phys. 37, 2669–2733 (1998); Isham and Butterfield J. Theoret. Phys. 38, 827–859 (1999); Isham et al. J. Theoret. Phys. 39, 1413–1436 (2000); Isham and Butterfield J. Theoret. Phys. 41, 613–639 (2002), creates a topos of presheaves over the poset V(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {V}(\mathcal {N})$\end{document} of Abelian von Neumann subalgebras of the von Neumann algebra N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {N}$\end{document} of bounded operators associated to a physical system, and established several results, including: (a) a connection between the Kochen-Specker theorem and the non-existence of a global section of the spectral presheaf; (b) a version of the spectral theorem for self-adjoint operators; (c) a connection between states of N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {N}$\end{document} and measures on the spectral presheaf; and (d) a model of dynamics in terms of V(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {V}(\mathcal {N})$\end{document}. We consider a modification to this approach using not the whole of the poset V(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {V}(\mathcal {N})$\end{document}, but only its elements V(N)∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {V}(\mathcal {N})^{*}$\end{document} of height at most two. This produces a different topos with different internal logic. However, the core results (a)–(d) established using the full poset V(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {V}(\mathcal {N})$\end{document} are also established for the topos over the smaller poset, and some aspects simplify considerably. Additionally, this smaller poset has appealing aspects reminiscent of projective geometry.


Introduction
Isham and Butterfield [25][26][27][28] introduced a topos approach to quantum mechanics and showed that the Kochen-Specker theorem is equivalent to the non-existence of a global section of a certain presheaf. This program was further developed by Butterfield, Döring, de Groote, Flori, Hamilton, and Isham [3-5, 8, 9, 11, 15, 16]; and a related topos approach more complex setting of V(N ). Section 4 establishes that automorphisms of V(N ) * behave exactly the same as automorphisms of V(N ). Finally, Section 5 contains some concluding remarks, including a discussion of the role of von Neumann algebras as opposed to the more general C*-algebras [21].

A Review of the Topos Approach
A detailed account of the topos approach of Isham, Butterfield and Döring is given in [8]. We follow that with the same notation in this note. We comment that [8] is largely similar to [9], but we follow [8] as it may be more easily obtained. We briefly review the outline here, but for details the reader should consult [8].
Let N be a von Neumann algebra and V(N ) be the poset of its abelian von Neumann subalgebras. The paper [8] works primarily in the setting of the von Neumann algebra B(H) of bounded operators of a Hilbert space H, and denotes V(B(H)) by V(H). The topos of presheaves over V(N ) is the fundamental setting. The key in defining the pertinent presheaves is the notion of daseinisation [8, p.56]. For each V ∈ V(N ) let P(V ) be the complete Boolean algebra of projections of V . Daseinisation δ associates to any projection P of N and any V ∈ V(N ) the smallest projector in P(V ) lying aboveP .
The outer presheaf or coarse graining presheaf [8, p.57] O is defined on objects V ∈ V(N ) and morphisms i V V for V ⊆ V as follows: The spectrum of an abelian von Neumann algebra V is the collection of multiplicative linear functionals λ : V → C. It forms a compact Hausdorff space. The spectral presheaf [8, p.62] is as follows: V = spectrum of V and (i V V ) takes λ to its restriction λ| V Any projectionP ∈ N gives a global element δ(P ) of O [8, p.57]. In contrast, in the case of B(H) where dim H > 2 we have the following. The "values object" for the topos approach is not completely settled, and a number of related presheaves play a role. To begin, there is the constant presheaf R whose constant value is the ordinary real numbers. This is the internal real numbers object. The presheaves that play a larger role are variants of R [8, Defns. 8. 1-8.3]. For V ∈ V(N ) let ↓V be the principle downset of V and OP(↓V , R) be the set of order preserving functions α : ↓V → R. Then R V = OP(↓V , R) and R (i V V ) takes α to its restriction α| ↓V Then R is defined similarly through order inverting functions [8,Defn. 8.2] and R ↔ [8,Defn. 8.3] where R ↔ V is all ordered pairs (α, β) of an order preserving function α and order inverting function β from ↓V to R with α ≤ β pointwise. This is also known as the interval domain [ This provides an analog of the spectral theorem similar to that in the classical caseto each observableÂ of the system, there is a function from the states to the values object. Thisδ is defined through an extension of daseinisation to self-adjoint operators. Under the "spectral order" [8, p. 95] the self-adjoint operators N sa of N form a complete lattice. For a self adjointÂ ∈ N sa the outer daseinisation When restricted to projections, the outer daseinisation is the daseinistation of a projection described above (see [8,Sec. 7.2.3]). The inner daseinisation δ i (Â) is defined similarly via join as the largest in V sa beneathÂ.
This is one of the primary results of the topos approach, showing that the observables, state space, and values object behave in a classical way. We discuss one further result from the topos approach. For this, a further notion is required. A subobject S of the spectral presheaf is clopen if S V clopen in V for each V . The standard relation between projections of a commutative von Neumann algebra and clopen subsets of its spectrum provides [8, p.63] that each projectionP of N gives a clopen subobject δ(P ) whose value at V is the clopen subset of V associated to the projection δ(P ) V of V . It is shown [8, p.62] that the clopen subobjects Sub cl ( ) of form a Heyting algebra, and that there is a presheaf P cl whose global elements are these clopen subobjects.

Definition 2.3 ([3, p. 7])
A measure or valuation μ on the presheaf P cl is a mapping μ : In this definition, [0, 1] [8, Defn. 8.2] is the presheaf defined analogously to R after (4) but consisting of order-inverting functions into the real unit interval rather than the reals. The meet and join operations are those of the Heyting algebra P cl and the addition is the addition of [0, 1] given by pointwise sum of increasing and decreasing functions. In [3] the following is established.

The Topos Approach over V(N ) *
In this section, we discuss the results of the previous section in the setting of the topos over V(N ) * , the elements of height at most two in V(N ). Here, all presheaves of the previous section retain their meaning, but we restrict their domain to the subposet V(N ) * of V(N ). Rather than work directly with the poset V(N ) * , we work with an isomorphic poset constructed through the Boolean subalgebras of the projection lattice of N . In the following, a complete Boolean subalgebra of a projection lattice is a Boolean subalgebra that is closed under joins and meets taken in the projection lattice.  Each of the presheaves of the previous section has a restriction to V(N ) * , and these can be realized in an equivalent way as presheaves over BSub(N ) * . We discuss how the restriction of the spectral presheaf can be realized as a presheaf * over BSub(N ) * .
For V ∈ V(N ), its spectrum is the set of all multiplicative linear functionals λ : V → C. Each such λ is determined by its restriction λ| P(V ) to the projections of V , this restriction is a Boolean algebra homomorphism λ| P(V ) : P(V ) → 2, and each Boolean algebra homomorphism from P(V ) to 2 arises this way. Thus the spectrum of V is realized as the Stone space of P(V ). Define the presheaf * on BSub(N ) * by * B = Stone spectrum of B and * (i B B ) takes λ to its restriction λ| B (7) Note that this spectral presheaf * is considerably simpler than both in the fact that its domain is a much simpler poset, and that the objects * are Stone spaces of at most 8element Boolean algebras, hence at most 3-element sets with the discrete topology, rather than infinite compact Hausdorff spaces. We use this spectral sheaf in the following version of Theorem 2.1. To see that σ is a finitely additive measure, we need only show that if p, q are orthogonal projections, then σ (p ∨ q) = σ (p) + σ (q). It is enough to show this when neither p, q is 0,1. But then there is an 8-element Boolean subalgebra B of P(H) containing both p, q.
. So our result follows since s B is a Boolean algebra homomorphism.
Conversely, suppose σ : P(H) → 2 is a finitely additive measure. Then for each Boolean subalgebra B of P(H) we have σ |B is a Boolean algebra homomorphism. So we obtain a global section s of * by setting s B = σ |B.

Remark 3.4
The proof of Theorem 3.3 essentially just extracts the pertinent details from the proof of Theorem 2.1. That one can do this is the essential point. The proof "lives" at the level of V(N ) * , and the vast portion of V(N ) plays no role.

Remark 3.5
Suppose P is a subposet of V(N ). One can always restrict presheaves over V(N ) to presheaves over P . The dangers in relying on restrictions to move results such as those of the previous section from one topos of presheaves to another is that restriction may not be a one-one or onto correspondence between presheaves of V(N ) and presheaves of P .
If we let P be all elements of height one in V(N ), then the analog of Theorem 3.3 fails for presheaves over P . In this case P consists of an antichain with one element for each Boolean subalgebra B p = {0, p, p , 1} of P(H). The spectral presheaf is an indexed family of 2-element sets. Each choice function of the product of these two element sets gives a presheaf of 1-element sets that yields a global section of the spectral presheaf. Including elements of height 2 in P provides an additional restriction that eliminates these unwanted presheaves.
Restriction from presheaves of V(N ) to presheaves of V(N ) * is not one-one, and we do not know if it is onto. However, restriction in this setting is sufficiently well behaved to preserve the results of the previous setting, and this restricted setting provides much simpler presheaves.

Remark 3.6
A question related to the existence of a 0,1-valued measure on the projection lattice P(H) was raised in [18]. Does there exist a non-constant Z 2 -valued state on P(H) when H has dimension three? This amounts to assigning to the atoms P of P(H) values 0 or 1 such that each pairwise orthogonal triple of atoms has an even number assigned 1.
We remark that this can be formulated as the existence of a global section of a presheaf G of groups on BSub(H) (which in dimension 3 is equal to BSub(H) * ). For each 4-element Boolean subalgebra B let G B be Z 2 and for each 8-element Boolean subalgebra let G B be the Klein 4 group K. There are three 4-element Boolean subalgebras of any 8-element Boolean algebra, and there are three projections from K onto Z 2 . For each 8-element Boolean algebra assign these three projections as the maps G(i B ,B ) for the three 4-element Boolean subalgebras B of B in some fashion. Then for a global section σ of G define for an atom P of P(H) the value σ (B P ) where B P = {0, P , 1 − P , 1}. If P , Q, R are pairwise orthogonal atoms with B the Boolean subalgebra containing them, one sees using σ (B) that either none, or exactly two, are assigned value 1. Conversely, any Z 2 -valued state can be used to build a global section.
In [8, p. 91] it is suggested that homological methods might be tied to the connection between the Kochen-Specker theorem and global sections of the spectral presheaf. If any progress in this direction occurs, it may also lead to progress on the Z 2 -valued state problem which remains unsolved. See also [1,31].
We return to our program of studying results of Section 2 in the setting of restrictions to BSub(N ) * . Outer daseinisation δ o (Â) of a self adjoint operatorÂ of N is given in (5). For each suchÂ this provides [8, Thm. 7.1] a global element of the "outer de Groot presheaf" Proof That (δ o ) * gives such a mapping follows from [8, Thm. 7.1] and the fact that the ingredients involved are realizations over BSub(N ) * of restrictions of the outer presheaf and outer daseinisation over V(N ). However, injectivity does not follow immediately, and further can not be obtained from the argument for injectivity given in [8,Thm. 7.1] which involves infinite dimensional von Neumann subalgebras. We argue this directly.
Since E is a projection, [8, p. 95] there are resolutions of the identity in V given by  There are many other instances in topos quantum mechanics over V(N ) providing an injective, but not surjective, mapping of some standard quantum mechanical notion into a the the topos formalism.
Examples of injective, but not surjective, maps include the following. Inner daseinisation gives a map δ i from the self-adjoint operatorsÂ of N into the global sections of the inner presheaf I [8, Thm. 7.1]; the map of the projection operators P(N ) into the global sections of the presheaf P cl of clopen subsets of the spectral presheaf [8,Thm. 5.4]; and the mappings of pure states |ψ of H to truth objects [8, p. 81] and to pseudo-states [8, p.83]. In each case, showing these maps are injective is accomplished by finding a 4-element Boolean subalgebra B of projections so that they differ at the stage V = B . Thus, the corresponding maps in the setting of BSub(N ) * are also injective.

Remark 3.9
Restricting the presheaf P cl of clopen subsets of the spectral presheaf to the setting of BSub(N ) * provides considerable simplification. For a general abelian von Neumann subalgebra V , its spectrum V is a compact Hausdorff space. When V = B for a Boolean algebra of projections of N with at most 8 elements, the spectrum V is a discrete space with at most 3 elements, thus clopen subsets of V are simply subsets of V . So the restriction of P cl to BSub(N ) * is simply the power object of the restriction of . Thus, there is no need for a proof that this power object is a Heyting algebra as power objects are Heyting algebras in any topos.
We consider Theorem 2.2 in view of restrictions to BSub(N ) * . Our argument uses only properties of restriction, and not the details specific to this situation, so applies to many such situations. SupposeÂ is a self-adjoint operator of V. Theorem 2.2 shows thatδ(Â) is a natural transformation from the spectral presheaf to the value presheaf R ↔ . This means that for each V ∈ V(N ) there is a functionδ(Â) V : V → R ↔ V , and that this collection of functions commutes with the maps (i V V ) and R ↔ (i V V ). Restricting to subalgebras V ∈ V(N ) * we retain these maps and their commutativity, and moving this to the setting of the Boolean algebras B of projections of such V transfers these to the setting of BSub(N ) * . Thus, we have the following essentially for free. Theorem 3.10 For a self adjoint elementÂ of V, we have thatδ(Â) * is a natural transformation from the spectral presheaf * to the value presheaf R ↔ * .

Remark 3.11
Theorems in the V(N ) setting of an "equational" nature, such as Theorem 2.2, move for free to the setting of BSub(N ) * . The results discussed earlier in this section involving the injectivity of certain correspondences are not "equational" in nature, but as we have seen, are still retained upon restriction. In fact, in each case injectivity is realized at stage V = B for a 4-element Boolean algebra of projections. Another issue that is not "equational" is the connection between the Kochen-Specker theorem and the nonexistence of a global section of the spectral presheaf. We have seen in Theorem 3.3 this is retained upon restriction to BSub(H) * , but it would not be retained if restriction was to the at most 4-element Boolean subalgebras BSub(H) * * of projections.
We conclude this section with a view of Theorem 2.4 in the context of restriction to BSub(N ) * . This is of particular interest as this theorem specifies a bijective correspondence between a notion from the setting of N and one in the setting of V(N ). Thus it is far from equational, and appears more substantive than the simple results involving injectivity. Further, it involves the clopen subobjects P cl of the spectral presheaf, an object that changes radically upon restriction to the BSub(N ) * setting to the full power object of the restriction * of the spectral presheaf. Still, this result is preserved by restriction.

Theorem 3.12
For any von Neumann algebra N with no direct summand of type I 2 there is a bijection between the set of states of N and the set of measures on the presheaf P * of subobjects of the spectral presheaf * of BSub(N ) * .
Proof By Definition 2.3, a measure μ on the presheaf P cl is a mapping μ : . For a state ρ of N , define [3, (14)] Here S is a clopen subobject of . So for each V ∈ V(N ) we have S V is a clopen subset of the spectrum of V , and therefore corresponds to a projection denotedP S V of V . Then is an order-inverting function from V(N ) to the real interval, so [3, p. 6] can be regarded as a global section of [0, 1] . Restricting to the setting of BSub(N ) * preserves all this. So for each state ρ of N we have a mapping μ * ρ from the clopen subsets P cl * of the spectral presheaf * over BSub(N ) * (which by Remark 3.9 is the power object of * ) taking S to (ρ(P S B )) B∈BSub(N ) * .
To see that this map is onto, we follow [3, p. 8]. Suppose μ * is a measure on the subobjects of * (all of which are clopen). LetP be any projection of N and choose a subobject S of * so that there is B ∈ BSub(N ) * containingP with S B being the subset of the spectrum of B corresponding toP . This S could be chosen to be the subobject with S B the subset corresponding to the outer daseinisationP o B for each B ∈ BSub(N ) * [3, (10)] since this subobject has the desired property at the 4-element subalgebra BP = {0,P , 1 −P , 1} that belongs to BSub(N ) * . Then, as in [3, (32) To show m * is well defined, it must be shown that if S,S are two subobjects and B,B two elements of BSub(N ) * with S B andSB corresponding toP , then μ * (S)(B) = μ * (S)(B). In the V(N ) setting, this argument is given in [3, p. 8-9]. This argument applies in the current situation as well.
With m * (P ) defined for each projectionP , we next show that it defines a finitely additive measure m * : P(N ) → [0, 1] on the projection lattice of N . Again, the argument duplicates that of [3, p. 9] with the key point to show finite additivity. IfP andQ are orthogonal projections, then following [3, p. 9] there is a context V containingP andQ. ButP andQ being orthogonal implies that they generate an at most 8-element Boolean subalgebra B of projections. So B ∈ BSub(N ) * . The argument of [3, p. 9] then provides that m * (P ∨Q) = m * (P ) + m * (Q).
Then, following [3, p. 9], the measure m * on the projections of N defined from the measure μ * on P can be extended to a state ρ μ * on N provided there are no type I 2 summands. The mappings ρ → μ * ρ and μ * → ρ μ * are inverse to one another as in [3].
Remark 3. 13 We have followed the proof in [3] closely to illustrate that not only does the result remain valid in the restricted setting, but the proof also remains valid in the restricted setting. One needs only 4-element Boolean subalgebras B to find a subobject given by a daseinised projection whose value at the context B is the subset of the state space of B corresponding to this projection, and then 8-element Boolean subalgebras suffice to give finite additivity.
A further result [3] gives a point of departure between the V(N ) setting and the restricted setting of BSub(N ) * . Here, a family of clopen subobjects S n is called locally disjoint if there is a context V where the subsets (S n ) V of the spectrum of V are disjoint. A measure μ on the clopen subsets is called locally σ -additive if for each locally disjoint family of clopen subobjects S n we have μ( S n )(V ) = μ(S n )(V ). The following is given in [3, Cor. IV.2].

Theorem 3.14 The normal states of a von Neumann algebra N without type I 2 summand correspond to the locally σ -additive measures on the clopen subobjects.
This result is not preserved upon restriction to the BSub(N ) * setting because the spectrum of a finite Boolean algebra is finite, so the local σ -additivity condition reduces the usual finite additivity of a measure of Definition 2.3. However, the nature of this local σadditivity condition is different than other conditions such as those in Definition 2.3, and throughout the rest of the topos program, since it refers to the existence of a context V at which some property holds, not to a property held at all contexts. If desired, it would likely be possible to capture normal measures in the context of BSub(N ) * via a different type of unorthodox condition based on the fact [19, Prop. 2.10] that joins of projections can be captured from the poset structure BSub(N ) * . It is unclear how either of these approaches to normal measures relates to the program of formulating quantum theory within a topos.

Automorphisms
There is a considerable amount of literature on the topics of automorphisms and group representations in the topos approach. We will not review it all, but merely discuss some basics, referring to the literature for background [11]. Because a poset category is Cauchy complete, each essential geometric morphism arises from an order-automorphism γ of V(N ), with the action of the inverse image functor * on the spectral presheaf given by * ( ) V = γ (V ) [11, p7]. Furthermore, since V is the spectrum of V , and this determines V on the nose (and not just up to isomorphism), there is a bijection between such geometric morphisms and order automorphisms γ of V(N ).
If N has no type I 2 summand, then by [7] each order-automorphism γ of V(N ) arises from a unique Jordan * -automorphism φ of N as the image map, that is, with γ (V ) given as the image of V under φ. Suppose that is an essential geometric morphism induced by the order-automorphism γ of V(N ), and suppose that γ is in turn induced by the Jordan *automorphism φ of N . Each V ∈ V(N ) is commutative, so its Jordan product is its ordinary product. Therefore the restriction φ|V : V → φ(V ) is a von Neumann isomorphism, hence its Gelfand transform G(φ|V ): γ (V ) → V is a homeomorphism between their spectra. This gives a natural isomorphism we call τ γ : * ( ) → , and the pair ( , τ γ ) is an automorphism of [11, p8]. Most importantly, the following result (with different proof) can be extracted [11,Corollary 5.15,Proposition 5.19].

Theorem 4.2
Let N be a von Neumann algebra without type I 2 summand, and let γ be an order-automorphism of V(N ) with associated essential geometric morphism . The natural isomorphism τ γ is the unique one for which ( , τ γ ) is an automorphism of .
it suffices to show that for the identity essential geometric morphism there is exactly one natural isomorphism τ : → each component of which is a homeomorphism. Clearly, the identical natural isomorphism is one such isomorphism, we must show it is the only one.
We It suffices to show that if ν : I → I is a natural isomorphism with each component ν B an automorphism of B, then ν is the identity. For this, let p be a projection of N , generating the Boolean algebra B p = {0, p, 1 − p, 1}. Since ν B p is an automorphism of B p it maps p to either itself or 1 − p. Since N has no type I 2 -factor, there is an 8-element Boolean algebra C containing B p . In C one of p and 1 − p is an atom, and the other a coatom. So the automorphism ν C cannot map p to 1 − p, and since ν C extends ν B p also ν B p must map p to itself, and so equal the identity. By naturality of ν thus ν B (p) = p for any Boolean algebra B that contains p. It follows that ν B is the identity for each B. Proof The above discussion and theorem shows that each order-automorphism γ of V(N ) gives rise to a unique element ( , τ γ ) of Aut( ). That this bijective correspondence is contravariantly compatible with the group operations is not difficult to see. Note that the contravariance is a consequence of the arbitrary choice of multiplication of Aut( ) and would be covariance if the opposite choice had been made in [7].  We make use of results of [17]. We will use P for the poset of elements of BSub(N ) of height at most three (this was called BSub(N ) * in [17]). Atoms of P are called points, the elements of height two lines, the elements of height three planes, and the poset P is the hypergraph G(P(N )) associated to the orthomodular lattice P(N ). Since P(N ) is an orthomodular lattice, and hence an orthomodular poset, P can be constructed from its elements BSub(N ) * of height at most two as follows [17,Thm. 6.8]. For each downset of BSub(N ) that is isomorphic to the elements of height at most two in the lattice of subalgebras of a 16-element Boolean algebra, insert an element of height three above all the elements in this downset. In the language of [17], every configuration that looks like a plane is a plane. It follows that the automorphism φ of BSub(N ) * extends to an automorphismφ of P .
Recall the notions of a tall and short orthodomain [17,Definition 5.13]. Since each element of P has height at most three, P is a short orthodomain, and it follows from [17, Proposition 5.14] that BSub(N ) is a tall orthodomain. For each x in BSub(N ), it follows from [17, Definitions 5.1 and 5.9] that the set ↓x ∩ P is a Boolean shadow. By definition of a tall orthodomain, there is a bijective correspondence between elements x of BSub(N ) and Boolean shadows S of P where the element x corresponds to the Boolean shadow ↓x ∩ P and the Boolean shadow S ⊆ P corresponds to its join S in BSub(N ). Since automorphisms of P take Boolean shadows to Boolean shadows,φ can be extended to an automorphism γ of BSub(N ) by setting γ ( S) = γ (S) for each Boolean shadow S. Clearly the restriction of γ to BSub(N ) * is φ.
Write Aut(P(N )) for the automorphism group of the orthomodular lattice P(N ), and Aut Jordan (N ) for the group of automorphisms of N with its Jordan product, and Aut(N part ) for the group of automorphisms of N with its partial structure [11,Definitions 4.3 and 4.5].

Corollary 4.6
If N is not isomorphic to C 2 and has no type I 2 -summand, then all of the groups Aut(V(N )), Aut(V(N ) * ), Aut(P(N )), Aut Jordan (N ) and Aut(N part ) are isomorphic, and they are contravariantly isomorphic to the groups Aut( ) and Aut( * ). Furthermore, there is an embedding of the automorphism group Aut(N ) of N into each of the first four groups, and a contravariant embedding of it into the latter two.
In the process of considering further the use of automorphisms in the treatment of flows in [12], we had trouble with the embedding of the automorphism group of the spectral presheaf into the automorphism group of the Heyting algebra of clopen subobjects of the spectral presheaf [7,Proposition 4.3]. The indicated formula, described also in equation (38) does give a homomorphism between the automorphism groups, but injectivity is not shown, and it seems that it maps each automorphism to the identity automorphism of the Heyting algebra of clopen subobjects. Of course, this would be the same also over the poset V(N ) * , which is our point.

Concluding Remarks
We have shown that many of the core results in the topos approach over V(N ) are retained upon restriction to a topos over the simpler poset V(N ) * . Further, aspects of the topos approach simplify considerably in the V(N ) * setting. It is not clear what is gained in the more general setting that is not gained in the simpler one, or if the topos over the simpler object is sufficient.
The toposes in the two settings are different. That the difference is not felt by restriction comes from the following fact. Many results of the topos approach involve embedding of physical notions such as projections into a certain collection of presheaves, and generally these embeddings are not onto. The role of the presheafs that do not come from their actual counterparts is not clear, and this applies in both settings. The two settings will have different supplies of these unfelt presheaves (perhaps the V(N ) setting has more, we do not know), but the importance of this is not clear.
The logic of the toposes in the two settings differs too. It is known [24,Sec. 3.1] that the Heyting algebra of downsets of a poset P has height: • 0 precisely when it satisfies the formula ϕ 0 given by ((y → x) → y) → y; • at most 1 precisely when it satisfies the formula ϕ 1 given by ((z → ϕ 0 ) → z) → z; • at most 2 precisely when it satisfies the formula ϕ 2 given by ((w → ϕ 1 ) → w) → w.
The poset V(N ) is of infinite height if and only if N is infinite-dimensional, so its downsets will not satisfy any of these conditions. But V(N ) * always has height at most 2, so satisfies the third condition. This is reflected in the equational properties of the logic of the topos. The connection between these laws of intuitionistic logic that separate the toposes over V(N ) and over V(N ) * and properties of the quantum mechanical system represented by N is not apparent.
Finally, the topos approach of Heunen, Landsman and Spitters [21] more generally considers a C*-algebra N instead of a von Neumann algebra, and the poset C(N ) of all commutative C*-subalgebras instead of V(N ). In general C(N ) and V(N ) are very different, because a von Neumann algebra N can have more abelian C*-subalgebras than abelian von Neumann subalgebras. But C(N ) * equals V(N ) * because all elements of C(N ) * are finite-dimensional and hence von Neumann algebras themselves. Therefore one might consider the topos based on C(N ) * for arbitrary C*-algebras N . However, it is hard to compare this to the topos based on C(N ), because unlike for von Neumann algebras N , a C*algebras N may not have many projections, and all techniques based on Boolean algebras that we used cannot be applied.
In conclusion, consideration of the topos over V(N ) * rather than V(N ) raises a number of specific questions about the topos approach that may lead to a better understanding of it. If it turns out that the topos over V(N ) * is sufficient, this may allow considerable simplification of aspects of the topos approach, and also open the door to the geometrical techniques to treat the posets V(N ) * and the morphisms between them as described in [17,19].
We thank the referee for carefully reading the manuscript, pointing out corrections, and places for clarification.