Related papers: Affine models for Noetherian schemes

By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…

We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…

The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian Down-Up algebras. We will show that the Noetherian Down-Up algebras A(\alpha,\beta,\gamma) which are fully bounded are…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

We construct affine algebras with an arbitrary amount of simple modules of each dimension.

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof…

Given two schemes $S$ and $S'$, we prove that every equivalence between $\mathbf{Sch}_S$ and $\mathbf{Sch}_{S'}$ comes from a unique isomorphism between $S$ and $S'$. This eliminates all Noetherian and finite type hypotheses from a result…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

Let $k$ be a field, $f:X\rightarrow S$ a proper morphism between connected schemes proper over $k$, $x\in X(k)$ lying over $s\in S(k)$, $X_s$ the fibre of $f$ over $s$, $\mathcal{C}_X$, $\mathcal{C}_{S}$, $\mathcal{C}_{X_s}$ Tannakian…

Profinite etale cobordism is a cohomology theory for smooth schemes of finite type over a field. Using an idea of Friedlander, it is constructed as an etale topological analog of the algebraic cobordism theories of Voevodsky and…

Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…

It is proved a theorem providing necessary and sufficient conditions enabling one to map a nonlinear system of first order partial differential equations, polynomial in the derivatives, to an equivalent autonomous first order system…

In this paper, we revisit the old problem of compact finite difference approximations of the homogeneous Dirichlet problem in dimension 1. We design a large and natural set of schemes of arbitrary high order, and we equip this set with an…

We classify complex compact parallelizable manifolds which admit flat torsion free holomorphic affine connections. We exhibit complex compact manifolds admitting holomorphic affine connections, but no flat torsion free holomorphic affine…

Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $G$ be an affine group scheme over $k$. We classify the indecomposable exact module categories over the rigid tensor category $\text{Coh}_f(G)$ of coherent sheaves of…

Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an…

We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…

We consider affine buildings with refined chamber structure. For each vertex in the refined chamber structure we construct a contraction, based at the vertex, that is used to prove exactness of Schneider-Stuhler resolutions of arbitrary…

A first-order theory is Noetherian with respect to the collection of formulae $\mathcal{F}$ if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}$ and the topology whose subbasis of closed sets is the…