On diagonalization in map(M,G)

Motivated by some questions in the path integral approach to (topological) gauge theories, we are led to address the following question: given a smooth map from a manifoldM to a compact groupG, is it possible to smoothly “diagonalize” it, i.e. conjugate it into a map to a maximal torusT ofG? We analyze the local and global obstructions and give a complete solution to the problem for regular maps. We establish that these can always be smoothly diagonalized locally and that the obstructions to doing this globally are non-trivial Weyl group and torus bundles onM. We explain the relation of the obstructions to winding numbers of maps intoG/T and restrictions of the structure group of a principalG bundle toT and examine the behaviour of gauge fields under this diagonalization. We also discuss the complications that arise in the presence of non-trivialG-bundles and for non-regular maps. We use these results to justify a Weyl integral formula for functional integrals which, as a novel feature not seen in the finite-dimensional case, contains a summation over all those topologicalT-sectors which arise as restrictions of a trivial principalG bundle and which was used previously to solve completely Yang-Mills theory and theG/G model in two dimensions.     

Unfolding the singularities in superspace

A method is described for unfolding the singularities in superspace, \(\mathcal{G} = \mathfrak{M}/\mathfrak{D}\) , the space of Riemannian geometries of a manifoldM. This unfolded superspace is described by the projection $$\mathcal{G}_{F\left( M \right)} = \frac{{\mathfrak{M} \times F\left( M \right)}}{\mathfrak{D}} \to \frac{\mathfrak{M}}{\mathfrak{D}} = \mathcal{G}$$ whereF(M) is the frame bundle ofM. The unfolded space \(\mathcal{G}_{F\left( M \right)}\) is infinite-dimensional manifold without singularities. Moreover, as expected, the unfolding of \(\mathcal{G}_{F\left( M \right)}\) at each geometry [g _o] ∈ \(\mathcal{G}\) is parameterized by the isometry groupIg _o (M) of g₀. Our construction is natural, is generally covariant with respect to all coordinate transformations, and gives the necessary information at each geometry to make \(\mathcal{G}\) a manifold. This construction is a canonical and geometric model of a nonrelativistic construction that unfolds superspace by restricting to those coordinate transformations that fix a frame at a point. These particular unfoldings are tied together by an infinite-dimensional fiber bundleE overM, associated with the frame bundleF(M), with standard fiber \(\mathcal{G}_{F\left( M \right)}\) , and with fiber at a point inM being the particular noncanonical unfolding of \(\mathcal{G}\) based at that point. ThusE is the totality of all the particular unfoldings, and so is a grand unfolding of \(\mathcal{G}\) .     

Spatial representation of groups of automorphisms of von Neumann algebras with properly infinite commutant

Theorem. Let a topological groupG be represented (a→φ _a ) by *-automorphisms of a von Neumann algebraR acting on a separable Hilbert spaceH. Suppose that

1. G is locally compact and separable,
2. R′ is properly infinite,
3. for anyT∈R,x,y∈H the function

$$a \to \left\langle {\phi _a (T)x,y} \right\rangle _H $$ is measurable onG. Then there exists a strongly continuous unitary representation ofG onH,a→U _a , such that forT∈R,a∈G, $$\phi _\alpha (T) = U_a TU_a *.$$ .     

Group Actions on DG-Manifolds and Exact Courant Algebroids

Let G be a Lie group acting by diffeomorphisms on a manifold M and consider the image of T[1]G and T[1]M, of G and M respectively, in the category of differential graded manifolds. We show that the obstruction to lift the action of T[1]G on T[1]M to an action on a ${\mathbb{R}[n]}$ -bundle over T[1]M is measured by the G equivariant cohomology of M. We explicitly calculate the differential graded Lie algebra of the symmetries of the ${\mathbb{R}[n]}$ -bundle over T[1]M and we use this differential graded Lie algebra to understand which actions are hamiltonian. We show how split Exact Courant algebroids could be obtained as the derived Leibniz algebra of the symmetries of ${\mathbb{R}[2]}$ -bundles over T[1]M, and we use this construction to propose that the infinitesimal symmetries of a split Exact Courant algebroid should be encoded in the differential graded Lie algebra of symmetries of a ${\mathbb{R}[2]}$ -bundle over T[1]M. With this setup at hand, we propose a definition for an action of a Lie group on an Exact Courant algebroid and we propose conditions for the action to be hamiltonian.     

