Nonsoluble and non-p-soluble length of finite groups

Every finite group G has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length λ(G) as the number of nonsoluble factors in a shortest series of this kind. Upper bounds for λ(G) appear in the study of various problems on finite, residually finite, and profinite groups. We prove that λ(G) is bounded in terms of the maximum 2-length of soluble subgroups of G, and that λ(G) is bounded by the maximum Fitting height of soluble subgroups. For an odd prime p, the non-p-soluble length λ p (G) is introduced, and it is proved that λ p (G) does not exceed the maximum p-length of p-soluble subgroups. We conjecture that for a given prime p and a given proper group variety V the non-p-soluble length λ p (G) of finite groups G whose Sylow p-subgroups belong to V is bounded. In this paper we prove this conjecture for any variety that is a product of several soluble varieties and varieties of finite exponent. As an application of the results obtained, an error is corrected in the proof of the main result of the second author’s paper Multilinear commutators in residually finite groups, Israel Journal of Mathematics 189 (2012), 207–224

Trialogue on the number of fundamental constants

This paper consists of three separate articles on the number of fundamental dimensionful constants in physics. We started our debate in summer 1992 on the terrace of the famous CERN cafeteria. In the summer of 2001 we returned to the subject to find that our views still diverged and decided to explain our current positions. LBO develops the traditional approach with three constants, GV argues in favor of at most two (within superstring theory), while MJD advocates zero.Comment: Version appearing in JHEP; 31 pages late

Theory of Finite Pseudoalgebras

Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional'' analogues of conformal algebras. They are defined as Lie algebras in a certain ``pseudotensor'' category instead of the category of vector spaces. A pseudotensor category (as introduced by Lambek, and by Beilinson and Drinfeld) is a category equipped with ``polylinear maps'' and a way to compose them. This allows for the definition of Lie algebras, representations, cohomology, etc. An instance of such a category can be constructed starting from any cocommutative (or more generally, quasitriangular) Hopf algebra $H$. The Lie algebras in this category are called Lie $H$-pseudoalgebras. The main result of this paper is the classification of all simple and all semisimple Lie $H$-pseudoalgebras which are finitely generated as $H$-modules. We also start developing the representation theory of Lie pseudoalgebras; in particular, we prove analogues of the Lie, Engel, and Cartan-Jacobson Theorems. We show that the cohomology theory of Lie pseudoalgebras describes extensions and deformations and is closely related to Gelfand-Fuchs cohomology. Lie pseudoalgebras are closely related to solutions of the classical Yang-Baxter equation, to differential Lie algebras (introduced by Ritt), and to Hamiltonian formalism in the theory of nonlinear evolution equations. As an application of our results, we derive a classification of simple and semisimple linear Poisson brackets in any finite number of indeterminates.Comment: 102 pages, 7 figures, AMS late

Hawking Radiation as Tunneling for Extremal and Rotating Black Holes

The issue concerning semi-classical methods recently developed in deriving the conditions for Hawking radiation as tunneling, is revisited and applied also to rotating black hole solutions as well as to the extremal cases. It is noticed how the tunneling method fixes the temperature of extremal black hole to be zero, unlike the Euclidean regularity method that allows an arbitrary compactification period. A comparison with other approaches is presented.Comment: 17 pages, Latex document, typos corrected, four more references, improved discussion in section

Spacetime Splitting, Admissible Coordinates and Causality

To confront relativity theory with observation, it is necessary to split spacetime into its temporal and spatial components. The (1+3) timelike threading approach involves restrictions on the gravitational potentials $(g_{\mu \nu})$, while the (3+1) spacelike slicing approach involves restrictions on $(g^{\mu \nu})$. These latter coordinate conditions protect chronology within any such coordinate patch. While the threading coordinate conditions can be naturally integrated into the structure of Lorentzian geometry and constitute the standard coordinate conditions in general relativity, this circumstance does not extend to the slicing coordinate conditions. We explore the influence of chronology violation on wave motion. In particular, we consider the propagation of radiation parallel to the rotation axis of stationary G\"odel-type universes characterized by parameters $\eta > 0$ and $\lambda > 0$ such that for $\eta 1$) chronology is protected (violated). We show that in the WKB approximation such waves can freely propagate only when chronology is protected.Comment: 25 pages, 3 figures; v2: minor typos corrected, accepted for publication in Phys. Rev.

