Related papers: A note on a sheaf of real regular functions
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
For a scheme $X$ whose $\mathbb F_q$-rational points are counted by a polynomial $N(q)=\sum a_iq^i$, the $\mathbb{F}_1$-zeta function is defined as $\zeta(s)=\prod(s-i)^{-a_i}$. Define $\chi=N(1)$. In this paper we show that if $X$ is a…
We ask whether every polynomial function that is non-negative on a real algebraic curve can be expressed as a sum of squares in the coordinate ring. Scheiderer has classified all irreducible curves for which this is the case. For reducible…
In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…
We introduce and study a subring $\mathcal{SC}$ of $\mathbb Z[\mathrm{SL}\_2(\mathbb F\_q)]$ obtained by summing elements of $\mathrm{SL}\_2(\mathbb F\_q)$ according to their support. The ring $\mathcal SC$ can be used for the construction…
A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…
In this paper which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…
In this short note, we give a characterization of domains satisfying Serre's condition $(\mathrm{R}_1)$ in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa,…
We consider the sum of squares function in the ring $\mathbb{Z}_{n}$. We determine formulae in a number of cases when $n$ is a power of a prime.
In this paper, we give some categorical description of the general spectrum functor, defining it as an adjoint of a global section functor. The general spectrum functor includes that of $F_1$ and of semirings.
A module is said to be \textsf{distributive} if the lattice of its submodules is distributive. A direct sum of distributive modules is called a \textsf{semidistributive} module. In this paper we consider rings $A$ such that all right…
The Fundamental Theorem of Algebra can be thought of as a statement about the real numbers as a space, considered as an algebraic set over the real numbers as a field. This paper introduces what it means for an algebraic set or affine…
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove…
We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…
We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1)…
We determine a class of ringed space X, for which the category of locally free sheaves of bounded rank is equivalent to the category of finitely generated projective A(X)-modules, where A(X) denote the ring of global sections of X. The…
We associate to any ring $R$ with identity a partially ordered set Hom$(R)$, whose elements are all pairs $(\mathfrak a,M)$, where $\mathfrak a=\ker\varphi$ and $M=\varphi^{-1}(U(S))$ for some ring morphism $\varphi$ of $R$ into an…
In this work, the set of quasi-primary ideals of a commutative ring with identity is equipped with a topology and is called quasi-primary spectrum. Some topological properties of this space are examined. Further, a sheaf of rings on the…
This note studies the structure of the divisorial fixed part of the dualizing sheaf of a 1-connected curve D on a smooth surface S. It is shown that if the divisorial fixed part F of the dualizing sheaf is non empty then it has arithmetic…
The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference,…