Related papers: Fibrewise nullification and the cube theorem

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

A construction theorem for Frobenius manifolds with logarithmic poles is established. This is a generalization of a theorem of Hertling and Manin. As an application we prove a generalization of the reconstruction theorem of Kontsevich and…

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

We classify six-dimensional F-theory compactifications in terms of simple features of the divisor structure of the base surface of the elliptic fibration. This structure controls the minimal spectrum of the theory. We determine all…

Suppose that f is a projective birational morphism with at most one-dimensional fibres between d-dimensional varieties X and Y, satisfying ${\bf R}f_* \mathcal{O}_X = \mathcal{O}_Y$. Consider the locus L in Y over which f is not an…

This paper, in a sense, completes a series of three papers. In the previous two hep-th/0404013, hep-th/0410293, we have explored the possibility of refining the K-theory partition function in type II string theories using elliptic…

We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In…

Topological complexity $\TC{B}$ of a space $B$ is introduced by M. Farber to measure how much complex the space is, which is first considered on a configuration space of a motion planning of a robot arm. We also consider a stronger version…

Motivated by the Strominger-Yau-Zaslow conjecture, we study fibre spaces whose total space has trivial canonical bundle. Especially, we are interest in Calabi-Yau varieties with fibre structure. In this paper, we only consider semi-stable…

The subject of the present paper is phase tropicalization, which was used crucially in the context of Mikhalkin's correspondence theorem for curve counting in the complex coefficient case. The subject can be traced back to Viro's…

There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…

We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical…

The construction of pointlike fields in quantum integrable models is usually approached by constructing their n-point functions. However, convergence questions of the resulting infinite series remain unresolved even in the simplest case of…

One of the main open problems of mathematical physics is to consistently quantize Yang-Mills gauge theory. If such a consistent quantization were to exist, it is reasonable to expect a ``Wightman reconstruction theorem,'' by which a Hilbert…

For a reduced projective scheme over the ring of integers of a number field, the set of places over which the fibres of the scheme are not reduced is a finite set. We give an explicit upper bound for the product of the norms of places in…

These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing…

We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the…

We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is…