相关论文: Idempotentization of Affine Schemes and Sheaves
We study equivariant resolutions and local cohomologies of toric sheaves for affine toric varieties, where our focus is on the construction of new examples of decomposable maximal Cohen-Macaulay modules of higher rank. A result of Klyachko…
In this article we introduce the study of fuzzy semihyperrings and fuzzy R-semihypermodules, where R is a semihyperrings and R-semihypermodules are represntations of R. In particular, semihyperrings all of whose hyperideals are idempotent,…
In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…
In [TV], Bertrand To\"en and Michel Vaqui\'e define a scheme theory for a closed monoidal category $(\mathcal{C},\otimes,1)$. One of the key ingredients of this theory is the definition of a Zariski topology on the category of commutative…
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
We investigate invertible matrices over finite additively idempotent semirings. The main result provides a criterion for the invertibility of such matrices. We also give a construction of the inverse matrix and a formula for the number of…
We recently introduced the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. There is a type of idempotent system, said to be symmetric. In the present paper we classify up…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient…
We show that the $n-$th symmetric product of an affine scheme $X=\mathrm{Spec} A$ over a characteristic zero field is isomorphic as a scheme to the quotient by the general linear group of the scheme parameterizing $n-$dimensional linear…
We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…
We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a $3$-element commutative example, which we show also has \texttt{NP}-hard…
This paper develops the algebraic foundation required to build a Zariski-type geometry for \emph{commutative ternary $\Gamma$-semirings}, where multiplication is an inherently triadic, multi-parametric interaction…
We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…
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,…
Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models…
In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…
We prove that a semiring multiplicatively generated by its idempotents is commutative and Boolean, if every idempotent in the semiring has an orthogonal complement. We prove that a semiring additively generated by its idempotents is…
Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…
Let $X$ be an affine scheme of $k \times \mathbb{N}$-matrices and $Y$ be an affine scheme of $\mathbb{N} \times \cdots \times \mathbb{N}$-dimensional tensors. The group Sym$(\mathbb{N})$ acts naturally on both $X$ and $Y$ and on their…