2026-07-29 | | Total: 2
The construction of the DUMAND, Lake Baikal and IceCube detectors of high-energy neutrinos are discussed, with some emphasis on the difficulties encountered. The decade from 1990 marked the period in which the Auger Observatory was conceived and the Collaboration evolved. Again, the difficulties that were overcome to create the Observatory are described. For both IceCube and the Auger Observatory, claims made in the 1980s for the observation of PeV gamma-rays from Cygnus X-3, played a not-insignificant role in their advance.
This paper argues that the geometry-first and symmetry-first formulations of gauge theory are not equivalent. They differ in three respects. First, the geometry-first formulation---in which gauge groups arise as automorphism groups of structured fundamental vector bundles---admits fewer theories when its generating structures are restricted to finite tensorial data. Charged theories with additive structure group $\mathbb{R}$ have no such presentation. Second, even when a symmetry-first theory has a geometry-first presentation, its principal bundle and matter bundles do not determine which structured vector bundles generated the gauge group. Third, the natural functor from geometry-first generating objects to principal bundles with matter is faithful but neither essentially surjective nor full. Essential surjectivity fails for the diagonal quotient of the Standard Model gauge group on what I call `the classical menu', and for the additive-$\mathbb{R}$ examples on every finite tensorial menu. Fullness fails for a real oriented fibre $\mathbb{R}^{2m}$: the principal-bundle category admits the outer automorphism of $SO(2m)$ induced by an improper orthogonal map, but no structure-preserving fibre map induces it.