BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Karen E. Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We classify Frobenius forms, a special class of homogeneous polynomials in characteristic $p>0$, in up to five variables over an algebraically closed field. We also point out some of the similarities with quadratic forms.
Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a "triangle".
We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain.
An $R$-algebra $S$ is $R$-solid if there exists a nonzero $R$-linear map $S \rightarrow R$. In characteristic $p$, the study of $F$-singularities such as Frobenius splittings implicitly rely on the $R$-solidity of $R^{1/p}$. Following recent results of the first two authors on the Frobenius non-splitting of certain excellent $F$-pure rings, in this paper we use the notion of solidity to systematically study the notion of excellence, with an emphasis on $F$-singularities. We show that for rings $R$ essentially of finite type over complete local rings of characteristic $p$, reducedness implies the $R$-solidity of $R^{1/p}$, $F$-purity implies Frobenius splitting, and $F$-pure regularity implies split $F$-regularity. We demonstrate that Henselizations and completions are not solid, providing obstructions for the $R$-solidity of $R^{1/p}$ for arbitrary excellent rings. This also has negative consequences for the solidity of big Cohen-Macaulay algebras, an important example of which are absolute integral closures of excellent local rings in prime characteristic. We establish a close relationship between the solidity of absolute integral closures and the notion of Japanese rings. Analyzing the Japanese property reveals that Dedekind domains $R$ for which $R^{1/p}$ is $R$-solid are excellent, despite our recent examples of excellent Euclidean domains with no nonzero $p^{-1}$-linear maps. Additionally, we show that while perfect closures are often solid in algebro-geometric situations, there exist locally excellent domains with solid perfect closures whose absolute integral closures are not solid. In an appendix, Karen E. Smith uses the solidity of absolute integral closures to characterize the test ideal for a large class of Gorenstein domains of prime characteristic.
We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.
The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.
This is a survey of Frobenius splitting techniques in commutative algebra, based on the first author's lectures at the introductory workshop for the special year in commutative algebra at MSRI in fall 2012.
We show that locally acyclic cluster algebras have (at worst) canonical singularities. In fact, we prove that locally acyclic cluster algebras of positive characteristic are strongly F-regular. In addition, we show that upper cluster algebras are always Frobenius split by a canonically defined splitting, and that they have a free canonical module of rank one. We also give examples to show that not all upper cluster algebras are F-regular if the local acyclicity is dropped.
Consider a polynomial $f$ defined over a field $k$, the multiplicity is perhaps the most naive measurement of the singularities of $f$. This paper describes the first steps toward understanding a much more subtle measure of singularities which arises naturally in three different contexts-- analytic, algebro-geometric, and finally, algebraic. Miraculously, all three approaches lead to essentially the same measurement of singularities: the log canonical threshold (in characteristic zero) and the closely related $F$-pure threshold (in characteristic $p$). In this paper we present only the first steps in understanding these invariants, with an emphasis on the prime characteristic setting.
We prove that a Cohen-Macaulay normal variety $X$ has Du Bois singularities if and only if $π_*ω_{X'}(G) \simeq ω_X$ for a log resolution $π: X' \to X$, where $G$ is the reduced exceptional divisor of $π$. Many basic theorems about Du Bois singularities become transparent using this characterization (including the fact that Cohen-Macaulay log canonical singularities are Du Bois). We also give a straightforward and self-contained proof that (generalizations of) semi-log-canonical singularities are Du Bois, in the Cohen-Macaulay case. It also follows that the Kodaira vanishing theorem holds for semi-log-canonical varieties and that Cohen-Macaulay semi-log-canonical singularities are cohomologically insignificant in the sense of Dolgachev.
We prove that every globally $F$-regular variety is log Fano. In other words, if a prime characteristic variety $X$ is globally $F$-regular, then it admits an effective $\bQ$-divisor $Δ$ such that $-K_X - Δ$ is ample and $(X, Δ)$ has controlled (Kawamata log terminal, in fact globally $F$-regular) singularities. A weak form of this result can be viewed as a prime characteristic analog of de Fernex and Hacon's new point of view on Kawamata log terminal singularities in the non-$\bQ$-Gorenstein case. We also prove a converse statement in characteristic zero: every log Fano variety has globally $F$-regular type. Our techniques apply also to $F$-split varieties, which we show to satisfy a "log Calabi-Yau" condition. We also prove a Kawamata-Viehweg vanishing theorem for globally $F$-regular pairs.
The F-thresholds are characteristic p analogs of the jumping coefficients for multiplier ideals in characteristic zero. In this article we give an alternative description of the F-thresholds of an ideal in a regular and F--finite ring $R$. This enables us to settle two open questions posed in [Mustata, Takagi, Watanabe: F-thresholds and Bernstein-Sato polynomials], namely we show that the F-thresholds are rational and discrete.
This is an expanded version of the author's lecture at the Conference in Commutative Algebra and Algebraic Geometry in Messina Italy in June 1999. The purpose of the talk was to give a brief introduction to the subject of tight closure, aimed at commutative algebraists who have not before studied this topic. The first part focused mainly on the definition and basic properties, with the second part focusing on some applications to algebraic geometry, particularly to global generation of adjoint linear series. These lecture notes follow even more closely a series of two lectures I gave in Kashikojima, Japan, at the Twentieth Annual Japanese Conference in Commutative Algebra the previous fall, and were distributed also in conjunction with that conference.