相关论文: New Sigma^1_3 facts

We study the canonical structure of the $SU(N)$ non-linear Sigma-model in a polynomial, first-order representation. The fundamental variables in this description are a non-Abelian vector field L_mu and a non-Abelian antisymmetric tensor…

The following problem has been known since the 80's. Let $\Gamma$ be an Abelian group of order $m$ (denoted $|\Gamma|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when…

Let $\Gamma$ denote a distance-regular graph with classical parameters $(D, b, \alpha, \beta)$ and $D\geq 3$. Assume the intersection numbers $a_1=0$ and $a_2\not=0$. We show $\Gamma$ is 3-bounded in the sense of the article [D-bounded…

We study sufficient conditions under which a nowhere scattered C*-algebra $A$ has a nowhere scattered multiplier algebra $\mathcal{M}(A)$, that is, we study when $\mathcal{M}(A)$ has no nonzero, elementary ideal-quotients. In particular, we…

Let $\alpha,\beta \in \mathbb{R}_{>0}$ be such that $\alpha,\beta$ are quadratic and $\mathbb{Q}(\alpha)\neq \mathbb{Q}(\beta)$. Then every subset of $\mathbb{R}^n$ definable in both $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \alpha x)$ and…

We prove that the Smith forms of the powers of an integer square matrix behave in an eventually periodic manner. More precisely, if $\mathrm{SF}(M)$ denotes the Smith form of $M \in \Z^{m \times m}$, then for every $A \in \Z^{m \times m}$…

The SU(3) modular invariant partition functions were first completely classified in Ref.\ \SU. The purpose of these notes is four-fold: \item{(i)} Here we accomplish the SU(3) classification using only the most basic facts: modular…

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given…

We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the…

We construct the general O(N)-symmetric non-linear sigma model in 2+1 spacetime dimensions at the Lifshitz point with dynamical critical exponent z=2. For a particular choice of the free parameters, the model is asymptotically free with the…

We study the interplay between a particular marginal deformation of ${\cal N}=4$ super Yang-Mills theory, the $\beta$ deformation, and integrability in the holographic setting. Using modern methods of analytic non-integrability of…

We show using a proof of the Global Square property in Core Models below a measurable of Mitchell order o(kappa)=kappa^++ (a result originally due to Jensen & Zeman) that Foreman and Magidor's Mutual Stationarity property MS(Aleph_n…

We explore the O(N)-invariant Non-Linear Sigma Model (NLSM) in a different perturbative regime from the usual relativistic-free-field one, by using non-canonical basic commutation relations adapted to the underlying O(N) symmetry of the…

We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be…

We present a variety of refined conditions for $\sigma$ algebras $\mathcal{A}$ (on a set $X$), $\mathcal{F}, \mathcal{G}$ (on a set $U$) such that the distributivity equation…

It is argued that transformation processes (generation rules) showing evidence of a long evolutionary history in universal computing systems can be generalized. The explicit function class $ \Omega $ is defined as follows: "Operators whose…

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

We observe that there is an example of an automorphism group of a model of an omega-stable theory---in fact, the prime model of an uncountably-categorical theory---that is not locally (OB), answering a question of C. Rosendal.