Related papers: An Analytic Approach to The Cancellation Problem f…
We study the Galois descent of semi-affinoid non-archimedean analytic spaces. These are the non-archimedean analytic spaces which admit an affine special formal scheme as model over a complete discrete valuation ring, such as for example…
The author introduces a conjecture about Makar-Limanov invariants of affine unique factorization domains over a field of characteristic zero. Then the author finds that the conjecture does not always hold when $\mathbbm{k}$ is not…
We prove a removable singularities theorem for point singularities of the coupled yang mills fermion equations, on a bundle over a two dimensional base space.
We study the problem of conformal deformation of Riemannian structure to constant scalar curvature with zero mean curvature on the boundary. We prove compactness for the full set of solutions when the boundary is umbilic and the dimension…
First, we prove an algebraization result for rig-smooth algebras over a general noetherian ring; this positively answers the question raised in [Sta24, Tag 0GAX]. Then we prove a general partial algebraization result in non-archimedean…
Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…
An open question contributed by Yu. Orlov to a recently published volume "Unsolved Problems in Mathematical Systems and Control Theory", V.D. Blondel, A. Megretski (eds), Princeton Univ. Press, 2004, concerns regularization of optimal…
In this paper, we investigate Monge-Kantorovich problems for which the absolute continuity of marginals is relaxed. For $X,Y\subseteq\mathbb{R}^{n+1}$ let $(X,\mathcal{B}_X,\mu)$ and $(Y,\mathcal{B}_Y,\nu)$ be two Borel probability spaces,…
Let $l$ and $k$ be two integers such that $l|k$. Define $T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}}$ and $S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}$, where $p$ is any prime. This paper gives explicit…
Let $f\colon X\to Y$ be a perfect surjective map of metrizable spaces. It is shown that if $Y$ is a $C$-space (resp., $\dim Y\leq n$ and $\dim f\leq m$), then the function space $C(X,\uin^{\infty})$ (resp., $C(X,\uin^{2n+1+m})$) equipped…
A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…
We study various approximation results of solutions of equations $f(x,Y)=0$ where $f(x,Y)\in\mathbb K[[x]][Y]^r$ and $x$ and $Y$ are two sets of variables, and where some components of the solutions $y(x)\in\mathbb K[[x]]^m$ do not depend…
The aim of this work is to construct a monomial and explicit basis for the space $M_{\mu}$ relative to the $n!$ conjecture. We succeed completely for hook-shaped partitions, i.e. $\mu=(K+1,1^L)$. We are indeed able to exhibit a basis and to…
We investigate equations in Kiselman's semigroup $K_n$, generated by $a_1, \dots, a_n$. Let $f$ denote the zero element of $K_n$. We prove that if $y \in K_n$ lies in the subsemigroup generated by $a_2, \dots, a_n$, then $x y = f$ implies…
We study Zariski cancellation problem for noncommutative algebras that are not necessarily domains.
We study numerically the ODE/IM correspondence for untwisted affine Lie algebras associated with simple Lie algebras including exceptional type. We consider the linear problem obtained from the massless limit of that of the modified affine…
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of…
We investigate criteria for von-Neumann finiteness and reversibility in some classes of non-associative algebras. We show that all finite-dimensional alternative algebras, as well as all algebras obtained from the real numbers via the…
We discuss two conjectures. (I) For each x_1,...,x_n \in R (C) there exist y_1,...,y_n \in R (C) such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n}…
Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by…