English
Related papers

Related papers: Explicit estimates for polynomial systems defining…

200 papers

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…

Commutative Algebra · Mathematics 2019-08-07 Martin Kreuzer , Le Ngoc Long , Lorenzo Robbiano

Decomposing an algebraic variety into irreducible or equidimensional components is a fundamental task in classical algebraic geometry and has various applications in modern geometry engineering. Several researchers studied the problem and…

Commutative Algebra · Mathematics 2010-12-07 Zhenyi Ji , Yongbin Li

We address some questions concerning indecomposable polynomials and their spectrum. How does the spectrum behave via reduction or specialization, or via a more general ring morphism? Are the indecomposability properties equivalent over a…

Algebraic Geometry · Mathematics 2015-05-13 Arnaud Bodin , Pierre Dèbes , Salah Najib

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…

Representation Theory · Mathematics 2017-11-27 Yuly Billig , Vyacheslav Futorny

We classify almost homogeneous normal varieties of Albanese codimension $1$, defined over an arbitrary field. We prove that such a variety has a unique normal equivariant completion. Over a perfect field, the group scheme of automorphisms…

Algebraic Geometry · Mathematics 2020-03-20 Bruno Laurent

We classify the polynomials with integral coefficients that, when evaluated on a group element of finite order $n$, define a unit in the integral group ring for infinitely many positive integers $n$. We show that this happens if and only if…

Rings and Algebras · Mathematics 2014-10-10 Osnel Broche , Ángel del Río

We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We…

Combinatorics · Mathematics 2017-02-20 Daniele Bartoli , Massimo Giulietti , Luciane Quoos , Giovanni Zini

Let $X$ be a real algebraic variety with set of complex points $X_{\mathbb C}$ and set of real points $X_{\mathbb R}$. A complex slice of $X$ is a transverse intersection of $X_{\mathbb R}$ with a complex subvariety $V$ of $X_{\mathbb C}$.…

Algebraic Geometry · Mathematics 2025-11-26 Oleg Viro

A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…

Category Theory · Mathematics 2023-04-03 Jiří Adámek , Jiří Rosický

The paper deals with a complex polynomial $H$ in two variables having - a generic highest homogeneous part (without multiple zero lines), - nonconstant lower terms. In particular, under these conditions the polynomial $H$ has at least two…

Algebraic Geometry · Mathematics 2007-05-23 Alexey Glutsyuk

The one-variable non-symmetric Wilson polynomials are shown to coincide with the Bannai-Ito polynomials. The isomorphism between the corresponding degenerate double affine Hecke algebra of type $(C_1^{\vee}, C_1)$ and the Bannai-Ito algebra…

Classical Analysis and ODEs · Mathematics 2017-02-15 Vincent X. Genest , Luc Vinet , Alexei Zhedanov

The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…

patt-sol · Physics 2009-10-28 Yuji Kodama

Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in…

Commutative Algebra · Mathematics 2007-05-23 Ze Min Zeng

Motivated by a question of van der Poorten about the existence of infinite chain of prime numbers (with respect to some base), in this paper we advance the study of sequences of consecutive polynomials whose coefficients are chosen…

Number Theory · Mathematics 2018-05-24 Domingo Gómez-Pérez , Alina Ostafe , Min Sha

Many things in mathematics seem lamost unreasonably nice. This includes objects, counterexamples, proofs. In this preprint I discuss many examples of this phenomenon with emphasis on the ring of polynomials in a countably infinite number of…

History and Overview · Mathematics 2008-11-03 Michiel Hazewinkel

The slope variety of a graph is an algebraic set whose points correspond to drawings of a graph. A complement-reducible graph (or cograph) is a graph without an induced four-vertex path. We construct a bijection between the zeroes of the…

Combinatorics · Mathematics 2010-10-13 Tom Enkosky

Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety $X$ always give the same value, when computed via the decomposition theorem on any…

Algebraic Geometry · Mathematics 2007-05-23 Jonathan Fine

We introduce four invariants of algebraic varieties over imperfect fields, each of which measures either geometric non-normality or geometric non-reducedness. The first objective of this article is to establish fundamental properties of…

Algebraic Geometry · Mathematics 2020-10-14 Hiromu Tanaka

Let $\mathcal S$ be a set of monic degree $2$ polynomials over a finite field and let $C$ be the compositional semigroup generated by $\mathcal S$. In this paper we establish a necessary and sufficient condition for $C$ to be consisting…

Number Theory · Mathematics 2019-02-13 Andrea Ferraguti , Giacomo Micheli , Reto Schnyder

Intersection types have been originally developed as an extension of simple types, but they can also be used for refining simple types. In this survey we concentrate on the latter option; more precisely, on the use of intersection types for…

Logic in Computer Science · Computer Science 2019-04-24 Paweł Parys