Related papers: Prestacks of Tate type
In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.
We construct a map from the prestack of Tate objects over a commutative ring $k$ to the stack of $\mathbb{G}_{\rm m}$-gerbes. The result is obtained by combining the determinant map from the stack of perfect complexes as proposed by…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
We introduce the notion of central extension of gerbes on a topological space. We then show that there are obstruction classes to lifting objects and isomorphisms in a central extension. We also discuss pronilpotent gerbes. These results…
We discuss an unusual phenomenon in (integral) positive ternary quadratic forms. We also describe an interesting pairing of genera of ternary forms.
We characterize vertex algebras (in a suitable sense) as algebras over a certain graded co-operad. We also discuss some examples and categorical implications of this characterization.
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
We give a generalization of Poitou-Tate duality to schemes of finite type over rings of integers of global fields.
We prove under some assumptions that the Tate conjecture holds for products of Fermat varieties of different degrees.
Overlap formalism deals with the construction of chiral gauge theories on the lattice. These set of lectures provide a pedagogical introduction to the subject with emphasis on chiral anomalies and gauge field topology. Subtleties associated…
Our aim is to give some insights about how to approach the formal description of situations where one has to conciliate several contradictory statements, rules, laws or ideas. We show that such a conciliation structure can be naturally…
This paper contains a loose collection of remarks on F1-schemes. Etale morphisms and universal coverings are introduced. The relation to toric varieties, at least for integral schemes, is clarified.In this paper it is shown that integral…
We study tilting complexes over preprojective algebras of Dynkin type. We classify all tilting complexes by giving a bijection between tilting complexes and the braid group of the corresponding folded graph. In particular, we determine the…
We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors…
In this dissertation, we explore the structure of inversion graphs of permutations--a class of graphs that naturally arises by representing each permutation as a graph, where vertices correspond to entries and edges encode inversions.…
Skein algebras of surfaces quantize character varieties of topological surfaces, and in low genus, these quantizations are often related to algebras arising in representation theory. For example, Terwilliger defined a universal $SL_2$…
We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded…
This paper gives an explicit construction of the Tate resolution of sheaves arising from the d-fold Veronese embedding of P^n. Our description involves the Bezoutian of n+1 homogenous forms of degree d in n+1 variables. We give applications…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give…