Vol. 3, No. 8, 2009

Download this article
Download this article For screen
For printing
Recent Issues

Volume 13
Issue 8, 1765–1981
Issue 7, 1509–1763
Issue 6, 1243–1507
Issue 5, 995–1242
Issue 4, 749–993
Issue 3, 531–747
Issue 2, 251–530
Issue 1, 1–249

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the Journal
Editorial Board
Subscriptions
Editors' Interests
Submission Guidelines
Submission Form
Editorial Login
Ethics Statement
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author Index
To Appear
 
Other MSP Journals
F-adjunction

Karl Schwede

Vol. 3 (2009), No. 8, 907–950
Abstract

In this paper we study singularities defined by the action of Frobenius in characteristic p > 0. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if X is a Gorenstein normal variety then to every normal center of sharp F-purity W X such that X is F-pure at the generic point of W, there exists a canonically defined -divisor ΔW on W satisfying (KX)|W KW + ΔW. Furthermore, the singularities of X near W are “the same” as the singularities of (W,ΔW). As an application, we show that there are finitely many subschemes of a quasiprojective variety that are compatibly split by a given Frobenius splitting. We also reinterpret Fedder’s criterion in this context, which has some surprising implications.

Keywords
F-pure, F-split, test ideal, log canonical, center of log canonicity, subadjunction, adjunction conjecture, different
Mathematical Subject Classification 2000
Primary: 14B05
Secondary: 13A35
Milestones
Received: 3 February 2009
Revised: 14 September 2009
Accepted: 13 October 2009
Published: 25 December 2009
Authors
Karl Schwede
Department of Mathematics
University of Michigan
East Hall
530 Church Street
Ann Arbor, MI 48109
United States
http://www.umich.edu/~kschwede