Related papers: The resolution property holds away from codimensio…
We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
We prove that generically, for a self-affine set in $\mathbb{R}^d$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. This gives a partial positive answer to a folklore open…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
The irreducible components of varieties parametrizing the finite dimensional representations of a finite dimensional algebra $\Lambda$ are explored, with regard to both their geometry and the structure of the modules they encode. Provided…
We show that if $D \subset \mathbb P^N$ is obtained from a codimension two local complete intersection $C$ by adding embedded points of multiplicity $\leq 3$, then $D$ is a flat limit of $C$ and isolated points. As applications, we…
Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this…
It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic…
A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…
Let $X$ be a complex space of pure dimension. We introduce fine sheaves $\A^X_q$ of $(0,q)$-currents, which coincides with the sheaves of smooth forms on the regular part of $X$, so that the associated Dolbeault complex yields a resolution…
The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…
A commutative associative algebra A with an identity over the field of real numbers which has a basis, where all elements are invertible, is considered in the work. Moreover, among matrixes consisting of the structure constants of A, there…
It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here…
We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact…
Quasiminimal sets are sets for which a pertubation can decrease the area but only in a controlled manner. We prove that in dimensions $2$ and $3$, such sets separate a locally finite family of local John domains. Reciprocally, we show that…
We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered…
Let $A$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has…
We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects…