Related papers: Note on the Serre-Swan Theorem

We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification…

We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the…

We extend the theory of spinor class field and representation fields previously defined for lattices over the ring of integers of a number field to both, lattices over the coordinate ring of a smooth irreducible affine curve over a finite…

For an $\ell$-adic sheaf on a variety of arbitrary dimension over a perfect field, we define the Swan class measuring the wild ramification as a 0-cycle class supported on the ramification locus. We prove a Lefschetz trace formula for open…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…

We investigate sheaves supported on the zero section of the total space of a locally-free sheaf E on a smooth, projective variety X when the top exterior power of E is isomorphic to the canonical bundle of X. We rephrase this construction…

In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…

Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank…

This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…

We construct monads for framed torsion-free sheaves on blow-ups of the complex projective plane at finitely many distinct points. Using these monads we prove that the moduli space of such sheaves is a smooth algebraic variety. Moreover we…

Given a topological ring $R$, we study semitopological $R$-modules, construct their completions, Bohr and borno modifications. For every topological space $X$, we construct the free (semi)topological $R$-module over $X$ and prove that for a…

Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…

This paper develops a comprehensive geometric and homological framework for derived Gamma-geometry, extending the theory of commutative ternary Gamma-semirings established in our earlier works. Building upon the ideal-theoretic,…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

We state results from noncommutative deformation theory of modules over an associative $k$-algebra $A,$ $k$ a field, necessary for this work. We define a set of $A$-modules $\operatorname{aSpec}A$ containing the simple modules, whose…

Suppose $f,g$ are homogeneous polynomials of degree $d$ defining smooth hypersurfaces $X_f = V(f)\subset \mathbb{P}^{m-1}$ and $X_g = V(g)\subset\mathbb{P}^{n-1}$. Then the sum $f(x)+g(y)$ defines a smooth hypersurface…

On a reduced analytic space $X$ we introduce the concept of a generalized cycle, which extends the notion of a formal sum of analytic subspaces to include also a form part. We then consider a suitable equivalence relation and corresponding…

To develop a constructive description of $\mathrm{Ext}$ in categories of coherent sheaves over certain schemes, we establish a binatural isomorphism between the $\mathrm{Ext}$-groups in Serre quotient categories $\mathcal{A}/\mathcal{C}$…

Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…

We prove an analogon of the the fundamental homomorphism theorem for certain classes of exact and essentially surjective functors of Abelian categories $\mathscr{Q}:\mathcal{A} \to \mathcal{B}$. It states that $\mathscr{Q}$ is up to…