I am studying the Hodge star operator for the first time. I am trying to prove that for $n$ even, then for any $\omega \in \Lambda^{n/2}(V)$ $\star_g \omega= \star_{\tilde{g}} \omega$, where $g$ and $\tilde{g}$ are conformal ($g=\lambda \tilde{g}$ for $\lambda >0$), it seems obvious but I don't really know where to start.
My definition of Hodge star is: for any $\omega, \mu \in \Lambda^k(V)$, $e_1, \dots , e_n$ a positively oriented orthonormal basis of $V$ wrt the metric $g$
$$
\omega \wedge \star \mu = g(\omega,\mu) e_1 \wedge \dots \wedge e_n
$$
Thanks!
2025-01-13 09:16:33.1736759793
Hodge star is conformally invariant on $\Lambda^{n/2}(V)$, for $n$ even
344 Views Asked by aras https://math.techqa.club/user/aras/detail At
1
There are 1 best solutions below
Related Questions in DIFFERENTIAL-GEOMETRY
- Are Christoffel symbols invariant under reparameterization of the curve?
- Tangent bundle equivalence not a pushforward
- Find the interior product of a basic p-form $\alpha = dx_1 \wedge dx_2 \wedge \ldots \wedge dx_p$ and a vector field $X$
- Showing Hofer's metric is bi-invariant
- What does it mean to 'preserve the first fundamental form'?
- proving a given curve is a geodesic
- Find the area of a double lune
- Commuting Covariant Derivatives in Derivation of First Variation Formula
- Every diffeomorphism which is an isometry is also conformal
- How do I make sense of terms $X^j\partial_j(Y^i)$ in the Lie bracket of vector fields?
Related Questions in DIFFERENTIAL-FORMS
- Pullback of differential form is zero
- Find the interior product of a basic p-form $\alpha = dx_1 \wedge dx_2 \wedge \ldots \wedge dx_p$ and a vector field $X$
- Suggestion for reference book for differential forms, differentiable manifolds and other topics
- Why functions can't be integrated on manifolds
- Chain Rule for Differentials
- 1 Form Integral along the curve
- Relating existence of a "potential" with exactness of a certain form
- Complex differential forms on $CP^n$
- de Rham Cohomology of the complex projective spaces
- Confusion with notation on Indices, differential forms
Related Questions in HODGE-THEORY
- About rational Hodge conjecture.
- Regularity Hodge Laplacian on bounded domains
- Induced bilinear form on exterior powers - Towards a global Hodge Star Operator
- Primitive cohomology, example request
- A homological perspective on the Hodge-theorem
- Is there a description of variation of (mixed) Hodge Structures in terms of a Deligne operator?
- The proof of the abc conjecture
- Hodge theory in general
- Killing vector field for Witten complex?
- Constructing the Hodge Laplacian from the Laplace-Beltrami one
Related Questions in GLOBAL-ANALYSIS
- Nonexistence of conjugate points $\Rightarrow$ a geodesic is minimizing
- How far can we push the Schwartz kernel theorem?
- Condition for Dirichlet boundary conditions
- Rigorous global optimization
- Using the covariant derivative for a Riemannian Metric for $H^1([0,1]; S^2)$
- Generalizations of Sard-Smale Theorem
- Hodge star is conformally invariant on $\Lambda^{n/2}(V)$, for $n$ even
- Defining a general structure of "Calculus"
- Show that $\int_{\mathbb{R}} \phi (x) dx= 0$
- Compute the first distributional derivative of a function
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
It suffices to check just on an orthonormal basis. If $e_1,\dots,e_n$ is an oriented $\tilde g$-orthonormal basis, then $\bar e_1=e_1/\sqrt{\lambda}, \dots, \bar e_n=e_n/\sqrt{\lambda}$ will be an oriented $g$-orthonormal basis. With $I$ an ordered multiindex of length $n/2$, let $I'$ denote a complementary ordered multiindex so that $\tilde\star e_I = e_{I'}$. It follows, then, that $\star\bar e_I = \bar e_{I'}$; in other words, $\dfrac1{(\sqrt\lambda)^{n/2}}{\star} e_I = \dfrac1{(\sqrt\lambda)^{n/2}}e_{I'}$, which means that $\star e_I = e_{I'}$, as before.