Related papers: The Myhill isomorphism theorem does not generalize…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
We show that Yang-Mills matrix integrals remain convergent when a Myers term is added, and stay in the same topological class as the original model. It is possible to add a supersymmetric Myers term and this leaves the partition function…
We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.
We give a generalization of the theory of $\mathbb{Z}_2$-graded manifolds to a theory of $\mathcal{I}$-graded manifolds, where $\mathcal{I}$ is a commutative semi-ring with some additional properties. We prove Batchelor's theorem in this…
This work is motivated by a paper of Davenport and Schmidt, which treats the question of when Dirichlet's theorems on the rational approximation of one or of two irrationals can be improved and if so, by how much. We consider a…
Supersymmetric states in M-theory are mapped after compactification to perturbatively non-supersymmetric states in type IIA string theory, with the supersymmetric parts being encoded in the non-perturbative section of the string theory. An…
We show that if a countable structure $M$ in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph_0}$ many structures are bi-embeddable with $N$. The proof proceeds by a case…
We propose an extension of the Goncharov-Kenyon class of cluster integrable systems by their Hamiltonian reductions. This extension allows us to fill in the gap in cluster construction of the $q$-difference Painlev\'e equations, showing…
We consider a natural generalization of the Nagell-Ljunggren equation to the case where the qth power of an integer y, for q >= 2, has a base-b representation that consists of a length-l block of digits repeated n times, where n >= 2.…
We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…
Does quantum theory apply at all scales, including that of observers? New light on this fundamental question has recently been shed through a resurgence of interest in the long-standing Wigner's friend paradox. This is a thought experiment…
We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and…
The Choquet - Bishop - de Leeuw theorem states that each element of a compact convex subset of a locally convex topological Hausdorff space is a barycenter of a probability measure supported by the set of extreme points of that set. By the…
It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions…
Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group $G$ from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric…
If $X$ is a quasi-projective variety over a field $k$ and $\phi$ a birational endomorphism of $X$ that is injective outside a closed subset of codimension $\geq 2$, we prove that $\phi$ is an automorphism. This generalizes an old theorem of…
We prove that every bijection preserving triple transition pseudo-probabilities between the sets of minimal tripotents of two atomic JBW$^*$-triples automatically preserves orthogonality in both directions. Consequently, each bijection…
The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via…
We prove a conjecture of J.-C. Novelli, J.-Y. Thibon, and L. K. Williams (2010) about an equivalence of two triples of statistics on permutations. To prove this conjecture, we construct a bijection through different combinatorial objects,…
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…