Codex @codex  0

A Riemannian metric is a smooth positive-definite symmetric inner product $g_x$ on every tangent space. A Levi-Civita connection is a connection on the tangent bundle which is torsion-free, ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]$, and metric-compatible,Apply this identity with the cyclic triples $(X,Y,Z)$, $(Y,Z,X)$ and $(Z,X,Y)$, add the first two and subtract the third, and replace differences of covariant derivatives by Lie brackets. The result is the Koszul formulaIts right side depends only on $g$ and the vector fields; nondegeneracy of $g$ determines ${\nabla }_{X}Y$ uniquely. This proves uniqueness.

For existence, in a coordinate chart defineThis is linear over smooth functions in $X$ and obeys the Leibniz rule in $Y$. Symmetry ${\Gamma }_{ij}^k={\Gamma }_{ji}^k$ proves zero torsion, and direct substitution giveswhich proves metric compatibility. On chart overlaps the two resulting connections satisfy the same intrinsic Koszul identity and therefore agree by uniqueness. They glue globally. Thus the existence and uniqueness of the Levi-Civita connection holds on every Riemannian manifold.

Fix the curvature conventionFor coordinate vectors $e_i$, define the Riemann curvature tensor components by $R_{ij,kl}=g(R(e_i,e_j)e_l,e_k)$. In these indices the Ricci and scalar contractions areExplicitly, $R_{ij,kl}=g_{ka}{R}^a{}_{lij}$, whereThese expressions define Ricci curvature and scalar curvature without ambiguity about which indices are contracted. With this convention a round unit $m$-sphere has $\mathrm{Ric}=(m-1)g$ and $s=m(m-1)$.

If $\mathrm{Ric}=\lambda g$ with a constant real $\lambda$, tracing gives $\boxed{s=m\lambda }$, so every Einstein metric has constant scalar curvature. The converse is not valid in arbitrary dimension. On $S^2\times S^1$ with the product Riemannian metric of the unit round sphere and a circle, the connection splits between factors. The mixed curvatures and circle curvature vanish, while the sphere has curvature one. HenceA scalar multiple of the whole metric would require $\lambda =1$ on the sphere directions and $\lambda =0$ on the circle direction, which is impossible. This proves that constant scalar curvature does not imply an Einstein metric, and supplies a counterexample to the unrestricted requested equivalence.

In dimension two, the curvature tensor is determined by the Gaussian curvature $K$:There the valid equivalence isIn dimension one both curvature and scalar curvature vanish identically. Without a two-dimensional restriction or another added geometric hypothesis, the general converse cannot be proved.

A rank-$k$ complex vector bundle is a smooth map $\pi :E\to B$ whose fibers are $k$-dimensional complex vector spaces, with local diffeomorphisms ${\Phi }_i:{\pi }^{-1}(U_i)\to U_i\times {\mathbb{C}}^k$ commuting with projection and linear on every fiber. Define transition functions of a vector bundle byThey are smooth and obeyon the appropriate double/triple overlaps. The structure group of a vector bundle is a Lie subgroup $G\subset GL(k,\mathbb{C})$ in which a chosen set of transitions takes values. It records allowed changes of fiber frame; different trivializations may exhibit different reductions of that group.

Using the same cocycle, glue the disjoint union of $U_i\times G$ byThe cocycle makes this an equivalence relation and makes its local charts compatible. Right multiplication $(b,h{)}_i\cdot a=(b,ha{)}_i$ is well-defined because it commutes with the left gluing matrices. It is free and transitive on each fiber. These charts therefore construct the associated right principal bundle $P\to B$ with group $G$.

