相关论文: On geometrically reductive tensor categories
We present a tensor description of Euclidean spaces that emphasizes the use of geometric vectors. We demonstrate the effectiveness of the approach by proving of a number of integral identities with vector integrands.
We construct a geometric system from which the Hall algebra can be recovered. This system inherently satisfies higher associativity conditions and thus leads to a categorification of the Hall algebra. We then suggest how to use this…
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product…
This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf…
A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times…
In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under…
This is the seventh part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VII), we give sufficient…
The main purpose of this article is to provide an alternate proof to a result of Perelman on gradient shrinking solitons. In dimension three we also generalize the result by removing the $\kappa$-non-collapsing assumption. In high dimension…
We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family $\mathcal{D}(n)$, for $n \ge 3$ an integer, and a continuous family $\mathcal{C}(t)$, for $t \ne 1$ a complex number. The construction…
Let $G$ be a simply connected simple algebraic group over an algebraically closed field $k$ of characteristic $p>0$. The category of rational $G$-modules is not semisimple. We consider the question of when the tensor product of two simple…
A new approach to the algebraic classification of second order symmetric tensors in 5-dimensional space-times is presented. The possible Segre types for a symmetric two-tensor are found. A set of canonical forms for each Segre type is…
We study strongly graded vertex algebras and their strongly graded modules, which are conformal vertex algebras and their modules with a second, compatible grading by an abelian group satisfying certain grading restriction conditions. We…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…
Vertex algebras can be defined over any differential commutative ring. We develop the general descent theory for vertex algebras over such bases. We apply this to the classification of twisted forms of affine and Heisenberg vertex algebras,…
Projective Norms are a class of tensor norms that map on the input and output spaces. These norms are useful for providing a measure of entanglement. Calculating the projective norms is an NP-hard problem, which creates challenges in…
Let S be a nonsingular projective surface. Each vector bundle V on S of rank s induces a tautological vector bundle over the Hilbert scheme of n points of S. When s=1, the top Segre classes of the tautological bundles are given by a…
We investigate a new notion of regularity for tensor triangulated categories, called residual regularity. We show that residual regularity descends and ascends via finite separable extensions and we classify all finite groups whose derived…
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
We study the Ein-Lazarsfeld Conjecture of syzygies of Veronese varieties in the case of linear syzygies q=1. We show a vanishing statement which agrees with the conjecture up to highest and second-highest order for linear syzygies.
It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry,…