Related papers: An induced map between rationalized classifying sp…

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category…

We consider topological conditions under which a locally invertible map admits a global inverse. Our main theorem states that a local diffeomorphism $f: M \to\mathbb{R}^n$ is bijective if and only if $H_{n-1}(M)=0$ and the pre-image of…

We give sharp conditions on a local biholomorphism $F:X \to \mathbb C^{n}$ which ensure global injectivity. For $n \geq 2$, such a map is injective if for each complex line $l \subset \mathbb C^{n}$, the pre-image $F^{-1}(l)$ embeds…

In Part I, we proved that a rational model for the fiberwise THH transfer of a map $f$ of fibrations over a base space is given by the Hochschild homology transfer of a cdga model of $f$. In this paper, we provide an explicit description of…

We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…

Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to…

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and…

We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…

Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\pi}^*(X), $$ where $G$ and $\pi$ denote, respectively, subgroups of the free and pointed homotopy…

We define an algebro-geometric model for the space of rational maps from a smooth curve X to an algebraic group G, and show that this space is homologically contractible. As a consequence, we deduce that the moduli space Bun(G) of G-bundles…

For a smooth map $f:X^4\to\Sigma^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[\Sigma]\ne0$. If so, the space of symplectic…

Let G be a connected reductive group. We define a map from the set of unipotent classes in G to the set of conjugacy classes in the Weyl group (assuming that the characteristic is not bad). This map is a one sided inverse of a map in the…

We define topological invariants of regular Lagrangian fibrations using the integral affine structure on the base space and we show that these coincide with the classes known in the literature. We also classify all symplectic types of…

Let $k$ be a number field and let $T$ be a $k$-torus. Consider a fibration in torsors under $T$, i.e. a morphism $f: X \to \mathbb{P}^1_k$ from a smooth, projective $k$-variety $X$ to $\mathbb{P}^1_k$ such that the generic fibre $X_\eta \to…

We show that, for uniformly locally finite metric spaces $X$ and $Y$ with isomorphic uniform Roe algebras $C^*_u(X)$ and $C^*_u(Y)$, the existence of a bijective coarse equivalence $f \colon X \to Y$ is equivalent to the injectivity of the…

We define compactifications of vector spaces which are functorial with respect to certain linear maps. These "many-body" compactifications are manifolds with corners, and the linear maps lift to b-maps in the sense of Melrose. We derive a…

Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally…

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…

This is an expository article, which contributes to the Proceedings of the conference "Groups of Automorphisms in Birational and Affine Geometry", held in Trento in 2012. We propose that (rational) fibrations on the projective space $\p^n$…

Let $L$ and $M$ be closed, connected, smooth manifolds and let $L \hookrightarrow T^*M$ be an exact Lagrangian embedding. The induced map $L \to M$ is known by earlier work to be a homotopy equivalence. We show that the associated normal…