Related papers: New Sigma^1_3 facts

The core of a finite-dimensional modular representation $M$ of a finite group $G$ is its largest non-projective summand. We prove that the dimensions of the cores of $M^{\otimes n}$ have algebraic Hilbert series when $M$ is Omega-algebraic,…

As is well known, one can arrange the parameters of the O(N) non-linear sigma model to reproduce the low energy S-matrix elements of the renormalizable O(N) linear sigma model. In this note we provide details which are necessary in order to…

We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…

In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…

Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda =…

We study the superspace formulation of the noncommutative nonlinear supersymmetric O(N) invariant sigma-model in 2+1 dimensions. We prove that the model is renormalizable to all orders of 1/N and explicitly verify that the model is…

In the nonlinear O(N) sigma model at N=3 unexpected cutoff effects have been found before with standard discretizations and lattice spacings. Here the situation is analyzed further employing additional data for the step scaling function of…

The $U_L(3)\times U_R(3)$ Linear Sigma Model (LSM) with quark degrees of freedom is used to show that radiative corrections generate undetermined finite contributions. Their origin is related to surface terms which are differences between…

We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…

It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…

In the context of integrable field theory with boundary, the integrable non-linear sigma models in two dimensions, for example, the $O(N)$, the principal chiral, the ${\rm CP}^{N-1}$ and the complex Grassmannian sigma models are discussed…

We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…

We introduce a class of $2d$ sigma models which are parameterized by a function of one variable. In addition to the physical field $g$, these models include an auxiliary field $v_\alpha$ which mediates interactions in a prescribed way. We…

Let $\Omega\subset\mathbb{R}^N$, $N\geq 1$, be an open bounded connected set. We consider the indefinite weighted eigenvalue problem $-\Delta u =\lambda m u$ in $\Omega$ with $\lambda \in \mathbb{R}$, $m\in L^\infty(\Omega)$ and with…

We study the general structure of Smirnov's axioms on form factors of local operators in integrable models. We find various consistency conditions that the form factor functions have to satisfy. For the special case of the $O(3)$…

Let K be the family of graphs on omega_1 without cliques or independent subsets of size omega_1 . We prove that: 1) it is consistent with CH that every G in K has 2^{omega_1} many pairwise non-isomorphic subgraphs, 2) the following…

Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and \chi be a multiplicative character of G. Let \Omega^\chi be the R-module of \chi-invariant…

Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that…

We consider model-theoretic properties related to the expressive power of three analogues of $L_{\omega_1, \omega}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the…

We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the complexity of the statement "(omega,E)$ is isomorphic to a…