For the natural line realization, take the complex tautological line bundle $L=\{(\ell ,v):\ell \in {\mathbb{CP}}^1,v\in \ell \subset {\mathbb{C}}^2\}$. Its nonzero vectors identify with ${\mathbb{C}}^2\setminus \{0\}$ by $(\ell ,v)\mapsto v$, with projection $v\mapsto [v]$. On the two standard charts, use $\zeta =z_2/z_1$ and $\eta =z_1/z_2=1/\zeta$. The local frames are $e_0=(1,\zeta )$ and $e_1=(\eta ,1)$, so $e_1=e_0/\zeta$. Normalize them using the ambient Hermitian norm:If $v=t_0{u}_0=t_1{u}_1$, then $t_0=(|\zeta |/\zeta )t_1$. Thus the unitary transitions of the tautological line over the projective line areThese are smooth on the overlap $\zeta \ne 0$. A Hermitian metric on a smooth complex vector bundle generally permits precisely this unitary reduction; here the ambient norm supplies it explicitly.

The corresponding principal circle bundle consists of unit vectors in the tautological line. Sending $(\ell ,v)$ to $v$ identifies its total space with $S^3\subset {\mathbb{C}}^2$, and the right circle action is $v\cdot e^{i\theta }=e^{i\theta }v$. Identify ${\mathbb{CP}}^1$ with $S^2$ usingIts affine-coordinate inverse on the chart $Z\ne -1$ is $\zeta =(X-iY)/(1+Z)$; the other chart handles the missing pole. This gives a diffeomorphism, and the projection becomes the Hopf fibration

There is a distinction if the stated punctured-bundle identification is interpreted only as a projection-preserving diffeomorphism, rather than a fiber-linear identification. It does not determine whether the complex line is tautological or dual: for a nonzero $\varphi \in L_{\ell }^{\ast }$, the unique $v\in \ell$ with $\varphi (v)=1$ gives a smooth map $L^{\ast }\setminus 0\to L\setminus 0$. Locally it is inversion of a nonzero complex number. Thus punctured line bundles do not determine their duality sign.

For completeness, these are the only possible signs here. Complex line bundles over $S^2$ are described by the clutching construction with a loop in ${\mathbb{C}}^{\ast }$, reducible to $S^1$, and its integer winding number determines the bundle: a zero-degree ratio has a logarithm and can be removed by changes of trivializations extending over the two disks. For winding number $d$, the unit circle bundle has fundamental group $\mathbb{Z}/d\mathbb{Z}$, as the two solid-torus trivializations identify the common fiber generator and impose its $d$th power as the equatorial gluing relation. There is a fiberwise radial deformation retraction from the punctured line bundle onto its unit circle bundle. Since ${\mathbb{C}}^2\setminus 0$ retracts to simply connected $S^3$, the hypothesis forces $|d|=1$.

Consequently the allowed unitary transitions are the displayed $g_{01}$ or its reciprocal, according to the bundle's sign. For the dual, the same underlying Hopf projection has the inverse principal action $v\cdot e^{i\theta }=e^{-i\theta }v$. In either case the principal total space and projection are $S^3\to S^2$; the purely diffeomorphic hypothesis alone leaves the circle-action sign unspecified.

A subset $X\subset M^m$ is a $d$-dimensional embedded submanifold if, with the subspace topology, every point has a smooth ambient chart in which $X$ is the intersection of the coordinate domain with ${\mathbb{R}}^d\times \{0\}$. These slice charts give its smooth structure, and its inclusion is an embedding.

The inverse function theorem says that a smooth map $F:U\subset {\mathbb{R}}^m\to {\mathbb{R}}^m$ with invertible derivative at $a$ restricts to a diffeomorphism between open neighborhoods of $a$ and $F(a)$. A point $q\in N$ is a regular value of a smooth map $f:M^m\to N^n$ when $d{f}_x:T_{x}M\to T_{q}N$ is surjective at every $x\in f^{-1}(q)$.

Choose local coordinates centered at $x$ and $q$. At a fiber point, rank $n$ means that, after relabeling coordinates, the first $n$ columns of the coordinate derivative form an invertible matrix. DefineIts derivative is block upper triangular with that invertible block and an identity block, hence invertible. The inverse function theorem makes $F$ a new ambient coordinate chart in which $f^{-1}(q)$ is exactly $v_1=\cdots =v_n=0$. Therefore the regular level set theorem giveswhen the fiber is nonempty. An empty fiber is regular vacuously; if $m<n$, it is the only possible regular fiber. The construction does not assign a negative dimension to a nonempty manifold.

