Related papers: Tame pseudofinite theories with wild pseudofinite …
We discuss some consequences of the fact that symmetry groups appearing in compactified (super-)gravity may be non-simply connected. The possibility to add fermions to a theory results in a simple criterion to decide whether a 3-dimensional…
We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple…
This is a further explanation of a new and simple renormalization approach recently proposed by the author (hep-th/9708104, Ref. [1], that is somewhat sketchy) for any ordinary QFT (whether renormalizable or not) in any spacetime dimension.…
We construct supergravity backgrounds representing non-homogeneous compactifications of d=10,11 supergravities to four dimensions, which cannot be written as a direct product. The geometries are regular and approach $AdS_7\times S^4$ or…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
We combine two notions in AECs, tameness and good $\lambda$-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and…
Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an…
I point out that standard two dimensional, asymptotically free, non-linear sigma models, supplemented with terms giving a mass to the would-be Goldstone bosons, share many properties with four dimensional supersymmetric gauge theories, and…
Hidden symmetries are the backbone of Integrable two-dimensional theories. They provide classical solutions of higher dimensional models as well, they seem to survive partially quantisation and their discrete remnants in M-theory called…
We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…
Assuming a certain form of resolution of singularities, we prove a general existential Ax-Kochen/Ershov principle for tamely ramified fields in all characteristics. This specializes to well-known results in residue characteristic $0$ and…
Much insight into the dynamics of quantum field theories can be gained by studying the relationship between field theories in different dimensions. An interesting observation is that when two theories are related by dimensional reduction on…
Every mathematical structure has an elementary extension to a pseudo-countable structure, one that is seen as countable inside a suitable class model of set theory, even though it may actually be uncountable. This observation, proved easily…
In this paper we show that an instance of dividing in pseudofinite structures can be witnessed by a drop of the pseudofinite dimension. As an application of this result we give new proofs of known results for asymptotic classes of finite…
We investigate warped compactification with an abelian gauge theory in six dimensions. The vanishing cosmological constant in four dimensions can generically be realized with a regular metric even in a 3-brane background without fine tuning…
We provide various counter-examples to the long-standing so-called "Omnibus Conjecture" in Rational Homotopy Theory. That is, we show that a space with finite dimensional even-degree rational cohomology and finite dimensional spherical…
Supersymmetry is a prominent candidate for physics beyond the standard model. In order to compute the spectrum of supersymmetric theories, we employ nonperturbative lattice QFT techniques which due to the discretisation of spacetime violate…
We give a potential theoretic characterization for compactness of the dbar-Neumann problem on smooth bounded pseudoconvex domains in C^n.
We show that being finitely presentable and being finitely presentable with solvable word problem are quasi-isometry invariants of finitely generated left cancellative monoids. Our main tool is an elementary, but useful, geometric…
Orbifold compactifications with continuous Wilson lines have very interesting characteristics and as a consequence they are candidates to obtain realistic models. We perform an analysis of the soft supersymmetry-breaking terms arising in…