Related papers: Small projective spaces and Stillman uniformity fo…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.
In this paper, we provide a concrete interpretation of equivariant Reidemeister torsion and demonstrate that Bismut-Zhang's equivariant Cheeger-M\"{u}ller theorem simplifies considerably when applied to locally symmetric spaces. In a…
Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, \gamma be a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where…
Given a noncommutative Hamiltonian space $A$, we prove that the conjecture ``{\it quantization commutes with reduction}'' holds for $A$. We further construct a semidirect product algebra $A \rtimes \mG^A$, and establish a correspondence…
The moduli stack of representations of a quiver, or coherent sheaves on a proper curve, carries two structures on its cohomology: a Hall algebra and braided vertex coalgebra. We show that they are compatible, by developing a formulation of…
We give an explicit proof of a Bogomolov-type inequality for $c_3$ of reflexive sheaves on $\mathbb{P}^3$. Then, using resolutions of rank-two reflexive sheaves on $\mathbb{P}^3$, we prove that some strata of the moduli of rank-two…
We investigate P. Halmos' two projections theorem, (or two subspaces theorem) in the context of a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra).
We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety…
We determine the structure of the BPS algebra of 2-Calabi-Yau Abelian categories for which the stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a…
Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…
In this paper, we define the $K$-theoretic Hall algebra for $0$-dimensional coherent sheaves on a smooth projective surface, prove that the algebra is associative and construct a homomorphism to a redefined shuffle algebra analogous to…
We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…
We prove the Novikov conjecture on oriented Cheeger spaces whose fundamental group satisfies the strong Novikov conjecture. A Cheeger space is a stratified pseudomanifold admitting, through a choice of ideal boundary conditions, an L2-de…
We study the spaces of locally-finite stability conditions on the derived categories of coherent sheaves on the minimal resolutions of $A_n$-singularities supported at the exceptional sets. Our main theorem is that they are connected and…
We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising…
We give a new simple proof of boundedness of the family of semistable sheaves with fixed numerical invariants on a fixed smooth projective variety. In characteristic zero our method gives a quick proof of Bogomolov's inequality for…
In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in…
An algebraic subvariety Z of A_g is totally geodesic if it is the image via the natural projection map of some totally geodesic submanifold X of the Siegel space. We say that X is the symmetric space uniformizing Z. In this paper we…