Related papers: Superselection Theory for Subsystems
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…
Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of…
We introduce a cohomological invariant arising from a class in nonabelian cohomology. This invariant generalizes the Dixmier-Douady class and encodes the obstruction to a C*-algebra bundle being the fixed-point algebra of a gauge action. As…
Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the…
We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…
We establish the existence of fixed points for certain gauge theories candidate to be magnetic duals of QCD with one adjoint Weyl fermion. In the perturbative regime of the magnetic theory the existence of a very large number of fixed…
Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
The spectrum of a tensor-triangulated category carries a compact Hausdorff topology, called the constructible topology, also known as the patch topology. We prove that patch-dense subsets detect tt-ideals and we prove that any infinite…
The asymptotic (non)equivalence of canonical and microcanonical ensembles, describing systems with soft and hard constraints respectively, is a central concept in statistical physics. Traditionally, the breakdown of ensemble equivalence…
A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…
A new technique is proposed to classify a topological field in abelian lattice gauge theories. We perform the classification by regarding the topological field as a local composite field of the gauge field tensor instead of the vector…
The omega limit sets plays a fundamental role to construct global attractors for topological semi-dynamical systems with continuous time or discrete time. Therefore, it is important to know when omega limit sets become nonempty compact…
The compactification from the eleven-dimensional Ho\v{r}ava-Witten orbifold to five-dimensional heterotic M-theory on a Schoen Calabi-Yau threefold is reviewed, as is the specific $SU(4)$ vector bundle leading to the "heterotic standard…
Building on work by Kasparov, we study the notion of Spanier-Whitehead K-duality for a discrete group. It is defined as duality in the KK-category between two C*-algebras which are naturally attached to the group, namely the reduced group…
We consider a net of *-algebras, locally around any point of observation, equipped with a natural partial order related to the isotony property. Assuming the underlying manifold of the net to be a differentiable, this net shall be…
A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental…
We investigate a new property of nets of local algebras over 4-dimensional globally hyperbolic spacetimes, called punctured Haag duality. This property consists in the usual Haag duality for the restriction of the net to the causal…
We characterize and construct linearly ordered sets, abelian groups and fields that are {\emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…