OAI/Geometry/PrescribedRicci/KahlerVolumeVariation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Kahler Volume Variation.

  1. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.PositivePotential.segment line 22
  2. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.continuous_weighted_parameter line 39
  3. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.chart_det_variation line 47
  4. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.density_mul_volume line 90
  5. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.integral_density line 102
  6. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.real_smul_hessian line 115
  7. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.integral_density_full line 121
  8. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.full_firstVariation_eq line 138
  9. theorem OAI.Anticanonical.SourceSmooth.KaehlerMetric.volume_firstVariation line 167