Noncommutative Gravity and the *-Lie algebra of diffeomorphisms

We construct functions and tensors on noncommutative spacetime by systematically twisting the corresponding commutative structures. The study of the deformed diffeomorphisms (and Poincare) Lie algebra allows to construct a noncomutative theory of gravity.Comment: 12 pages. Presented at the Erice International School of Subnuclear Physics, 44th course, Erice, Sicily, 29.8- 7.9 2006, and at the Second workshop and midterm meeting of the MCRTN ``Constituents, Fundamental Forces and Symmetries of the Universe" Napoli, 9-13.10 200

Strong Normalization for HA + EM1 by Non-Deterministic Choice

We study the strong normalization of a new Curry-Howard correspondence for HA + EM1, constructive Heyting Arithmetic with the excluded middle on Sigma01-formulas. The proof-term language of HA + EM1 consists in the lambda calculus plus an operator ||_a which represents, from the viewpoint of programming, an exception operator with a delimited scope, and from the viewpoint of logic, a restricted version of the excluded middle. We give a strong normalization proof for the system based on a technique of "non-deterministic immersion".Comment: In Proceedings COS 2013, arXiv:1309.092

Proof of a Symmetrized Trace Conjecture for the Abelian Born-Infeld Lagrangian

In this paper we prove a conjecture regarding the form of the Born-Infeld Lagrangian with a U(1)^2n gauge group after the elimination of the auxiliary fields. We show that the Lagrangian can be written as a symmetrized trace of Lorentz invariant bilinears in the field strength. More generally we prove a theorem regarding certain solutions of unilateral matrix equations of arbitrary order. For solutions which have perturbative expansions in the matrix coefficients, the solution and all its positive powers are sums of terms which are symmetrized in all the matrix coefficients and of terms which are commutators.Comment: 9 pages, LaTeX, no figures, theorem generalized and a new method of proof include

Real forms of quantum orthogonal groups, q-Lorentz groups in any dimension

We review known real forms of the quantum orthogonal groups SO_q(N). New *-conjugations are then introduced and we contruct all real forms of quantum orthogonal groups. We thus give an RTT formulation of the *-conjugations on SO_q(N) that is complementary to the U_q(g) *-structure classification of Twietmeyer \cite{Twietmeyer}. In particular we easily find and describe the real forms SO_q(N-1,1) for any value of N. Quantum subspaces of the q-Minkowski space are analized.Comment: Latex, 13 pages. Added ref. [4] and [7] (page 12

Noncommutative gravity at second order via Seiberg-Witten map

We develop a general strategy to express noncommutative actions in terms of commutative ones by using a recently developed geometric generalization of the Seiberg-Witten map (SW map) between noncommutative and commutative fields. We apply this general scheme to the noncommutative vierbein gravity action and provide a SW differential equation for the action itself as well as a recursive solution at all orders in the noncommutativity parameter \theta. We thus express the action at order \theta^n+2 in terms of noncommutative fields of order at most \theta^n+1 and, iterating the procedure, in terms of noncommutative fields of order at most \theta^n. This in particular provides the explicit expression of the action at order \theta^2 in terms of the usual commutative spin connection and vierbein fields. The result is an extended gravity action on commutative spacetime that is manifestly invariant under local Lorentz rotations and general coordinate transformations.Comment: 14 page

Deformation quantization of principal bundles

We outline how Drinfeld twist deformation techniques can be applied to the deformation quantization of principal bundles into noncommutative principal bundles, and more in general to the deformation of Hopf-Galois extensions. First we twist deform the structure group in a quantum group, and this leads to a deformation of the fibers of the principal bundle. Next we twist deform a subgroup of the group of authomorphisms of the principal bundle, and this leads to a noncommutative base space. Considering both deformations we obtain noncommutative principal bundles with noncommutative fiber and base space as well.Comment: 20 pages. Contribution to the volume in memory of Professor Mauro Francaviglia. Based on joint work with Pierre Bieliavsky, Chiara Pagani and Alexander Schenke

Global Seiberg-Witten maps for U(n)-bundles on tori and T-duality

Seiberg-Witten maps are a well-established method to locally construct noncommutative gauge theories starting from commutative gauge theories. We revisit and classify the ambiguities and the freedom in the definition. Geometrically, Seiberg-Witten maps provide a quantization of bundles with connections. We study the case of U(n)-vector bundles on two-dimensional tori, prove the existence of globally defined Seiberg-Witten maps (induced from the plane to the torus) and show their compatibility with Morita equivalence.Comment: 28 pages. Revised version: sharpened in Sec. 4.3 the study of the Seiberg-Witten maps for sections in the adjoint, related to their ordering ambiguities; added sum of connections for tensor product bundles in Sec. 5; improved in Sec. 5.1 the compatibility between Seiberg-Witten map and T-duality transformation

Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic

We present a new syntactical proof that first-order Peano Arithmetic with Skolem axioms is conservative over Peano Arithmetic alone for arithmetical formulas. This result - which shows that the Excluded Middle principle can be used to eliminate Skolem functions - has been previously proved by other techniques, among them the epsilon substitution method and forcing. In our proof, we employ Interactive Realizability, a computational semantics for Peano Arithmetic which extends Kreisel's modified realizability to the classical case.Comment: In Proceedings CL&C 2012, arXiv:1210.289