Related papers: Derived $F$-zips
We study the first "derived functors of unramified cohomology" in the sense of arXiv:1506.08385 [math.AG], applied to the sheaves $\mathbf{G}_m$ and $\mathcal{K}_2$. We find interesting connections with classical cycle-theoretic invariants…
The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…
Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give…
Given a variety $Y$ with a rectangular Lefschetz decomposition of its derived category, we consider a degree $n$ cyclic cover $X \to Y$ ramified over a divisor $Z \subset Y$. We construct semiorthogonal decompositions of $\mathrm{D^b}(X)$…
This paper investigates the derived and spectral analogs of logarithmic geometry. We develop the deformation theory for animated log rings and $\mathbb{E}_\infty$-log rings and examine the corresponding theories of derived and spectral log…
The topological space of the stack of $G$-zips can be computed using a refinement process. We extend this refinement process to a more general framework and show that in many situations this process can be used to compute the equivalence…
The introduction is modified in the revised version. Also, many typos and errors were corrected. Let $W\to C$ be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed…
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the…
The moduli in a 4D N=1 heterotic compactification on an elliptic CY, as well as in the dual F-theoretic compactification, break into "base" parameters which are even (under the natural involution of the elliptic curves), and "fiber" or…
We prove that, for an Enriques surface in odd characteristic, the automorphism group is finitely generated and it acts on the effective nef cone with a rational polyhedral fundamental domain. We also construct a smooth projective surface in…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
We investigate the computational complexity of edge-deletion and edge-contraction problems in fuzzy graphs. For any graph property {\Pi} that is hereditary under contractions (or deletions) and determined by 3-connected components, the…
We study extension properties for morphisms of stacks of bundles for group algebraic spaces. Applications are a short proof of the classification of bundles on the projective line for smooth geometrically reductive groups and the existence…
We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find…
In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…
For a cubic hypersurface $X$, work of Galkin--Shinder and Voisin shows the existence of a birational map relating the Hilbert scheme of two points $X^{[2]}$ with a certain projective bundle over $X$. Belmans--Fu--Raedschelders show that…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
We consider a finite analytic morphism $\varphi =(f,g)$ defined from a complex analytic normal surface $(Z,z)$ to ${\mathbb C}^2$. We describe the topology of the image by $\varphi$ of a reduced curve on $(Z,z)$ by means of iterated pencils…
We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…