Infinitely many solutions for a perturbed nonlinear fractional boundary value problems depending on two parameters

In this paper we prove the existence and multiplicity of (weak) solutions for the following fractional boundary value problem: where $\alpha \in (\tfrac{1} {2},1]$ , ₀ D _t ^α?1 and _t D _T ^α?1 are the left and right Riemann-Liouville fractional integrals of order 1 ? α respectively, λ,μ ∈ [0,+∞), T > 0, F,G ∈ C([0,T] × R ^N ;R)\{0} and A = (a _ij (t)) _N×N is symmetric. Our approach is based on variational methods.     

On the Lie-Trotter theorems inL p -spaces

In this paper we consider operatorsH ₀ andV possessing the following properties:

1. H ₀ is a positive self-adjoint operator acting inL ²(M, γ) with γ a probability measure, so that exp(?tH ₀) is a contraction onL ¹(M, γ) for eacht>0.
2. V is a semibounded multiplicative operator acting inL ²(M, γ) {fx379-1}

Under these assumptions theorems of Lie-Trotter type are derived for the operatorsH, H ₀, V, whereH is a self-adjoint extension of the algebraic sumH ₀+V, and is built by the form method. Under the additional assumption thatV(·)∈L ²(M, γ) we prove an essential self-adjointness ofH ₀+V. The results obtained are applicable to non-relativistic quantum mechanics.     

A Level 1 Large-Deviation Principle for the Autocovariances of Uniquely Ergodic Transformations with Additive Noise

A large-deviation principle (LDP) at level 1 for random means of the type $$M_n \equiv \frac{1}{n}\sum\limits_{j = 0}^{n - 1} {Z_j Z_{j + 1} ,{\text{ }}n = 1,2,...}$$ is established. The random process {Z _n} _n≥0 is given by Z _n = Φ(X _n) + ξ _n , n = 0, 1, 2,..., where {X _n} _n≥0 and {ξ _n} _n≥0 are independent random sequences: the former is a stationary process defined by X _n = T ⁿ(X ₀), X ₀ is uniformly distributed on the circle S ¹, T: S ¹ → S ¹ is a continuous, uniquely ergodic transformation preserving the Lebesgue measure on S ¹, and {ξ_n} _n≥0 is a random sequence of independent and identically distributed random variables on S ¹; Φ is a continuous real function. The LDP at level 1 for the means M _n is obtained by using the level 2 LDP for the Markov process {V _n = (X _n, ξ _n , ξ _n+1)} _n≥0 and the contraction principle. For establishing this level 2 LDP, one can consider a more general setting: T: [0, 1) → [0, 1) is a measure-preserving Lebesgue measure, $\Phi :\left[ {0,\left. 1 \right)} \right. \to \mathbb{R}$ is a real measurable function, and ξ _n are independent and identically distributed random variables on $\mathbb{R}$ (for instance, they could have a Gaussian distribution with mean zero and variance σ²). The analogous result for the case of autocovariance of order k is also true.     

Inclusive Pomeron-Pomeron interactions at the CERN ISR

Data are presented for the first time on inclusive Pomeron-Pomeron interactions which produce a central systemX (composed mainly of multimeson states) in proton-proton collisions at \(\sqrt s \) at the CERN ISR. The systemX has a Feynman-x distribution which is sharply peaked atx _f=0, is inconsistent with any significant contributions from Reggeon exchange processes, and has an invariant mass dependence in good agreement with the predicted formM _x ^?2 . Kaon production is about 15% of pion production, nearly independent ofM _x, while proton-antiproton production averages about 5% of pion production and increases withM _x. The structure of the central systemX develops into a jetlike shape, asM _x increases, as would be expected from a model of Pomeron fragmentation. The shape of thex _f(π) distribution in the center of mass of theX system (although not proving existence) is consistent with asoft partonic substructure of the Pomeron.     

