Related papers: Relative internality and definable fibrations
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
A double cover $Y$ of $\mathbb{P}^1 \times \mathbb{P}^2$ ramified over a general $(2,2)$-divisor will have the structure of a geometrically standard conic bundle ramified over a smooth plane quartic $\Delta \subset \mathbb{P}^2$ via the…
We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through…
This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…
Consistent and covariant Lorentz and diffeomorphism anomalies are investigated in terms of the geometry of the universal bundle for gravity. This bundle is explicitly constructed and its geometrical structure will be studied. By means of…
On a mathematically foundational level, our most successful physical theories (gauge field theories and general-relativistic theories) are formulated in a framework based on the differential geometry of connections on principal bundles.…
We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in…
Let X be a compact connected Kaehler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly, Peternell and Schenider says that there is a finite unramified Galois covering M --> X, a complex…
We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…
We review Hopf-Galois extensions, in particular faithfully flat ones, accepted to be the noncommutative algebraic dual of a principal bundle. We also make a short digression into how quantum groups relate to Hopf-Galois extensions. Several…
In this paper, we show that the generalized fixed-point algebra of a proper groupoid dynamical system, under certain assumptions, may be fibered over any locally compact Hausdorff space to which a continuous map exists from the unit space…
The theory of frames normal for general connections on differentiable bundles is developed. Links with the existing theory of frames normal for covariant derivative operators (linear connections) in vector bundles are revealed. The…
Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then…
We derive a model of constrained topological gravity, a theory recently introduced by us through the twist of N=2 Liouville theory, starting from the general BRST algebra and imposing the moduli space constraint as a gauge fixing. To do…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian…
We prove gauge-invariant uniqueness theorems with respect to maximal and normal coactions for $C^*$-algebras associated to product systems of $C^*$-correspondences. Our techniques of proof are developed in the abstract context of Fell…
We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular…
After a brief review of recent rigorous results concerning the representation theory of rational chiral conformal field theories (RCQFTs) we focus on pairs (A,F) of conformal field theories, where F has a finite group G of global symmetries…
Weak coalgebra-Galois extensions are studied. A notion of an invertible weak entwining structure is introduced. It is proven that, within an invertible weak entwining structure, the surjectivity of the canonical map implies bijectivity…