Questions tagged [differentials]
The differentials tag has no usage guidance.
25 questions
1
vote
1
answer
301
views
Third order matrix differential norm
Suppose we have a function $f:\mathbb{R}^n\to\mathbb{R}$ that is at least three times differentiable. Clearly, there is a relationship between the symmetric trilinear form $$T_1=\nabla^3f(x),$$ and ...
- 39
3
votes
0
answers
117
views
Logarithmic differentials on an arithmetic surface, and Poincaré residue
Suppose that $X$ is an arithmetic surface, i.e. $\pi: X \to S$ flat and relative dimension 1 over a Dedekind scheme $S$, and assume $X$ smooth.
Let $Y \subset X$ be a horizontal effective Cartier ...
- 1,338
3
votes
0
answers
122
views
Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?
Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be).
Let $\mathcal{E}$ be a locally free sheaf on $X$, and
$$\nabla:\mathcal{E} \to \...
- 1,338
0
votes
1
answer
269
views
determinant of integrals of forms
Let $A$ be a complex abelian variety of dimension $d$. Let $\omega_1, \ldots, \omega_j \in H^0(A, \Omega^1_A)$ be linearly independent (so $j \leq d$) and consider $\gamma_1, \ldots, \gamma_j \in H_1(...
- 1
1
vote
1
answer
576
views
Choosing Notation for Variable Substitution into Derivative Expressed with Differentials [closed]
Consider function $f(x)$. I've counted 4 possible notations to write a derivative of $f(x)$ at point $x = a$:
$f'(a)$;
$\frac{\operatorname{d}{f(a)}}{\operatorname{d}x}$;
$\left.\frac{\operatorname{d}...
1
vote
1
answer
225
views
Contraction of graded vector fields on de Rham complex
Given a commutative algebra $A$ smooth over a field $k$ of characteristic zero, the module of K\"ahler differentials $\Omega^{1}$ is projective of finite rank and so the sum of all wedge powers $\...
- 661
3
votes
0
answers
3k
views
Derivative of the regularized upper incomplete gamma function
I have a question about the derivative of the regularized upper incomplete gamma function. Considering the gamma function and the incomplete gamma function
\begin{eqnarray}
\Gamma(x)&=&\int_0^\...
- 607
6
votes
1
answer
652
views
ANOTHER Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$
I have another exterior differential system for one forms $U^i$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \wedge \theta^k$ for the ...
- 548
1
vote
1
answer
293
views
Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$
I have the following exterior differential system for one forms $\alpha, \beta, \gamma$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \...
- 548
0
votes
0
answers
142
views
Closed forms and trajectories of vector fields
This question is inspired by this recent one and this one; I hope it's not too elementary.
Let $M$ be a (closed) smooth manifold and $X$ a vector field on $M$. Fix any Riemannian metric $g$ on $M$ ...
- 23.3k
0
votes
0
answers
596
views
what does it mean for a differential to be regular at a singular point?
Let $\omega$ be a differential form on a singular integral curve $X'$ over some algebraically closed field $k$ (ie, $\omega$ is an element of the stalk of the sheaf of differentials $\Omega_{X'}$ of $...
- 10.7k
5
votes
2
answers
1k
views
trying to understand the support of the sheaf of relative differentials
So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf
specifically lemma 3.4.
The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t ...
- 10.7k
9
votes
2
answers
2k
views
Relationship between double tangent bundle, exterior derivative and connection
I am totally new to the subject differential geometry, and that probably reflects itself in the naive question that I'm trying to formulate. I hope this question does not get closed because of this.
...
- 805
2
votes
2
answers
965
views
Geodesics for a Cone Metric
Here is a question that I hope/suspect is elementary but cannot find a reference for. Suppose we are given a surface, S, with a conformally Euclidean metric, |f(z)||dz|, where f(z) is meromorphic. ...
- 21
21
votes
1
answer
2k
views
When does the relative differential $df=0$ imply that $f$ comes from the base?
Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If $df=0$,...
- 27.8k
0
votes
1
answer
281
views
Compute differential on cotangent bundle
Hi,
This is my question. Can we compute easily the differential of the following map ?
$$ f:(x,\xi^\star)\in TS^{2n-1} \mapsto \xi^\star(ix)\in \mathbb{R} $$
where $TS^{2n-1}$ is ...
37
votes
1
answer
3k
views
Various flavours of infinitesimals
I'm not sure if this is a soft question, and whether it may be too broad or, on the contrary, too localized. Well, in Mathematics the concept of "infinitesimal" has been of extreme importance for ...
- 23.3k
2
votes
1
answer
521
views
Kahler differentials of a hypersurface over a non-algebraically closed field
The following was recently on my algebraic geometry homework:
Let $k$ be an algebraically closed field, $f\in B=k[x_1,\ldots,x_n]$, and $A=B/(f)$. Show that $\Omega_{A/k}$ is locally free of rank $...
- 6,792
25
votes
2
answers
1k
views
Is there a convenient differential calculus for cojets?
I understand the basics of exterior differential geometry and how to do calculus with exterior differential forms. I know how to use this to justify the notation dy/dx as a literal ratio of the ...
- 2,754
2
votes
3
answers
2k
views
Optimum small number for numerical differentiation
The Wikipedia article on numerical differentiation mentions the formula
$$
h=\sqrt \epsilon \times x
$$
where $\epsilon$ is the machine epsilon (approx. $2.2\times 10^{-16}$ for 64-bit IEEE 754 ...
4
votes
3
answers
525
views
Is there a reason for defining the differential forms before the vector fields ?
Hi, my question is the following :
In EGA IV chapter 16, given $X$ a scheme over $S$, Grothendieck defines first $\Omega^1_{X/S}$, the $O_{X}$-module of the 1-differentials. He then defines the ...
- 1,320
2
votes
1
answer
412
views
derivative in the ring k[e]/e², chain rule
Let $k$ be a ring and $\overline{k} = k[\epsilon]/\epsilon^2$. For every $f \in k[t]$ there is a unique $f' \in k[t]$ such that $f(t+\epsilon)=f(t)+\epsilon f'(t)$ holds in $\overline{k}[t]$. It ...
- 63.1k
2
votes
2
answers
604
views
Resolution of a free lie algebra as a module over its universal enveloping algebra.
Let $L=L(V)$ be a free Lie algebra on a vector space $V$ and $A=T(V)$ the tensor algebra. Make $L$ into a module over $A$ consistent with the formula $a\cdot \alpha=[a,\alpha]$ for $a\in V$ and $\...
- 1,355
3
votes
2
answers
919
views
How to introduce Kahler differential in category? [closed]
How to define Kahler differential in an abelian category or more general category? Say exact category?
Is there any interesting example?
- 1,305
9
votes
3
answers
1k
views
If $\Omega_{X/Y}$ is locally free of rank $\mathrm{dim}\left(X\right)-\mathrm{dim}\left(Y\right)$, is $X\rightarrow Y$ smooth?
Suppose I have a morphism $f:X\rightarrow Y$ such that the relative sheaf of differentials $\Omega_{X/Y}$ is locally free. Does it follow that $f$ is smooth?
The answer is no, but for a silly reason. ...
