F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/2-2010
KARL SCHWEDE
1. Criteria for local Frobenius splitting I (Fedders criteria)
Now we need some notation.
e
Denition 1.1. Suppose that S is a ring
FIELDS AND POLYNOMIAL RINGS
MATH 435 SPRING 2012
NOTES FROM APRIL 6TH, 2012
1. Irreducible polynomials
Throughout this section, k denotes a eld. Before really starting, Id like to point out a couple
l
WORKSHEET # 4 SOLUTIONS
MATH 435 SPRING 2011
We rst recall some facts and denitions about cosets. For the following facts, G is a group and H
is a subgroup.
(i) For all g G, there exists a coset aH of
QUIZ # 3
MATH 435 SPRING 2011
1. Suppose that R is a ring. Prove that 0x = 0 for all x R. (1 point)
Solution: We know 0 + 0 = 0 thus 0x = (0 + 0)x = 0x + 0x and now because we have an
Abelian group un
QUIZ # 2
MATH 435 SPRING 2011
1. Compute all of the left cosets of the subgroup cfw_1, 10 inside the group U (11) (the group of integers between 1 and 11 relatively prime to 11, under multiplication).
INFO ON EXAM #1
MATH 435 SPRING 2011
There will be 4 pages of regular questions on the exam and one extra-credit question.
(1) There will be one page of short answer questions (for example, dene the t
QUIZ # 1
MATH 435 SPRING 2011
1. Consider the group Z mod 15 under addition. Write down all the elements of the group and
identify the order of each element. For which g Z mod 15 is it true that Z mod
HOMEWORK # 10
DUE WEDNESDAY APRIL 13TH
MATH 435 SPRING 2011
For this homework, we assume all rings are commutative, associative and with multiplicative
identity. We assume that all homomorphisms send
HOMEWORK # 2
DUE FRIDAY JAN. 21ST
MATH 435 SPRING 2011
1. Below are sets with binary operations. Determine if each set is (or is not) a group and prove
your answer.
(a) For a xed n, the numbers cfw_0,
HOMEWORK #0 (WARM UP) MATH 435
DUE FRIDAY JANUARY 13TH
(1) What is wrong with the following inductive proof that either all cats are the same color?
For example, will will prove they are all orange, o
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
11/11-2010
KARL SCHWEDE
1. Vanishing theorems via finite maps and direct summand conditions
Using the methods discussed previously, one can show the foll
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/21-2010
KARL SCHWEDE
Remark 0.1. If is eective, we see that (X, , at ) is klt if and only if J (X, , at ) = OX .
Furthermore, if (X, , at ) is log cano
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/21-2010
KARL SCHWEDE
1. Deformations of F -split and rational singularities.
One very fundamental property of rational singularities is the fact that t
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/21-2010
KARL SCHWEDE
1. F -rationality
Denition 1.1. Given (M, ) as above, the module (M, ) is called the test submodule of
(M, ). With R : F R R , the
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
10/26-2010
KARL SCHWEDE
1. Characteristic p > 0 analogs of LC-centers and subadjunction
We recall the following denition (for now, we work in characteris
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
10/28-2010
KARL SCHWEDE
1. Characteristic p > 0 analogs of LC-centers and subadjunction continued
Using the same idea (Fedders lemma), we have the follow
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
11/9-2010
KARL SCHWEDE
Before continuing on, we need a very brief introduction to Matlis/local-duality. Suppose
that (R, m) is a local ring. We know ever
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
10/19-2010
KARL SCHWEDE
1. F -singularities and birational maps
Our goal in this section is to relate F -singularities and test ideals with log canonical
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/21-2010
KARL SCHWEDE
1. Pairs in positive characteristic
Weve already studied pairs in a certain context. Consider pairs of the form (R, ) where
e
: F
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES
9/21-2010
KARL SCHWEDE
1. Reduction to characteristic p > 0
Note that if one also has the coordinates of a point x X (closed or not), one can reduce
that
HOMEWORK # 3
DUE FRIDAY JAN. 28TH
MATH 435 SPRING 2011
1. Prove that any group with 2, 3, 4 or 5 elements must be Abelian.
2. Give an example of a group with 6 elements which is not Abelian.
3. Consid
HOMEWORK # 11
DUE WEDNESDAY APRIL 20TH
MATH 435 SPRING 2011
For this homework, we assume all rings are commutative, associative and with multiplicative
identity. We assume that all homomorphisms send
HOMEWORK # 9
DUE WEDNESDAY MARCH 30TH
MATH 435 SPRING 2011
In this homework assignment, all rings with be commutative associative with unity (multiplicative identity).
Ring homomorphisms will always b
INFO ON THE FINAL EXAM
MATH 435 SPRING 2011
There will be 6 pages of regular questions on the exam and one extra-credit question.
(1) There will be two pages of short answer questions (for example, de
FIELD EXTENSION REVIEW SHEET
MATH 435 SPRING 2011
1. Polynomials and roots
Suppose that k is a eld. Then for any element x (possibly in some eld extension,
possibly an indeterminate), we use
k [x] to
WORKSHEET # 7
MATH 435 SPRING 2011
In this worksheet, well learn about factoring elements in abstract rings. For this worksheet, we
follow Rotmans denition of a ring. In particular, all rings are comm
WORKSHEET # 6
MATH 435 SPRING 2011
In this worksheet we will learn about subrings.
We will follow the books (Rotmans) notation. In particular, ALL rings will be commutative,
associative, and with mult
WORKSHEET # 2
MATH 435 SPRING 2011
Denition 0.1. A permutation Sn is called even if it can be written as a product of an even
number of transpositions (ie, cycles of the form (ij ). A permutation Sn i
SOLUTIONS TO FIELD EXTENSION REVIEW SHEET
MATH 435 SPRING 2011
1. Polynomials and roots
Exercise 1.1. Prove that Q[i] = Q(i).
Solution: We need to prove that Q[i] is a eld. So choose a + bi Q[i], with
MATH 435, EXAM #1
Your Name
You have 50 minutes to do this exam.
No calculators!
No notes!
For proofs/justications, please use complete sentences and make sure to explain any steps which
are questiona