danceyourphd:representations ofthebraidgroups · dean, forwarded science magazine’s announcement...

2
THE GRADUATE STUDENT SECTION THE GRADUATE STUDENT SECTION Dance Your PhD: Representations of the Braid Groups Nancy Scherich Communicated by Alexander Diaz-Lopez EDITOR’S NOTE. See the interview of Scherich by Rachel Crowell at www.ams.org/news?news_id=3826. I learned about the Dance Your PhD competition many years ago, but thought it would be too impossible to turn math research into dance. This past June, my boyfriend, Dean, forwarded Science magazine’s announcement of their 2017 competition to me and encouraged me to make a submission. He said if ever there was someone to figure out how to blend math and dance together, it would be me. I have been a dancer and performer all my life, and about a year and a half ago I started aerial dance lessons. Dean suggested that I use aerial dance to describe my work with braids. At first I was reluctant. But the more I relaxed and gave myself permission to think outside of my math box, the more the ideas came to me. Sometimes I think all you need is the right encouragement at the right time. In my video, 1 I chose to describe braid group representations and focus on the property of faithfulness, as my research is highly motivated by the infamous open question of faithfulness for the Burau representation of braid groups for =4. Much like the braids in one’s hair, a braid is a diagram of tangled strands. The braid group on -strands, denoted , is a group whose elements are certain equivalence classes of all the braids made with strands. The group operation is vertical stacking of braids. Alternatively, the braid group can be presented by −1 generators and Nancy Scherich is a fifth year graduate student at UC Santa Bar- bara studying representations of braid groups with Darren Long. Her email address is [email protected]. 1 www.sciencemag.org/news/2017/11/announcing-winner -year-s-dance-your-phd-contest For permission to reprint this article, please contact: [email protected]. DOI: http://dx.doi.org/10.1090/noti1657 Figure 1. Scherich was the overall winner across all disciplines in the 2017 Science magazine Dance Your PhD competition with her creation of and dancing in her video “Representations of the Braid Groups.” The announcement says, “It involves linear algebra and murder.” According to the video, many kernels are annihilated, but “some are extremely clever and hide in the matrices. It remains an open question for mathematicians to find these kernels.” The credits include her advisor Darren Long and her mom. relations: +1 = +1 +1 and = for in {1, 2, … , − 2} and | − | ≥ 2, as in Figure 2. A common way to study the braid groups is to look at their representation theory. The Jones representations of the braid groups are the representations where the generators have two eigenvalues. It turns out that much is known about these representations, and in fact, they are parameterized by the Young tableaux in the same way that the Young tableaux parameterize the representations of the symmetric group. The Burau representation is one of the Jones representations. All of the Jones representations have a variable called . The topic of my thesis is to find 420 Notices of the AMS Volume 65, Number 4

Upload: others

Post on 04-Sep-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: DanceYourPhD:Representations oftheBraidGroups · Dean, forwarded Science magazine’s announcement of their 2017 competition to me and encouraged me to make a submission. He said

THE GRADUATE STUDENT SECTIONTHE GRADUATE STUDENT SECTION

Dance Your PhD: Representationsof the Braid GroupsNancy ScherichCommunicated by Alexander Diaz-Lopez

EDITOR’S NOTE. See the interview of Scherich byRachelCrowell atwww.ams.org/news?news_id=3826.

I learned about the Dance Your PhD competition manyyears ago, but thought it would be too impossible to turnmath research into dance. This past June, my boyfriend,Dean, forwarded Science magazine’s announcement oftheir 2017 competition to me and encouraged me tomake a submission. He said if ever there was someoneto figure out how to blend math and dance together, itwould be me. I have been a dancer and performer allmy life, and about a year and a half ago I started aerialdance lessons. Dean suggested that I use aerial dance todescribe my work with braids.

At first I was reluctant. But the more I relaxed and gavemyself permission to think outside of my math box, themore the ideas came to me. Sometimes I think all youneed is the right encouragement at the right time. In myvideo,1 I chose to describe braid group representationsand focus on the property of faithfulness, as my researchis highly motivated by the infamous open question offaithfulness for the Burau representation of braid groupsfor 𝑛 = 4.

Much like the braids in one’s hair, a braid is a diagramof tangled strands. The braid group on 𝑛-strands, denoted𝐵𝑛, is a group whose elements are certain equivalenceclasses of all the braids made with 𝑛 strands. The groupoperation is vertical stacking of braids. Alternatively, thebraid group can be presented by 𝑛− 1 generators 𝜎𝑖 and

Nancy Scherich is a fifth year graduate student at UC Santa Bar-bara studying representations of braid groups with Darren Long.Her email address is [email protected]/news/2017/11/announcing-winner-year-s-dance-your-phd-contest

For permission to reprint this article, please contact:[email protected]: http://dx.doi.org/10.1090/noti1657

Figure 1. Scherich was the overall winner across alldisciplines in the 2017 Science magazine Dance YourPhD competition with her creation of and dancing inher video “Representations of the Braid Groups.” Theannouncement says, “It involves linear algebra andmurder.” According to the video, many kernels areannihilated, but “some are extremely clever and hidein the matrices. It remains an open question formathematicians to find these kernels.” The creditsinclude her advisor Darren Long and her mom.

relations:

𝜎𝑖𝜎𝑖+1𝜎𝑖 = 𝜎𝑖+1𝜎𝑖𝜎𝑖+1 and 𝜎𝑖𝜎𝑗 = 𝜎𝑗𝜎𝑖

for 𝑖 in {1, 2,… ,𝑛 − 2} and |𝑖 − 𝑗| ≥ 2, as in Figure 2.A common way to study the braid groups is to look

at their representation theory. The Jones representationsof the braid groups are the representations where thegenerators have two eigenvalues. It turns out that much isknown about these representations, and in fact, they areparameterized by the Young tableaux in the sameway thatthe Young tableaux parameterize the representations ofthe symmetric group. The Burau representation is one ofthe Jones representations. All of the Jones representationshave a variable called 𝑞. The topic of my thesis is to find

420 Notices of the AMS Volume 65, Number 4

Page 2: DanceYourPhD:Representations oftheBraidGroups · Dean, forwarded Science magazine’s announcement of their 2017 competition to me and encouraged me to make a submission. He said

THE GRADUATE STUDENT SECTION

Figure 2. The braid group can be described by thetwo pictured types of relations: 𝜎𝑖𝜎𝑖+1𝜎𝑖 = 𝜎𝑖+1𝜎𝑖𝜎𝑖+1and 𝜎𝑖𝜎𝑗 = 𝜎𝑗𝜎𝑖.

careful specializations of 𝑞 to certain algebraic numberswhich then force the representation to map into a lattice.

Image CreditsFigures 1 and 2 courtesy of Nancy Scherich.Photo of Nancy Scherich courtesy of Dean Morales.

ABOUT THE AUTHOR

Nancy Scherich’s interests arelow dimensional topology, planaralgebras, quantum computation,dancing, aerial acrobatics, sewing,and welding.

Nancy Scherich

id you know that most of our titles are now

available in eBook form?

Browse both our print and electronic titles at bookstore.ams.org.

Learn about AMS eBooks

April 2018 Notices of the AMS 421