Related papers: A general theorem on temporal foliation of causal …
On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic. The claim has been proven for different classes of models such as mesh…
We study groups of germs of complex diffeomorphisms having a property called irreducibility. The notion is motivated by the similar property of the fundamental group of the complement of na irreducible hypersurface in the complex projective…
We extend two kinds of causal models, structural equation models and simulation models, to infinite variable spaces. This enables a semantics for conditionals founded on a calculus of intervention, and axiomatization of causal reasoning for…
We argue that in the context of string theory, the usual restriction to globally hyperbolic spacetimes should be considerably relaxed. We exhibit an example of a spacetime which only satisfies the causal condition, and so is arbitrarily…
Let X be an algebraic variety covered by open charts isomorphic to the affine space and q: X' \to X be the universal torsor over X. We prove that the automorphism group of the quasiaffine variety X' acts on X' infinitely transitively. Also…
The causal set approach to quantum gravity is based on the hypothesis that the underlying structure of spacetime is that of a random partial order. We survey some of the interesting mathematics that has arisen in connection with the causal…
We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction…
Generalising a conjecture of Singerman, it is shown that there exist orientably regular chiral hypermaps of every non-spherical type. The proof uses the representation theory of automorphism groups acting on homology and on various spaces…
We prove that automorphic representations whose local components are certain small representations have multiplicity one. The proof is based on the multiplicity-one theorem for certain functionals of small representations, also proved in…
We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…
We prove a theorem that gives a sufficient condition for the full basic automorphism group of a complete Cartan foliation to admit a unique (finite-dimensional) Lie group structure in the category of Cartan foliations. Emphasize that the…
We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order…
We investigate the size of fixed point sets of automorphisms of bounded domains in $\mathbb{C}^n$. In one complex variable, a nontrivial automorphism has at most two fixed points, but in higher dimensions fixed point sets need not be…
For each lattice one can define a free boson theory propagating on the corresponding torus. We give an alternative definition where one employs any automorphism of the group $M^*/M$. This gives a wealth of conformal data, which we realize…
We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.
We investigate the causal structure of spacetimes $(M, g)$ for which the metric $g$ is singular on a set of points.
We fully develop the concept of causal symmetry introduced in Class. Quant. Grav. 20 (2003) L139. A causal symmetry is a transformation of a Lorentzian manifold (V,g) which maps every future-directed vector onto a future-directed vector. We…
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.
In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…
In this paper we consider a claim that in the natural world there is no fact of the matter about the spatio-temporal separation of events. In order to make sense of such a notion and construct useful models of the world, it is proposed to…