Related papers: Tame proper base change for discretely ringed adic…

We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite…

We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong…

Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^\omega(\alpha), where \alpha{} is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^\omega(\alpha) and T: X --> X is the…

Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…

The compactified Jacobian of any projective curve $X$ is defined as the Simpson moduli space of torsion free rank one degree $d$ sheaves that are semistable with respect to a fixed polarization $H$ on $X$. In this paper we give explicitly…

Given varieties $X, Y, W$ and dominant morphisms $\phi:X\to Y$ and $f:X\to W$ such that $f$ is constant on fibres of $\phi$ , we give sufficient conditions to guarantee that $f$ descends to a rational map or a morphism $Y\to W.$ We pay…

Let $A \rightarrow S$ be an abelian scheme over a $p$-adic field, and let $s \colon S \rightarrow A$ be a section. We study the torsion locus $\bigcup \limits_{n \geq 1} s^{-1}(A[n])$ on $S$, and we show that torsion points on $S$ of…

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…

Let K be an algebraically closed field of characteristic zero. We study the tame isotropy group Tame_D(K[X,Y]) of locally finite derivations of the polynomial ring K[X,Y], using Van den Essen's classification up to conjugation. For each…

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

We discuss a question which appears in [S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bous Marie- Th\'eorie des topos et cohomologie \'etale des sch\'emas, Expos\'e XII, Remarks 6.13] concerning proper base change. In particular, we propose…

Let $f:S^1\times [0,1]\to S^1\times [0,1]$ be a real-analytic annulus diffeomorphism which is homotopic to the identity map and preserves an area form. Assume that for some lift $\tilde {f}:\mathbb{R}\times [0,1]\rightarrow \mathbb{R}\times…

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…

We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…

In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…

We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously…

Let I be an open interval, M be a real manifold, T*M its cotangent bundle and \Phi={\phi_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let \Lambda be the conic Lagrangian submanifold associated with…

On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…

Let $\pi:M\to B$ be a proper holomorphic submersion between complex manifolds and ${\cal E}$ a holomorphic bundle on $M$. We study and describe explicitly the torsion subsheaf $\mathrm{Tors}(R^1\pi_*({\cal E}))$ of the first direct image…

In this paper we prove a toric localization formula in the cohomological Donaldson-Thomas theory. Consider a (-1)-shifted symplectic algebraic space with a $\mathbb{G}_m$-action leaving the (-1)-shifted symplectic form invariant (typical…