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

We construct a class of quantum field theories depending on the data of a holomorphic Poisson structure on a piece of the underlying spacetime. The main technical tool relies on a characterization of deformations and anomalies of such…

Given subsets $\mathcal{C},\mathcal{F}$ of a preorder $\mathcal{A}$, we give necessary and sufficient conditions for $\mathcal{A}$ to admit the structure of a model category whose cofibrant objects are $\mathcal{C}$ and whose fibrant…

Let $A$ be the path algebra of a Dynkin quiver $Q$ over a finite field, and $\mathscr{P}$ be the category of projective $A$-modules. Denote by $C^1(\mathscr{P})$ the category of 1-cyclic complexes over $\mathscr{P}$, and…

In this note, a general result for determining the rational hulls of fibered sets in $\mathbb{C}^2$ is established. We use this to compute the rational hull of Rudin's Klein bottle, the first explicit example of a totally real nonorientable…

In this paper, we present full models for some Paraconsistent Set Theories (PSTs). These models are built over Fidel semantics where they are specific first-order structures in the sense of Model Theory. These structures are known as…

The classical Rees construction (of common use in commutative algebra and Hodge theory) interpolates between filtrations, viewed as ${\mathbb G}_m$-equivariant vector bundles on the affine line, and their associated gradings. Various…

In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring…

We show that in $L(\mathbb{R})$, assuming large cardinals, $\mathsf{HOD} {\parallel}\eta^{+\mathsf{HOD}}$ is locally definable from $\mathsf{HOD} {\parallel}\eta$ for all $\mathsf{HOD}$-cardinals $\eta\in [\boldsymbol{\delta}^2_1,\Theta)$.…

The aim of this article is to give a self-contained account of the algebra and model theory of Cohen rings, a natural generalization of Witt rings. Witt rings are only valuation rings in case the residue field is perfect, and Cohen rings…

We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the…

Based on Ref.[1], we study a composite Z' model which effectively induces the Stueckelberg model in low energy. It turns out that the mass of the composite Z' boson contains the Stueckelberg mass term in sharp contrast to the conventional…

We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture,…

Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Metamath formal system. We define the collection of models of an arbitrary Metamath formal system, both for…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

A. Weil identified a 2-dimensional space of rational classes of Hodge type (n,n) in the middle cohomology of every 2n-dimensional abelian variety with a suitable complex multiplication by an imaginary quadratic number field. These abelian…

Let $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ denote the vector space of $\mathbb{Q}$-valued constructible functions on a given stack $\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A}$ for an…

In a previous work, we have introduced a weakening of Quillen model categories called weak model categories. They still allow all the usual constructions of model category theory, but are easier to construct and are in some sense better…

This work deals with several aspects of the extension to Abelian Higgs models of the deformation method originally developed for scalar field models. We present several examples allowing to transform self-dual solutions of different…

The aim of this short paper is two-fold: (i) to construct a TQ-localization functor on algebras over a spectral operad O, in the case where no connectivity assumptions are made on the O-algebras, and (ii) more generally, to establish the…

In the framework of the Standard Model the mass of the physical Higgs boson is an arbitrary parameter. In this note we examine whether it is possible to determine the ratio of $m_H /M$, where $M$ denotes any other mass in the theory, such…