Не являлось секретом то, что объединение гравитации и квантовой механики должно быть сопряжено с огромными усилиями. Когда поле квантуется, каждая мода поля обладает энергией нулевой точки. Так как поле формируется бесконечным числом мод, вакуумная энергия квантового поля является бесконечной. От этой бесконечности легко отделаться нормальным упорядочиванием полевых операторов. Оправдание этому в том, что мы просто переопределяем нулевую точку масштаба энергии, который прежде всего является произвольным. Тем не менее, так как гравитация взаимодействует со всей энергией, то когда мы добавляем гравитацию, то мы не можем больше уйти от этого. Вакуумные флуктуации квантованных полей действительно порождают физические эффекты, так что даже если мы обрезаем некоторое количество мод, плотность энергии вакуума от энергии нулевых точек оставшихся мод может быть очень большой. Такая плотность вакуумной энергии будет появляться в теории гравитации как космологическая постоянная. Так как космологическая постоянная очень мала, то это составляет большую проблему [Wein 89].
Далее, константа гравитационного взаимодействия в единицах, где h=c=1, имеет размерность (энергия)
-2. Теории, где константа взаимодействия имеет положительное значение, часто оказываются конечными, в то время как те теории, в которых константа является неопределённой величины, являются кандидатами на то, чтобы быть перенормируемыми. Теории с отрицательными значениями этих констант обычно имеют расходимости по всем местам, где требуется бесконечное число параметров для того, чтобы устранить все расходимости, и, следовательно, эти теории являются неперенормируемыми. Квантовая общая теория относительности попадает в эту последнюю категорию.В процессе перенормировки, контрчлены порождаются для того, что сократить высокоэнергетические или ультрарелятивистские расходимости, которые встречаются в отдельных членах теории возмущений. Когда процесс перенормировки является успешным, контрчлены приводят к построению конечного эффективного действия, что может мыслиться как классическая полевая теория, которая содержит все квантовые эффекты (см., например, [Hatf 92]). Возможные контрчлены согласуются с симметриями исходного ”обнажённого” действия. Другими словами, внутренние симметрии сильно ограничивают типы контрчленов, которые могут порождаться и, следовательно, число соответствующих расходимостей. Таким образом, теории с большей симметрией, как правило, обладают лучшей сходимостью.
Имеется чрезвычайно много возможных контрчленов, которые согласуются с известными симметриями для пертурбативной квантовой гравитации, например, члены пропорциональные R^2, R
R, R^3 и т.д. Лишь только была обнаружена необходимость введения ковариантных духов и стали известны ковариантные правила для вычисления членов теории возмущений до произвольного порядка ([DeWi 67а, DeWi 67b], [FaPo 67]), стало очевидным, что в полной мере будет иметь место закон Мёрфи для квантовой теории поля (если нет симметрии для того, чтобы ”убить” контрчлен, тогда будет иметь место расходимость), и теория наиболее вероятно будет неперенормируема. Проблеск надежды на таком пути появился, когда было показано, что чистая квантовая гравитация в однопетлевом приближении (первая квантовая поправка) являетсяL
(1)
=
g
1
120
R^2
+
7
20
R
R
,
(K.4)
На классическом уровне эти контрчлены обращаются в нуль для чистой гравитации, так как тогда мы имеем R=0 и R
=0. Тем не менее, нет основания для того, чтобы чистая однопетлевая квантовая гравитация являлась бы конечной. Основание для того, чтобы теория являлась бы конечной, состоит в том, что L(1) может исчезать в однопетлевом приближении при переопределении метрики, отсюда следует, что её эффекты не являются физически наблюдаемыми. Напомним, что для чистой гравитации вариационный принципL(0)
g
=
R
-
1
2
Rg
,
(К.5)
который, используя Принцип Наименьшего Действия, порождает классические полевые уравнения для чистой гравитации. Если мы переопределим метрику следующим образом:
g
'
=
g
+
g
,
g
7
20
R
-
11
60
Rg
,
(К.6)
тогда
L
(0)
(g)
+
L
(1)
(g)
=
L
(0)
(g')
+
O(^2)
,
(К.7)
где O(^2) - двупетлевые процессы, отсюда следует, что однопетлевая теория является конечной. Когда материальные поля взаимодействуют с гравитацией, однопетлевая теория не является более конечной, даже на классическом уровне.
Надежда состояла в том, что имелся некоторый вид скрытой симметрии, что делало результат в однопетлевом приближении конечным, и что эта симметрия сможет представить чисто гравитационный сектор конечной теории. Тем не менее, компьютерное вычисление двупетлевых поправок дало расходящийся результат [GoSa 86], разрушающий эту надежду. Недавние обзоры по ультрафиолетовым расходимостям можно найти в работах [Wein 79] и [Alva 89].