Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
13
votes
2
answers
3k
views
Sheaf of relative Kähler differentials intuitively
Let $f: X \to Y$ be a separated morphism between $k$-varieties or more general schemes
of finite type. The most common way in standard literature on algebraic
geometry to define the sheaf of relative …
8
votes
0
answers
410
views
Atiyah-Singer theorem in heat kernels and Dirac operators
I'm reading "Heat kernels and Dirac operators" by Berline, Getzler and Vergne.
I have some trouble to understand a identity on the bottom of page 146 which is essential for the proof of the Atiyah-Sin …
6
votes
1
answer
750
views
McKean-Singer formula in Heat Kernels and Dirac Operators book
I'm reading "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne. The setting is: $E \to M$ is a $\mathbb{Z}_2$-graded vector bundle on a compact Riemannian manifold $M$
and $D : \Gamma(M …
5
votes
1
answer
271
views
Origin of the name Trace resp Integral symbol for the trace map of Dualizing Sheaf
Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) consist …
3
votes
2
answers
2k
views
Smooth morphism (algebraic geometry) vs. Submersion (differential geo) & Ehresman's Lemma
I have a general question about the motivation behind to definition the smooth morphisms
as we know it from algebraic geometry. The most common
definition of a smooth morphism $: X \to Y$ between two …
2
votes
0
answers
156
views
Construct Torsion element in $H^2(X,\mathbb{Z})$ with Ambrose–Singer theorem
Let $X$ be a Kahler manifold. Using the exponential sequence one obtains a homomorphism $c_1:H^1(X,\mathcal{O}_X^*)\rightarrow H^2(X,\mathbb{Z})$. This is associating to a holomorphic line bundle $L$ …
2
votes
1
answer
1k
views
Fubini-Study metric induced by submersion
The Fubini-Study metric $g:=g_{FS}$ is the unique $U(n+1)$-invariant
Riemannian metric on the complex projective space $\mathbb{CP}^{n}$ the complex projective space
which by $U(n+1)$-invariance can …
2
votes
Sheaf of relative Kähler differentials intuitively
supplement/ an "almost" answer: I noticed that OP's of several related questions (1, 2) asked about similar
issue. The best explanation I found there was that for a smooth manifold $X$
the tangent spa …
2
votes
0
answers
118
views
Canonical class & ring of projective space $\mathbb{P}^n$ in differential geometry
David Mumford remarks in his book Algebraic Geometry I, Complex Projective Varieties on
page 109 that the fact that the canonical ring $\oplus_{k=0}^{\infty} \Omega_{k, \mathbb{P}^n}$
of projective sp …
2
votes
1
answer
133
views
Generically finite projection $\pi_L: X \to \mathbb{P}^2$ from plane $L$ and critical points
(In following we are working in "classical" complex setting: i.e. all involved schemes are considered to be varieties over $k=\mathbb{C}$)
Let $X \subset \mathbb{P}^n$ be irreducible surface and $L $ …
2
votes
0
answers
1k
views
Explicit construction of Fubini Study Metric
I have a question about a remark on Fubini Study metric on $\mathbb{CP}^n$
from Notes on canonical Kähler metrics
on page 8 is remarked (Example 2.12 4.):
Fix a Hermitian innerproduct on $\mathbb{C}^ …
-1
votes
1
answer
216
views
Almost Complex Structure extending to Complex Structure, aka "Integrable"
Let $M$ be a smooth manifold of (real) dimension $2n$. An almost complex structure $J$ on $M$ is a linear vector bundle isomorphism $J \colon TM\to TM$ on the tangent bundle $TM$ such that $J^2 = − 1 …