Frequency dependence of the freezing temperature in spin glasses: A comparative study of (La,Gd)B6, (Y,Gd)Al2 and (La,Gd)Al2

The frequency dependence of the freezing temperatureT _f(ν) is determined for the dilute spin glass systems (La, Gd)B₆ and (Y, Gd)Al₂ in the frequency range 10–1,000 Hz. While for (La, Gd)B₆,T _f(ν) is found to be weak, for (Y, Gd)Al₂ T _f(ν) is even stronger than for the previously studied system (La, Gd)Al₂. Both, measurements of the temperature dependence of the susceptibility nearT _f and calculations of the RKKY pair interaction, suggest that this difference is correlated with a different sign of the nearest-neighbor interaction, which appears to be antiferromagnetic for (La, Gd)B₆ and ferromagnetic for (Y, Gd)Al₂ as well as (La, Gd)Al₂.     

MeanM-subshell fluorescence yields atZ=88, 90, 92, and 94

M x-ray —L x-ray coincidence measurements with high resolution, cooled Si(Li) x-ray detectors were made on transitions following the alpha decays of²²⁸Th,²³²U,²³⁸Pu, and²⁴⁴Cm, in order to determine the meanM-subshell fluorescence yields. The values obtained are:v ₄ ^M =0.032±0.002, andv ₅ ^M =0.024±0.002 atZ=88;v ₁ ^M =0.038±0.003,v ₄ ^M =0.042±0.002, andv ₅ ^M =0.038±0.002 atZ=90;v ₁ ^M =0.047±0.002,v ₄ ^M =0.048±0.002, andv ₅ ^M =0.044±0.002 atZ=92;v ₁ ^M =0.066±0.002,v ₄ ^M =0.062±0.002, andv ₅ ^M =0.063±0.002 atZ=94. The quantityΩ ₁ ^M +f ₁₂ ^MΩ ₂ ^M was measured as (56±10)×10^?4, (62±12)×10^?4, (99±18) ×10^?4, and (93±15)×10^?4 forZ=88, 90, 92, and 94, respectively, which agree well with the calculations of McGuire. The radiativeL ₁-L ₃ transition intensity was measured for the four atomic numbers and found to be consistently less than the calculations of Scofield by about 45 percent.     

Toric <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">Spin</Emphasis>(7) Holonomy Spaces from Gravitational Instantons and Other Examples

Non-compact G ₂ holonomy metrics that arise from a T ² bundle over a hyper-Kähler space are constructed. These are one parameter deformations of certain metrics studied by Gibbons, Lü, Pope and Stelle in [1]. Seven-dimensional spaces with G ₂ holonomy fibered over the Taub-Nut and the Eguchi-Hanson gravitational instantons are found, together with other examples. By using the Apostolov-Salamon theorem [2], we construct a new example that, still being a T ² bundle over hyper-Kähler, represents a non-trivial two parameter deformation of the metrics studied in [1]. We then review the Spin(7) metrics arising from a T ³ bundle over a hyper-Kähler and we find a two parameter deformation of such spaces as well. We show that if the hyper-Kähler base satisfies certain properties, a non-trivial three parameter deformation is also possible. The relation between these spaces with half-flat and almost G ₂ holonomy structures is briefly discussed.     

On the phase transition in foreign phase inclusions in CsH2AsO4, KD2PO4, and KH2PO4 crystals

The low-frequency internal friction Q ^?1 and the shear modulus G in a paraelectric phase of CsH₂AsO₄, KD₂PO₄, and KH₂PO₄ ferroelectrics were studied using a reversed torsion pendulum method. Anomalies in the Q ^?1(T) and G(T) dependences were observed above the Curie temperatures of these crystals, at temperatures 308, 253, and 293 K, respectively. The anomalies were associated with a first-order phase transition $(\bar 42m \to mm2)$ occurring in the foreign phase inclusions.     

Commensurate and incommensurate states of a spin density wave in a quasi-two-dimensional system with an anisotropic energy spectrum in an external magnetic field of arbitrary direction relative to magnetization