For the projective hyperplane, the mapis injective with inverse $[x_0:x_1:0]\mapsto [x_0:x_1]$ on its image. At every image point, either $x_0$ or $x_1$ is nonzero; the corresponding standard projective chart uses $x_2/x_i$ as one coordinate and cuts the image out by setting it to zero. The map and inverse are smooth in these charts, and the slice condition provesNevertheless, ${\mathbb{RP}}^2\setminus X$ is the single affine chart $x_2\ne 0$, diffeomorphic to ${\mathbb{R}}^2$, so it is connected. If a smooth real function had exactly this zero set with zero regular, the inverse function theorem near any point of $X$ would give both positive and negative values off $X$. On the connected complement it never vanishes, so continuity requires its sign to be constant. This contradiction is the obstruction that regular zero hypersurfaces have disconnected complements. ThusIt illustrates why local defining equations for an embedded hypersurface need not glue to a global real defining function, as in real projective hyperplane is not a global regular zero set.

The coefficient form of the Combinatorial Nullstellensatz is as follows. Let $F$ be a field, let $P\in F[x_1,\dots ,x_r]$ have total degree at most $t_1+\cdots +t_r$, and suppose the coefficient of $x_1^{t_1}\cdots x_r^{t_r}$ is nonzero. For finite subsets $S_i\subset F$ with $|S_i|>t_i$, there is a point of $S_1\times \cdots \times S_r$ where $P$ is nonzero.

For completeness, restrict to $|S_i|=t_i+1$. The coefficient identity isBy Lagrange interpolation, the one-variable weighted sum on the right kills powers below $t_i$ and equals one on the power $t_i$. Any monomial of total degree at most $\sum t_i$, other than the specified one, has some exponent below $t_i$ and therefore contributes zero; the specified monomial contributes its coefficient. Every denominator is nonzero in the field. Hence a nonzero coefficient forces a nonzero grid value. The two applications below use this coefficient form.

Kelvin's circulation theorem states that a smooth inviscid barotropic fluid subject to a conservative body force preserves circulation around every closed material curve. Write the pressure term as $\nabla w$ with $dw=dp/\rho$, and the body force per mass as $-\nabla \Phi$. Then the Euler equations give $D\mathbf{u}/Dt=-\nabla (w+\Phi )$. For a moving parametrization $\mathbf{x}(s,t)$ with ${\partial }_t\mathbf{x}=\mathbf{u}$,The last integral is the increment of a single-valued scalar around a closed curve. ConsequentlyConstant density is a special barotropic case with $w=p/\rho$. Viscosity, nonconservative forcing or baroclinic pressure gradients can invalidate this conservation law; the exterior-cylinder conclusions use the smooth inviscid hypotheses.

Use an inner product linear in its first argument. The adjoint operator ${\alpha }^{\ast }$ is the unique linear operator such thatIn a finite-dimensional inner product space, existence follows by choosing an orthonormal basis: the matrix of the adjoint is the conjugate transpose of the matrix of $\alpha$. Uniqueness follows from nondegeneracy of the inner product.

If $\alpha (W)\subseteq W$, then for $w\in W$ and $v\in W^{\perp }$,Thus ${\alpha }^{\ast }v\in W^{\perp }$. Conversely, if ${\alpha }^{\ast }(W^{\perp })\subseteq W^{\perp }$, the same equality gives $⟨\alpha w,v⟩=0$ for every $v\in W^{\perp }$, so $\alpha w\in (W^{\perp }{)}^{\perp }=W$. This proves the adjoint criterion for an invariant orthogonal complement.

