Related papers: On the dimension of systems of algebraic differenc…
Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…
A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with…
We develop dimension theory for a large class of structures called espaliers, consisting of a set $L$ equipped with a partial order $\leq$, an orthogonality relation $\perp$, and an equivalence relation $\sim$, subject to certain axioms.…
Separation bounds are a fundamental measure of the complexity of solving a zero-dimensional system as it measures how difficult it is to separate its zeroes. In the positive dimensional case, the notion of reach takes its place. In this…
We discuss the dimensional characterization of the solutions space of a formally integrable system of partial differential equations and provide certain formulas for calculations of these dimensional quantities.
The dimension is a key measure of complexity of partially ordered sets. Small dimension allows succinct encoding. Indeed if $P$ has dimension $d$, then to know whether $x \leq y$ in $P$ it is enough to check whether $x\leq y$ in each of the…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
The growth of the dimension of the homogeneous components of algebra is an essential topic in algebraic geometry and commutative algebra. In this context, the homogeneous components of an algebra are the pieces of the algebra that have the…
This talk reviews some mathematical and physical ideas related to the notion of dimension. After a brief historical introduction, various modern constructions from fractal geometry, noncommutative geometry, and theoretical physics are…
The range of a trigonometric polynomial with complex coefficients can be interpreted as the image of the unit circle under a Laurent polynomial. We show that this range is contained in a real algebraic subset of the complex plane. Although…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which…
It is known for scalar ordinary differential equations, and for systems of ordinary differential equations of order not higher than the third, that their Lie point symmetry algebras is of maximal dimension if and only if they can be reduced…
The dimensions of certain varieties defined by monomials are computed using only high school algebra.
We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…
This paper introduces the concept of the dimension of a triangulated category with respect to a fixed full subcategory. For the bounded derived category of an abelian category, upper bounds of the dimension with respect to a contravariantly…
For an ideal $I$ in a polynomial ring over a field, a monomial support of $I$ is the set of monomials that appear as terms in a set of minimal generators of $I$. Craig Huneke asked whether the size of a monomial support is a bound for the…
In this paper we introduce a method of characteristic sets with respect to several term orderings for difference-differential polynomials. Using this technique, we obtain a method of computation of multivariate dimension polynomials of…
We show that if any four distinct solutions of a rational difference equation are algebraically independent, then any number of distinct solutions to the equation are independent. A nontrivial variant of this result is given for autonomous…
In this note we give a theoretical support by means of quotient polynomial rings for the computation formulas of the dimension of abelian codes.