update

index.html

@@ -64,25 +64,65 @@ <h1>Yuma Mizuno</h1>
     </div>
 
     <div class="navbar">
-        <a href="index.html">Home</a>
-        <a href="CV.html">CV</a>
-        <a href="papers.html">Papers</a>
-        <!--<a href="talks.html">Talks</a>-->
+        <a href="#profile">Profile</a>
+        <!-- <a href="index.html">Home</a> -->
+        <a href="#cv">CV</a>
+        <a href="#paper">Papers</a>
+        <a href="#other">Others</a>
         <!--<a href="programs.html">Programs</a>-->
     </div>
 
     <div class="main">
-        <h2>Profile</h2>
+        <h2 id="profile">Profile</h2>
         <p>Postdoc<br>
         Department of Mathematics and Informatics, Faculty of Science,<br>
         Chiba University</p>
         <p><b>Email:</b> [email protected]</p>
-        <p><b>Address:</b> 1-33, Yayoicho, Inage-ku, Chiba-shi, Chiba, 263-8522 Japan
+        <p><b>Address:</b> 1-33, Yayoicho, Inage-ku, Chiba-shi, Chiba, 263-8522 Japan</p>
+
+        <h2 id="cv">CV</h2>
+        <a href="CV/CV.pdf">CV.pdf</a></p>
+
         <h2>Rearch Interest</h2>
         <ul>
             <li>cluster algebras</li>
             <li>and their relation to low-dimensional topology, representation theory, integrable systems, and mathematical physics</li>
         </ul>
+
+        <h2 id="paper">Preprints</h2>
+        <ol>
+            <li>
+                q-Painlevé equations on cluster Poisson varieties via toric geometry, arXiv:2008.11219.
+            </li>
+        </ol>
+
+        <h2>Publications</h2>
+        <ol>
+            <li>
+                Difference equations arising from cluster algebras, Journal of Algebraic Combinatorics, 54, 295-351.
+            </li>
+            <li>
+                Exponents associated with Y-systems and their relationship with q-series. SIGMA Symmetry Integrability Geom. Methods Appl., 16:028, 42 pages, 2020.
+            </li>
+            <li>
+                Jacobian matrices of Y-seed mutations, Advances in Applied Mathematics, 115:101987, 2020.
+            </li>
+            <li>
+                Quiver mutation sequences and q-binomial identities, joint work with Akishi Kato and Yuji Terashima, International Mathematics Research Notices, 2018(23):7335-7358, 2018.
+            </li>
+        </ol>
+
+        <h2 id="other">Others</h2>
+          <p>My thesis: <a href =thesis.pdf>Difference equations arising from cluster algebras</a>.</p>
+
+          <p>
+            I'm interested in formalising mathematics. I formalized 
+            <a href=https://github.com/yuma-mizuno/lean-cluster-algebra>the definition of cluster algebras</a>
+            in <a href="https://leanprover-community.github.io/">Lean</a>.
+            I also made some contributions to <a href=>mathlib</a> (the Lean mathematical library). The main one is to write a library for 
+            <a href=https://leanprover-community.github.io/mathlib_docs/category_theory/bicategory/basic.html>bicategories</a>, including 
+            <a href=https://leanprover-community.github.io/mathlib_docs/category_theory/bicategory/coherence.html>the coherence theorem</a>.
+          </p>
     </div>
 
 </body>