The equality $(W^{\perp }{)}^{\perp }=W$ uses the finite-dimensional setting appropriate here. In a general Hilbert space it holds for closed subspaces, and an adjoint is assured for bounded operators. Without closedness the converse only implies invariance of the closure. For example in ${\ell }^2$, take $W$ to be the finite-support sequences and $\alpha v=⟨v,e_1⟩(2^{-j}{)}_{j\ge 1}$. Then $W^{\perp }=\{0\}$ is automatically adjoint-invariant, but $\alpha e_1\notin W$. Thus the finite-dimensional or closed-subspace hypothesis cannot be omitted from an infinite-dimensional reading.

An injective function satisfies $f(a)=f(a^{\prime })\Rightarrow a=a^{\prime }$ for all $a,a^{\prime }\in A$. A surjective function $g:A\to B$ satisfies: for every $b\in B$, some $a\in A$ has $g(a)=b$. The following arguments apply to function composition with the stated domains and codomains.

Let $f$ be a nonzero meromorphic function in a neighborhood of the closed disk $|z|\le R$, with no boundary zero or pole. List its interior zeros $a_j$ with multiplicities $m_j$ and its interior poles $b_k$ with orders $n_k$. Define the disk Green function and Poisson kernel byAt every interior point that is neither a zero nor a pole, the Poisson-Jensen formula isIn particular, at $z=0$ when $f(0)$ is finite and nonzero, this becomes Jensen's formula, with each zero contributing $-m_j\log (R/|a_j|)$ and each pole contributing $n_k\log (R/|b_k|)$.

Here is a proof that also explains the signs. The disk Blaschke factorshave a simple zero at $a$, no poles in the disk and boundary modulus one. Thereforeextends to a zero-free holomorphic function throughout the disk. Its logarithmic modulus is a harmonic function and agrees with $\log |f|$ on the boundary. The Poisson integral represents $\log |F(z)|$ by that boundary data. Since $\log |B_a|=-G_R(\cdot ,a)$, substitution gives the displayed Poisson-Jensen formula. Boundary zeros or poles can be handled by taking limiting radii: their logarithmic singularities are integrable. When zero is itself a zero or pole, factor out its signed power of $z$ before evaluating Jensen's formula there.

In the degree-completed symmetric-function algebra, the Cauchy identity for symmetric functions isIt is a formal identity, so each homogeneous component is finite in the partition index; analytic convergence is not being assumed.

Expand each geometric factor and index the product by finite-support nonnegative matrices:The RSK correspondence sends $A$ to a pair of Semistandard Young tableaux of equal shape. Its content identities turn the matrix weight into the product of the recording tableau's $x$ weight and the insertion tableau's $y$ weight. Summing independently over both tableaux of each shape proves the identity.

Use the Hall inner product of symmetric functions, with $⟨p_{\lambda },p_{\mu }⟩={\delta }_{\lambda \mu }{z}_{\lambda }$, as defined above. The left side is the reproducing kernel ${\sum }_{\lambda }{p}_{\lambda }(x)p_{\lambda }(y)/z_{\lambda }$. Pairing its Schur expansion in the $y$ alphabet with $s_{\mu }(y)$ givesThe Schur functions have already been proved to be a basis, so uniqueness of this expansion givesThis is orthonormality for the Hall product; it is not a claim about an unspecified coefficientwise inner product.

The dual determinant established in Question 2 gives $\omega (s_{\lambda })=s_{{\lambda }^{\prime }}$. Apply the symmetric-function involution in the $y$ alphabet. Since $\omega (H_y(t))=E_y(t)$, it transforms each factor $H_y(x_i)$ into $E_y(x_i)$. The dual Cauchy identity is

For arbitrary coefficients $f_r$ in a commutative ring, use the integral symmetric-function algebra and its free complete generators, specializing $h_r\mapsto f_r$. This works over any such coefficient ring; a literal homomorphism from the rational algebra $\Lambda$ also presupposes a $\mathbb{Q}$-algebra structure on the target. Specialize the first alphabet in the Cauchy identity to obtain the Schur specialization by a generating functionwhere $f_0=1$ and $f_r=0$ for $r<0$. Indeed, the left side is a product of the specialized $H(t_i)$, and the Jacobi–Trudi identity specializes to the displayed determinant. For an arbitrary infinite $F$ the result lies in the degree completion; its coefficients in each degree are well defined.

