Related papers: On the methods to construct UFD counterexamples to…
We provide a lightning review of the construction of (generalised) orbifolds [arXiv:0909.5013, arXiv:1210.6363] of two-dimensional quantum field theories in terms of topological defects, along the lines of [arXiv:1307.3141]. This universal…
We propose examples, which involve orbifolds by elements of the U-duality group, with M-theory moduli fixed at the eleven-dimensional Planck scale. We begin by reviewing asymmetric orbifold constructions in perturbative string theory, which…
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $\Delta_g$ on…
The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations…
The first examples of formations which are arboreous (and therefore Hall) but not freely indexed (and therefore not locally extensible) are found. Likewise, the first examples of solvable formations which are freely indexed and arboreous…
Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…
QED_2 with mass and flavor has in common many features with QCD, and thus is an interesting toy model relevant for four dimensional physics. The model is constructed using Euclidean path integrals and mass perturbation series. The vacuum…
We introduce the notion of Universally Decodable Matrices of Genus g (UDMG), which for g=0 reduces to the notion of Universally Decodable Matrices (UDM) introduced in [8]. A UDMG is a set of L matrices over a finite field, each with K rows,…
It is well known that a rigid motion of the Euclidean plane can be written as the composition of at most three reflections. It is perhaps not so widely known that a similar result holds for Euclidean space in any number of dimensions. The…
The cancellation problem asks whether $A[X_1,X_2,\ldots,X_n] \cong B[Y_1,Y_2,\ldots,Y_n]$ implies $A \cong B$. Hamann introduced the class of steadfast rings as the rings for which a version of the cancellation problem considered by…
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…
An attempt is made at a systematic approach to anomaly matching problem in non-Abelian electric-magnetic duality in N=1 supersymmetric QCD. A strategy we employ is somewhat analogous to anomaly analyses in grand unified models where the…
The classical Ritt's Theorems state several properties of univariate polynomial decomposition. In this paper we present new counterexamples to Ritt's first theorem, which states the equality of length of decomposition chains of a…
Let Q be a finite quiver without oriented cycles. Denote by U --> M the fine moduli space of stable thin sincere representations of Q with respect to the canonical stability notion. We prove Ext^i(U,U) = 0 for all i >0 and compute the…
We compute the one-loop partition function and analyze the conditions for tadpole cancellation in type I theories compactified on tori in the presence of internal oblique magnetic fields. We check open - closed string channel duality and…
We propose and develop an approach to study nilsystems and their proximal extensions using cube structures associated with the universal minimal system. We provide alternative proofs for results regarding saturation properties of factor…
Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…
The authors show, by means of a finitary version square^{fin}_{lambda,D} of the combinatorial principle square^{b^*}_{lambda}, the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all…
Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It…
This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that…