Skip to main content
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
Results tagged with
Search options not deleted user 108274

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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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$ …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 …
user267839's user avatar
  • 6,018
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 $ …
user267839's user avatar
  • 6,018
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}^ …
user267839's user avatar
  • 6,018
-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 …
user267839's user avatar
  • 6,018