Related papers: Simple derivations and their images
Given any $\mu_1, \mu_2\in {\mathbb C}$ and $\alpha >0$, we prove the local existence of arbitrarily smooth solutions of the nonlinear Klein-Gordon equation $\partial_{ tt } u - \Delta u + \mu_1 u = \mu_2 |u|^\alpha u$ on ${\mathbb R}^N$,…
We study the asymptotics in $L^2$ for complexity penalized least squares regression for the discrete approximation of finite-dimensional signals on continuous domains - e.g. images - by piecewise smooth functions. We introduce a fairly…
We determine the minimal number of variables $\Gamma^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=2m$, $m$ odd, $m \ge 3$ over the six ramified quadratic extensions of $\mathbb{Q}_2$. We prove that if…
We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y…
We prove a single-value version of Reshetnyak's theorem. Namely, if a non-constant map $f \in W^{1,n}_{\text{loc}}(\Omega, \mathbb{R}^n)$ from a domain $\Omega \subset \mathbb{R}^n$ satisfies the estimate $\lvert Df(x) \rvert^n \leq K…
Let k be a perfect field and A a finite dimensional k-algebra of finite global dimension (e.g. the path algebra of a finite quiver without oriented cycles). Making use of the recent theory of noncommutative motives, we prove that the value…
We simplify a criterion (due to Ibarluc\'ia and the author) which characterizes dynamical simplices, that is, sets $K$ of probability measures on a Cantor space $X$ for which there exists a minimal homeomorphism of $X$ whose set of…
A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$, the combinatorial type of a simplicial $d$-polytope $P$ is uniquely determined by the $(k-1)$-skeleton of $P$ (given as an abstract simplicial…
We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…
A Lie polynomial is an element of a free Lie algebra $\mathcal F_k$ on $k$-generators, which defines a Lie map on a given Lie algebra $L$, by substituting $k$-elements of $L$. Similar to word maps on groups and polynomial maps on algebras,…
Assume D is a simplicial sphere, and k_1 is a field. We say that D is generically anisotropic over k_1 if, for a certain purely transcendental field extension k of k_1, a certain Artinian reduction A of the Stanley-Reisner ring k[D] has the…
We study the limits of inductive sequences (A_i,\phi_i) where each A_i is a direct sum of full matrix algebras over compact metric spaces and each partial map of \phi_i is diagonal. We give a new characterisation of simplicity for such…
We prove that there exist functions $f$ and $g$ such that for all positive integers $k$ and $d$, for every graph $G$ and every subset $A$ of the vertices of $G$, either $G$ contains $k$ $A$-paths such that vertices of different $A$-paths…
We consider the Cauchy problem of the KdV-type equation \[ \partial_t u + \frac{1}{3} \partial_x^3 u = c_1 u \partial_x^2u + c_2 (\partial_x u)^2, \quad u(0)=u_0. \] Pilod (2008) showed that the flow map of this Cauchy problem fails to be…
Let $K$ be a field and $\Gamma$ a finite quiver without oriented cycles. Let $\Lambda$ be the path algebra $K(\Gamma, \rho)$ and let $\mathscr{D}(\Lambda)$ be the dual extension of $\Lambda$. In this paper, we prove that each Lie derivation…
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
In this paper, we investigate the one-dimensional derivative nonlinear Schr\"odinger equations of the form $iu_t-u_{xx}+i\lambda\abs{u}^k u_x=0$ with non-zero $\lambda\in \Real$ and any real number $k\gs 5$. We establish the local…
We extend the decomposition theorem for numerically $K$-trivial varieties with log terminal singularities to the K\"ahler setting. Along the way we prove that all such varieties admit a strong locally trivial algebraic approximation, thus…
In this paper, we will prove that any $\A^3$-form over a field $k$ of characteristic zero is trivial provided it has a locally nilpotent derivation satisfying certain properties. We will also show that the result of T. Kambayashi on the…
In differential algebra, a proper scheme $X$ defined over an algebraically closed field $K$ with a derivation $\partial$ on it descends to the field of constants $K^\partial$ if $X$ itself lifts the derivation $\partial$. This is a result…