Related papers: Product preserving bundle functors on multifibered…
We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…
We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…
We prove that the forgetful morphism from the moduli space of orthogonal bundles to the moduli space of vector bundles over a smooth curve is an embedding. Our proof relies on an explicit description of a set of generators for the…
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Mart\'inez's link between Makkai's FOLDS (first order logic with…
We provide supplements and open problems related to structure theorems for maximal rationally connected fibrations of certain positively curved projective varieties, including smooth projective varieties with semi-positive holomorphic…
We show that the derived categories of symmetric products of a curve are embedded into the derived categories of the moduli spaces of vector bundles of large ranks on the curve. It supports a prediction of the existence of a semiorthogonal…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
We apply our earlier work on the higher-dimensional analogue of the Mumford conjecture to two questions. Inspired by work of Ebert we prove non-triviality of certain characteristic classes of bundles of smooth closed manifolds. Inspired by…
A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…
Let K be a a Lie group, modeled on a locally convex space, and M a finite-dimensional paracompact manifold with corners. We show that each continuous principal K-bundle over M is continuously equivalent to a smooth one and that two smooth…
A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
A Q-manifold is a graded manifold endowed with a vector field of degree one squaring to zero. We consider the notion of a Q-bundle, that is, a fiber bundle in the category of Q-manifolds. To each homotopy class of ``gauge fields'' (sections…
It is shown that a (curved) projective structure on a smooth manifold determines on the Poisson algebra of smooth, fiberwise-polynomial functions on the cotangent bundle a one-parameter family of graded star products. For a particular value…
I introduce the concept of a persistence diagram (PD) bundle, which is the space of PDs for a fibered filtration function (a set $\{f_p: \mathcal{K}^p \to \mathbb{R}\}_{p \in B}$ of filtrations that is parameterized by a topological space…
Motivated by the problem of finding algebraic constructions of finite coverings in commutative algebra, the Steinitz realization problem in number theory, and the study of Hurwitz spaces in algebraic geometry, we investigate the vector…
On contact manifolds we describe a notion of (contact) finite-type for linear partial differential operators satisfying a natural condition on their leading terms. A large class of linear differential operators are of finite-type in this…
We classify SO(n)-equivariant principal bundles over $S^n$ in terms of their isotropy representations over the north and south poles. This is an example of a general result classifying equivariant $(\Pi, G)$-bundles over cohomogeneity one…