Search

Finite $F$-representation type is an important notion in characteristic-$p$ commutative algebra, but explicit examples of varieties with or without this property are few. We prove that a large class of homogeneous coordinate rings in positive characteristic will fail to have finite $F$-representation type. To do so, we prove a connection between differential operators on the homogeneous coordinate ring of $X$ and the existence of global sections of a twist of $(\mathrm{Sym}^m \Omega_X)^\vee$. By results of Takagi and Takahashi, this allows us to rule out FFRT for coordinate rings of varieties with $(\mathrm{Sym}^m \Omega_X)^\vee$ not ``positive''. By using results positivity and semistability conditions for the (co)tangent sheaves, we show that several classes of varieties fail to have finite $F$-representation type, including abelian varieties, most Calabi--Yau varieties, and complete intersections of general type. Our work also provides examples of the structure of the ring of differential operators for non-$F$-pure varieties, which to this point have largely been unexplored.

We work with a smooth relative curve $X_U/U$ with nodal reduction over an excellent and locally factorial scheme $S$. We show that blowing up a nodal model of $X_U$ in the ideal sheaf of a section yields a new nodal model, and describe how these models relate to each other. We construct a N\'eron model for the Jacobian of $X_U$, and describe it locally on $S$ as a quotient of the Picard space of a well-chosen nodal model. We provide a combinatorial criterion for the N\'eron model to be separated.

It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. Malbos and Mimram investigated a general method to find a lower bound of the cardinality of the set of equational axioms (or rewrite rules) that is equivalent to a given equational theory (or term rewriting systems), using homological algebra. Their method is an analog of Squier's homology theory on string rewriting systems. In this paper, we develop the homology theory for term rewriting systems more and provide a better lower bound under a stronger notion of equivalence than their equivalence. The author also implemented a program to compute the lower bounds, and experimented with 64 complete TRSs.

We investigate finite torsors over big opens of spectra of strongly $F$-regular germs that do not extend to torsors over the whole spectrum. Let $(R,\mathfrak{m},k)$ be a strongly $F$-regular $k$-germ where $k$ is an algebraically closed field of characteristic $p>0$. We prove the existence of a finite local cover $R \subset R^{\star}$ so that $R^{\star}$ is a strongly $F$-regular $k$-germ and: for all finite algebraic groups $G/k$ with solvable neutral component, every $G$-torsor over a big open of $\mathrm{Spec} R^{\star}$ extends to a $G$-torsor everywhere. To achieve this, we obtain a generalized transformation rule for the $F$-signature under finite local extensions. Such formula is used to show that that the torsion of $\mathrm{Cl} R$ is bounded by $1/s(R)$. By taking cones, we conclude that the Picard group of globally $F$-regular varieties is torsion-free. Likewise, it shows that canonical covers of $\mathbb{Q}$-Gorenstein strongly $F$-regular singularities are strongly $F$-regular.

We show that all reduced closed subschemes of projective space that have a Cohen-Macaulay graded coordinate ring are of wild Cohen-Macaulay type, except for a few cases which we completely classify.

In this paper we study rational surface singularities R with star shaped dual graphs, and under very mild assumptions on the self-intersection numbers we give an explicit description of all their special Cohen-Macaulay modules. We do this by realising R as a certain Z-graded Veronese subring S^x of the homogeneous coordinate ring S of the Geigle-Lenzing weighted projective line X, and we realise the special CM modules as explicitly described summands of the canonical tilting bundle on X. We then give a second proof that these are special CM modules by comparing qgr S^x and coh X, and we also give a necessary and sufficient combinatorial criterion for these to be equivalent categories. In turn, we show that qgr S^x is equivalent to qgr of the reconstruction algebra, and that the degree zero piece of the reconstruction algebra coincides with Ringel's canonical algebra. This implies that the reconstruction algebra contains the canonical algebra, and furthermore its qgr category is derived equivalent to the canonical algebra, thus linking the reconstruction algebra of rational surface singularities to the canonical algebra of representation theory.

By analogy with Green's Conjecture on syzygies of canonical curves, the Prym-Green conjecture predicts that the resolution of a general level p paracanonical curve of genus g is natural. The Prym-Green Conjecture is known to hold in odd genus for almost all levels. Probabilistic arguments strongly suggested that the conjecture might fail for level 2 and genus 8 or 16. In this paper, we present three geometric proofs of the surprising failure of the Prym-Green Conjecture in genus 8, hoping that the methods introduced here will shed light on all the exceptions to the Prym-Green Conjecture for genera with high divisibility by 2.

Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open Induction distinguished by Raoult. The ideal objects characteristic of any invocation of ZL are eliminated, and it is made possible to pass from classical to intuitionistic logic. If the theorem has finite input data, then a finite partial order carries the required instance of induction, which thus is constructively provable. A typical example is the well-known theorem "every nonconstant coefficient of an invertible polynomial is nilpotent".