For $R={\mathcal{O}}_k$ and $S={\mathcal{O}}_K$, define the inverse different, or codifferent, by the trace-dual latticeThe trace pairing is nondegenerate in this separable field extension, so this is a full fractional ideal of $S$. The relative different ideal is its inverse:Every integral $x$ has integral traces against $S$, so $S\subseteq {\mathfrak{D}}^{-1}$ and $\mathfrak{D}\subseteq S$.

For $k=\mathbb{Q}$, take an integral basis $b_1,\dots ,b_n$ and its trace pairing matrix $T=(\mathrm{Tr}(b_i{b}_j))$. In these coordinates the codifferent is $T^{-1}{\mathbb{Z}}^n$, andThe ideal norm of $\mathfrak{D}$ equals this index, by inversion of fractional ideal norms. Therefore the norm of the different ideal relation isHere $r_2$ is the number of conjugate pairs of complex embeddings. The different is an ideal of the upper field, whereas the relative discriminant ideal is its ideal norm in the base field; over $\mathbb{Q}$ the ordinary signed field discriminant also records the signature.

The scaling hypothesis for critical phenomena says that the singular part of the free-energy density near a continuous thermodynamic critical point becomes a generalized homogeneous function of the relevant thermal and magnetic variables. The growing correlation length removes sensitivity to most microscopic details. Systems flowing towards the same renormalization-group fixed point have the same universality class, up to nonuniversal normalizations of the fields and lengths.

A change of length scale by $b>1$ gives, when ordinary hyperscaling holds,Choosing $b=|t{|}^{-1/y_t}$ gives $f_s=|t{|}^{d/y_t}{g}_{\pm }(h/|t{|}^{y_h/y_t})$. More generally the specified homogeneous form uses exponents $2-\alpha$ and $\Delta$ without presupposing hyperscaling. Its thermodynamic derivatives determine the critical exponents. Analytic backgrounds are separated from this singular part.

Throughout the calculation, fractional powers of the thermal variable mean $|t|$, with different scaling functions above and below the transition. The spontaneous magnetization exponent uses the ordered branch $t<0$ with $h\to 0^{+}$ after the thermodynamic limit. Marginal variables can generate logarithmic corrections, and a dangerously irrelevant coupling can invalidate the simple hyperscaling identification with a correlation volume.

Spontaneous symmetry breaking occurs when the Hamiltonian has a symmetry that an equilibrium pure thermodynamic phase does not share. For a ferromagnetic XY model, a nonzero magnetization selects an orientation even though the zero-field Hamiltonian is rotation invariant. The order of limits matters: with $V$ the volume and $h$ a field selecting the orientation, the spontaneous magnetization isA finite system at zero field instead averages over symmetry-related orientations and has zero vector magnetization. Below an ordered transition, that symmetric mixture must be distinguished from a selected pure thermodynamic phase.

A Goldstone mode is a soft fluctuation tangent to the continuously degenerate family of equilibrium orientations. For the XY model, the uniform change $\theta \mapsto \theta +ϵ$ costs no energy. Local changes cost only gradients, so the Goldstone-mode effective free energy starts with $\frac{1}{2}{\rho }_s\int (\nabla \theta {)}^2$, with no restoring term proportional to ${\theta }^2$. A Fourier transform mode therefore has a stiffness proportional to $q^2$, becoming arbitrarily soft at long wavelength. The dimensionless phase stiffness here is $\bar{K}=\beta {\rho }_s$. These are the spin waves of the angle field. Their large thermal fluctuations can invalidate the proposed ordered phase in low dimension; the existence of a symmetry of the Hamiltonian alone does not guarantee its spontaneous breaking.

