The differentials tag has no usage guidance.

**0**

votes

**1**answer

247 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(...

**0**

votes

**1**answer

322 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{...

**1**

vote

**1**answer

166 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 $\...

**2**

votes

**0**answers

1k views

### Derivative of the regularized upper incomplete gamma function

Hello everyone!
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)&...

**6**

votes

**1**answer

540 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 ...

**1**

vote

**1**answer

199 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 \...

**0**

votes

**0**answers

116 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$ ...

**0**

votes

**0**answers

368 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 $...

**4**

votes

**2**answers

572 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 ...

**7**

votes

**2**answers

846 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.
...

**2**

votes

**2**answers

672 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. ...

**19**

votes

**1**answer

966 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$...

**0**

votes

**1**answer

208 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 ...

**35**

votes

**1**answer

2k 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 ...

**2**

votes

**1**answer

344 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 $...

**22**

votes

**2**answers

884 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**

votes

**3**answers

1k views

### Optimum small number for numerical differentiation

http://en.wikipedia.org/wiki/Numerical_differentiation#Practical_considerations mentions the formula
$h=\sqrt \epsilon * x$
where $\epsilon$ is the machine epsilon (approx. 2.2e-16 for 64-bit IEEE ...

**4**

votes

**3**answers

438 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 ...

**2**

votes

**1**answer

371 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 ...

**1**

vote

**2**answers

460 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**

vote

**2**answers

713 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?

**6**

votes

**3**answers

691 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. ...