Related papers: A P-local Delooping Machine
We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $\Pi^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space…
For any given algebra of local observables in relativistic quantum field theory there exists an associated scaling algebra which permits one to introduce renormalization group transformations and to construct the scaling (short distance)…
Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_\alpha)_{\alpha\in P}$ of subsets of $X\times X$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$…
We present a version of relative locality based on the geometry of twistor space. This can also be thought of as a new kind of deformation of twistor theory based on the construction of a bundle of twistor spaces over momentum space.…
We extend the existing results on surjective isometries of unit spheres in the Tsirelson space $T\left[\frac{1}{2}, S_1\right]$ to the class $T[\theta,S_{\alpha}]$ for any integer $\theta^{-1} \geq 2$ and $1 \leqslant \alpha < \omega_1$,…
When the plane is pie-sliced in $n\leq 4$ parts (with nonempty interior and common vertex at the origin) our main result provides a sufficient condition for any map $L$, that is continuous and piecewise linear relatively to this slicing, to…
We show that the previously proposed local transformations in E theory have a closing algebra if one adopts a simple constraint on the parameters of the transformations that constrains their dependence on the extended spacetime of E theory.…
Suppose a relatively elliptic representation $\rho$ of the fundamental group of the thrice-punctured sphere $S$ is given. We prove that all projective structures on $S$ with holonomy $\rho$ and satisfying a tameness condition at the…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
Let $A$ be a partial *-algebra endowed with a topology $\tau$ that makes it into a locally convex topological vector space $A[\tau]$. Then $A$ is called a topological partial *-algebra if it satisfies a number of conditions, which all…
A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.
We give a survey of the known connections between regularity conditions and amenability conditions in the setting of uniform algebras. For a uniform algebra $A$ we consider the set, $A_{lc}$, of functions in $A$ which are locally constant…
We conjecture that any perverse sheaf on a compact aspherical K\"ahler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the K\"ahler setting. We verify the stronger conjecture when the manifold X…
In this paper, we study local regularity properties of minimizers of nonlocal variational functionals with variable exponents and weak solutions to the corresponding Euler--Lagrange equations. We show that weak solutions are locally bounded…
A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the…
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…
The purpose of this article is to prove that, under suitable constrains on the electrovacuum spacetime $M$, if $\Sigma\subset M$ is an embedded strictly stable minimal two-sphere which locally maximizes the charged Hawking mass, then there…
We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new…
We prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic $p$ which give sufficient conditions for the algebras to be of the form $[R^{(-)}, R^{(-)}] / (Z(R)…