Related papers: On finiteness theorems of polynomial functions

We prove a Roth type theorem for polynomial corners in the finite field setting. Let $\phi_1$ and $\phi_2$ be two polynomials of distinct degree. For sufficiently large primes $p$, any subset $ A \subset \mathbb F_p \times \mathbb F_p$ with…

We consider Siegel upper half space of rank two ${\cal H}^2$ and different subgroups $H\subseteq {\bf Sp(4,Z)}$ of finite index. The purpose of this paper is to prove that the field of rational functions of ${\cal H}^2/H$ has general type…

We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular…

We generalize the classical Bernstein theorem concerning the constructive description of classes of functions uniformly continuous on the real line. The approximation of continuous bounded functions by entire functions of exponential type…

We present a Suffridge-like extension of the Grace-Szeg\"o convolution theorem for polynomials and entire functions with only real zeros. Our results can also be seen as a $q$-extension of P\'olya's and Schur's characterization of…

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

For a totally positive definite quadratic form over the ring of integers of a totally real number field $K$, we show that there are only finitely many totally real field extensions of $K$ of a fixed degree over which the form is universal…

We compute the special values of partial zeta function at $s=0$ for family of real quadratic fields $K_n$ and ray class ideals $\fb_n$ such that $\fb_n^{-1} = [1,\delta(n)]$ where the continued fraction expansion of $\delta(n)$ is purely…

In this paper, the notion of local algebraic fundamental groups of normal complex analytic singularities are generalized to certain profinite groups called $D$-local algebraic fundamental groups which turns out to be useful even for the…

Let $X\subset \mathbb{R}^n$ be a compact semialgebraic set and let $f:X\to \mathbb{R}$ be a nonzero Nash function. We give a Solern\'o and D'Acunto-Kurdyka type estimation of the exponent $\varrho\in[0,1)$ in the {\L}ojasiewicz gradient…

Recently Lima and Campello de Souza introduced a new class of rational functions over odd-order finite fields, and explained their potential usefulness in cryptography. We show that these new functions are conjugate to the classical family…

In this paper we introduce an interesting family of relative fractal drums (RFDs in short) at infinity and study their complex dimensions which are defined as the poles of their associated Lapidus (distance) fractal zeta functions…

We obtain several finiteness results for the unramified cohomology of function fields of algebraic varieties defined over fields of type (F'_m), a class that includes algebraically closed fields, finite fields, local fields, and some higher…

We present a Lean 4 Mathlib formalization of Nagata's factoriality theorem: if R is a noetherian domain and S <= R is a prime-generated submonoid such that S^{-1}R is a UFD, then R itself is a UFD. The prime-generated hypothesis -- every…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

We prove surjectivity result in Fr\'echet spaces of Nash-Moser type. That is, with uniform estimates over all semimorms. Our method works for functions which are only continuous and G\^ateaux differentiable like in the recent result of…

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true…

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

It is well known that in $R^n$ , G{\^a}teaux (hence Fr{\'e}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends…

Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…