Related papers: A homotopical Skolem--Noether theorem
Let $X$ be a quasi projective scheme over a noetherian affine scheme $Spec(A)$, $U\subseteq X$ be an open subset, and $Z=X-U$.Assume that $Z$ is complete intersection, with $k=codim Z$. Consider the map $$ q:{\mathbb K}\left({\mathscr…
In this paper we suggest a new general formalism for studying the invariants of polyhedra and manifolds comming from the theory of von Neumann algebras. First, we examine generality in which one may apply the construction of the extended…
Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
In this article, we study bounded-below locally finite $\mathbb{Z}$-graded algebras, which are referred to as commonly graded algebras in literature. Commonly graded algebras have almost similar theory as that of connected graded algebras,…
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
The Ziegler spectrum for categories enriched in closed symmetric monoidal Grothendieck categories is defined and studied in this paper. It recovers the classical Ziegler spectrum of a ring. As an application, the Ziegler spectrum as well as…
The Grothendieck monoid of an exact category is a monoid version of the Grothendieck group. We use it to classify Serre subcategories of an exact category and to reconstruct the topology of a noetherian scheme. We first construct bijections…
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects,…
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of…
The Riemann-Roch Theorem is one of the cornerstones of algebraic geometry, connecting algebraic data (sheaf cohomology) with geometric ones (intersection theory). This survey paper provides a self-contained introduction and a complete proof…
Let K be a field of characteristic zero. Motivated by the conjecture that an enveloping algebra U(g) is Noetherian only if g is finite dimensional, we define the notion of weakly Noetherian Lie algebras. The main result, Theorem A, states…
Huayi Chen introduces the notion of an approximable graded algebra, which he uses to prove a Fujita-type theorem in the arithmetic setting, and asked if any such algebra is the graded ring of a big line bundle on a projective variety. This…
In this paper we study the Brill-Noether theory of sub-line bundles of a general, stable rank-two vector bundle on a curve C with general moduli. We relate this theory to the geometry of unisecant curves on smooth, non-special scrolls with…
Let C be a smooth projective curve over the field of the complex numbers. We consider Brill-Noether loci over the moduli of maps from C to the Grassmannian G(m,n) and the corresponding Quot schemes of quotients of a trivial vector bundle on…
For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a…
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…
Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…
In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…