7,940 research outputs found
Profinite Galois descent in K(h)-local homotopy theory
We investigate the category of K(h)-local spectra through the action of the Morava stabiliser group. Using condensed mathematics, we give a model for the continuous action of this profinite group on the ∞-category of K(h)-local modules over Morava E-theory, and explain how this gives rise to descent spectral sequences computing the Picard and Brauer groups of K(h)-local spectra. In the second part, we focus on the computation of these spectral sequences at height one, showing that they recover the Hopkins-Mahowald-Sadofsky computation of the Picard group, and giving a complete computation of the Brauer group relative to p-completed complex K-theory
Kan extensions in probability theory
n this thesis we will discuss results and ideas in probability theory from a categorical point of view. One categorical concept in particular will be of interest to us, namely that of Kan extensions. We will use Kan extensions of ‘ordinary’ functors, enriched functors and lax natural transformations to give categorical proofs of some fundamental results in probability theory and measure theory. We use Kan extensions of ‘ordinary’ functors to represent probability monads as codensity monads. We consider a functor representing probability measures on countable spaces. By Kan extending this functor along itself, we obtain a codensity monad describing probability measures on all spaces. In this way we represent probability monads such as the Giry monad, the Radon monad and the Kantorovich monad.
Kan extensions of lax natural transformations are used to obtain a categorical proof of the
Carath´eodorody extensions theorem. The Carath´eodory extension theorem is a fundamental
theorem in measure theory that says that premeasures can be extended to measures. We first
develop a framework for Kan extensions of lax natural transformations. We then represent outer
and inner (pre)measures by certain lax and colax natural transformations. By applying the
results on extensions of transformations a categorical proof of Carath´eodory’s extension theorem
is obtained.
We also give a categorical view on the Radon–Nikodym theorem and martingales. For this
we need Kan extensions of enriched functors. We start by observing that the finite version of
the Radon–Nikodym theorem is trivial and that it can be interpreted as a natural isomorphism
between certain functors, enriched over CMet, the category of complete metric spaces and
1-Lipschitz maps. We proceed by Kan extending these, to obtain the general version of the
Radon–Nikodym theorem. Concepts such as conditional expectation and martingales naturally
appear in this construction. By proving that these extended functors preserve certain cofiltered
limits, we obtain categorical proofs of a weaker version of a martingale convergence theorem and
the Kolmogorov extension theorem
Evolutionary ecology of obligate fungal and microsporidian invertebrate pathogens
The interactions between hosts and their parasites and pathogens are omnipresent in the natural world. These symbioses are not only key players in ecosystem functioning, but also drive genetic diversity through co-evolutionary adaptations. Within the speciose invertebrates, a plethora of interactions with obligate fungal and microsporidian pathogens exist, however the known interactions is likely only a fraction of the true diversity. Obligate invertebrate fungal and microsporidian pathogen require a host to continue their life cycle, some of which have specialised in certain host species and require host death to transmit to new hosts. Due to their requirement to kill a host to spread to a new one, obligate fungal and microsporidian pathogens regulate invertebrate host populations. Pathogen specialisation to a single or very few hosts has led to some fungi evolving the ability to manipulate their host’s behaviour to maximise transmission. The entomopathogenic fungus, Entomophthora muscae, infects houseflies (Musca domestica) over a week-long proliferation cycle, resulting in flies climbing to elevated positions, gluing their mouthparts to the substrate surface, and raising their wings to allow for a clear exit from fungal conidia through the host abdomen. These sequential behaviours are all timed to occur within a few hours of sunset. The E. muscae mechanisms used in controlling the mind of the fly remain relatively unknown, and whether other fitness costs ensue from an infection are understudied.European Commissio
On the Global Topology of Moduli Spaces of Riemannian Metrics with Holonomy
We discuss aspects of the global topology of moduli spaces of hyperkähler metrics.
If the second Betti number is larger than , we show that each connected component of these moduli spaces is not contractible. Moreover, in certain cases, we show that the components are simply connected and determine the second rational homotopy group. By that, we prove that the rank of the second homotopy group is bounded from below by the number of orbits of MBM-classes in the integral cohomology. \\
An explicit description of the moduli space of these hyperkähler metrics in terms of Torelli theorems will be given. We also provide such a description for the moduli space of Einstein metrics on the Enriques manifold. For the Enriques manifold, we also give an example of a desingularization process similar to the Kummer construction of Ricci-flat metrics on a Kummer surface.\\
We will use these theorems to provide topological statements for moduli spaces of Ricci-flat and Einstein metrics in any dimension larger than . For a compact simply connected manifold we show that the moduli space of Ricci flat metrics on splits homeomorphically into a product of the moduli space of Ricci flat metrics on and the moduli of sectional curvature flat metrics on the torus
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
Semi-simplicial Set Models for Distributed Knowledge
In recent years, a new class of models for multi-agent epistemic logic has
emerged, based on simplicial complexes. Since then, many variants of these
simplicial models have been investigated, giving rise to different logics and
axiomatizations.
In this paper, we present a further generalization, where a group of agents
may distinguish two worlds, even though each individual agent in the group is
unable to distinguish them. For that purpose, we generalize beyond simplicial
complexes and consider instead simplicial sets. By doing so, we define a new
semantics for epistemic logic with distributed knowledge. As it turns out,
these models are the geometric counterpart of a generalization of Kripke
models, called "pseudo-models". We identify various interesting sub-classes of
these models, encompassing all previously studied variants of simplicial
models; and give a sound and complete axiomatization for each of them
A note on the cohomology of -adic analytic group actions
We prove that given an analytic action of a compact -adic Lie group on a
Banach space over a field of positive characteristic, one can detect either the
simultaneous vanishing or the simultaneous finite-dimensionality of all of the
continuous cohomology groups from the corresponding statement for the
restriction to a pro- procyclic subgroup. We also formulate a conjecture
generalizing this result, in which the base field is allowed to have mixed
characteristic and the subgroup is allowed to be nilpotent. Finally, we
formulate an analogous conjecture about Lie algebra cohomology and relate this
to a theorem of Kostant.Comment: 11 page
Higher Geometric Structures on Manifolds and the Gauge Theory of Deligne Cohomology
We study smooth higher symmetry groups and moduli -stacks of generic
higher geometric structures on manifolds. Symmetries are automorphisms which
cover non-trivial diffeomorphisms of the base manifold. We construct the smooth
higher symmetry group of any geometric structure on and show that this
completely classifies, via a universal property, equivariant structures on the
higher geometry. We construct moduli stacks of higher geometric data as
-categorical quotients by the action of the higher symmetries, extract
information about the homotopy types of these moduli -stacks, and prove
a helpful sufficient criterion for when two such higher moduli stacks are
equivalent.
In the second part of the paper we study higher -connections.
First, we observe that higher connections come organised into higher groupoids,
which further carry affine actions by Baez-Crans-type higher vector spaces. We
compute a presentation of the higher gauge actions for -gerbes with
-connection, comment on the relation to higher-form symmetries, and present
a new String group model. We construct smooth moduli -stacks of higher
Maxwell and Einstein-Maxwell solutions, correcting previous such considerations
in the literature, and compute the homotopy groups of several moduli
-stacks of higher - connections. Finally, we show that a
discrepancy between two approaches to the differential geometry of NSNS
supergravity (via generalised and higher geometry, respectively) vanishes at
the level of moduli -stacks of NSNS supergravity solutions.Comment: 102 pages; comments welcom
Notes on Factorization Algebras and TQFTs
These are notes from talks given at a spring school on topological quantum
field theory in Nova Scotia during May of 2023. The aim is to introduce the
reader to the role of factorization algebras and related concepts in field
theory. In particular, we discuss the relationship between factorization
algebras, -algebras, vertex algebras, and the functorial
perspective on field theories.Comment: 42 pages. Comments welcome
On the metaphysics of
In the present paper, dedicated to Yuri Manin, we investigate the general
notion of rings of -polynomials and relate this concept
to the known notion of number systems. The Riemann-Roch theorem for the ring
of the integers that we obtained recently uses the understanding of
as a ring of polynomials in one variable over the
absolute base , where . The absolute base
(the categorical version of the sphere spectrum) thus turns out to be a strong
candidate for the incarnation of the mysterious .Comment: Dedicated to Yuri Manin, 14 Figure
- …