commit fee7a2800565a21a39e11cd1beec358111a1a01f Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sun, 20 Feb 2022 18:50:47 +0100 Initial commit Diffstat:
29 files changed, 402 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile @@ -0,0 +1,11 @@ +all: clean + ./build.sh + +clean: + rm -r http/* + +deploy: + rsync -rv --delete --rsync-path=openrsync \ + http/ tronto.net:/var/www/htdocs/sebastiano.tronto.net + +.PHONY: all clean deploy diff --git a/README.md b/README.md @@ -0,0 +1,2 @@ +All the files of my personal [website](https://sebastiano.tronto.net), +including build/deploy script(s). diff --git a/bottom.html b/bottom.html @@ -0,0 +1,21 @@ + +<hr class="line"> + +<nav class="bottom"> + <table class="footer"> + <tr> + <td class="contact"> + <a href="mailto:sebastiano@tronto.net"> + sebastiano@tronto.net + </a> + </td> + <td class="hosted"> + Hosted by + <a href="https://openbsd.amsterdam">openbsd.amsterdam</a> + </td> + </tr> + </table> +</nav> + +</body> +</html> diff --git a/build.sh b/build.sh @@ -0,0 +1,32 @@ +#!/bin/sh + +recursivebuild() { + local destdir=$(echo $1 | sed 's|^src|http|') + mkdir -p "$destdir" + for file in $(ls $1); do + if [ -d "$1/$file" ]; then + mkdir -p "$destdir/$file" + recursivebuild "$1/$file" + else + extension=$(echo "$file" | sed 's/.*\.//') + if [ "$extension" = "md" ]; then + sed "s/TITLE/$(grep '^\# ' < "$1/$file" \ + | sed 's/^\# //')/" < top.html \ + > "$destdir/index.html" + lowdown "$1/$file" >> "$destdir/index.html" + cat bottom.html >> "$destdir/index.html" + elif [ "$extension" = "html" ]; then + cat top.html "$1/$file" bottom.html \ + | sed "s/TITLE/$(grep '<!--TITLE: ' <\ + "$1/$file" \ + | sed 's/^<!--TITLE: //' \ + | sed 's/-->$//')/" \ + > "$destdir/index.html" + else + cp "$1/$file" "$destdir/$file" + fi + fi + done +} + +recursivebuild src diff --git a/src/favicon.png b/src/favicon.png Binary files differ. diff --git a/src/git/git.md b/src/git/git.md @@ -0,0 +1,43 @@ +# Git repositories + +You can find all my git repositories at +[git.tronto.net](https://git.tronto.net/) or on +[my github page](https://github.com/sebastianotronto). +You can clone a repository with `git clone https://git.tronto.net/[NAME]`. + +## Tutorials + +* [fmctutorial](https://git.tronto.net/fmctutorial): an in-depth + tutorial for the Rubik's cube *Fewest Moves Challenge*, or FMC. + +## Programs and scripts + +I started writing code in 2005, with a toy programming language called Dark +Basic first and with Java shortly after that. In the past I enjoyed learning +different programming languages (C++, J, Python...), but I have recently found +more pleasure in writing software in plain C. + +* [nissy](https://git.tronto.net/nissy): A Rubik's cube solver, + intended primarily as a tool for practicing FMC. +* [sdep](https://git.tronto.net/sdep): A minimalistic + "date+event" line parser. Can be used in combination with some shell scripts + as a reminder / calendar application. +* [scripts](https://git.tronto.net/scripts): Various scripts + for Unix-like systems. + +## Math courses and programs + +Here are some scripts I wrote and lecture notes for some courses +I taught at the [University of Luxembourg](https://wwwen.uni.lu) +(2018-2022). + +* [mathsoftware](https://git.tronto.net/mathsoftware): a full + course (3 ECTS) on LaTeX and SageMath. +* [preplogic](https://git.tronto.net/preplogic): notes and + exercises for two introductory lectures on elementary logic. +* [kummer-degrees](https://git.tronto.net/kummer-degrees): a + SageMath script for computing the degrees of Kummer extensions of the + rational numbers. +* [arithmeticbilliard](https://git.tronto.net/arithmeticbilliard): + a python program for drawing the path of 2- and 3-dimensional arithmetic + billiards. diff --git a/src/home.md b/src/home.md @@ -0,0 +1,19 @@ +# Sebastiano Tronto + + + +I am a PhD student in Mathematics at the Universities of Luxembourg and Leiden. +During my free time I enjoy tinkering with my computer, programming and +playing with the Rubik's cube. + +Download my [cv (pdf, 220Kb)](tronto-cv.pdf). + +### Email + +* [sebastiano@tronto.net](mailto:sebastiano@tronto.net) (personal) +* [sebastiano.tronto@uni.lu](mailto:sebastiano.tronto@uni.lu) (work) + +### Social + +You can find me on many social networks and forums with either my real name +or the username `porkynator`. diff --git a/src/me.png b/src/me.png Binary files differ. diff --git a/src/research/notes-bilbao.pdf b/src/research/notes-bilbao.pdf Binary files differ. diff --git a/src/research/notes-division-modules.pdf b/src/research/notes-division-modules.pdf Binary files differ. diff --git a/src/research/notes-etale.pdf b/src/research/notes-etale.pdf Binary files differ. diff --git a/src/research/notes-injectivity.pdf b/src/research/notes-injectivity.pdf Binary files differ. diff --git a/src/research/notes-katz.pdf b/src/research/notes-katz.pdf Binary files differ. diff --git a/src/research/notes-kummerec.pdf b/src/research/notes-kummerec.pdf Binary files differ. diff --git a/src/research/research.md b/src/research/research.md @@ -0,0 +1,109 @@ +# Research + +After obtaining a bachelor degree in Trento in 2016 I have completed the +[ALGANT](https://algant.eu) Master Program (Milano and Leiden), with special +focus on number theory and algebraic geometry. I am now working on my PhD +under the supervision of [Antonella Perucca](http://antonellaperucca.net) and +[Peter Bruin](https://www.math.leidenuniv.nl/~pbruin). + +## Publications and preprints + +* Tronto, Sebastiano. + *Division in modules and Kummer theory.* + [arXiv preprint](https://arxiv.org/abs/2111.14363). + +* Lombardo, Davide; Tronto, Sebastiano. + *Some uniform bounds for elliptic curves over Q.* + [arXiv preprint](https://arxiv.org/abs/2106.09950v1). + +* Lombardo, Davide; Tronto, Sebastiano. + *Effective Kummer theory for elliptic curves.* + International Mathematics Research Notices (2021). + +* Hörmann, Fritz; Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *Explicit Kummer theory for quadratic fields.* + JP Journal of Algebra, Number Theory and Applications (2021). + +* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *The degree of Kummer extensions of number fields.* + International Journal of Number Theory (2021). + +* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *Kummer Theory for number fields via entanglement groups.* + Manuscripta Mathematica (2021). + +* Tronto, Sebastiano. + *Radical entanglement for elliptic curves.* + [arXiv preprint](https://arxiv.org/abs/2009.08298). + +* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *Kummer theory for number fields.* + Proceedings of the Roman Number Theory Association (2020). + +* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *Addendum to: Reductions of Algebraic integers.* + Journal of Number Theory (2020). + +* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. + *Explicit Kummer theory for the rational numbers.* + International Journal of Number Theory (2020). + +## Talks + +* *A category of division modules*. + University of Luxembourg Number Theory seminar, November 2021. + [Notes: [pdf](notes-division-modules.pdf)] + +* *Introduction to étale cohomology*. + University of Luxembourg seminar series on perverse sheaves, October 2021. + [Notes: [pdf](notes-etale.pdf)] + +* *A generalization of injective modules*. + University of Luxembourg Number Theory seminar, October 2021. + [Notes: [pdf](notes-injectivity.pdf)] + +* *Integer factorization and elliptic curves*. + University of Leiden Bachelor seminar (guest talk), April 2021. + [Slides: [pdf](slides-ecm.pdf)] + +* *Group cohomology and elliptic curves*. + Invited talk at Number Theory Online conference, February 2021. + [Slides: [pdf](slides-groupcohomec.pdf); + Video: [link](https://vimeo.com/526814236/1a640285c0?embedded=true&source=video_title&owner=47245911)] + +* *Kummer theory for algebraic groups*. + Invited talk at the University of Bristol (online), October 2020. + [Slides: [pdf](slides-tronto-bristol.pdf)] + +* *Algebraic groups and field extensions*. + University of Luxembourg PhD seminar (online), April 2020. + [Slides: [pdf](slides-alggroupsfieldext.pdf)] + +* *Field extensions and elliptic curves*. + University of Luxembourg PhD Day, October 2019. + [Slides: [pdf](slides-fieldextec.pdf)] + +* *Kummer theory for elliptic curves*. + University of Leiden algebra seminar, September 2019; + repeated with slides at the DIAMANT symposium, November 2019 and + at Seminari de Teoria de Nombres de Barcelona, February 2020. + [Notes: [pdf](notes-kummerec.pdf); + Slides DIAMANT: [pdf](slides-kummec-diamant.pdf); + Slides Barcelona: [pdf](slides-kummec-barcelona.pdf);]. + +* *Divisibility of points in algebraic groups*. + Invited talk at the University of the Basque Country, May 2019. + [Notes: [pdf](notes-bilbao.pdf)] + +* *Kummer theory for number fields*. + Fifth symposium of the Roman Number Theory association, April 2019; + repeated at the Algant Alumni symposium in Benasque, May 2019. + [Slides: [pdf](slides-kummerdegrees.pdf)] + +* *The local-global principle*. + University of Luxembourg interdisciplinary seminar, March 2019. + [Slides: [pdf](slides-local-global.pdf)] + +* *Local-global principle for torsion*. + University of Luxembourg Number Theory seminar, November 2018. + [Notes: [pdf](notes-katz.pdf)] diff --git a/src/research/slides-alggroupsfieldext.pdf b/src/research/slides-alggroupsfieldext.pdf Binary files differ. diff --git a/src/research/slides-ecm.pdf b/src/research/slides-ecm.pdf Binary files differ. diff --git a/src/research/slides-fieldextec.pdf b/src/research/slides-fieldextec.pdf Binary files differ. diff --git a/src/research/slides-groupcohomec.pdf b/src/research/slides-groupcohomec.pdf Binary files differ. diff --git a/src/research/slides-kummec-barcelona.pdf b/src/research/slides-kummec-barcelona.pdf Binary files differ. diff --git a/src/research/slides-kummec-diamant.pdf b/src/research/slides-kummec-diamant.pdf Binary files differ. diff --git a/src/research/slides-kummerdegrees.pdf b/src/research/slides-kummerdegrees.pdf Binary files differ. diff --git a/src/research/slides-local-global.pdf b/src/research/slides-local-global.pdf Binary files differ. diff --git a/src/research/slides-tronto-bristol.pdf b/src/research/slides-tronto-bristol.pdf Binary files differ. diff --git a/src/speedcubing/cubing.png b/src/speedcubing/cubing.png Binary files differ. diff --git a/src/speedcubing/speedcubing.md b/src/speedcubing/speedcubing.md @@ -0,0 +1,17 @@ +# Speedcubing + + + +I have been practicing [speedcubing](https://en.wikipedia.org/wiki/Speedcubing) +since 2008, and since 2011 I have competed in 49 officially recognized +[WCA](https://www.worldcubeassociation.org) competitions. I currently hold the +world record for the single best result in the *3x3x3 Fewest Moves* event +(16 moves), and some national records in different blindfolded events. I am +also the leader of the WCA Disciplinary Committee. You can see all my official +results [here](https://www.worldcubeassociation.org/persons/2011TRON02). + +If you are interested in Fewest Moves solving, check out my +[FMC Tutorial](https://github.com/sebastianotronto/fmctutorial). I also +upload irregularly on +[my YouTube channel](https://www.youtube.com/c/SebastianoTronto), but most +videos are just me solving the cube. diff --git a/src/style.css b/src/style.css @@ -0,0 +1,98 @@ +.menu { + width: 100%; +} + +.links { + text-align: right; + font-weight: bold; +} + +.footer { + font-style: italic; + width: 100%; +} + +.hosted { + text-align: right; +} + +body { + margin: auto 8px 20px 8px; +} + +img { + display: block; + margin-left: auto; + margin-right: auto; + max-width: 100%; +} + +pre, code { + background-color: #eeeeee; +} + +pre { + border: 2px solid; + padding: 6px; +} + +#blob { + background: #ffffff; + border: none; +} + +a { + color: #0f2899; + text-decoration: none; +} + +.links a { + font-weight: bold; + color: black; +} + +.hosted a, +.contact a { + font-weight: bold; +} + +a:hover { + text-decoration: underline; +} + +html { + margin: 1em auto; + max-width: 42em; +} + +h1 { + text-align: center; +} + +td h1 { + text-align: left; + font-size: 1.5em; +} + +table { + width: 100%; +} + +#files td { + font-family: monospace; + font-size: 1.2em; + min-width: 7em; +} + +#log tr:hover td, +#files tr:hover td { + background-color: #eeeeee; +} + +.url td { + font-family: monospace; +} + +table tr td a img { + min-width: 33px; +} diff --git a/src/tronto-cv.pdf b/src/tronto-cv.pdf Binary files differ. diff --git a/top.html b/top.html @@ -0,0 +1,50 @@ +<!doctype html> +<html> +<head> + <title> TITLE | Sebastiano Tronto </title> +<meta name="viewport" content="width=device-width" /> <link rel="stylesheet" type="text/css" href="/style.css"> + <link rel="icon" href="/favicon.png"> + <meta charset="utf-8"> +</head> + +<body> + +<nav class="top"> + <table class="menu"> + <tr> + <td class="logo"> + <a href="/"> + <svg width="50" height="50"> + <circle + cx="25" + cy="25" + r="24" + stroke = "black" + fill = "black" + /> + <text + x="50%" + y="50%" + text-anchor="middle" + dominant-baseline="middle" + font-family="monospace" + font-weight="bolder" + font-size="2.5em" + fill="white" + > + st + </text> + </svg> + </a> + </td> + <td class="links"> + <a href="/research/">Research</a> | + <a href="/git/">Git</a> | + <a href="/speedcubing/">Cubing</a> + </td> + </tr> + </table> +</nav> + +<hr class="line"> +
