Three projects are proposed in the area of geometric group theory. In the first, Mladen Bestvina and I propose to verify a conjecture of ours that lies at the interface of logic, geometry, and group theory. A by-product would be an answer to a forty-year-old question of Mal'cev who asks which subgroups of free groups are definable. Our techniques are inspired by Zlil Sela's geometric approach to the Tarski problem. The second project is with Michael Handel. We propose to build on our previous work in order to solve the conjugacy problem for outer automorphism groups of free groups. Finally, for the third project Bestvina and I propose to carry out a scheme we have for showing that outer automorphism groups of free groups don't contain any higher rank lattices.

Geometric group theory is an exciting and relatively young area of mathematics. The general idea is to take a problem from an another area of mathematics (most often algebra), translate the problem into geometric terms, and then use the methods of geometry to solve it. An illustrative example of this process is how we teach addition to elementary school students. The set of numbers (an algebraic object) is interpreted as the set of points on a line (a geometric object) and addition by say two (an algebraic operation) is interpreted as a shift to the right by two units (a geometric transformation). We propose to carry out such a translation process for three well-known problems, one coming from logic and two from algebra. We have promising plans of attack for each of the resulting geometric problems.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
0805440
Program Officer
Christopher W. Stark
Project Start
Project End
Budget Start
2008-07-01
Budget End
2012-06-30
Support Year
Fiscal Year
2008
Total Cost
$162,598
Indirect Cost
Name
Rutgers University Newark
Department
Type
DUNS #
City
Newark
State
NJ
Country
United States
Zip Code
07102