All Questions
21 questions
6
votes
1
answer
272
views
Ideals of functions whose zero locus is a submanifold
Let $M$ be a smooth $m$ dimensional manifold. Suppose that $f_1,\dots,f_k\in C^\infty(M)$ are smooth functions such that the zero locus $$N:=Z_f=\lbrace p\in M:\ f_i(p)=0,\ \forall i=1,2,\dots,k\...
- 2,792
1
vote
0
answers
122
views
What can we say when a module of differential is free?
Let $\mathbb{C}$ complex number.
$R=\mathbb{C}[x,y]/(f)(f\in \mathbb{C}[x,y])$
If the module of differential $\Omega_{R/\mathbb{C}}$ is free $R$ module of rank one,
what can we say about $R$.
How far ...
- 328
1
vote
1
answer
463
views
Vector bundles on $\mathbb{P}^1$
I am considering an alternative proof of Grothendieck's classification of vector bundles on $\mathbb{P}^1$. Given a vector bundle $E$ on $\mathbb{P}^1$ one can associate a graded module $\Gamma(E)$ ...
- 21
1
vote
0
answers
111
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
- 494
4
votes
1
answer
344
views
Relative valuative criteria of properness for flat morphisms
Let $f: X\rightarrow S$ be a flat quasi-projective morphism, where $X$ is a smooth variety, and $S$ is a discrete valuation ring. Then we know that $f$ is proper morphism if and only if it satisfies ...
- 153
5
votes
0
answers
324
views
Earliest reference for infinitesimal neighborhoods of the diagonal
Where was $I_x/I_x^2$ first introduced? (DG or AG) asks about the algebraic cotangent space. The paper First neighborhood of the diagonal and geometric distributions by Kock claims Grothendieck ...
- 10.5k
1
vote
0
answers
122
views
Module of Kahler differentials for manifolds [duplicate]
Let $A$ be a $k$-algebra and let $\mathcal{M}_A$ be the set of all $A$-modules. In $\mathcal{M}_A$, there exists a universal object $\Omega_{A/k}$, called the module of Kahler differentials, and a $k$...
- 111
16
votes
1
answer
733
views
Where was $I_x/I_x^2$ first introduced? (DG or AG)
Cotangent space appears in both differential geometry (DG) and algebraic geometry (AG).
In DG, given a smooth manifold $M$ and $x\in M$ one has an isomorphism $I_x/I_x^2 \cong T^*_xM$, where $I_x$ is ...
- 1,615
3
votes
0
answers
365
views
Transverse intersection of two divisors
Let $X$ be a smooth variety and $D_1$ and $D_2$ are two smooth divisors which intersect transversely. Assume also that $D_1\cap D_2$ is irreducible. Is it true that $\mathcal{O}(-D_1)|_{D_2}\cong \...
- 151
5
votes
1
answer
855
views
Hirzebruch Surface F2
Can the Hirzebruch Surface $F_2:=\mathbb{P}(\mathcal{O}\oplus \mathcal{O}(2))$ be obtained by some GIT quotient of $\mathbb{P}^4$ (or $\mathbb{C}^4$)?
user100841
2
votes
1
answer
721
views
lines in projective spaces [closed]
Let $\{v_1,v_2, \cdots , v_n, w_1,w_2, \cdots ,w_n\}$ be a basis of $\mathbb C^{2n}$. For a $n$-dimensional subspace $V \in Gr(n,\mathbb C^{2n})$ define another $n$ dimensional subspace $\bar{V} \in ...
- 185
4
votes
0
answers
257
views
Formalism behind local characterizations of formal smoothness/unramifiedness/étaleness over algebraically closed fields
In synthetic differential geometry, one way to define formally étale morphisms is as follows.
Say $f:M\to N$ is formally étale if $TM\cong TN\times _N M$, in other words if the unique map from $TM$ ...
- 10.5k
8
votes
1
answer
1k
views
Is the sheaf of smooth functions flat?
Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?
- 338
6
votes
2
answers
1k
views
A systematic canonical construction of the Hodge star operator
I'm struggling to make sense of the Hodge star as a global canonical object. Here are my struggles so far and some questions:
Let $M$ be a finitely generated projective $R$-module (hence locally free ...
- 7,789
7
votes
0
answers
922
views
Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?
See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If $\...
user74565
6
votes
1
answer
587
views
Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?
Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject ...
user74565
5
votes
1
answer
861
views
Smooth function algebra on cartesian product and beyond
Short question:
Let $M$ and $N$ be smooth manifold, with appropriate smooth function algebras
$C^\infty(M,\mathbb{R})$ and $C^\infty(N,\mathbb{R})$.
Can we express the smooth function algebra of ...
- 624
78
votes
5
answers
14k
views
Is there a "geometric" intuition underlying the notion of normal varieties?
I first got concious of the notion of normal varieties around 3 years ago and despite the fact that by now I can manipulate with it a bit, this notion still puzzles me a lot.
One thing that strikes me ...
- 14.3k
4
votes
0
answers
156
views
Characterizing non-singularity of varieties through properties of their derivations
I am interested in knowing about the possible implications between the following properties of a commutative, complex algebra:
Its spectrum is non-singular.
Its derivation module is projective and ...
- 393
3
votes
0
answers
591
views
Algebraic description of double vector bundles.
It is well known, by Serre-Swan theorem, that given a compact manifold M there is an equivalence of categories between the category of vector bundles over M and the category of finitely generated ...
- 51
9
votes
3
answers
728
views
In which commutative algebras does any derivation possess a flow?
Definitions
Suppose $A$ is a commutative algebra over $\mathbb{R}$ with unity. $\mathbb{R}$-linear map $\xi\colon A\to A$ is a derivation of $A$ iff $\xi(ab)=a\xi(b)+\xi(a)b$ for any $a,b\in A$. If $\...
- 1,284