Related papers: On finiteness theorems of polynomial functions

The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. As an application two new theorems on the rational multidimensional moment…

We introduce a notion of the Bergman-Shilov (or Shilov) boundary for some subclasses of upper-semicontinuous functions on a compact Hausdorff space. It is by definition the smallest closed subset of the given space on which all functions of…

Lustig gave an infinite product formula for the zeta function of a commutative two-dimensional regular local ring with finite residue field. We extend this to the noncommutative setting with a method based on filtration by an invertible…

We obtain computational hardness results for f-vectors of polytopes by exhibiting reductions of the problems DIVISOR and SEMI-PRIME TESTABILITY to problems on f-vectors of polytopes. Further, we show that the corresponding problems for…

We study the function field analogue of Shanks bias. For Liouville function $\lambda(f)$, we compare the number of monic polynomials $f$ with $\lambda(f) \chi_m(f) = 1$ and $\lambda(f) \chi_m(f) = -1$ for a nontrivial quadratic character…

We compute the $p$-adic densities of points with a given splitting type along a (generically) finite map, analogous to the classical Chebotarev theorem over number fields and function fields. Under some mild hypotheses, we prove that these…

At finite N the number of restricted Schur polynomials is greater than or equal to the number of generalized restricted Schur polynomials. In this note we study this discrepancy and explain its origin. We conclude that, for quiver gauge…

We define Schwartz functions, tempered functions and tempered distributions on (possibly singular) real algebraic varieties. We prove that all classical properties of these spaces, defined previously on affine spaces and on Nash manifolds,…

We formulate and prove Chevalley's theorem in the setting of affine Nash groups. As a consequence, we show that the semi-direct product of two almost linear Nash groups is still an almost linear Nash group.

In these notes we determine the finiteness length of the groups G(O_S) where G is an F_q-isotropic, connected, noncommutative, almost simple F_q-group and O_S is one of F_q[t], F_q[t^{-1}], and F_q[t,t^{-1}]. That is, k = F_q(t) and S…

In this paper, we prove that any relative character (a.k.a. spherical character) of any admissible representation of a real reductive group with respect to any pair of spherical subgroups is a holonomic distribution on the group. This…

We show that Nash-Williams' theorem asserting that the countable transfinite sequences of elements of a better-quasi-ordering ordered by embeddability form a better-quasi-ordering is provable in the subsystem of second order arithmetic…

We study the question of finite generation of saturated multi-Rees algebras and investigate the asymptotic behaviour of related length functions. In the setup of excellent local domains, we show that the saturated multi-Rees algebra of a…

We present a theory of the $b$-function (or Bernstein-Sato polynomial) in positive characteristic. Let $f$ be a non-constant polynomial with coefficients in a perfect field $k$ of characteristic $p>0.$ Its $b$-function $b_f$ is defined to…

Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…

We prove effective results on when a function can be approximated by a Dirichlet polynomial with bounded coefficients. Assuming that \Phi(n) is an increasing function we prove that the set of polynomials {\sum_{n=2}^N a_n n^{it-1}: N \geq…

Let $n$ be a positive integer, and let $k$ be a field (of arbitrary characteristic) accessible to symbolic computation. We describe an algorithmic test for determining whether or not a finitely presented $k$-algebra $R$ has infinitely many…

A new continuity for set-valued functions is introduced, and an existence theorem is proved for such continuous set-valued functions.

The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties.…