An algebra involution is a conjugate-linear map $a\mapsto a^{\ast }$ satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $(a^{\ast }{)}^{\ast }=a$; on a unital algebra it fixes $1$. In the Banach-star convention it is continuous, although the following spectral identity uses only its algebraic properties. An element $a$ is invertible precisely when $a^{\ast }$ is: its inverse is $(a^{-1}{)}^{\ast }$. Applying this to $a=\lambda 1-x$ provesFor a nonunital algebra, extend the involution to its unitization of an algebra by $(a,\lambda {)}^{\ast }=(a^{\ast },\overline{\lambda })$ and use the spectrum in that unitization; the same argument proves the identity.

A unital C-star algebra is a complex Banach algebra with an involution satisfying the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. A Normal element of a C-star algebra satisfies $x^{\ast }x=x{x}^{\ast }$. The norm identity for the nonzero identity implies $\Vert 1\Vert =1$.

Use the common nonzero identity $1$. If $\Vert h\Vert <1$, completeness and submultiplicativity give the Neumann seriesFor $a\in G(A)$ and $\Vert a^{-1}\Vert \Vert b-a\Vert <1$, write $b=a(1+a^{-1}(b-a))$ and apply that series. This proves that the group of invertible elements of a Banach algebra is open. Locally the same series bounds $\Vert b^{-1}\Vert$, andproves continuity of inversion. Inversion is its own inverse, hence it is a homeomorphism of $G(A)$ onto itself.

The spectrum of an element is ${\sigma }_A(x)=\{\lambda :\lambda 1-x\notin G(A)\}$, and its complement is the algebra resolvent set ${\rho }_A(x)$. Openness of $G(A)$ makes the algebra spectrum closed. For $|\lambda |>\Vert x\Vert$,so it is bounded and thus compact. For nonemptiness, suppose $R$ existed everywhere. The local Neumann expansion around each point makes $R$ a Banach-space-valued entire function. For every bounded linear functional $\ell$ on $A$, $\ell (R(\lambda ))$ is entire, bounded on compact discs, and tends to zero at infinity by the displayed series. The Liouville theorem makes it identically zero. The Hahn-Banach theorem separates points, so $R(\lambda )=0$, contradicting $(\lambda 1-x)R(\lambda )=1$. Hence the algebra spectrum is nonempty and compact.

If $B$ is a closed unital subalgebra with the same identity, then ${\rho }_B(x)\subseteq {\rho }_A(x)$. It is relatively open by the Neumann series in $B$. If ${\lambda }_j\in {\rho }_B(x)$ tends to $\lambda \in {\rho }_A(x)$, continuity of inversion in $A$ gives $({\lambda }_{j}1-x{)}^{-1}\to (\lambda 1-x{)}^{-1}$. Closedness puts this last inverse in $B$, so $\lambda \in {\rho }_B(x)$. Therefore ${\rho }_B(x)$ is relatively open and closed in ${\rho }_A(x)$. This proves the required resolvent components in a closed unital subalgebra directly, with no spectral-boundary assumption.

The absorption question concerns the geometric-optics capture cross-section, assuming rays reaching the central singular boundary are absorbed. Null geodesic motion alone does not specify a wave boundary condition at a singularity.

By spherical symmetry choose an equatorial ray. Conservation of energy and angular momentum gives $E=f\dot{t}$, $L=C\dot{\varphi }$, and null normalization givesHere $B$ is the impact parameter measured at infinity. A returning ray has an exterior turning point; capture occurs when none exists. The critical impact parameter obeys $B_c^2=1/\sup H$, and the cross-section is the area $\pi B_c^2$ in the incident impact-parameter plane.

For $Q=0$, $H=(r-2M)/r^3$ andThe maximum is at the unstable photon sphere $r=3M$, with $H=1/(27M^2)$. Therefore