A theory of thermodynamic properties of a spin density wave (SDW) in a quasi-two-dimensional system (with a preset impurity concentration x) is constructed. We choose an anisotropic dispersion relation for the electron energy and assume that external magnetic field H has an arbitrary direction relative to magnetic moment M _Q . The system of equations defining order parameters M _Q ^z , M _Q ^σ , M _z , and M ^σ is constructed and transformed with allowance for the Umklapp processes. Special cases when H ‖ M _Q and H ⊥ M _Q (H _Z H ^σ = 0) are considered in detail as well as cases of weak fields H of arbitrary direction. The condition for the transition of the system to the commensurate and incommensurate states of the SDW is analyzed. The concentration dependence of magnetic transition temperature T _M is calculated, and the components of the order parameter for the incommensurate phase are determined. The phase diagram (T,~x) is constructed. The effect of the magnetic field on magnetic transition temperature T _M is analyzed for H _Z H ^σ = 0, and longitudinal magnetic susceptibility χ‖ is calculated; this quantity demonstrates the temperature dependence corresponding to a system with a gap for x < x _c and to a gapless state for x > x _c . In the immediate vicinity of the critical impurity concentration (x ～ x _c ), the temperature dependence of the magnetic susceptibility acquires a local maximum. The effect of anisotropy of the electron energy spectrum on the investigated physical quantities is also analyzed.     

Rigidity in vacuum under conformal symmetry

Motivated in part by Eardley et al. (Commun Math Phys 106(1):137–158, 1986), in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X must be Killing. This gives a partial proof of the Bartnik splitting conjecture in the vacuum setting.     

The structure of a vortex line and the lower critical field in superconducting alloys

The structure of an isolated vortex line, and the lower critical fieldH _c 1, is calculated by means of the generalized Ginzburg-Landau (GL) theory for arbitrary values of the GL-parameterk(≧1/√2) and the mean free pathl at temperaturesT in the vicinity ofT _c . The free energy functional including the corrections of order [1?(T/T _c )] to the GL-functional is derived exactly. The corresponding Euler-Lagrange equations determining the zero-order (GL) contributions and the corrections of order [1?(T/T _c )] to the order parameter,f(r), and the superfluid velocity,v(r), have been solved numerically. The shapes of the first-order corrections off(r), v(r), and the magnetic field,h(r) are found to depend markedly, for a given value ofκ, on a second parameter,α=0.882(ξ ₀ /l) (whereξ ₀ is theBCS-coherence-distance). The deviations from the GL-solutions become largest forh(r) at parameter valuesk≈ 1 andα ≈ 0(the deviation ofh(0) is about 6% atT=0.9T _c forκ=1 andα=0). The ratioH _c1/H _c (where the thermodynamic criticalH _c has the BCS-temperature-dependence) is found to increase slightly in the “clean” limit (α=0), and to decrease slightly in the “dirty” limit (α=∞) asT decreases (the variation ofH _c 1/H _c is always less than 3% for arbitrary values ofκ andα asT decreases fromT _c to 0.9T _c ).     

Computable upper bounds for the adiabatic approximation errors

For a given Hermitian Hamiltonian H(s)(s∈[0,1])with eigenvalues Ek(s)and the corresponding eigenstates|Ek(s)(1 k N),adiabatic evolution described by the dilated Hamiltonian HT(t):=H(t/T)(t∈[0,T])starting from any fixed eigenstate|En(0)is discussed in this paper.Under the gap-condition that|Ek(s)-En(s)|λ0 for all s∈[0,1]and all k n,computable upper bounds for the adiabatic approximation errors between the exact solution|ψT(t)and the adiabatic approximation solution|ψadi T(t)to the Schr¨odinger equation i|˙ψT(t)=HT(t)|ψT(t)with the initial condition|ψT(0)=|En(0)are given in terms of fidelity and distance,respectively.As an application,it is proved that when the total evolving time T goes to infinity,|ψT(t)-|ψadi T(t)converges uniformly to zero,which implies that|ψT(t)≈|ψadi T(t)for all t∈[0,T]provided that T is large enough.