Set theoretical forcing in quantum mechanics and AdS / CFT correspondence

We show unexpected connection of Set Theoretical Forcing with Quantum Mechanical lattice of projections over some separable Hilbert space. The basic ingredient of the construction is the rule of indistinguishability of Standard and some Nonstandard models of Peano Arithmetic. The ingeneric reals introduced by M. Ozawa will correspond to simultaneous measurement of incompatible observables. We also discuss some results concerning model theoretical analysis of Small Exotic Smooth Structures on topological 4-space. Forcing appears rather naturally in this context and the rule of indistinguishability is crucial again. As an unexpected application we are able to approach Maldacena Conjecture on

AdS/CFT

correspondence in the case of AdS_5xS^5 and Super YM Conformal Field Theory in 4 dimensions. We conjecture that there is possibility of breaking Supersymetry via sources of gravity generated in 4 dimensions by exotic smooth structures on R^4 emerging in this context.

Note:

16 pages, 1 eps figure, LaTeX 2e. Presented at QCS02 held in Ustron, Poland on September 2002, to appear in Int. J. of Theor. Phys

talk: Ustron 2002/09/03
quantum mechanics
space-time: anti-de Sitter
field theory: conformal
gauge field theory: Yang-Mills
supersymmetry: symmetry breaking
Hilbert space
operator: algebra
mathematical methods
Boolean Models of ZFC

References(44)

Figures(1)

[1]

oegh-Krohn Lindstr6 om T. . Nonstandard Methods in Stochastic analysis and mathematical Physics

Albeverio S.
,
Fenstad J. E.
,
R. H6

[2]

Generation of source terms in general relativity by differential structures

T. Asselmeyer
(
- Humboldt U., Berlin
)

- Class.Quant.Grav. 14 (1997) 749-758
•
e-Print:
- gr-qc/9610009
•
DOI:
- 10.1088/0264-9381/14/3/016

[3]

Orthologic, Forcing, and the Manifestation of Attributes Suthest Asian Conference on Logic

C.T. Chong
,
M.J. Wicks

[4]

Boolean-Valued Models and Independence Proofs in Set theory, 2nd ed. Oxford University Press, Oxford

Bell J. L.

[5]

Orthospaces and Quantum Logic, Foundations of Physics 15, no 12, 1179-1202

Bell J. L.

[6]

Benioff P.

•
e-Print:
- quant-ph/0103078

[7]

Bi˘zaca ˘Z

Gompf R.

- J.Diff.Geom. 43 (1996) 458-504

[8]

End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering

Blass A.

- Trans.Am.Math.Soc. 225 (1977) 325-340

[9]

Exotic smoothness and physics

Carl H. Brans
(
- Loyola U., New Orleans
)

- J.Math.Phys. 35 (1994) 5494-5506
•
e-Print:
- gr-qc/9405010
•
DOI:
- 10.1063/1.530761

[10]

Set Theory and the Continuum Hypothesis

Cohen P. J.

[11]

Dalla

Chiara M.
,
Giuntini R.

[12]

A Physical Quantum

Fearins J. D.

•
e-Print:
- quant-ph/0202079

[13]

The Topology of Four-Dimensional Manifolds

Freedman M. H

- J.Diff.Geom. 17 (1982) 357-453

[14]

An Introduction to 4-Manifolds and Kirby Calculus, American Mathematical Society, Rhode Island

Gompf R. E.
,
Stipsicz A. I.

[15]

(, 2001)

Guts A.
,
Zvyagitser A.

•
e-Print:
- physics/9909016

[15]

Interpretation of intuitionistic solution of the vacuum Einstein equations in smooth topos

e-Print:
- gr-qc/0001076

[16]

A Topos perspective on the Kochen-Specker theorem. 2. Conceptual aspects, and classical analogs

C.J. Isham
(
- Imperial Coll., London
)
,
J. Butterfield
(
- Oxford U.
)

- Int.J.Theor.Phys. 38 (1999) 827-859
•
e-Print:
- quant-ph/9808067
•
DOI:
- 10.1023/A:1026652817988

[17]

Set Theory

Jech T.

[18]

Abstract Theory of Abelian Operator Algebras: An Application of Forcing, Transactions of the American Mathematical Society 289, no 1, 133-162

Jech T.

[19]

Topos Theory

Johnstone P. T.

[20]

Nonstandard Natural Number System and Nonstandard Models

Kamo V.

- J.Symbolic Logic 46 (1981) 365-376

[21]

Model Theory, 3rd ed

Keisler H. J.
,
Chang C. C.

[22]

The Topology of 4-manifolds, Lectures Notes in Mathematics 1374

Kirby R. C.

[23]

Journal of Mathematics and Mechanics 17 No 1

Kochen S.
,
Specker V.

[24]

Synthetic differential geometry

Kock A.

1-25 of 44
1
2
25 / page