Source author record

Karen E. Smith

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
3topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Cubic Surfaces of Characteristic Two

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".

preprint2022arXiv

Lower Bounds on the F-pure Threshold and Extremal Singularities

We prove that if ff is a reduced homogenous polynomial of degree dd, then its FF-pure threshold at the unique homogeneous maximal ideal is at least 1d−1\frac{1}{d-1}. We show, furthermore, that its FF-pure threshold equals 1d−1\frac{1}{d-1} if and only if f∈m[q]f\in \mathfrak m^{[q]} and d=q+1d=q+1, where qq is a power of pp. 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.

preprint2020arXiv

Excellence, F-singularities, and solidity

An RR-algebra SS is RR-solid if there exists a nonzero RR-linear map S→RS \rightarrow R. In characteristic pp, the study of FF-singularities such as Frobenius splittings implicitly rely on the RR-solidity of R1/pR^{1/p}. Following recent results of the first two authors on the Frobenius non-splitting of certain excellent FF-pure rings, in this paper we use the notion of solidity to systematically study the notion of excellence, with an emphasis on FF-singularities. We show that for rings RR essentially of finite type over complete local rings of characteristic pp, reducedness implies the RR-solidity of R1/pR^{1/p}, FF-purity implies Frobenius splitting, and FF-pure regularity implies split FF-regularity. We demonstrate that Henselizations and completions are not solid, providing obstructions for the RR-solidity of R1/pR^{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 RR for which R1/pR^{1/p} is RR-solid are excellent, despite our recent examples of excellent Euclidean domains with no nonzero p−1p^{-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.

preprint2016arXiv

Valuations and Frobenius

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.

preprint2014arXiv

Singularities of locally acyclic cluster algebras

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.

preprint2013arXiv

Measuring Singularities with Frobenius: The Basics

Consider a polynomial ff defined over a field kk, the multiplicity is perhaps the most naive measurement of the singularities of ff. 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 FF-pure threshold (in characteristic pp). In this paper we present only the first steps in understanding these invariants, with an emphasis on the prime characteristic setting.

preprint2010arXiv

The canonical sheaf of Du Bois singularities

We prove that a Cohen-Macaulay normal variety XX has Du Bois singularities if and only if π∗ωX′(G)≃ωXπ_*ω_{X'}(G) \simeq ω_X for a log resolution π:X′→Xπ: X' \to X, where GG 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.

preprint2009arXiv

Globally FF-regular and log Fano varieties

We prove that every globally FF-regular variety is log Fano. In other words, if a prime characteristic variety XX is globally FF-regular, then it admits an effective $\bQ$-divisor ΔΔ such that −KX−Δ-K_X - Δ is ample and (X,Δ)(X, Δ) has controlled (Kawamata log terminal, in fact globally FF-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 FF-regular type. Our techniques apply also to FF-split varieties, which we show to satisfy a "log Calabi-Yau" condition. We also prove a Kawamata-Viehweg vanishing theorem for globally FF-regular pairs.

preprint2007arXiv

Discreteness and rationality of F-thresholds

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 RR. 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.

preprint2002arXiv

An Introduction to Tight Closure

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.