Related papers: Finite $0$-dimensional multiprojective schemes and…
To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…
Random sets are used to get a continuous partition of the cardinality of the union of many overlapping sets. The formalism uses M\"obius transforms and adapts Shapley's methodology in cooperative game theory, into the context of set theory.…
We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In…
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…
The quotient bases for zero-dimensional ideals are often of interest in the investigation of multivariate polynomial interpolation, algebraic coding theory, and computational molecular biology, etc. In this paper, we discuss the properties…
Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…
We introduce the notion of universal graphs as a tool for constructing algorithms solving games of infinite duration such as parity games and mean payoff games. In the first part we develop the theory of universal graphs, with two goals:…
The form factors of integrable models in finite volume are studied. We construct the explicite representations for the form factors in terms of determinants.
Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagram semigroups in a general framework and extend our…
The diagonal in a product of projective spaces is cut out by the ideal of 2x2-minors of a matrix of unknowns. The multigraded Hilbert scheme which classifies its degenerations has a unique Borel-fixed ideal. This Hilbert scheme is generally…
When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…
The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core…
We study a class of countably-infinite-dimensional linear programs (CILPs) whose feasible sets are bounded subsets of appropriately defined spaces of measures. The optimal value, optimal points, and minimal points of these CILPs can be…
We provide new equivalent conditions for an algebra $\Lambda$ to be $g$-finite, analogous to those established by L. Demonet, O. Iyama, and G. Jasso, but within the category of projective presentations $\mathcal{K}^{[-1,0]}(\text{proj}…
Infinite-dimensional optimization (InfiniteOpt) problems involve modeling components (variables, objectives, and constraints) that are functions defined over infinite-dimensional domains. Examples include continuous-time dynamic…
Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We…
The multiview variety of an arrangement of cameras is the Zariski closure of the images of world points in the cameras. The prime vanishing ideal of this complex projective variety is called the multiview ideal. We show that the bifocal and…
In this essay we study various notions of projective space (and other schemes) over $\mathbb{F}_{1^\ell}$, with $\mathbb{F}_1$ denoting the field with one element. Our leading motivation is the "Hiden Points Principle," which shows a huge…
Let $k$ be a field of arbitrary characteristic. Let $S$ be a singular surface defined over $k$ with multiple rational curve singularities and suppose that the Chow group of zero cycles of its normalisation $\tilde{S}$ is finite dimensional.…
A probabilistic secret sharing scheme is a joint probability distribution of the shares and the secret together with a collection of secret recovery functions. The study of schemes using arbitrary probability spaces and unbounded number of…