Related papers: The Abhyankar-Jung Theorem

We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…

A Lee-Yang polynomial $ p(z_{1},\ldots,z_{n}) $ is a polynomial that has no zeros in the polydisc $ \mathbb{D}^{n} $ and its inverse $ (\mathbb{C}\setminus\overline{\mathbb{D}})^{n} $. We show that any real-rooted exponential polynomial of…

Consider quasianalytic local rings of germs of smooth functions closed under composition, implicit equation, and monomial division. We show that if the Weierstrass Preparation Theorem holds in such a ring then all elements of it are germs…

A result of A. Joseph says that any nilpotent or semisimple element $z$ in the Weyl algebra $A_1$ over some algebracally closed field $K$ of characterstic 0 has a normal form up to the action of the automorphism group of $A_1$. It is shown…

Results of somewhat mysterious nature are known on the location of zeros of certain polynomials associated with statistical mechanics (Lee-Yang circle theorem) and also with graph counting. In an attempt at clarifying the situation we…

We consider ordered pairs $(X,\mathcal{B})$ where $X$ is a finite set of size $v$ and $\mathcal{B}$ is some collection of $k$-element subsets of $X$ such that every $t$-element subset of $X$ is contained in exactly $\lambda$ "blocks" $B\in…

We show that the family ${\cal F}_k$ of all meromorphic functions $f$ in a domain $D$ satisfying $$\frac{|f^{(k)}|}{1+|f|}(z)\ge C \qquad \mbox{ for all } z\in D$$ (where $k$ is a natural number and $C>0$) is quasi-normal. The proof relies…

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

We consider the family $\mathcal P$ of $n$-tuples $P$ consisting of polynomials $P_1, \ldots, P_n$ with nonnegative coefficients which satisfy $\partial_i P_j(0) = \delta_{i, j},$ $i, j=1, \ldots, n.$ With any such $P,$ we associate a…

The polynomial Szemer\'{e}di theorem implies that, for any $\delta \in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of…

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by…

A theorem due to Kazhdan and Ziegler implies that, by substituting linear forms for its variables, a homogeneous polynomial of sufficiently high strength specialises to any given polynomial of the same degree in a bounded number of…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

The quantum nilpotent algebras U^w_-(g), defined by De Concini-Kac-Procesi and Lusztig, are large classes of iterated skew polynomial rings with rich ring theoretic structure. In this paper, we prove in an explicit way that all torus…

A function g, with domain the natural numbers, is a quasi-polynomial if there exists a period m and polynomials p_0,p_1,...,p_{m-1} such that g(t)=p_i(t) for t=i mod m. Quasi-polynomials classically -- and "reasonably" -- appear in Ehrhart…

Assume that there is a set of monic polynomials $P_n(z)$ satisfying the second-order difference equation $$ A(s) P_n(z(s+1)) + B(s) P_n(z(s)) + C(s) P_n(z(s-1)) = \lambda_n P_n(z(s)), n=0,1,2,..., N$$ where $z(s), A(s), B(s), C(s)$ are some…

The functional calculus for normal elements in $C^*$-algebras is an important tool of analysis. We consider polynomials $p(a,a^*)$ for elements $a$ with small self-commutator norm $\|[a,a^*]\| \le \delta$ and show that many properties of…

We search for principal ideals. As a sample, let $R$ be a strongly-normal, almost-factorial, and complete-intersection local ring with a prime ideal $P$ of height one. If $depth(R/ P)\geq dim R-2$, we show $P$ is principal. As an immediate…

For an arbitrary hypersurface singularity, we construct a family of semigroups associated with algebraically closed fields that arise as an infinite union of rings of series. These semigroups extend the value semigroup of a plane curve…

Let $V = < x^{\lambda_i}p_{ij}(x), i=1,...,n, j=1, ..., N_i > $ be a space of quasi-polynomials in $x$ of dimension $N=N_1+...+N_n$. The regularized fundamental differential operator of $V$ is the polynomial differential operator…