Related papers: Prestacks of Tate type
We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which…
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual…
The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.
We formulate three versions of a strange duality conjecture for sections of the Theta bundles on the moduli spaces of sheaves on abelian surfaces. As supporting evidence, we check the equality of dimensions on dual moduli spaces, answering…
We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta…
This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.
Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.
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 establish the existence of models of quadric surface bundles with prescribed \'etale local forms.
A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete…
In this article we review some recent developments in heterotic compactifications. In particular we review an ``inherently toric'' description of certain sheaves, called equivariant sheaves, that has recently been discussed in the physics…
In view of applications to the construction of moduli spaces of objects in algebraic supergeometry, we start a systematic study of stacks in that context. After defining a superstack as a stack over the \'etale site of superschemes, we…
Let $G$ be a finite group and $\Y$ a $G$-gerbe over an orbifold $\B$. A disconnected orbifold $\hat{\Y}$ and a flat U(1)-gerbe $c$ on $\hat{\Y}$ is canonically constructed from $\Y$. Motivated by a proposal in physics, we study a…
This paper investigates finiteness conditions for gentle and skew-gentle algebras. First, we prove that a skew-gentle algebra is $\tau$-tilting finite if and only if it is representation-finite, which extends the result for gentle algebras…
In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…
Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$…
We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known…
The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…
In this article, we derive many properties of \'etale stacks in various contexts, and prove that \'etale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local…