Related papers: Schemes over $F_1$
We introduce a notion of full level structure for the group scheme $\mu_p \times \mu_p$, and show that scheme of full level structures is flat over $\Bbb{Z}$.
We extend the definition of fundamental group scheme to non reduced schemes over any connected Dedekind scheme. Then we compare the fundamental group scheme of an affine scheme with that of its reduced part.
In this paper we aim to characterize association schemes all of whose symmetric fusion schemes have only integral eigenvalues, and classify those obtained from a regular action of a finite group by taking its orbitals.
We study reduction schemes for functions of "many" variables into system of functions in one variable. Our setting includes infinite-dimensions. Following Cybenko-Kolmogorov, the outline for our results is as follows: We present explicit…
We introduce a new class of "filtered" schemes for some first order non-linear Hamilton-Jacobi-Bellman equations. The work follows recent ideas of Froese and Oberman (SIAM J. Numer. Anal., Vol 51, pp.423-444, 2013). The proposed schemes are…
In this paper we discuss different properties of noncommutative schemes over a field. We define a noncommutative scheme as a differential graded category of a special type. We study regularity, smoothness and properness for noncommutative…
In this work we present a new simple but efficient scheme - Subsquares approach - for development of algorithms for enclosing the solution set of overdetermined interval linear systems. We are going to show two algorithms based on this…
Axioms are presented which encapsulate the properties satisfied by categories of games which form the basis of results on full abstraction for PCF and other programming languages, and on full completeness for various logics and type…
In this work we continue the syntactic study of completeness that began with the works of Immerman and Medina. In particular, we take a conjecture raised by Medina in his dissertation that says if a conjunction of a second-order and a…
It turns out that one can read off facts about schemes up to universal homeomorphism from their Galois categories. Here we propose a first modest slate of entries in a dictionary between the geometric features of a perfectly reduced scheme…
We show that sums over graphs such as appear in the theory of Feynman diagrams can be seen as integrals over discrete groupoids. From this point of view, basic combinatorial formulas of the theory of Feynman diagrams can be interpreted as…
We compare three notions of effectiveness on uncountable structures. The first notion is that of a $\real$-computable structure, based on a model of computation proposed by Blum, Shub, and Smale, which uses full-precision real arithmetic.…
The Chern-Fulton class is a generalization of Chern class to the realm of arbitrary embeddable schemes. While Chern-Fulton classes are sensitive to non-reduced scheme structure, they are not sensitive to possible singularities of the…
We describe the closed strata that defines certain Quot schemes as closed subschemes in Grassmannians. The Quot schemes we consider are those parametrizing finite length $n$ quotient sheaves of the free, rank $p$ sheaf on projective…
We extend the theory of fields/distributions developed the paper "A Feigin-Frenkel theorem with n singularities" to a general base scheme. In order to do so we introduce suitable notions of topological sheaves on schemes and study their…
The notion of a spherical space over an arbitrary base scheme is introduced as a generalization of a spherical variety over an algebraically closed field. It is studied how the sphericity condition behaves in families. In particular it is…
This set of notes is based on a lecture I gave at "50 years of Finite Geometry | A conference on the occasion of Jef Thas's 70th birthday," in November 2014. It consists essentially of three parts: in a first part, I introduce some ideas…
In the article we propose a general scheme for solutions of some approximation problems under a rather general setting. We illustrate the application of the proposed scheme by a series of examples, in particular we show that many results in…
In this survey, we describe two different approaches to constructing affine schemes for commutative semirings: one based on prime ideals, and another based on prime kernels (also called subtractive ideals). We then explain how these two…
We generalize the results of Clemens, Ein, and Voisin regarding rational curves and zero cycles on generic projective complete intersections to the logarithmic setup.