Saul Lubkin
Professor of Mathematics
Courses
Mth162, Calculus IIA, in person, TuTh 9:40-10:55, Wegmans 1400.
Course Home Page for Math 162, Spring, 2022
Mth141, Calculus I, in-person, TuTh 2:00-3:15.
Course Home Page for Math 141, Spring, 2022
Research Interests
Algebraic Geometry
Homological Algebra
Commutative Algebra
Algebraic Topology
Links to some useful papers
On Several Points of Homological Algebra, by Alexandre Grothendieck
Algebraic Coherent Sheaves, by Jean Pierre Serre
A well-written paper about sheaves
An addendum to Kelley's "General Topology"
written by myself that constructs the completion of a uniform space directly without using metrization theorems.
Imbedding of Abelian Categories, by Saul Lubkin: A paper that reduces proving many theorems in abelian categories to the case of the category of abelian groups.
Current Research
The paper below constructs a $p$-adic cohomology theory on algebraic varieties in characteristic $p$, that appears to be superior to all other $p$-adic cohomology theories so far constructed (For example, for Euclidean space of dimension $n$ over a ring $A$ in characteristic $p$, it is isomorphic to EXACTLY the de Rham cohomology of Euclidean space of dimension $n$ over $W_(A)$: there is no extra torsion, and, a foriori, no topological torsion. $W_(A)$ is a subring of $W(A)$ that I call the bounded Witt vectors on $A$.).
I am now approaching a different method of perfecting p-adic cohology -- to have exactly the right torsion. The above method works for Euclidean space, but is very difficult to compute on other finite algebraic varieties of finite type over a field of characteristic p. My new approach:
Given a finitely generated algebra A over the ring of p-adic integers $B=\bf Z_p^ (or more generally over any p-adic algebra B), let A! be the A-algebra formed by dividing powers at the ideal $pA$. Then we have the usual A-module D_B(A) of differntials of A over B. We define the module D!_B(A) of divided power differntials of A over B similarly, to be the quotient module of this A-module by dividing by the submodule generated by elements of the form d(x^{} - x^{} (where, for every element x in pA, x^{} = "x^n/n!", if the ring A is free of p-torsion; defn slightly more complicated is A has non-zeo torsion). Taking the usual exterior powers of this module D!_B(A) gives a skew symmetric differential graded algebra, call it \Gamma^*_B(A). Take the dagger completion of this differential graded algebra, which is \Gamma^*_B(A)\dagger. The cohomology of this cochain complex is the "divided power dagger cohomology" of $A$ over $B$.
This construction can also be made by universal mapping properties -- it is quite natural. For Euclidean space, A=B[T_1,...,T_n], this cohomology theory gives exactly the same results as the usual cohomology of the usual exterior algebra of the module of differentials of A over B -- the de Rham cohology.
And this construction is much easier to compute than the Bounded Witt cohomology that I have discussed above.
Generalization of p-adic cohomology; bounded Witt vectors. A canonical lifting of a variety in charecteristic p back to characteristic zero, by Saul Lubkin.