arXiv subjects

Devlin Mallory

Publications and source records attributed to Devlin Mallory.

10 recordsLinked to original sources

arXiv2025

Antiampleness and ampleness of the Frobenius cokernel

We show that if $X$ is a smooth Fano variety containing a line or a conic with respect to $-K_X$, then the Frobenius cokernel $\mathcal B_X:=\mathrm{coker}(\mathcal O_X\to F_* \mathcal O_X)$ is not antiample; using this criteria, we show that the only smooth Fano threefolds with antiample Frobenius cokernel are $\mathbb P^3$ and the quadric threefold (in characteristic $p\neq 2$), thus answering a question raised by Carvajal-Rojas and Patakfalvi. We also show that for any smooth complete intersection $X\subset \mathbb P^n$ of degree $d_1,\dots,d_c$ such that $\sum d_i = n$ or $n-1$, the Frobenius cokernel is not antiample. We also study the kernels of the higher Cartier operators, and show that for $\mathbb P^n$ and quadric hypersurfaces, all the kernels of the higher Cartier operators are antiample, and thus that the full set of kernels of the Cartier operators cannot characterize projective space. Finally, we show that the Frobenius cokernel is ample if and only if the cotangent bundle is ample.

math.AG↗

arXiv2024

Computing Direct Sum Decompositions

We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k-algebra R. The first algorithm applies in the (multi)graded case, which enables the computation of indecomposable summands of coherent sheaves on subvarieties of toric varieties (in particular, for varieties embedded in projective space); the second algorithm applies when R is local and k is a finite field, opening the door to computing decompositions in singularity theory. We also present multiple examples, including some which present previously unknown phenomena regarding the behavior of summands of Frobenius pushforwards (including in the non-graded case) and syzygies over Artinian rings.

math.AC↗

arXiv2024

The tilting property for $F_*^e\mathcal O_X$ on Fano surfaces and threefolds

Let $X$ be a smooth variety over a field of characteristic $p$. It is a natural question whether the Frobenius pushforwards $F_*^e\mathcal O_X$ of the structure sheaf are tilting bundles. We show if $X$ is a smooth del Pezzo surface of degree $\leq 3$ or a Fano threefold with $\mathrm{vol}(K_X)<24$ over a field of characteristic $p$, then $\mathrm{Ext}^i(F_*^e\mathcal O_X,F^e_*\mathcal O_X)\neq 0$ and thus $F_*^e\mathcal O_X$ is not tilting.

math.AG↗

arXiv2022

Finite $F$-representation type for homogeneous coordinate rings of non-Fano varieties

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.

math.AC↗

arXiv2022

Homogeneous coordinate rings as direct summands of regular rings

We study the question of when a ring can be realized as a direct summand of a regular ring by examining the case of homogeneous coordinate rings. We present very strong obstacles to expressing a graded ring with isolated singularity as a finite graded direct summand. For several classes of examples (del Pezzo surfaces, hypersurfaces), we give a complete classification of which coordinate rings can be expressed as direct summands (not necessarily finite), and in doing so answer a question of Hara about the FFRT property of the quintic del Pezzo. We also examine what happens in the case where the ring does not have isolated singularities, through topological arguments: as an example, we give a classification of which coordinate rings of singular cubic surfaces can be written as finite direct summands of regular rings.

math.AC↗

arXiv2021

An explicit self-duality

We provide an exposition of the canonical self-duality associated to a presentation of a finite, flat, complete intersection over a Noetherian ring, following work of Scheja and Storch.

math.AC↗

arXiv2020

Bigness of the tangent bundle of del Pezzo surfaces and $D$-simplicity

We consider the question of simplicity of a ring $R$ under the action of its ring of differential operators $D_R$. We give examples to show that even when $R$ is Gorenstein and has rational singularities $R$ need not be a simple $D_R$-module; for example, this is the case when $R$ is the homogeneous coordinate ring of a smooth cubic surface. Our examples are homogeneous coordinate rings of smooth Fano varieties, and our proof proceeds by showing that the tangent bundle of such a variety need not be big. We also give a partial converse showing that when $R$ is the homogeneous coordinate ring of a smooth projective variety $X$, embedded by some multiple of its canonical divisor, then simplicity of $R$ as a $D_R$-module implies that $X$ is Fano and thus $R$ has rational singularities.

math.AG↗

arXiv2019

Minimal log discrepancies of determinantal varieties via jet schemes

We compute the minimal log discrepancies of determinantal varieties of square matrices, and more generally of pairs $\bigl(D^k,\sum \alpha_i D^{k_i}\bigr)$ consisting of a determinantal variety (of square matrices) and an $\mathbb R$-linear sum of determinantal subvarieties. Our result implies the semicontinuity conjecture for minimal log discrepancies of such pairs. For these computations, we use the description of minimal log discrepancies via codimensions of cylinders in the space of jets; this necessitates the computations of an explicit generator for the canonical differential forms and the Nash ideal of determinantal varieties, which may be of independent interest.

math.AG↗

arXiv2018

Arc closures and the local isomorphism problem

We give an answer in the "geometric" setting to a question of de Fernex, Ein, and Ishii, asking when local isomorphisms of $k$-schemes can be detected on the associated maps of local arc or jet schemes. In particular, we show that their ideal-closure operation $\mathfrak a\mapsto \mathfrak a^{\mathrm{ac}}$ (the arc-closure) on a local $k$-algebra $(R,\mathfrak m,L)$ is trivial when $R$ is Noetherian and $k\hookrightarrow L$ is separable, and thus that such a germ $\mathrm{Spec}\ R$ has the (embedded) local isomorphism property.

math.AG↗

arXiv2013

Which Exterior Powers are Balanced?

A signed graph is a graph whose edges are given (-1,+1) weights. In such a graph, the sign of a cycle is the product of the signs of its edges. A signed graph is called balanced if its adjacency matrix is similar to the adjacency matrix of an unsigned graph via conjugation by a diagonal (-1,+1) matrix. For a signed graph $\Sigma$ on n vertices, its exterior k-th power, where k=1,..,n-1, is a graph $\bigwedge^{k} \Sigma$ whose adjacency matrix is given by \[ A({$\bigwedge^{k} {\Sigma}$}) = P^{\dagger} A(\Sigma^{\Box k}) P, \] where P is the projector onto the anti-symmetric subspace of the k-fold tensor product space $(\mathbb{C}^{n})^{\otimes k}$ and $\Sigma^{\Box k}$ is the k-fold Cartesian product of $\Sigma$ with itself. The exterior power creates a signed graph from any graph, even unsigned. We prove sufficient and necessary conditions so that $\bigwedge^{k} \Sigma$ is balanced. For k=1,..,n-2, the condition is that either $\Sigma$ is a signed path or $\Sigma$ is a signed cycle that is balanced for odd k or is unbalanced for even k; for k=n-1, the condition is that each even cycle in $\Sigma$ is positive and each odd cycle in $\Sigma$ is negative.

math.CO↗