Related papers: A note on surjectivity of piecewise affine mapping…
We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…
As an application of Brouwer's fixed-point theorem we prove that a continuously differentiable convex function with gradient of constant norm is an affine mapping. It is a first-order characterization of affine mappings among continuously…
This article presents conditions under which the skewed version of immaculate noncommutative symmetric functions are nonzero. The work is motivated by the quest to determine when the matrix definition of a skew immaculate function aligns…
We consider entire solutions $u$ to the minimal surface equation in $R^N$, with $ N\ge8,$ and we prove the following sharp result : if $N-7$ partial derivatives $ \frac{\partial u }{\partial {x_j}}$ are bounded on one side (not necessarily…
In this note, we characterize affine and non-affine Coxeter systems among all Coxeter systems in terms of the structure of their reflection orders. For an infinite irreducible system $(W,S)$, we show that affineness can be characterized in…
We prove that every smooth subelliptic variety admits a surjective morphism from an affine space. This result gives partial answers to the questions of Arzhantsev and Forstneri\v{c}. As an application, we characterize open images of…
This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…
We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real…
In this text we prove that if X is a reduced non-archimedean analytic space and f is a analytic function on a dense Zariski-open subspace of X whose zero-locus is closed in X, then f is a meromorphic function on X. As a corollary, we deduce…
We give a local characterization of the class of functions having positive distributional derivative with respect to $\bar{z}$ that are almost everywhere equal to one of finitely many analytic functions and satisfy some mild non-degeneracy…
We prove constructively the existence of surjective morphisms from affine space onto certain open subvarieties of affine space of the same dimension. For any algebraic set $Z\subset \mathbb{A}^{n-2}\subset \mathbb{A}^{n}$, we construct an…
The classical Fundamental Theorem of Affine Geometry states that for $n\geq 2$, any bijection of $n$-dimensional Euclidean space that maps lines to lines (as sets) is given by an affine map. We consider an analogous characterization of…
In this paper, we establish two results concerning algebraic $(\mathbb{C},+)$-actions on $\mathbb{C}^n$. First let $\phi$ be an algebraic $(\mathbb{C},+)$-action on $\mathbb{C}^3$. By a result of Miyanishi, its ring of invariants is…
Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(\alpha_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More…
Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the…
Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive…
Let $f \colon X \rightarrow Y$ be a resolvable-measurable mapping of a metrizable space $X$ to a regular space $Y$. Then $f$ is piecewise continuous. Additionally, for a metrizable completely Baire space $X$, it is proved that $f$ is…
Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph…
We undertake a systematic study of irreducible affine isometric actions of locally compact groups on Hilbert spaces. It turns out that, while that are a few parallels of this study to the by now classical theory of irreducible unitary…
The nonzero level sets of a homogeneous, logarithmically homogeneous, or translationally homogeneous function are affine spheres if and only if the Hessian determinant of the function is a multiple of a power or an exponential of the…