¿Cómo definir la distancia entre dos puntos en un espacio transformado conforme?

Considere una transformación conforme particular X m X m , y la métrica de un espacio plano se transforma de la siguiente manera,

η m v gramo m v = Λ 2 ( X ) η m v .

Una transformación conforme especial (SCF) toma la siguiente forma:

(4.15d) X m = X m b m X 2 1 2 b X + b 2 X 2

aquí, vector b m parametriza SCF, y X 2 y b X se definen usando η m v . Resulta que Λ ( X ) es el denominador.

DE ACUERDO. Según la teoría del campo conforme de Di Francesco, se da una relación (ecuación (4.22)):

(4.22) | X i X j | = | X i X j | Λ ( X i ) Λ ( X j ) .

Aquí, X i , X j representa colectivamente las coordenadas de dos puntos arbitrarios en el sistema de coordenadas original. Eso es, X i = ( X i 1 , X i 2 , . . . ) . Y X i , X j son coordenadas relacionadas con X i , X j a través de la SCF. | X i X j | es aparentemente la distancia.

¡Los autores también llaman distancia a la LHS de la ecuación anterior! Pero la métrica transformada gramo m v ya no es plano. Entonces, la distancia entre cualquier par de puntos finitamente separados no está bien definida, a menos que se especifique una ruta de un punto al otro. Entonces, ¿cómo entender esta distancia (la LHS)?


La distancia entre dos puntos se define en toda variedad de Riemann conexa, no es más que la inf de la longitud de las curvas que unen los dos puntos considerados. Así que tiene sentido referirse a la métrica gramo m v , también. Sin embargo, no sé si esta distancia coincide con el lado derecho de la identidad que citaste. Creo que sí, ya que existe como máximo una métrica que da lugar a una distancia al cuadrado dada y es evidente que el lado derecho de la identidad reproduce gramo m v para X i y X j suficientemente cerca uno del otro.
@ValterMoretti Con suerte, el inf coincide con el LHS. Desafortunadamente, las ecuaciones geodésicas son realmente complicadas y difíciles de resolver...

Respuestas (1)

Comentarios a la publicación (v2):

  1. Árbitro. 1 está considerando el d espacio euclidiano real bidimensional ( R d , | | 2 ) con la norma estándar

    (A) | X | 2   :=   m = 1 d ( X m ) 2   =   m , v = 1 d X m η m v X v , η m v   =   d i a gramo ( 1 , , 1 ) ,
    y producto interior
    (B) X , y   :=   m , v = 1 d X m η m v y v .

  2. Destacamos que la métrica es fija y la misma, inducida a partir de la norma estándar (A). (Sin embargo, como siempre, toma diferentes formas explícitas en varios sistemas de coordenadas diferentes).

  3. De la SCT (4.15d), se sigue que

    (C) | X | 2   =   | X | 2 Λ ( X ) 2 .
    Junto con un cálculo similar del producto interno X , y , es posible derivar la ec. (4.22):
    (4.22) | X y | 2   =   | X y | 2 Λ ( X ) Λ ( y ) .

  4. De la ec. (4.22) se sigue directamente que el SCT (4.15d) es un mapa conforme

(D) d s 2   =   d s 2 Λ ( X ) 2 .

Referencias:

  1. P. Di Francesco, P. Mathieu y D. Senechal, CFT, 1997.
Gracias por editar mi publicación. Con respecto a su punto 3, mi pregunta es en realidad si este símbolo | X i X j | representa la distancia medida usando la nueva métrica gramo m v . Si es así, cómo probar la relación (4.22). Me parece que es dificil.
Con respecto a su nuevo punto 3, la relación (C) es fácil de verificar, pero ¿cuál es el producto interno? X , y ?
Actualicé la respuesta.
Me das el producto interno en el sistema de coordenadas original, pero no el transformado. Quieres decir X , y = X m η m v X v , en lugar de X , y = X m gramo m v X v , por tu punto 2? (La segunda expresión está, por supuesto, mal definida)
Sí.
Excelente. Parece que deberíamos pensar la transformación conforme como una transformación activa, en lugar de pasiva.
Creo que (C) está equivocado. Por coherencia con (4.22), la potencia de Λ ( X ) debiera ser 1 .