相关论文: Compatible systems of $\ell$-adic sheaves

Let E be a Frobenius category, let_E_ denote its stable category. The shift functor on_E_ induces a first shift functor on the category of acyclic complexes with entries in_E_ by pointwise application. Shifting a complex by 3 positions…

Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We…

Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…

We introduce a new function on the set of pairs of cluster variables via $f$-vectors, which we call it the compatibility degree (of cluster complexes). The compatibility degree is a natural generalization of the classical compatibility…

Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\mathbb{F}$ be an algebraically closed field of characteristic $0$. Recently, together with Bouc, we introduced the notion of functorial equivalences between blocks…

Motivated by the constructions of binary sequences by utilizing the cyclic elliptic function fields over the finite field $\mathbb{F}_{2^{n}}$ by Jin \textit{et al.} in [IEEE Trans. Inf. Theory 71(8), 2025], we extend the construction to…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

If $S$ is a scheme of finite type over $k=\cc $, let $\Xx /S$ denote the big etale site of schemes over $S$. We introduce {\em presentable group sheaves}, a full subcategory of the category of sheaves of groups on $\Xx /S$ which is closed…

We show that there exists a duality family of self-interacting massive scalar fields. The scalar field in a duality family are related by a duality transformation. Such a duality of scalar fields is a field version of the Newton-Hooke…

A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these…

The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the…

Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…

We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…

Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical…

We show that under some conditions, two constructions of nearby cycles over general bases coincide. More specifically, we show that under the assumption of $\Psi$-factorizability, the constructions of unipotent nearby cycles over an affine…

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…

Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed…

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…