Related papers: Schemes over $F_1$
This paper introduces a new numerical scheme for a system that includes evolution equations describing a perfect plasticity model with a time-dependent yield surface. We demonstrate that the solution to the proposed scheme is stable under…
We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define…
We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and…
We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any…
Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective…
Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has…
Fra\"iss\'e's conjecture (proved by Laver) is implied by the $\Pi^1_1$-comprehension axiom of reverse mathematics, as shown by Montalb\'an. The implication must be strict for reasons of quantifier complexity, but it seems that no better…
We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\mathcal{O}_X \cong R^ig_{*} \mathcal{O}_Y$ and $R^i…
In this paper we characterize the approximation schemes that satisfy Shapiro's theorem and we use this result for several classical approximation processes. In particular, we study approximation of operators by finite rank operators and…
We analyse a supersymmetric mechanical model derived from (1+1)-dimensional field theory with Yukawa interaction, assuming that all physical variables take their values in a Grassmann algebra B. Utilizing the symmetries of the model we…
In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
We consider overlap splines that are defined by connecting the patches of piecewise functions via common values at given finite sets of nodes, without using any partitions of the computational domain. It is shown that some classical finite…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
In this paper, we study how close the terms of a finite arithmetic progression can get to a perfect square. The answer depends on the initial term, the common difference and the number of terms in the arithmetic progression.
We introduce a class of association schemes that generalizes the Hamming scheme. We derive generating functions for their eigenvalues, and use these to obtain a version of MacWilliams theorem.
We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…
We define smooth notions of concordance and sliceness for spatial graphs. We prove that sliceness of a spatial graph is equivalent to a condition on a set of linking numbers together with sliceness of a link associated to the graph. This…
We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein…
We introduce a novel class of finite difference approximations, termed zigzag schemes, that employ a hybrid stencil that is neither symmetrical, nor fully one-sided. These zigzag schemes often enjoy more permissive stability constraints and…