User:Eotvos

Before i was corrupted by the world

Someone on internet knows me as Eotvos, others know me as tetrapharmakon. However my best avatar is killing_buddha.

I am an italian mathematician living in Padua, where I was born in May 23, 1987. My scientific interests are pretty wide, I spend much time reading about category theory, universal algebra, differential geometry. I've ever been fascinated by the epistemological problem of figuration of space: I hope to find out a coherent geometrical model of Borges' Library of Babel. I chose to study Geometry, and Algebra therefore, for a simple reason. When I was still a child, I dreamed to become an artist, a painter or a sculptor. Later I discovered Mathematics, and I found out the same feelings through the infinitely malleable and ideal shape of a manifold, or the polished and perfect matter which Riemann surfaces are made of. When I have a pencil or a chalk in my hand, when I write on a blank sheet or a blackboard, when I plot a graph or I draw a commutative diagram, then I feel the same artistic sensations.

With the passing of time, Mathematics revealed me the deep and majestic identity between the shape of an object (its geometrical nature, its physical and plastic properties) and its gist (its purest essence, its algebraic and axiomatic construction). Following Klein's point of view, for example, I can perceive that what we call a geometry is nothing else than the result of applying the action of a suitable group over an appropriate set: on changing the shape of a space, we modify the relationships among the objects, not really caring about the objects themselves. Moving its early steps from a basic intuition (i.e., the identity principle), Mathematics elevates itself to a superior conception focusing its attention on the relations among a wide spectrum of entities, whereas it is important the way in which the objects at hand are related to each other and not their particular nature.

Stuff I wrote (mainly Mathematics, mainly in Italian)

• Notes on elementary Differential Geometry (curves, surfaces); the study of curves and surfaces culminates with Gauss' masterpiece Disquisitiones generales circa superficies curvas, where he defines the concept of intrinsical geometric property. Can a small ant lying on a cylinder notice it is walking on a globally non-flat surface? And what if it was on a sphere? And what if it was on a torus?

• Lecture notes about Riemann surfaces; A Riemann surface can be characterized as a complex one-dimensional manifold: asking the transition functions between charts to be (bi)holomorphisms between domains of the complex line obstructs the general (even smooth) two-dimensional manifold to be a RS. Algebraic, analytical and geometrical methods work in sinergy to give a beautiful and (at least in the case of compact spaces) complete theory.

• My (undergraduate) thesis in Category Theory; the main result is the so-called Beck's monadicity theorem: Huber proved in 1961 that any pair of adjoint functors <m>\mathcal F\dashv \mathcal G</m> gives rise to a suitable monad <m>(\mathcal G\circ\mathcal F, \mathcal G(\boldsymbol{\varepsilon}_\mathcal F),\boldsymbol\eta)</m>. Hilton rapidly conjectured that every monad arises from a suitable pair of adjoint functors. This turns out to be "essentially" true, thanks to Kleisli (1965) and Eilenberg-Moore (1965), who independently proved this theorem exhibiting two extremal ways to factor the endofunctor <m>\mathcal T</m> of a given monad <m>\mathfrak M</m> in the product of two mutually adjoint functors <m>\mathcal F_\mathfrak M\dashv \mathcal G_\mathfrak M</m>: the collection of all the ways to factor <m>\mathcal T</m> can be organized to be a (rarely small) category, whose initial object is Klesli's adjunction, and whose terminal one is Eilenberg-Moore's. In particular for any adjunction factoring a given monad there is a unique functor <m>\Phi</m> form the domain of the right adjoint to the Eilenberg-Moore category; we call this right adjoint monadic iff <m>\Phi</m> is an equivalence. Beck's Theorem allows us to recognize monadic functors between [...]

• A note on derived functors; Homological Algebra firmly arose as the Golden Bridge between Algebra and Geometry. This brief note is intended to prepare the notion of derivative of a functor between abelian categories with "lots" of injective/projective objects. Exposition then turns to a sheaf-theoretic application of the theory, lying on the following fundamental result: The category <m>\text{Sh}(\mathbf C)</m> is abelian/has lots of injectives provided <m>\mathbf C</m> is abelian/has lots of injectives. (In fact for time reasons I stopped to some categorical properties of Sh(X), the category of sheaves on a space; someday I'll finish...)

• Some notes on Hamiltonian Mechanics; My first love is Mathematical Physics, I cannot hide it. In writing these poor and chaotic pages I wanted to give myself some sort of glossa about basic mathematical methods used in Physics; in fact there's neither something original, nor something new in them.

• The Jacobian Mathematicians. The name is a pun between Jacobian and Jacobins; it is intended to be some kind of open window towards the scientific attitude to knowledge. We talk about Maths, also developing its interconnection with culture and Philosophy. Here [1] an (italian) manifesto explaining our intent: students talking to other students bring their own researches on the scene. Feel free to mail me if you want to reach us; meetings "illegally" take place in Padua @math department (63, via Trieste: Google maps puts it here). I gave four lectures until now (but three more people talked about Game Theory, Fourier analysis, and analytical solutions to PDEs):
  • One Fibrations between spheres and Hopf theorem [2]
  • Two The importance of being abstract aka A gentle introduction to the categorical point of view to reality [3]
  • Three low dimensional Topological Quantum Field Theories [4]
  • Four Chatting about complex geometry (from symplectic to Kahler manifolds) [5]
  • Five ??? (coming soon... Maybe something about fiber bundles and connections)
• I also know something about Mathematica(TM) and PSTricks, languages which allowed me to write some (really naif) pieces of code to:
  • Draw algebraic curves and compute some of their invariants: [6]
  • Compute the Christoffel symbols of a real surface
  • Draw some simple links and tangles
  • Draw some simple elliptic curves and algebraic curves [7][8]

Pages I wrote here

1. Gioco_di_Ehrenfeucht-Fraïssé (italian)