Related papers: Schemes over $F_1$
We extend the criterion of Kawatani and Okawa for indecomposability of the derived category of a smooth projective variety to arbitrary schemes. For relative schemes, we also give a criterion for the nonexistence of semiorthogonal…
Proof schemata are infinite sequences of proofs which are defined inductively. In this paper we present a general framework for schemata of terms, formulas and unifiers and define a resolution calculus for schemata of quantifier-free…
We show the equivalence between Deitmar's and Toen-Vaquie's notions of schemes over F_1 (the 'field with one element'), establishing a symmetry with the classical case of schemes, seen either as spaces with a structure sheaf, or functors of…
Kobayashi-Ochiai's theorem says us that the set of dominant rational maps to a complex variety of general type is finite. In this paper, we give a generalization of it in the category of log schemes.
In algebraic geometry there is a well-known categorical equivalence between the category of normal proper integral curves over a field $k$ and the category of finitely generated field extensions of $k$ of transcendence degree $1$. In this…
A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…
The paper aims to establish a convenient formal framework for investigating the phenomenon of scheme definiteness, exemplified by first-order internal categoricity as studied by V\"a\"an\"anen, among others. To this end, we introduce the…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.
We study finite $0$-dimensional schemes in product of multiprojective spaces and their ideals. In particular, we describe the set of generators of the ideal defining a $0$-dimensional scheme in the case $\mathbb P^{1}\times\cdots…
Recently Fukasawa, Homma and Kim introduced and studied certain projective singular curves over $\mathbb {F}_q$ with many extremal properties. Here we extend their definition to more general non-rational curves.
Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have…
We introduce a family of mathematical objects called $\mathcal{P}$-schemes, where $\mathcal{P}$ is a poset of subgroups of a finite group $G$. A $\mathcal{P}$-scheme is a collection of partitions of the right coset spaces $H\backslash G$,…
We make a generalization of a self-consistent first-order perturbation scheme, being suitable for all (sub-horizon and super-horizon) scales, which has been recently constructed for the concordance cosmological model and discrete…
Given a separated scheme $X$ of finite type over a finite field, its higher Chow groups $CH_{-1}(X, 1)$ and $CH_{-2}(X, 3)$ are computed explicitly.
We review Deitmar's theory of monoidal schemes to start with, and have a detailed look at the standard examples. It is explained how one can combinatorially study such schemes through a generalization of graph theory. In a more general…
Based on the superconvergent approximation at some point (depending on the fractional order $\alpha$, but not belonging to the mesh points) for Gr\"{u}nwald discretization to fractional derivative, we develop a series of high order…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
In a recent paper [3], the authors introduced a map $\mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $\mathbb{F}_1$) with any given graph $\Gamma$. By base extension, a scheme…
This is a chiefly expository paper on the subject of the title which, in our view, has not received a detailed treatment in the literature which is commensurate with its importance. We expect the results presented here to be useful in a…