Related papers: Finite $0$-dimensional multiprojective schemes and…
In the present paper, we give a full description of the jet schemes of the polynomial ideal $\left( x_1\ldots x_n \right) \in k[x_1, \ldots, x_n]$ over a field of zero characteristic. We use this description to answer questions about…
In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…
We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform…
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…
If X is a finite set of points in a multiprojective space P^n1 x ... x P^nr with r >= 2, then X may or may not be arithmetically Cohen-Macaulay (ACM). For sets of points in P^1 x P^1 there are several classifications of the ACM sets of…
Let X be a zero-dimensional scheme contained in a multiprojective space. Let $s_i$ be the length of the projection of X onto the i-th component of the multiprojective space. A result of Van Tuyl states that the Hilbert function of X, in the…
The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
This article is concerned with the number of generators of perfect ideals J in regular local rings (R,m). If J is sufficiently large modulo $m^n$, a bound is established depending only on n and the projective dimension of J. More ambitious…
Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have…
Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…
We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\mathcal C,\Sigma^n,\Theta)$. For an indecomposable object $M$ of…
Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…
In this paper, the (infinite) direct product of fields is investigated. In particular, the finiteness of a given set is characterized in terms of some ring-theoretic observations. Next, a certain localization (whose multiplicative set…
For an interval finite quiver $Q$, we introduce a class of flat representations. We classify the indecomposable projective objects in the category $\mathrm{rep}(Q)$ of pointwise finite dimensional representations. We show that an object in…
For an ideal $I\subseteq\mathbb{R}[x]$ given by a set of generators, a new semidefinite characterization of its real radical $I(V_\mathbb{R}(I))$ is presented, provided it is zero-dimensional (even if $I$ is not). Moreover we propose an…
We open a new field on how one can define means on infinite sets. We investigate many different ways on how such means can be constructed. One method is based on sequences of ideals, other deals with accumulation points, one uses isolated…
An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…
We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an…
Let C be an irreducible projective curve of degree d in Pn(K), where K is an algebraically closed field, and let I be the associated homogeneous prime ideal. We wish to compute generators for I, assuming we are given sufficiently many…