Related papers: Categorical characterizations of regularity for al…
A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there…
We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then…
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…
We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…
We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These…
In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language. We want to say that a set is…
We study a form of d\'{e}vissage for generation in derived categories of Noetherian schemes. First, we extend a result of Takahashi from the affine context to the global setting, showing that the bounded derived category is classically…
Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts,…
Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…
We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for…
For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum…
We study some generalizations of the notion of regular crossed products K*G. For the case when K is an algebraically closed field, we give necessary and sufficient conditions for the twisted group ring K*G to be an n-weakly regular ring, a…
Let $X$ be a set and $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P}$ of $X$, we consider semigroups $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X| (\forall X_i\in \mathcal{P}) (\exists X_j \in…
Aiming for a revival of the theory of crystallographic complex reflection groups, we compute (minimal) Coxeter-like reflection presentations for the infinite families of those non-genuine groups which satisfy Steinberg's fixed point…
On an abelian variety $A$, sheaf convolution gives a Tannakian formalism for perverse sheaves. Let $X$ be an irreducible algebraic variety with generic point $\eta$. Let $K$ be a family of perverse sheaves (more precisely, a relative…
Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…
K. S. S. Nambooripad intoduced nornal categories to enable to describe the structure of regular semigroups fully. In this paper we describe the ideal categories of the regular semigroup $OX_n,$ of non-invertible order-preserving…
This work clarifies the relationship between the openness of the regular locus of a commutative Noetherian ring R and the existence of generators for the category of finitely generated R-modules, the corresponding bounded derived category,…
We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…
This work studies $t$-structures for the derived category of quasi-coherent sheaves on a quasi-compact quasi-separated algebraic stack. Specifically, using Thomason filtrations, we classify those $t$-structures which are generated by…