Related papers: A Foundation for Synthetic Algebraic Geometry
In this paper, we introduce Indigenous semirings and show that they are examples of information algebras. We also attribute a graph to them and discuss their diameters, girths, and clique numbers. On the other hand, we prove that the…
The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We study analytic Zariski structures from the point of view of non-elementary model theory. We show how to associate an abstract elementary class with a one-dimensional analytic Zariski structure and prove that the class is stable,…
The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…
We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.
We consider properties and applications of a new topology, called the Zariski topology, on the space ${\rm SStar}(A)$ of all the semistar operations on an integral domain $A$. We prove that the set of all overrings of $A$, endowed with the…
The polytopic definition introduced recently describing the topology of manifolds is used to formulate a generating function pertinent to its topological properties. In particular, a polynomial in terms of one variable and a tori underlying…
For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…
This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of…
In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that…
A family of fractal arrangements of circles is introduced for each imaginary quadratic field $K$. Collectively, these arrangements contain (up to an affine transformation) every set of circles in the extended complex plane with integral…
Let R be an associative ring with identity. We study an elementary generalization of the classical Zariski topology, applied to the set of isomorphism classes of simple left R-modules (or, more generally, simple objects in a complete…
Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…
In this paper we introduce and investigate top (bi)comodules} of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that…
We study the critical points of monomial functions over an algebraic subset of the probability simplex. The number of critical points on the Zariski closure is a topological invariant of that embedded projective variety, known as its…
Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of $\varphi$- or $K$-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a…
In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a…