Related papers: Simple derivations and their images
For a field $F$ and a row-finite directed graph $\Gamma$ let $L(\Gamma)$ be the Leavitt path algebra. We find necessary and sufficient conditions for the Lie algebra $[L(\Gamma),L(\Gamma)]$ to be simple.
Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
Let $K$ be a complete non-archimedean valuation field of characteristic $0$, with non-trivial valuation, equipped with (possibly multiple) commuting bounded derivations. We prove a decomposition theorem for finite differential modules over…
We prove that for any measurable mapping $T$ into the space of matrices with positive determinant, there is a diffeomorphism whose derivative equals $T$ outside a set of measure less than $\varepsilon$. We use this fact to prove that for…
Let $A$ be an integral $k$-algebra of finite type over a field $k$ of characteristic zero. Let ${\cal{F}}$ be a family of $k$-derivations on $A$ and $M_{\cal{F}}$ the $A$-module spanned by ${\cal{F}}$. In this paper, we generalize a result…
We show that the $n\times n$ matrix differential equation $\delta(Y)=AY$ with $n^2$ general coefficients cannot be simplified to an equation in less than $n$ parameters by using gauge transformations whose coefficients are rational…
Let $K$ be a number field, let $S$ be a finite set of places of $K$, and let $R_S$ be the ring of $S$-integers of $K$. A $K$-morphism $f:\mathbb{P}^1_K\to\mathbb{P}^1_K$ has simple good reduction outside $S$ if it extends to an…
Let X = G/H be a reductive symmetric space and K a maximal compact subgroup of G. The image under the Fourier transform of the space of K-finite compactly supported smooth functions on X is characterized.
It is proved that the tame automorphism group of a differential polynomial algebra $k\{x,y\}$ over a field $k$ of characteristic $0$ in two variables $x,y$ with $m$ commuting derivations $\delta_1, \ldots, \delta_m$ is a free product with…
Let A be a unital algebra with a nontrivial idempotent e, and f=1-e. Suppose that A satisfies that exe.eAf={0}=fAe.exe implies exe=0 and eAf.fxf={0}=fxf.fAe implies fxf=0 for each x in A. We obtain the (necessary and) sufficient conditions…
The objective of this article is to prove the necessity statement in Crawley-Boevey's conjectural solution to the (tame) Deligne-Simpson problem. We use the nonabelian Hodge correspondence, variation of parabolic weights and results of…
Motivated by the Mathieu conjecture [Ma], the image conjecture [Z3] and the well-known Jacobian conjecture [K] (see also [BCW] and [E]), the notion of Mathieu subspaces as a natural generalization of the notion of ideals has been introduced…
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$…
Cartan's magic formula L_X = i_X d + d i_X = (d+i_X)^2=D_X^2 relates the exterior derivative d, an interior derivative i_X and its Lie derivative L_X. We use this formula to define a finite dimensional vector space of vector fields X on a…
For a simplicial complex X and a field K, let h_i(X)=\dim \tilde{H}_i(X;K). It is shown that if X,Y are complexes on the same vertex set, then for all k h_{k-1}(X\cap Y) \leq \sum_{\sigma \in Y} \sum_{i+j=k} h_{i-1}(X[\sigma])\cdot…
We prove a modified version for a conjecture of Weiss from 2004. Let $G$ be a semisimple real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$. A trajectory in $G/\Gamma$ is divergent if eventually it…
For an $(\epsilon,G)$-color-commutative associative algebra $A$ with an identity element over a field $F$ of characteristic not 2, and for a color-commutative subalgebra $D$ of color-derivations of $A$, denote by $A[D]$ the associative…
It is proved that a differentiable with respect to each variable function $f:\mathbb R^2\to\mathbb R$ is a solution of the equation $ \frac{\partial u}{\partial x} + \frac{\partial u}{\partial y}=0$ if and only if there exists a function…
In this paper we provide some conditions under which a Lie derivation on a trivial extension algebra is proper, that is, it can be decomposed into the sum of a derivation and a center valued map. We extend some known results on the…