Questions tagged [derivations]
A derivation on a ring 𝑅 is a map 𝐷:𝑅→𝑅 satisfying 𝐷(𝑎+𝑏)=𝐷(𝑎)+𝐷(𝑏) and 𝐷(𝑎𝑏)=𝑎𝐷(𝑏)+𝐷(𝑎)𝑏.
29 questions with no upvoted or accepted answers
7
votes
0
answers
234
views
What is the relationship between higher-order derivations (in the sense of Hasse-Schmidt) and differential operators?
Let $A$ and $B$ be $R$-algebras. A Hasse-Schmidt $m$-derivation $D : A \to B$ is a tuple $(D_0, D_1, \dots, D_m)$ of $R$-linear maps $A \to B$ satisfying the generalized Leibniz law,
$$ D_k(xy) = \...
- 3,730
6
votes
0
answers
490
views
Global sections of canonical line bundle on projective curve with everywhere vanishing derivative
Let $k$ be an algebraically closed field of positive characteristic $p$, $C$ be a curve (projective, non-singular, connected) of genus $g\geq 2$ over $k$ and $\omega \in H^0(C, \Omega_C)$ be a regular ...
- 445
6
votes
0
answers
235
views
Derivations for symmetric functions
A symmetric function is a formal power series in infinitely many variables $x_1,x_2,\dots$ invariant under the permutation of variables (as opposed to a polynomial). Let $\Lambda$ denote the algebra ...
- 1,989
6
votes
0
answers
97
views
Kac-Moody Lie algebra as derivations of associative algebras
The set of derivations of an algebra $\Bbb A$ forms a Lie algebra. This is one aspect of why Lie algebras are interesting. When $\Bbb A$ is polynomial algebra in $n$ variable then $\text{Der } \Bbb A$ ...
- 1,269
5
votes
0
answers
125
views
Lie algebra cohomology of formal non-commutative vector fields
Let $k$ be a field of characteristic $0$ and $A=k\langle\langle x_1,\dotsc,x_n\rangle\rangle$ be a free completed associative algebra. The space of continuous derivations $\mathrm{Der}(A)$ is ...
- 985
5
votes
0
answers
164
views
Generalized commutator
A well-known generalization of the commutator for operators is the so-called q-commutator defined as
$$[A,B]_q=AB-qBA.$$
I was wondering if the case where $q$ is not a number but other operator has ...
4
votes
0
answers
148
views
Jacobian-like conjecture about the derivations of a polynomial algebra
Let $A = k[x_1,\ldots, x_n]$ be a polynomial algebra over a field of characteristic $p$.
Let $Der_k(A)$ denote the Lie algebra of derivations of $A$.
As we know, the Jacobian conjecture provides a ...
- 329
4
votes
0
answers
178
views
Question about basis of $\text{Der}_{k}(k[X])$
Let $k[X] = k[x_1,\ldots, x_n]$ be the polynomial ring over a field of characteristic zero.
Assume that $(D_1,\ldots, D_n)$ is a $k[X]$-basis of $\text{Der}_k(k[X])$. Suppose that the vector space $\...
- 291
4
votes
0
answers
112
views
Restricted universal extensions and lifting of derivations
Let $L$ be a perfect Lie algebra. Then it is well-known that $L$ has a universal central extension $\hat{L}$ and every derivation of $L$ can be lifted to a derivation of $\hat{L}$. (See e.g. Section 2 ...
- 5,878
4
votes
1
answer
148
views
First adjoint cohomology space of simple Lie algebras
Let $L$ be a central extension of a simple Lie algebra $\mathfrak{g}$ such that $L=[L,L]$. It is not difficult to see that if $H^1(\mathfrak{g}, \mathfrak{g})=0$ then $H^1(L,L)=0$. In other words, if ...
- 5,878
3
votes
0
answers
394
views
Some specific case of the abc-conjecture related to the Mason-Stothers proof of Serge Lang for polynomials?
I stumbled upon a version of the Mason-Stothers theorem, which can be modified to make a similar statement for natural numbers, which I think I can prove here. It is not the abc-conjecture, but it has ...
- 3,144
3
votes
0
answers
159
views
Applications of the theory of derivators to constructing cone functors
One of main reasons that the theory of derivators was introduced is to fix the non-functoriality of the cone construction of triangulated categories. I know that today derivator theory is broad and ...
- 893
3
votes
0
answers
250
views
Derivations of algebras graded by a group
Let $A$ be an algebra. A derivation of $A$ is a linear map $d:A \rightarrow A$ such that $d(ab)=d(a)b + a d(b)$ for $a, b \in A$.
If $A$ is a $\mathbb{Z}$-graded algebra, where $\mathbb{Z}$ is the set ...
- 775
2
votes
0
answers
152
views
Trying to decode a module functor
This is section 5.1 from, ARITHMETIC DERIVATIVES THROUGH GEOMETRY OF NUMBERS by Hector Pasten.
Let $A$ be a commutative unitary ring, let $R$ be a commutative monoid, and let $\alpha : R \to A$ be a ...
- 1,347
2
votes
0
answers
199
views
A zoo of derivations
Recall that given a $k$-algebra $A$, a derivation on $A$ is a $k$-linear morphism $d:A\to A$ such that $$d(ab)=d(a)b+ad(b).$$
The use of derivations is of paramount importance in mathematics. I think ...
2
votes
0
answers
107
views
Gradient of QZ decomposition
Let $A$ and $B$ be an $m \times n$ matrix of rank $ k_1 \le \min(m,n) $ and $ k_2 \le \min(m,n) $. Then the QZ decomposition or the generalized Schur decomposition is $A = USV^T$ and $B = UTV^T $, ...
- 61
2
votes
0
answers
162
views
Jacobi formula for matrices: variations
Jacobi’s formula says: $\frac{d}{dt}\text{det}(A(t))=\text{det}(A(t)) \cdot \text{tr}(\text{Ad}(A(t))\cdot\frac{d}{dt}(A(t))$.
Exists maybe a variation of the Jacobi’s formula where $\text{det}(\frac{...
- 83
2
votes
0
answers
115
views
Lie derivations of algebra of smooth functions in a symplectic manifold
Let $(M,\omega)$ be a finite-dimensional symplectic manifold. The algebra $C^\infty(M)$ of smooth functions is a Poisson algebra. Derivations $D : C^\infty(M) \to C^\infty(M)$ of the Poisson ...
- 33.3k
2
votes
0
answers
75
views
How can I prove that the following function is increasing according to x1?
Suppose that
$0 \le {X_1} < {X_2} < {X_3}$
.
How is it possible to prove the following function is increasing based on
${X_1}$
in the range of
$0 \le {X_1} < {X_2}$ ?
$f({X_1},{X_2},{X_3})...
- 21
2
votes
0
answers
77
views
Lie algebra of derivations for a transcendental field extension and intersection fields
Suppose that $L$ is a finite Galois extension of the field $K$.
If $L_1$ and $L_2$ are subfields of $L$ containing $K$ then $L_1\cap L_2=L^H$
where $H$ is the group generated by ${\rm Aut}_{L_1}(L)$ ...
- 81
2
votes
0
answers
283
views
Derivative with multiple summation operators
I have a defined utility function as Eq.(1), and I am seeking the minimized utility subjects to some constraints. The notation used is as following:
\linebreak
$V$ is the set of nodes, $v_i\in V$; $O$...
- 21
1
vote
0
answers
42
views
Differential of tensor product of maps
Let $G$ be a Poisson-Lie group with Poisson bivector field $\pi.$ Let $\pi^{R}$ be the trivialization of $\pi$ with respect to the right translations i.e. $$\pi^{R} (g) = (d_{g} R_{g^{-1}} \otimes d_{...
- 199
1
vote
0
answers
146
views
Simple proof of the equivalence between two definitions of étale
This question shouldn't be too hard to answer, but I'm looking for the most streamlined approach.
Let $K$ be a field and let $L$ be a finite dimensional field extension of $K$. I am interested in two ...
user30211
1
vote
0
answers
62
views
Derivative of a function of ordered variables
Can I differentiate
$$(\pmb{y}^o - (\pmb{x}\cdot\pmb{a})^o)^\top(\pmb{y}^o - (\pmb{x}\cdot\pmb{a})^o)$$ with respect to $\pmb{a}$? (I want to minimize the expression with respect to $\pmb{a}$.)
Here, $...
- 133
1
vote
0
answers
245
views
A characterization of the integral
Let $I(f)$ be an endomorphism of the smooth functions with zero value in zero such that:
$$\ln[1+I(f)]=I\left(\frac{f}{1+I(f)}\right).
$$
Then, does it exist $g$ smooth such that:
$$I(f)(x)=\int_0^x f(...
- 377
1
vote
0
answers
189
views
Bijective correspondence between $\mathbb G_a$ actions on affine varieties and exponential maps on affine $k$-domains
Let $A$ be an integral domain which is a finitely generated algebra over an algebraically closed field $k$. Let $\phi :A \to A^{[1]}$ be a $k$-algebra homomorphism and let us write $\phi_t : A \to A[...
user111524
1
vote
1
answer
294
views
Hessian matrix of vectorized matrix product
I need to find the Hessian Matrix of $f(X,Y) = C \operatorname{vec} (A X^{-1} Y)$ where $C$ and $A$ are constant matrices and $X$ and $Y$ are the variable matrices. This would be a vector function of ...
- 11
0
votes
0
answers
36
views
Derivate involving Bessel function of second type
Let.
$$f := (x, y) \mapsto \text{BesselK}(1, c \cdot (a - b \cdot (x + y))) \cdot \exp(c \cdot b \cdot (y - x))$$
Is there a close formula for this $$\frac{\partial^{m+n}}{\partial y^m \partial x^n} f(...
- 109
0
votes
0
answers
39
views
Confusion in notation of representation of Bastiani derivative
In the paper "Properties of field functionals and characterization of local functionals" at page 5 the Authors give the following definitions
Definition II.2. Let $U$ be an open subset of a ...
