Related papers: On some regularity condition

We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to Spec R$, we have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in characteristic…

Let $K$ be an algebraically closed field with an absolute value. This note gives an elementary proof of the classical result that the roots of a polynomial with coefficients in $K$ are continuous functions of the coefficients of the…

Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…

We give necessary and sufficient criteria for a distribution to be smooth or uniformly H\"{o}lder continuous in terms of approximation sequences by smooth functions; in particular, in terms of those arising as regularizations…

The problem whether a given pair of functions can be used as the kernels of a generalized fractional derivative and the associated generalized fractional integral is reduced to the problem of existence of a solution to the Sonine equation.…

Let $f$ be a complex valued function on a finite field $F$ such that $f(0) = 0$, $f(1) = 1$, and $|f(x)| = 1$ for $x \neq 0$. Cohn asked if it follows that $f$ is a nontrivial multiplicative character provided that $\sum_{x \in F} f(x)…

We completely classify Laurent series converging on the unit circle over a non-Archimedean local field (of any characteristic) that map infinitely many roots of unity to roots of unity. For a given Laurent series $f$ over a field of…

Let D be a domain in the quaternionic space H. We prove a differential criterion that characterizes Fueter-regular quaternionic functions f:bD -> H of class C^1. We find differential operators T and N, with complex coefficients, such that a…

It is shown that if $A$ is a uniform algebra generated by real-analytic functions on a suitable compact subset $K$ of a real-analytic variety such that the maximal ideal space of $A$ is $K$, and every continuous function on $K$ is locally a…

We show how one can use a trivialization of a function $f : \mathbb{R}^n\to\mathbb{R} $ to construct a trivialization of $f$ in $\mathbb{R}^n$. Additionally we adopt a method for trivialising functions which satisfy the $\rho_0$-regularity…

For a rational function f we consider the norm of the derivative with respect to the spherical metric and denote by K(f) the supremum of this norm. We give estimates of this quantity K(f) both for an individual function and for sequences of…

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…

Let K be a ring and let A be a subset of K. We say that a map f:A \to K is arithmetic if it satisfies the following conditions: if 1 \in A then f(1)=1, if a,b \in A and a+b \in A then f(a+b)=f(a)+f(b), if a,b \in A and a \cdot b \in A then…

Let $\Bbbk$ be an algebraically closed field of characteristic $p>2$. Let $\mathcal{O}_n=\Bbbk[X_1,\ldots,X_n]/(X_1^p,\ldots, X_n^p)$, a truncated polynomial ring in $n$ variables, and denote by $\mathcal{L}$ the derivation algebra of…

For a family of functionals defined on a Hilbert manifold and smoothly depending on a compact finite dimensional manifold, we give a sufficient condition on the parameter space in such a way the family bifurcate from the trivial branch.

Let $K$ be an algebraically closed field of arbitrary characteristic and let $X$ be an irreducible projective variety over $K$. Let $G\subseteq\text{Bir}(X)$ be a bounded-degree subgroup. We prove that there exists an irreducible projective…

Let P be an hyperplane in R^N, and denote by dH the Hausdorff distance. We show that for all positive radius r < 1 there is an epsilon > 0, such that if K is a Reifenberg-flat set in B(0; 1), a ball in R^N, that contains the origin, with…

In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…

A continous map $f: \mathbb{C}^n \rightarrow \mathbb{C}^N$ is $k$-regular if the image of any $k$ points spans a $k$-dimensional subspace. It is an important problem in topology and interpolation theory, going back to Borsuk and Chebyshev,…

We show that for any $k$-times continuously differentiable function $f:[a,\infty)\longrightarrow{\mathbb R}$, any integer $q\ge 0$ and any $\alpha>1$ the inequality $$\liminf_{x\to\infty} \frac{x^k \cdot\log x\cdot \log_2 x\cdot\dots\cdot…