All Questions
Tagged with derivations ac.commutative-algebra
12 questions
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
3
votes
1
answer
378
views
Is there an analogue of the module of differentials for "higher order derivations" in the Hochschild/cyclic senses?
Note added by YC: the definition below of the cyclic sub-complex is incorrect; and the "higher order derivations" referred to here are traditionally known (since the 1940s) as n-cocycles.
$\...
- 11.8k
0
votes
1
answer
193
views
Is it true that $g-t$ is divisible by $f$?
Assume $f\in k[x_1,\ldots, x_n]$ is irreducible. Let for $g\in k[x_1,\ldots, x_n]$, $\partial(g)$ is divisible by $f$ for each derivation $\partial$ with $f\in\ker\partial$. Is it true that $g-t$ is ...
- 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
5
votes
1
answer
345
views
Sufficient conditions for $\mathrm{Der}_k(A)$ to be f.g. projective
Let $k$ be a field and $A$ a commutative $k$-algebra. What are sufficient conditions for the module of derivations $\mathrm{Der}_k(A)$ to be finitely generated projective?
I'm looking for conditions ...
- 6,406
2
votes
1
answer
187
views
Derivations of differential operators
For a smooth affine variety $\operatorname{Spec} A$ over a ring $R$ we have an algebra of differential operators $\mathcal{D}_A$ (here I mean not the Grothendieck differential operators but PD-ones). ...
- 243
4
votes
1
answer
180
views
Categorical Kähler differentials and the Leibniz rule
From nlab, the module of Kähler differentials over some category $\mathcal{C}$ is the free functor:
$$\Omega: \mathcal{C} \to \mathsf{Mod_{\mathcal{C}}}$$
left-adjoint to the (forgetful) embedding:
$$...
- 1,516
14
votes
2
answers
748
views
Does any derivation of commutative algebra preserve its nil-radical?
Given a commutative associative unital algebra over a field of characteristic zero.
Is it true that any derivation of it preseves its nil-radical?
More explicitly, let $D$ be a derivation of an ...
- 21.8k
5
votes
3
answers
762
views
Does there exist another form of the derivative for polynomials?
Let $F : \mathbb{R}[X] \rightarrow \mathbb R[X]$ be a linear map and let $H \in \mathbb{R}[u,x,y,z]$ be a polynomial. Suppose that
$$ F(P \cdot Q) = H(F(P),F(Q),P,Q)$$
for all $P, Q \in \mathbb{R}[X]...
- 4,073
3
votes
1
answer
142
views
Locally nilpotent derivation on $A[X,Y]$ whose kernel is $A$; where $A$ is an affine $k$ domain, $char k=0$
Let $k$ be a field of characteristic zero and $A$ be a $k$-algebra. A derivation on $A$ is a $k$-linear map $D: A \to A$ such that $D(ab)=aD(b)+bD(a), \forall a,b \in A$. A derivation is called ...
user111524
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
2
votes
1
answer
405
views
Formal Cauchy-Riemann equations for formal power series without complex analysis
Consider the ring $\mathbb{C}[[X,Y]]$ and its subring $\mathbb{C}[[X+iY]]$, where $i=\sqrt{-1}$. One can show that $f(X,Y):=u(X,Y)+iv(X,Y)\in \mathbb{C}[[X,Y]]$ lies in $\mathbb{C}[[X+iY]]$ iff $u$ ...
- 7,127