On a conjecture of Goodearl: Jacobson radical non-nil algebras of Gelfand-Kirillov dimension 2

For an arbitrary countable field, we construct an associative algebra that is graded, generated by finitely many degree-1 elements, is Jacobson radical, is not nil, is prime, is not PI, and has Gelfand-Kirillov dimension two. This refutes a conjecture attributed to Goodearl

Physically motivated uncertainty relations at the Planck length for an emergent non commutative spacetime

We derive new space-time uncertainty relations (STUR) at the fundamental Planck length $L_P$ from quantum mechanics and general relativity (GR), both in flat and curved backgrounds. Contrary to claims present in the literature, our approach suggests that no minimal uncertainty appears for lengths, but instead for minimal space and four-volumes. Moreover, we derive a maximal absolute value for the energy density. Finally, some considerations on possible commutators among quantum operators implying our STUR are done.Comment: Final version published in "Class. Quantum Grav.

Classical Monopoles: Newton, NUT-space, gravomagnetic lensing and atomic spectra

Stimulated by a scholium in Newton's Principia we find some beautiful results in classical mechanics which can be interpreted in terms of the orbits in the field of a mass endowed with a gravomagnetic monopole. All the orbits lie on cones! When the cones are slit open and flattened the orbits are exactly the ellipses and hyperbolae that one would have obtained without the gravomagnetic monopole. The beauty and simplicity of these results has led us to explore the similar problems in Atomic Physics when the nuclei have an added Dirac magnetic monopole. These problems have been explored by others and we sketch the derivations and give details of the predicted spectrum of monopolar hydrogen. Finally we return to gravomagnetic monopoles in general relativity. We explain why NUT space has a non-spherical metric although NUT space itself is the spherical space-time of a mass with a gravomagnetic monopole. We demonstrate that all geodesics in NUT space lie on cones and use this result to study the gravitational lensing by bodies with gravomagnetic monopoles. We remark that just as electromagnetism would have to be extended beyond Maxwell's equations to allow for magnetic monopoles and their currents so general relativity would have to be extended to allow torsion for general distributions of gravomagnetic monopoles and their currents. Of course if monopoles were never discovered then it would be a triumph for both Maxwellian Electromagnetism and General Relativity as they stand!Comment: 39 pages, 9 figures and 2 tables available on request from the author

Conformal and Affine Hamiltonian Dynamics of General Relativity

The Hamiltonian approach to the General Relativity is formulated as a joint nonlinear realization of conformal and affine symmetries by means of the Dirac scalar dilaton and the Maurer-Cartan forms. The dominance of the Casimir vacuum energy of physical fields provides a good description of the type Ia supernova luminosity distance--redshift relation. Introducing the uncertainty principle at the Planck's epoch within our model, we obtain the hierarchy of the Universe energy scales, which is supported by the observational data. We found that the invariance of the Maurer-Cartan forms with respect to the general coordinate transformation yields a single-component strong gravitational waves. The Hamiltonian dynamics of the model describes the effect of an intensive vacuum creation of gravitons and the minimal coupling scalar (Higgs) bosons in the Early Universe.Comment: 37 pages, version submitted to Gen. Rel. Gra

Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics

We examine some of Connes' criticisms of Robinson's infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes' own earlier work in functional analysis. Connes described the hyperreals as both a "virtual theory" and a "chimera", yet acknowledged that his argument relies on the transfer principle. We analyze Connes' "dart-throwing" thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being "virtual" if it is not definable in a suitable model of ZFC. If so, Connes' claim that a theory of the hyperreals is "virtual" is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren't definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in his Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes' criticism of virtuality. We analyze the philosophical underpinnings of Connes' argument based on Goedel's incompleteness theorem, and detect an apparent circularity in Connes' logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace (featured on the front cover of Connes' magnum opus) and the Hahn-Banach theorem, in Connes' own framework. We also note an inaccuracy in Machover's critique of infinitesimal-based pedagogy.Comment: 52 pages, 1 figur