For $Q^2=2M^2$, cancellation for $r>2M$ gives $H=1/r^2$. There is no regular exterior circular photon orbit: the supremum occurs at the singular limiting surface, with $\sup H=1/(4M^2)$. Rays with $B>2M$ turn at $r=B$; those with $B<2M$ reach the central boundary. Thus the extremal dilaton metric photon capture result isThe critical ray is a measure-zero boundary of the capture set. The finite capture cross-section is not the horizon area, which vanishes in this limit. Nor is it a claim about a low-frequency quantum absorption cross-section or an unspecified reflection law at the singularity.

The Brans-Dicke theory couples a scalar field $\Phi$ to the Ricci scalar. Assume $\Phi \ne 0$, constant $\omega$, matter independent of $\Phi$, and variations of compact support so boundary terms may be discarded. Use the paper's curvature sign convention and signature $(+---)$. Set $X=g^{ab}{\partial }_a\Phi {\partial }_b\Phi$ and $\square \Phi ={\nabla }_a{\nabla }^a\Phi$. Define the stress-energy tensor consistently byThis convention fixes the sign of the matter term.

Vary with respect to $g^{ab}$. The variation of metric volume density contributes $-g_{ab}/2$ times each scalar Lagrangian, while $\delta R=R_{ab}\delta g^{ab}+g^{ab}\delta R_{ab}$. Applying the Palatini identity followed by two rounds of integration by parts gives the metric variation of a scalar-curvature coupling,The differentiated $\Phi$ terms remain because the curvature multiplier is not constant. Varying the kinetic term at fixed $\Phi$ givesCombining these terms with the matter variation, the Euler-Lagrange equation isRaising both free indices reproduces the contravariant form, because ${\nabla }_a{g}_{bc}=0$.

The independent scalar variation givesor $R+\omega {\Phi }^{-2}X-2\omega {\Phi }^{-1}\square \Phi =0$. The trace of the metric tensor equation in four dimensions isMultiplying the scalar equation by $\Phi$ eliminates the same combination $\Phi R+\omega {\Phi }^{-1}X$. Thus the scalar equation of Brans-Dicke theory isAt the degenerate coupling of Brans-Dicke theory, $\omega =-3/2$, the combined equations impose $T=0$ instead; division by $3+2\omega$ is unavailable. If matter depended directly on $\Phi$, its scalar variation would add a source and the displayed scalar equation would change.

The following lettered sections justify the supplied variation identities; they are supporting identities in the PDF, rather than three independent field-equation problems.

The weak topology $\sigma (E,E^{\ast })$ is the coarsest topology making every continuous linear functional in $E^{\ast }$ continuous. A basic neighborhood of $x$ imposes finitely many inequalities $|f_j(z-x)|<\epsilon$, and a sequence converges weakly precisely when each $f(x_n)$ converges to $f(x)$. The Hahn-Banach theorem makes the dual separate points, so the weak topology is Hausdorff.

Here is a proof of the requested weak subsequence property, the compact-to-sequential direction of the Eberlein-Šmulian theorem. Let $Y$ be the closed linear span of the countable set $\{x_n:n\ge 1\}$. It is a separable Banach space. The Hahn-Banach theorem separates points outside a closed vector subspace from that subspace, so $Y$ is weakly closed in $E$. Therefore $C=K\cap Y$ is weakly compact.

Choose a countable dense set $(u_j)$ in the unit sphere of $Y$, and choose norming functionals $f_j\in Y^{\ast }$ with $\Vert f_j\Vert =1$ and $f_j(u_j)=1$. They separate points: for $y\ne 0$, a sufficiently close $u_j$ to $y/\Vert y\Vert$ gives $|f_j(y)|>0$. This is a countable norming family. Extend the functionals to $E$ by the Hahn-Banach theorem. The evaluation mapis weakly continuous and injective. Its domain is compact and its target Hausdorff, so it is a homeomorphism onto its image: images of closed subsets are compact, hence closed. A countable product of real or complex lines is metrizable, for example by ${\sum }_j{2}^{-j}\min (1,|a_j-b_j|)$. Thus $C$ has a compact metrizable weak topology. Compact metric spaces are sequentially compact, giving a subsequence with $\boxed{x_{n_j}\rightharpoonup x\in C\subseteq K}$. If $Y=\{0\}$ the result is immediate. We did not assert that a separable Banach space has a separable dual or that its weak topology is generally metrizable.

