A topological study of contextuality and modality in quantum mechanics

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system.Fil: Domenech, Graciela. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: Freytes Solari, Hector Carlos. Universita degli Studi di Cagliari; Italia. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: de Ronde, Christian. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Vrije Unviversiteit Brussel; Bélgic