Related papers: The fiber-full scheme

In this work, we consider networks of so-called geometrically exact beams, namely, shearable beams that may undergo large motions. The corresponding mathematical model, commonly written in terms of displacements and rotations expressed in a…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

For a smooth projective variety $X$ with exceptional structure sheaf, and $\operatorname{Hilb}^2X$ the Hilbert scheme of two points on $X$, we show that the Fourier-Mukai functor $\mathbf{D}^{\mathrm{b}}(X)…

Given an elliptic fibration $f \colon X \to S$ over the spectrum of a complete discrete valuation ring with algebraically closed residue field, we use a Hochschild--Serre spectral sequence to express the torsion in $R^1f_\ast \mathscr{O}_X$…

We construct a lift of the degree filtration on the integer valued polynomials to (even MU-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree…

In this paper we use tools from differential topology to give a geometric description of cohomology for Hilbert manifolds. Our model is Quillen's geometric description of cobordism groups for finite dimensional smooth manifolds \cite{Q}.…

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected base $S$, with everything defined over $\overline{\mathbb{Q}}$. Denote by $\mathbb{V} = R^{2i} f_{*} \mathbb{Z}(i)$ the associated integral…

We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_\nu$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_\nu$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned…

Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p \in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define…

Let X be a projective scheme; let M and N be two coherent O_X-modules. Given an integer m, we present an algorithm for computing the global extension module Ext^m(X;M,N). In particular, this allows one to compute the sheaf cohomology…

Over a field of characteristic zero, every deformation problem with cohomology constraints is controlled by a pair consisting of a differential graded Lie algebra together with a module. Unfortunately, these pairs are usually…

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…

For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of…

The deformations of an infinite dimensional algebra may be controlled not just by its own cohomology but by that of an associated diagram of algebras, since an infinite dimensional algebra may be absolutely rigid in the classical…

A frame is a system of vectors $S$ in Hilbert space $\mathscr{H}$ with properties which allow one to write algorithms for the two operations, analysis and synthesis, relative to $S$, for all vectors in $\mathscr{H}$; expressed in…

For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…

Let $f:X \rightarrow \Delta $ be a one-parameter semistable degeneration of $m$-dimensional compact complex manifolds. Assume that each component of the central fiber $X_0$ is K\"ahler. Then, we provide a criterion for a general fiber to…

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma. Ng\^o's approach is based on a study of the elliptic part of the…

We introduce Integral Curve Coordinates, which identify each point in a bounded domain with a parameter along an integral curve of the gradient of a function $f$ on that domain; suitable functions have exactly one critical point, a maximum,…

This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed…