Related papers: $F$-finite schemes have a dualizing complex

Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of…

Suppose R is a Noetherian local ring with prime characteristic p>0. In this article, we show the existence of a local numerical invariant, called the F-signature, which roughly characterizes the asymptotic growth of the number of splittings…

This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally…

We study F-theory duals of singular heterotic K3 models that correspond to abelian toroidal orbifolds $T^4/Z_N$. While our focus is on the standard embedding, we also comment on models with Wilson lines and more general gauge embeddings. In…

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a…

We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the…

We show that the cotilting heart associated to a tilting complex $T$ is a locally coherent and locally coperfect Grothendieck category (i.e. an Ind-completion of a small artinian abelian category) if and only if $T$ is product-complete. We…

A classical discovery known as Fenchel's conjecture and proved in the 1950s, shows that every co-compact Fuchsian group $F$ has a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered orientable…

We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an…

Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual…

We study categories of dualizable torsion and complete objects for compactly-rigidly generated tensor-triangulated categories T with a Noetherian central action of a graded commutative Noetherian ring R. We show that they always admit a…

Over a right-noetherian algebra admitting a dualizing complex, any left-module with finite flat dimension also has finite projective dimension.

In the paper we investigate the semigroup of monotone co-finite partial homeomorphisms of the space of the usual real line $\mathbb{R}$. We prove that the inverse semigroup $\mathscr{P\!\!H}^+_{\!\!\operatorname{\textsf{cf}}}\!(\mathbb{R})$…

We sketch a proof of a conjecture of [FFKM] that relates the geometric Eisenstein series sheaf with semi-infinite cohomology of the small quantum group with coefficients in the tilting module for the big quantum group.

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly…

For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain…

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof…

Sets of solutions to finite systems of equations in a free group, are equivalent to sets of homomorphisms from a fixed f.p. group into a free group. The latter can be encoded in a diagram, the construction of which is valid also for f.g.…

We show that, for a Noetherian algebraic stack with quasi-affine diagonal $X$, the stable $\infty$-category of quasi-coherent sheaves on $X$ is dualizable if and only if the reduced identity component of the stabilizer of $X$ at every…