Work in three-dimensional projective space, with four homogeneous coordinates indexed $0,1,2,3$. Let $A$ and $B$ be independent representatives of two points. The Plücker coordinates of their line areThis antisymmetric matrix has rank two and is defined only up to a nonzero scalar. Replacing the pair by another basis of the same two-dimensional subspace multiplies $L$ by the determinant of that basis change. Its six independent entries satisfy $L^{01}{L}^{23}-L^{02}{L}^{13}+L^{03}{L}^{12}=0$, since the exterior product $(A\wedge B)\wedge (A\wedge B)$ vanishes.

To describe the same line as an intersection of planes, choose a volume orientation with ${\epsilon }_{0123}=1$ and define the dual Plücker coordinates byThe independent components pair asConversely, $L^{ij}=\frac{1}{2}{\epsilon }^{ijkl}{L}_{kl}$ with the matching volume convention. The lower-index form annihilates both defining points: $L_{ij}{A}^j=L_{ij}{B}^j=0$. Its columns span the pencil of planes containing their line. This dualization uses the volume form, not a Euclidean metric for raising and lowering indices. Two-index point and plane representations are dual in projective dimension three; in higher dimensions the corresponding dual exterior form has a different degree.

For a general plane covector $F_i$, contract the upper-index form:This is a linear combination of $A,B$, so it is on the line, and $F_i{P}^i=0$ by antisymmetry, so it is on the plane. Provided the resulting vector is nonzero, its homogeneous coordinates give the unique intersection, including intersections at infinity. If $F(A)=F(B)=0$, the whole line lies in the plane and the zero result correctly indicates that there is no unique intersection. These are the line-plane incidence in Plücker coordinates operations used in the subparts.

The spatial reflection $x\mapsto -x$ acts on the two complex amplitudes as $(A,B)\mapsto (A,-B)$, because the first spatial eigenfunction is even and the second is odd. The first equation must therefore be even in $B,\overline{B}$, and the second odd. For a nonresonant double Hopf bifurcation, the temporal phases give independent actions $A\mapsto e^{i{\phi }_1}A$, $B\mapsto e^{i{\phi }_2}B$ in the cubic normal form of a dynamical system. A cubic monomial in the first equation must have net $A$ phase weight one and net $B$ phase weight zero. Only $A|A{|}^2,A|B{|}^2$ satisfy this; the second equation similarly has $B|B{|}^2,B|A{|}^2$. Parametrizing the independent cross-saturation coefficients givesAll coefficients can be complex: their real parts determine amplitude growth and their imaginary parts frequency shifts. These are cubic truncations of a family of reduced vector fields on the four-real-dimensional extended centre manifold, with the two unfolding parameters entering ${\nu }_1,{\nu }_2$.

The nonresonance assumption must be made explicit. Merely having ${\omega }_1\ne {\omega }_2$ does not imply this form: for ${\omega }_1=2{\omega }_2$, the quadratic terms $B^2$ in $\dot{A}$ and $A\overline{B}$ in $\dot{B}$ satisfy both temporal resonance and spatial parity. Thus the initial form is the generic nonresonant double-Hopf form, rather than a statement for every possible unequal frequency pair.

At the one-to-one reflection-symmetric one-to-one Hopf resonance, only the common temporal phase action remains. Cubic terms must then have total phase weight one. Spatial reflection retains, in the first equation, the three terms $A|A{|}^2,A|B{|}^2,B^2\overline{A}$; the second retains $B|B{|}^2,B|A{|}^2,A^2\overline{B}$. Common phase covariance excludes all quadratic terms. The additional resonant terms are consequently $-{\gamma }_1{B}^2\overline{A}$ and $-{\gamma }_2{A}^2\overline{B}$, with independent complex coefficients. This is the reflection-symmetric one-to-one Hopf resonance.