相关论文: The Bristol Model: an abyss called a Cohen real

In this paper, we study Fontaine-Laffaille, self-dual deformations of a mod p non-semisimple Galois representation of dimension n with its Jordan-Holder factors being three mutually non-isomorphic absolutely irreducible representations. We…

It is proved that the definition of an algebraic set of type ${\sf A}$ (a notion related to the multidimensional Hamburger moment problem) does not depend on the choice of a polynomial describing the algebraic set in question and that an…

We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric…

We use Maeda's Conjecture to prove that the Rankin-Cohen bracket of an eigenform and any modular form is only an eigenform when forced to be because of the dimensions of the underlying spaces. We further determine when the Rankin-Cohen…

In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B is a G-delta-sigma set, then either B is countable or B contains a perfect subset. Second, we…

The relationship between Jordan and Lie coalgebras is established. We prove that from any Jordan coalgebra $\langle A, \Delta\rangle$, it is possible to construct a Lie coalgebra $\langle L(A), \Delta_{L}\rangle$. Moreover, any dual algebra…

We propose a new inferential framework for constructing confidence regions and testing hypotheses in statistical models specified by a system of high dimensional estimating equations. We construct an influence function by projecting the…

The aim of the paper is to first point out that the classical proof of the Freyd-Mitchell Embedding Theorem does not work in CZF; then, to propose an alternative embedding of a small abelian category into the category of sheaves of modules…

In this article we study the structure of residual intersections via constructing a finite complex which is acyclic under some sliding depth conditions on the cycles of the Koszul complex. This complex provides information on an ideal which…

Let $n,$ $m \geq 2$ be integers, and let $R$ be a subring of $\mathbb R$ with field of fractions $F.$ In this article, we generalize the rational angle bisection problem previously proposed by the author to the following problem: which…

Using a modification of the invariant Jensen forcing, we define a model of ZFC, in which, for a given $n\ge3$, there exists a lightface $\varPi^1_n$ set of reals, which is a ${\mathsf E}_0$ equivalence class, hence a countable set, and…

Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. Monoid congruences (and…

Consistent interactions that can be added to a free, Abelian gauge theory comprising a BF model and a finite set of massless real scalar fields are constructed from the deformation of the solution to the master equation based on specific…

We prove super-polynomial lower bounds on the size of propositional proof systems operating with constant-depth algebraic circuits over fields of zero characteristic. Specifically, we show that the subset-sum variant…

The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…

Let F be a p-adic field and n a positive integer. The local Langlands conjecture asserts the existence of a bijection between irreducible admissible representations of GL(n,F) and n-dimensional admissible representations of the Weil-Deligne…

It is known that the Kadison-Singer Problem (KS) and the Paving Conjecture (PC) are equivalent to the Bourgain-Tzafriri Conjecture (BT). Also, it is known that (PC) fails for $2$-paving projections with constant diagonal $1/2$. But the…

We describe in some details an idea of M. Kontsevich how one can try to find a counterexample to the Hodge conjecture using tropical geometry.

As one knows, for every Poisson manifold $M$ there exists a formal noncommutative deformation of the algebra of functions on it; it is determined in a unique way (up to an equivalence relation) by the given Poisson bivector. Let a Lie…

Let R be a discrete valuation ring of unequal characteristic with fraction field K which contains a primitive p^2-th root of unity. Let X be a faithfully flat R-scheme and G be a finite abstract group. Let us consider a G-torsor Y_K\to X_K…