(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 13.2' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     44977,       1205]
NotebookOptionsPosition[     43586,       1177]
NotebookOutlinePosition[     43986,       1193]
CellTagsIndexPosition[     43943,       1190]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"ClearAll", "[", "\"\<Global`*\>\"", "]"}], ";"}], 
  "\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
    "This", " ", "program", " ", "helps", " ", "calculate", " ", "the", " ", 
     "holonomy", " ", "for", " ", "the", " ", "once"}], "-", 
    RowBox[{"punctured", " ", "torus", " ", "bundle", " ", "L2R2"}]}], "*)"}],
   "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"(*", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"defining", " ", "relations"}], ";", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"xax", "^", 
      RowBox[{"{", 
       RowBox[{"-", "1"}], "}"}]}], " ", "=", " ", 
     RowBox[{"ab", "^", 
      RowBox[{"{", "2", "}"}]}]}], ";", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"xbx", "^", 
      RowBox[{"{", 
       RowBox[{"-", "1"}], "}"}]}], " ", "=", " ", 
     RowBox[{
      RowBox[{"bab", "^", 
       RowBox[{"{", "2", "}"}]}], 
      RowBox[{"ab", "^", 
       RowBox[{"{", "2", "}"}]}]}]}], ";"}], "\[IndentingNewLine]", 
   "*)"}]}]}], "Input",
 CellChangeTimes->{{3.939423894335335*^9, 3.939423895120216*^9}, {
  3.9394239879009247`*^9, 3.939424003227956*^9}, {3.939466344130403*^9, 
  3.939466378298843*^9}, {3.939466424253716*^9, 3.939466427600465*^9}},
 CellLabel->
  "In[382]:=",ExpressionUUID->"69caacb7-feb0-4a0e-b959-5f3f3102bb3e"],

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
    "Command", " ", "whose", " ", "input", " ", "is", " ", "a", " ", "basis", 
     " ", "and", " ", "a", " ", "vector"}], ",", " ", 
    RowBox[{
     RowBox[{
     "and", " ", "whose", " ", "output", " ", "is", " ", "the", " ", 
      "coefficients", " ", "of", " ", "the", " ", "vector", " ", "relative", 
      " ", "to", " ", "the", " ", "input", " ", "basis"}], ";"}]}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"GenBasisSolve", "[", 
      RowBox[{"vector_", ",", "basis_"}], "]"}], ":=", 
     RowBox[{"Module", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"basevecs", ",", "ogvec", ",", "length", ",", "coeffs"}], 
        "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"basevecs", "=", "basis"}], ";", "\[IndentingNewLine]", 
        RowBox[{"ogvec", "=", "vector"}], ";", "\[IndentingNewLine]", 
        RowBox[{"length", "=", 
         RowBox[{"Length", "[", "basevecs", "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"coeffs", "=", 
         RowBox[{"Table", "[", 
          RowBox[{
           RowBox[{"Symbol", "[", 
            RowBox[{"\"\<a\>\"", "<>", 
             RowBox[{"ToString", "[", "i", "]"}]}], "]"}], ",", 
           RowBox[{"{", 
            RowBox[{"i", ",", "1", ",", "length"}], "}"}]}], "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"Return", "[", "\[IndentingNewLine]", 
         RowBox[{"FullSimplify", "[", "\[IndentingNewLine]", 
          RowBox[{"coeffs", "/.", 
           RowBox[{
            RowBox[{"Solve", "[", "\[IndentingNewLine]", 
             RowBox[{
              RowBox[{
               RowBox[{"Sum", "[", 
                RowBox[{
                 RowBox[{
                  RowBox[{"coeffs", "[", 
                   RowBox[{"[", "i", "]"}], "]"}], "*", 
                  RowBox[{"basevecs", "[", 
                   RowBox[{"[", "i", "]"}], "]"}]}], ",", 
                 RowBox[{"{", 
                  RowBox[{"i", ",", "1", ",", "length"}], "}"}]}], "]"}], "==",
                "ogvec"}], ",", "coeffs"}], "\[IndentingNewLine]", "]"}], "[", 
            RowBox[{"[", "1", "]"}], "]"}]}], "\[IndentingNewLine]", "]"}], 
         "\[IndentingNewLine]", "]"}], ";"}]}], "\[IndentingNewLine]", 
      "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "free", " ", "group", " ", "generated", " ", "by", " ", "punctured", " ", 
     "torus"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"f1", "[", 
      RowBox[{"{", 
       RowBox[{"a_", ",", "b_", ",", "c_"}], "}"}], "]"}], ":=", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "/", "c"}], ")"}], "*", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"{", 
         RowBox[{
          RowBox[{
           RowBox[{"a", "*", "c"}], "-", "b"}], ",", 
          RowBox[{"a", "/", "c"}]}], "}"}], ",", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"a", "*", "c"}], ",", "b"}], "}"}]}], "}"}]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"f2", "[", 
      RowBox[{"{", 
       RowBox[{"a_", ",", "b_", ",", "c_"}], "}"}], "]"}], ":=", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "/", "c"}], ")"}], "*", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"{", 
         RowBox[{
          RowBox[{
           RowBox[{"b", "*", "c"}], "-", "a"}], ",", 
          RowBox[{
           RowBox[{"-", "b"}], "/", "c"}]}], "}"}], ",", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{
           RowBox[{"-", "b"}], "*", "c"}], ",", "a"}], "}"}]}], "}"}]}]}], 
    ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.939423881776841*^9, 3.939423907541196*^9}},
 CellLabel->
  "In[383]:=",ExpressionUUID->"49707295-0a4d-47f1-b8a6-e796b3ae1861"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "Solves", " ", "the", " ", "trace", " ", "equations", " ", "for", " ", 
    "L2R2"}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"(*", "\[IndentingNewLine]", 
   RowBox[{"Solve", "[", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{"c", "*", "b"}], "-", "a"}], "==", "a"}], ")"}], "&&", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{
               RowBox[{"c", "*", "b"}], "-", "a"}], ")"}], "*", "b"}], "-", 
            "c"}], ")"}], "*", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"c", "*", "b"}], "-", "a"}], ")"}]}], "-", "b"}], ")"}], "==",
        "b"}], "&&", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{"a", "^", "2"}], "+", 
         RowBox[{"b", "^", "2"}], "+", 
         RowBox[{"c", "^", "2"}]}], "==", 
        RowBox[{"a", "*", "b", "*", "c"}]}], ")"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"b", ",", "a", ",", "c"}], "}"}]}], "\[IndentingNewLine]", 
    "]"}], "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"b", "=", 
     RowBox[{"-", 
      SqrtBox[
       RowBox[{"2", "-", 
        RowBox[{"2", " ", "\[ImaginaryI]"}]}]]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "solve", " ", "the", " ", "above", " ", "systems", " ", "in", " ", 
     "terms", " ", "of", " ", "b"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"a", "=", 
     RowBox[{"-", 
      FractionBox[
       RowBox[{
        SqrtBox["2"], " ", "b"}], 
       SqrtBox[
        RowBox[{
         RowBox[{"-", "2"}], "+", 
         SuperscriptBox["b", "2"]}]]]}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"c", "=", 
     RowBox[{"-", 
      FractionBox[
       RowBox[{"2", " ", 
        SqrtBox["2"]}], 
       SqrtBox[
        RowBox[{
         RowBox[{"-", "2"}], "+", 
         SuperscriptBox["b", "2"]}]]]}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"matrix", " ", "representations"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"gena", "=", 
     RowBox[{"f1", "[", 
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"genb", "=", 
     RowBox[{"f2", "[", 
      RowBox[{"{", 
       RowBox[{"a", ",", "b", ",", "c"}], "}"}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"dummy", " ", "matrix"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"dum", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"u", ",", "v"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"s", ",", "t"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"solve", " ", "for", " ", "meridian"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"sols", "=", 
     RowBox[{"FullSimplify", "[", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Solve", "[", "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"dum", ".", "gena"}], "==", 
            RowBox[{"gena", ".", "genb", ".", "genb", ".", "dum"}]}], ")"}], "&&",
           "\[IndentingNewLine]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"dum", ".", "genb"}], "==", 
            RowBox[{
            "genb", ".", "gena", ".", "genb", ".", "genb", ".", "gena", ".", 
             "genb", ".", "genb", ".", "dum"}]}], ")"}], "&&", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{"u", "*", "t"}], "-", 
             RowBox[{"s", "*", "v"}]}], "==", "1"}], ")"}]}], ",", 
         RowBox[{"{", 
          RowBox[{"u", ",", "v", ",", "s", ",", "t"}], "}"}]}], 
        "\[IndentingNewLine]", "]"}], "[", 
       RowBox[{"[", "1", "]"}], "]"}], "\[IndentingNewLine]", "]"}]}], ";"}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"define", " ", "meridian"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"genx", "=", 
     RowBox[{"dum", "/.", "sols"}]}], ";"}], "\n", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"basis", " ", "for", " ", "hermitian", " ", "matrices"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"hermitbasis", "=", 
     RowBox[{"{", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"1", ",", "0"}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"I", ",", "0"}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"0", ",", 
           RowBox[{"-", "I"}]}], "}"}]}], "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0", ",", "I"}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"I", ",", "0"}], "}"}]}], "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0", ",", 
           RowBox[{"-", "I"}]}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"I", ",", "0"}], "}"}]}], "}"}]}], "\[IndentingNewLine]", 
      "}"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "solves", " ", "for", " ", "basis", " ", "representation", " ", 
     "relative", " ", "to", " ", "hermitbasis"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"hbasesolve", "[", "v_", "]"}], ":=", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"c1", ",", "c2", ",", "c3", ",", "c4"}], "}"}], "/.", 
      RowBox[{
       RowBox[{"Solve", "[", 
        RowBox[{
         RowBox[{
          RowBox[{
           RowBox[{"c1", "*", 
            RowBox[{"hermitbasis", "[", 
             RowBox[{"[", "1", "]"}], "]"}]}], "+", 
           RowBox[{"c2", "*", 
            RowBox[{"hermitbasis", "[", 
             RowBox[{"[", "2", "]"}], "]"}]}], "+", 
           RowBox[{"c3", "*", 
            RowBox[{"hermitbasis", "[", 
             RowBox[{"[", "3", "]"}], "]"}]}], "+", 
           RowBox[{"c4", "*", 
            RowBox[{"hermitbasis", "[", 
             RowBox[{"[", "4", "]"}], "]"}]}]}], "==", "v"}], ",", 
         RowBox[{"{", 
          RowBox[{"c1", ",", "c2", ",", "c3", ",", "c4"}], "}"}]}], 
        "\[IndentingNewLine]", "]"}], "[", 
       RowBox[{"[", "1", "]"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"takes", " ", "a", " ", "matrix", " ", "in", " ", "sl", 
     RowBox[{"(", 
      RowBox[{"2", ",", "C"}], ")"}], " ", "produces", " ", "its", " ", 
     "representation", " ", "in", " ", "SO", 
     RowBox[{"(", 
      RowBox[{"3", ",", "1"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"so", "[", "mat_", "]"}], ":=", 
     RowBox[{"FullSimplify", "[", "\[IndentingNewLine]", 
      RowBox[{"Transpose", "[", "\[IndentingNewLine]", 
       RowBox[{"Table", "[", "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"GenBasisSolve", "[", "\[IndentingNewLine]", 
          RowBox[{
           RowBox[{"mat", ".", 
            RowBox[{"hermitbasis", "[", 
             RowBox[{"[", "i", "]"}], "]"}], ".", 
            RowBox[{"Conjugate", "[", 
             RowBox[{"Inverse", "[", "mat", "]"}], "]"}]}], ",", 
           "hermitbasis"}], "\[IndentingNewLine]", "]"}], ",", 
         RowBox[{"{", 
          RowBox[{"i", ",", "1", ",", "4"}], "}"}]}], "\[IndentingNewLine]", 
        "]"}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", "]"}]}], 
    ";"}], "\n", "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
     RowBox[{
     "Fox", " ", "derivatives", " ", "of", " ", "w1", " ", "and", " ", "w2", 
      " ", "where", " ", "w1"}], " ", "=", " ", 
     RowBox[{
      RowBox[{"xax", "^", 
       RowBox[{"-", "1"}]}], " ", "=", " ", 
      RowBox[{
       RowBox[{
        RowBox[{"ab", "^", 
         RowBox[{"{", "2", "}"}]}], " ", "and", " ", "w2"}], " ", "=", " ", 
       RowBox[{
        RowBox[{"xbx", "^", 
         RowBox[{"{", 
          RowBox[{"-", "1"}], "}"}]}], " ", "=", " ", 
        RowBox[{
         RowBox[{"bab", "^", 
          RowBox[{"{", "2", "}"}]}], 
         RowBox[{"ab", "^", 
          RowBox[{"{", "2", "}"}]}]}]}]}]}]}], "*)"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{
     RowBox[{"dr1da", "[", 
      RowBox[{"matA_", ",", "matB_"}], "]"}], ":=", 
     RowBox[{"IdentityMatrix", "[", 
      RowBox[{
       RowBox[{"Dimensions", "[", "matA", "]"}], "[", 
       RowBox[{"[", "1", "]"}], "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{
     RowBox[{"dr1db", "[", 
      RowBox[{"matA_", ",", "matB_"}], "]"}], ":=", 
     RowBox[{"matA", "+", 
      RowBox[{"matA", ".", "matB"}]}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"dr2da", "[", 
      RowBox[{"matA_", ",", "matB_"}], "]"}], ":=", 
     RowBox[{"matB", "+", 
      RowBox[{"matB", ".", "matA", ".", "matB", ".", "matB"}]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"dr2db", "[", 
      RowBox[{"matA_", ",", "matB_"}], "]"}], ":=", 
     RowBox[{
      RowBox[{"IdentityMatrix", "[", 
       RowBox[{
        RowBox[{"Dimensions", "[", "matA", "]"}], "[", 
        RowBox[{"[", "1", "]"}], "]"}], "]"}], "+", 
      RowBox[{"matB", ".", "matA"}], "+", 
      RowBox[{"matB", ".", "matA", ".", "matB"}], "+", 
      RowBox[{"matB", ".", "matA", ".", "matB", ".", "matB", ".", "matA"}], 
      "+", 
      RowBox[{
      "matB", ".", "matA", ".", "matB", ".", "matB", ".", "matA", ".", 
       "matB"}]}]}], ";"}], "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.939423917863081*^9, 3.939424113846056*^9}, {
  3.939424176862731*^9, 3.939424265996649*^9}, {3.939424309264062*^9, 
  3.939424359712738*^9}, {3.939424390778269*^9, 3.939424409960374*^9}, {
  3.93946079578369*^9, 3.939460796333994*^9}, {3.954606186681939*^9, 
  3.9546062164725122`*^9}, {3.9546063010905867`*^9, 3.954606330759418*^9}, {
  3.954606785977132*^9, 3.954606800217407*^9}},
 CellLabel->
  "In[386]:=",ExpressionUUID->"f5f62df4-5c08-4f1b-8eac-d6519d85b827"],

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{"SO", 
    RowBox[{"(", 
     RowBox[{"3", ",", "1"}], ")"}], " ", "reps", " ", "of", " ", "our", " ", 
    "bundle"}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"soA", "=", 
     RowBox[{"so", "[", "gena", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"soB", "=", 
     RowBox[{"so", "[", "genb", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"soX", "=", 
     RowBox[{"so", "[", "genx", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.954606191696188*^9, 3.954606192798532*^9}, 
   3.9546063284072247`*^9},
 CellLabel->
  "In[401]:=",ExpressionUUID->"c00126cd-d9bb-4496-a364-cf010afa78c6"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "a", " ", "choice", " ", "of", " ", "basis", " ", "for", " ", "V", " ", 
    "where", " ", "V", " ", "is", " ", "orthogonal", " ", "complement", " ", 
    "of", " ", "so", 
    RowBox[{"(", 
     RowBox[{"3", ",", "1"}], ")"}], " ", "in", " ", "sl", 
    RowBox[{"(", 
     RowBox[{"4", ",", "R"}], ")"}], " ", "under", " ", "killing", " ", 
    "form"}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"v1", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v2", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v3", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v4", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v5", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v6", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v7", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v8", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"v9", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", 
         RowBox[{"-", "1"}]}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"vbasis", "=", 
     RowBox[{"{", 
      RowBox[{
      "v1", ",", "v2", ",", "v3", ",", "v4", ",", "v5", ",", "v6", ",", "v7", 
       ",", "v8", ",", "v9"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"typical", " ", "so", 
     RowBox[{"(", 
      RowBox[{"3", ",", "1"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b1", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b2", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b3", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b4", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", 
         RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b5", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"b6", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"sobasis", "=", 
     RowBox[{"{", 
      RowBox[{"b1", ",", "b2", ",", "b3", ",", "b4", ",", "b5", ",", "b6"}], 
      "}"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", "slbasis", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"slbase", "=", 
     RowBox[{"{", 
      RowBox[{
      "b1", ",", "b2", ",", "b3", ",", "b4", ",", "b5", ",", "b6", ",", "v1", 
       ",", "v2", ",", "v3", ",", "v4", ",", "v5", ",", "v6", ",", "v7", ",", 
       "v8", ",", "v9"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "Adjoint", " ", "representation", " ", "of", " ", "a", " ", "matrix", " ",
      "in", " ", "SO", 
     RowBox[{"(", 
      RowBox[{"3", ",", "1"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"adjsolve", "[", "mat_", "]"}], ":=", 
     RowBox[{"Module", "[", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"det", ",", "adjug", ",", "matrix"}], "}"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"matrix", "=", "mat"}], ";", "\[IndentingNewLine]", 
        RowBox[{"det", "=", 
         RowBox[{"FullSimplify", "[", 
          RowBox[{"Det", "[", "matrix", "]"}], "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"adjug", "=", 
         RowBox[{"Simplify", "[", 
          RowBox[{"Adjugate", "[", "matrix", "]"}], "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"Return", "[", "\[IndentingNewLine]", 
         RowBox[{"Simplify", "[", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "det"}], ")"}], "*", 
           RowBox[{"Transpose", "[", "\[IndentingNewLine]", 
            RowBox[{"Table", "[", "\[IndentingNewLine]", 
             RowBox[{
              RowBox[{"GenBasisSolve", "[", "\[IndentingNewLine]", 
               RowBox[{
                RowBox[{"Simplify", "[", 
                 RowBox[{"mat", ".", 
                  RowBox[{"slbase", "[", 
                   RowBox[{"[", "i", "]"}], "]"}], ".", "adjug"}], "]"}], ",",
                 "slbase"}], "\[IndentingNewLine]", "]"}], ",", 
              RowBox[{"{", 
               RowBox[{"i", ",", "1", ",", "15"}], "}"}]}], 
             "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", "]"}]}], 
          "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", "]"}], ";"}]}],
       "\[IndentingNewLine]", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "Adjoint", " ", "representation", " ", "of", " ", "a", " ", "matrix", " ",
      "in", " ", "V"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"Vadjsolve", "[", "mat_", "]"}], ":=", 
     RowBox[{"Module", "[", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"det", ",", "adjug", ",", "matrix"}], "}"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"matrix", "=", "mat"}], ";", "\[IndentingNewLine]", 
        RowBox[{"det", "=", 
         RowBox[{"FullSimplify", "[", 
          RowBox[{"Det", "[", "matrix", "]"}], "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"adjug", "=", 
         RowBox[{"Simplify", "[", 
          RowBox[{"Adjugate", "[", "matrix", "]"}], "]"}]}], ";", 
        "\[IndentingNewLine]", 
        RowBox[{"Return", "[", "\[IndentingNewLine]", 
         RowBox[{"Simplify", "[", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "det"}], ")"}], "*", 
           RowBox[{"Transpose", "[", "\[IndentingNewLine]", 
            RowBox[{"Table", "[", "\[IndentingNewLine]", 
             RowBox[{
              RowBox[{"GenBasisSolve", "[", "\[IndentingNewLine]", 
               RowBox[{
                RowBox[{"Simplify", "[", 
                 RowBox[{"mat", ".", 
                  RowBox[{"vbasis", "[", 
                   RowBox[{"[", "i", "]"}], "]"}], ".", "adjug"}], "]"}], ",",
                 "vbasis"}], "\[IndentingNewLine]", "]"}], ",", 
              RowBox[{"{", 
               RowBox[{"i", ",", "1", ",", "9"}], "}"}]}], 
             "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", "]"}]}], 
          "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", "]"}], ";"}]}],
       "\[IndentingNewLine]", "]"}]}], ";"}], 
   "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.939460792756665*^9, 3.939460793756486*^9}, {
   3.939460827854594*^9, 3.939460929342314*^9}, {3.939460971000099*^9, 
   3.939461036579647*^9}, {3.939461116908554*^9, 3.939461142779552*^9}, {
   3.9394611764523077`*^9, 3.939461215472684*^9}, {3.939461273249681*^9, 
   3.939461276435946*^9}, 3.9394653724192533`*^9, {3.954606254711166*^9, 
   3.954606295751635*^9}, {3.954606336734303*^9, 3.954606356398489*^9}, {
   3.954606567781631*^9, 3.954606568130674*^9}},
 CellLabel->
  "In[404]:=",ExpressionUUID->"1ef48855-fdda-4936-953f-73d97b93483a"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{"adjoint", " ", "representation"}], "*)"}], "\[IndentingNewLine]", 
  
  RowBox[{
   RowBox[{
    RowBox[{"AadjA", "=", 
     RowBox[{"adjsolve", "[", "soA", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"AadjB", "=", 
     RowBox[{"adjsolve", "[", "soB", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"AadjX", "=", 
     RowBox[{"adjsolve", "[", "soX", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"words", " ", "for", " ", "res", 
     RowBox[{"(", "l", ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Acoef1", "=", 
     RowBox[{
      RowBox[{"IdentityMatrix", "[", "15", "]"}], "-", 
      RowBox[{"FullSimplify", "[", 
       RowBox[{"AadjA", ".", "AadjB", ".", 
        RowBox[{"Inverse", "[", "AadjA", "]"}]}], "]"}]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Acoef2", "=", 
     RowBox[{"FullSimplify", "[", 
      RowBox[{"AadjA", ".", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"IdentityMatrix", "[", "15", "]"}], "-", 
         RowBox[{"FullSimplify", "[", 
          RowBox[{"AadjB", ".", 
           RowBox[{"Inverse", "[", "AadjA", "]"}], ".", 
           RowBox[{"Inverse", "[", "AadjB", "]"}]}], "]"}]}], ")"}]}], 
      "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "Fox", " ", "derivatives", " ", "evaluated", " ", "on", " ", "the", " ", 
     "adjoint", " ", "representation"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Adr1da", "=", 
     RowBox[{"dr1da", "[", 
      RowBox[{"AadjA", ",", "AadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Adr1db", "=", 
     RowBox[{"dr1db", "[", 
      RowBox[{"AadjA", ",", "AadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Adr2da", "=", 
     RowBox[{"dr2da", "[", 
      RowBox[{"AadjA", ",", "AadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Adr2db", "=", 
     RowBox[{"dr2db", "[", 
      RowBox[{"AadjA", ",", "AadjB"}], "]"}]}], ";"}], "\n", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"basis", " ", "for", " ", "H1", 
     RowBox[{"(", 
      RowBox[{"F", ";", "dF"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"AH1FDF", "=", 
     RowBox[{"NullSpace", "[", "\[IndentingNewLine]", 
      RowBox[{"Join", "[", "\[IndentingNewLine]", 
       RowBox[{
       "Acoef1", ",", "\[IndentingNewLine]", "Acoef2", ",", 
        "\[IndentingNewLine]", "2"}], "]"}], "\[IndentingNewLine]", "]"}]}], 
    ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"INVERSE", " ", "monodromy", " ", "on", " ", "sl", 
     RowBox[{"(", 
      RowBox[{"4", ",", "R"}], ")"}], "xsl", 
     RowBox[{"(", 
      RowBox[{"4", ",", "R"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Aadjmegamat", "=", 
     RowBox[{"FullSimplify", "[", "\[IndentingNewLine]", 
      RowBox[{"Join", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Join", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"Inverse", "[", "AadjX", "]"}], ".", "Adr1da"}], ",", 
          RowBox[{
           RowBox[{"Inverse", "[", "AadjX", "]"}], ".", "Adr1db"}], ",", 
          "2"}], "]"}], ",", "\[IndentingNewLine]", 
        RowBox[{"Join", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"Inverse", "[", "AadjX", "]"}], ".", "Adr2da"}], ",", 
          RowBox[{
           RowBox[{"Inverse", "[", "AadjX", "]"}], ".", "Adr2db"}], ",", 
          "2"}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]",
       "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "basis", " ", "solve", " ", "relative", " ", "to", " ", "AH1FDF"}], 
    "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Ainducedaction", "=", 
     RowBox[{"Transpose", "[", "\[IndentingNewLine]", 
      RowBox[{"Table", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"GenBasisSolve", "[", 
         RowBox[{
          RowBox[{"Aadjmegamat", ".", 
           RowBox[{"AH1FDF", "[", 
            RowBox[{"[", "i", "]"}], "]"}]}], ",", "AH1FDF"}], "]"}], ",", 
        RowBox[{"{", 
         RowBox[{"i", ",", "1", ",", "15"}], "}"}]}], "\[IndentingNewLine]", 
       "]"}], "\[IndentingNewLine]", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"twisted", " ", "Alexander", " ", "polynomial"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
    "Print", "[", 
     "\"\<Twisted Alexander polynomial which has 1 as a root of multiplicity \
5, thus L2R2 is infinitesimally projectively rigid by Theorem 2.\>\"", "]"}], 
    ";"}], "\[IndentingNewLine]", 
   RowBox[{"Factor", "[", "\[IndentingNewLine]", 
    RowBox[{"CharacteristicPolynomial", "[", 
     RowBox[{"Ainducedaction", ",", "t"}], "]"}], "\[IndentingNewLine]", 
    "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.9394611517512197`*^9, 3.9394611726773977`*^9}, {
  3.9546063576993113`*^9, 3.954606398483572*^9}, {3.954606434643661*^9, 
  3.9546065209704027`*^9}},
 CellLabel->
  "In[424]:=",ExpressionUUID->"99f36612-e94a-420a-82a2-9924f8e9f606"],

Cell[BoxData["\<\"Twisted Alexander polynomial which has 1 as a root of \
multiplicity 5, thus L2R2 is infinitesimally projectively rigid by Theorem 2.\
\"\>"], "Print",
 CellChangeTimes->{{3.9546065168687468`*^9, 3.9546065219999943`*^9}, 
   3.954606666176859*^9, 3.954606801282179*^9, 3.954606852178995*^9},
 CellLabel->
  "During evaluation of \
In[424]:=",ExpressionUUID->"1d9c2b97-df60-42e1-af0a-e21e71544da2"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", "t"}], ")"}], "5"]}], " ", 
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"1", "-", 
     RowBox[{"18", " ", "t"}], "+", 
     SuperscriptBox["t", "2"]}], ")"}], "2"], " ", 
  RowBox[{"(", 
   RowBox[{"1", "-", 
    RowBox[{"114", " ", "t"}], "-", 
    RowBox[{"17", " ", 
     SuperscriptBox["t", "2"]}], "-", 
    RowBox[{"316", " ", 
     SuperscriptBox["t", "3"]}], "-", 
    RowBox[{"17", " ", 
     SuperscriptBox["t", "4"]}], "-", 
    RowBox[{"114", " ", 
     SuperscriptBox["t", "5"]}], "+", 
    SuperscriptBox["t", "6"]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.954606516869866*^9, 3.954606522010754*^9}, 
   3.954606666180187*^9, 3.954606801285637*^9, 3.9546068521826773`*^9},
 CellLabel->
  "Out[437]=",ExpressionUUID->"54635acd-47e1-469f-9f3a-f9644d16e8fd"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{
   "adjoint", " ", "representation", " ", "on", " ", "complement", " ", "V"}],
    "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"VadjA", "=", 
     RowBox[{"Vadjsolve", "[", "soA", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"VadjB", "=", 
     RowBox[{"Vadjsolve", "[", "soB", "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"VadjX", "=", 
     RowBox[{"Vadjsolve", "[", "soX", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"words", " ", "for", " ", "res", 
     RowBox[{"(", "l", ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Vcoef1", "=", 
     RowBox[{
      RowBox[{"IdentityMatrix", "[", "9", "]"}], "-", 
      RowBox[{"FullSimplify", "[", 
       RowBox[{"VadjA", ".", "VadjB", ".", 
        RowBox[{"Inverse", "[", "VadjA", "]"}]}], "]"}]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Vcoef2", "=", 
     RowBox[{"FullSimplify", "[", 
      RowBox[{"VadjA", ".", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"IdentityMatrix", "[", "9", "]"}], "-", 
         RowBox[{"FullSimplify", "[", 
          RowBox[{"VadjB", ".", 
           RowBox[{"Inverse", "[", "VadjA", "]"}], ".", 
           RowBox[{"Inverse", "[", "VadjB", "]"}]}], "]"}]}], ")"}]}], 
      "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "Fox", " ", "derivatives", " ", "evaluated", " ", "on", " ", "the", " ", 
     "adjoint", " ", "representation"}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Vdr1da", "=", 
     RowBox[{"dr1da", "[", 
      RowBox[{"VadjA", ",", "VadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Vdr1db", "=", 
     RowBox[{"dr1db", "[", 
      RowBox[{"VadjA", ",", "VadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Vdr2da", "=", 
     RowBox[{"dr2da", "[", 
      RowBox[{"VadjA", ",", "VadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"Vdr2db", "=", 
     RowBox[{"dr2db", "[", 
      RowBox[{"VadjA", ",", "VadjB"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"basis", " ", "for", " ", "H1", 
     RowBox[{"(", 
      RowBox[{"F", ";", "dF"}], ")"}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"VH1FDF", "=", 
     RowBox[{"FullSimplify", "[", 
      RowBox[{"NullSpace", "[", "\[IndentingNewLine]", 
       RowBox[{"Join", "[", "\[IndentingNewLine]", 
        RowBox[{
        "Vcoef1", ",", "\[IndentingNewLine]", "Vcoef2", ",", 
         "\[IndentingNewLine]", "2"}], "]"}], "\[IndentingNewLine]", "]"}], 
      "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"INVERSE", " ", "monodromy", " ", "on", " ", "VxV"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Vadjmegamat", "=", 
     RowBox[{"FullSimplify", "[", "\[IndentingNewLine]", 
      RowBox[{"Join", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Join", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"Inverse", "[", "VadjX", "]"}], ".", "Vdr1da"}], ",", 
          RowBox[{
           RowBox[{"Inverse", "[", "VadjX", "]"}], ".", "Vdr1db"}], ",", 
          "2"}], "]"}], ",", "\[IndentingNewLine]", 
        RowBox[{"Join", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"Inverse", "[", "VadjX", "]"}], ".", "Vdr2da"}], ",", 
          RowBox[{
           RowBox[{"Inverse", "[", "VadjX", "]"}], ".", "Vdr2db"}], ",", 
          "2"}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]",
       "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "basis", " ", "solve", " ", "relative", " ", "to", " ", "anotherPH1FDF"}],
     "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Vinducedaction", "=", 
     RowBox[{"Transpose", "[", "\[IndentingNewLine]", 
      RowBox[{"Table", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"GenBasisSolve", "[", 
         RowBox[{
          RowBox[{"Vadjmegamat", ".", 
           RowBox[{"VH1FDF", "[", 
            RowBox[{"[", "i", "]"}], "]"}]}], ",", "VH1FDF"}], "]"}], ",", 
        RowBox[{"{", 
         RowBox[{"i", ",", "1", ",", "9"}], "}"}]}], "\[IndentingNewLine]", 
       "]"}], "\[IndentingNewLine]", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{"twisted", " ", "Alexander", " ", "polynomial"}], "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
    "Print", "[", 
     "\"\<Twisted Alexander polynomial which has 1 as a root of multiplicity \
3, thus RL is infinitesimally projectively rigid by Theorem 2.\>\"", "]"}], 
    ";"}], "\[IndentingNewLine]", 
   RowBox[{"Factor", "[", "\[IndentingNewLine]", 
    RowBox[{"CharacteristicPolynomial", "[", 
     RowBox[{"Vinducedaction", ",", "t"}], "]"}], "\[IndentingNewLine]", 
    "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.9546065883212423`*^9, 3.9546065958540382`*^9}},
 CellLabel->
  "In[438]:=",ExpressionUUID->"41ceca37-72ca-41e3-9e9b-ead972f1b25e"],

Cell[BoxData["\<\"Twisted Alexander polynomial which has 1 as a root of \
multiplicity 3, thus RL is infinitesimally projectively rigid by Theorem 2.\"\
\>"], "Print",
 CellChangeTimes->{{3.954606608628385*^9, 3.9546066153740053`*^9}, 
   3.954606666330822*^9, 3.954606801339637*^9, 3.9546068522338142`*^9},
 CellLabel->
  "During evaluation of \
In[438]:=",ExpressionUUID->"ed4270b7-0ed6-40c1-9d82-c00dd314f470"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", "t"}], ")"}], "3"]}], " ", 
  RowBox[{"(", 
   RowBox[{"1", "-", 
    RowBox[{"114", " ", "t"}], "-", 
    RowBox[{"17", " ", 
     SuperscriptBox["t", "2"]}], "-", 
    RowBox[{"316", " ", 
     SuperscriptBox["t", "3"]}], "-", 
    RowBox[{"17", " ", 
     SuperscriptBox["t", "4"]}], "-", 
    RowBox[{"114", " ", 
     SuperscriptBox["t", "5"]}], "+", 
    SuperscriptBox["t", "6"]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.954606608627022*^9, 3.9546066153870583`*^9}, 
   3.9546066663373632`*^9, 3.954606801340773*^9, 3.9546068522372932`*^9},
 CellLabel->
  "Out[451]=",ExpressionUUID->"3d1170b3-3ffa-47a4-bf48-bb957fbda97a"]
}, Open  ]]
},
WindowSize->{808, 816},
WindowMargins->{{Automatic, -1297}, {Automatic, -13}},
FrontEndVersion->"13.2 for Mac OS X ARM (64-bit) (January 30, 2023)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"5f81f272-5317-4717-9059-20d039570a75"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 1373, 36, 178, "Input",ExpressionUUID->"69caacb7-feb0-4a0e-b959-5f3f3102bb3e"],
Cell[1934, 58, 3961, 105, 493, "Input",ExpressionUUID->"49707295-0a4d-47f1-b8a6-e796b3ae1861"],
Cell[5898, 165, 10714, 297, 1534, "Input",ExpressionUUID->"f5f62df4-5c08-4f1b-8eac-d6519d85b827"],
Cell[16615, 464, 781, 21, 157, "Input",ExpressionUUID->"c00126cd-d9bb-4496-a364-cf010afa78c6"],
Cell[17399, 487, 12874, 335, 1291, "Input",ExpressionUUID->"1ef48855-fdda-4936-953f-73d97b93483a"],
Cell[CellGroupData[{
Cell[30298, 826, 5398, 137, 1081, "Input",ExpressionUUID->"99f36612-e94a-420a-82a2-9924f8e9f606"],
Cell[35699, 965, 415, 7, 44, "Print",ExpressionUUID->"1d9c2b97-df60-42e1-af0a-e21e71544da2"],
Cell[36117, 974, 898, 27, 38, "Output",ExpressionUUID->"54635acd-47e1-469f-9f3a-f9644d16e8fd"]
}, Open  ]],
Cell[CellGroupData[{
Cell[37052, 1006, 5344, 135, 1123, "Input",ExpressionUUID->"41ceca37-72ca-41e3-9e9b-ead972f1b25e"],
Cell[42399, 1143, 413, 7, 44, "Print",ExpressionUUID->"ed4270b7-0ed6-40c1-9d82-c00dd314f470"],
Cell[42815, 1152, 755, 22, 37, "Output",ExpressionUUID->"3d1170b3-3ffa-47a4-bf48-bb957fbda97a"]
}, Open  ]]
}
]
*)