相关论文: Support varieties - an ideal approach
A general framework for the reduction of the equations defining classes of spherical varieties to (maybe infinite dimensional) grassmannians is proposed. This is applied to model varieties of type A, B and C; in particular a standard…
We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…
A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…
We introduce a continuous version of preprojective algebras of type $A$. In particular, we are interested in the preprojective category over an open, bounded subinterval $\mathbb{I}$ of $\mathbb{R}$, denoted $\Lambda_{\mathbb{I}}$. We study…
For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed…
For the module category of an Artin algebra, we generalize the notion of torsion pairs to ideal torsion pairs. Instead of full subcategories of modules, ideals of morphisms of the ambient category are considered. We characterize the…
We study the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work by Matsui-Takahashi. Our main theorem is a computation of the Balmer spectrum of this category in the case of a discrete…
We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…
Ornaments aim at taming the multiplication of special-purpose datatype in dependently-typed theory. In its original form, the definition of ornaments is tied to a particular universe of datatypes. Being a type theoretic object,…
Interpretable machine learning offers insights into what factors drive a certain prediction of a black-box system. A large number of interpreting methods focus on identifying explanatory input features, which generally fall into two main…
Teaching requires distilling a rich category distribution into a small set of informative exemplars. Although prior work shows that humans consider both representativeness and diversity when teaching, the computational principles underlying…
The well-known difficulties arising in a classification which is not set-theoretically trivial---involving what is sometimes called a non-smooth quotient---have been overcome in a striking way in the theory of operator algebras by the use…
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…
In this paper we study the subcategory of finite-length objects of the category of positive level integrable representations of a toroidal Lie algebra. The main goal is to characterize the blocks of the category. In the cases when the…
Given a monoidal triangulated category $T$ with noetherian spectrum, we show that there is an order preserving bijection between the collection of all Thomason subsets of the non-commutative spectrum $\mathrm{Spc}(T)$ and the collection of…
Latent variable models with hidden binary units appear in various applications. Learning such models, in particular in the presence of noise, is a challenging computational problem. In this paper we propose a novel spectral approach to this…
We study the spectrum of the cohomology rings of cocommutative Hopf superalgebras, restricted and non-restricted Lie superalgebras, and finite supergroup schemes. We also investigate support varieties in these settings and demonstrate that…
Different dependence scenarios can arise in multivariate extremes, entailing careful selection of an appropriate class of models. In bivariate extremes, the variables are either asymptotically dependent or are asymptotically independent.…
We give a survey on b-function, spectrum, and multiplier ideals together with certain interesting relations among them including the case of arbitrary subvarieties.
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…