Gideon R. Chiusole

November 30., December 14., 2023

The representation theory of non-commutative Lie groups is much more involved than that of commutative Lie groups. However, in the case of a compact and connected Lie group G, its maximal compact connected abelian subgroup (its maximal torus) contains a lot of information about G. Indeed, understanding the group of transformations of the torus under the action of internal symmetries (conjugations) of G produces the Weyl group of G, which is a powerful invariant and simplifies much of the analysis of G.

​

By rank of G we mean the dimension of its maximal torus. While seemingly only a very crude invariant, it is enough to classify interesting examples of low dimension. One can show that any G of rank 1 is isomorphic to either U(1), SU(2) or SO(3). As a consequence there are no compact connected Lie groups of dimension 2, except for the torus of dimension 2. 

November 8., 15., 22., 2022

One of the most powerful techniques in modern geometry is cohomology. It allows to associate linear invariants (cohomology groups) to highly non-linear objects (here, smooth manifolds) in a systematic and homotopy invariant manner. In particular, deRham cohomology allows to compute the cohomology groups by interpreting the geometry (or rather the homotopy type) of a manifold as an obstruction to the existence of global solutions to certain PDEs on that manifold. Together with homological algebra, the Mayer-Vietoris sequence allows to compute the cohomology of a manifold from the cohomology of a covering.

​

Since having the same cohomology is a weaker notion than being homeomorphic, and since the dimension of the zero-th order deRham cohomology group equals the number of connected components of the manifold, deRham cohomology can be applied to extensions of the Jordan curve theorem, i.p. the Jordan-Brouwer separation theorem, invariance of domain, and invariance of dimension.

​

June 4, 2021

In order to price an option, one would usually proceed as follows: 1. Select a class of models suitable for the problem, 2. Calibrate the model using market data, 3. Compute the price as the discounted expectation with respect to the calibrated model. However, there is a problem with this approach: for complicated options, different models may produce different prices. Model-free finance seeks to solve this problem by not choosing a probabilistic model in the first place. However, this brings some substantial problems with it; for example, what do an SDE and its solution even mean if there is no underlying semi-martingale measure? and what are arbitrage and no-free-lunch, which are fundamentally stochastic notions?

Solutions to these problems are given by the notions of model-free Ito isometry and rough paths, as well as typical price paths and model-free arbitrage opportunities.

​

November 15, 2021

Gaussian measures on infinite dimensional vector spaces tend to be singular with respect to each other. In particular, given a Gaussian measure, there is only a very restricted subspace such that translation along elements of that subspace produces an equivalent measure (Cameron-Martin Theorem). This subspace is called the Cameron-Martin subspace, and despite the fact that the Gaussian measure assigns it no mass, the Cameron-Martin subspace determines the measure uniquely.

Given two Gaussian measures, the Feldman-Hajek Theorem gives a characterization of mutual singularity or equivalence in terms of the eigenvalues of the covariance operator of the two measures. Given two sequences of equivalent Gaussian marginal distributions, the Kakutani theorem gives a criterion for the equivalence of the product measures on the product space.

​

November 8, 2021

In order to write down integral equations (for integral formulations of ODEs, mild solutions, action functionals, Picard iteration, etc.), one needs a reference measure. On a finite-dimensional Hilbert space there is a canonical choice for this: the Lebesgue measure. However, in the infinite-dimensional case, one can show that any measure that could reasonably be called "Lebesgue measure" cannot exist. This makes it necessary to construct more subtle methods to deal with the measures encountered, with the most common and also most important case being Gaussian measures.

The generalization of Gaussian measures from Euclidean space to general Hilbert spaces brings some functional analytic subtleties with it e.g. the definition of Gaussianity without resorting to a density (which would necessarily have to involve the non-existent Lebesgue measure), the choice of sigma-algebra on which the measure is defined, the covariance form/operator, generalizations to more general topological vector spaces, etc.

June 4, 2021

For a closed quantum system, time evolution in the Heisenberg picture is given by a unitary transformation of the observable by the time evolution operator, which is itself induced by the Hamiltonian of the system and the Schrödinger equation. However, in Quantum Information Theory, when considering open systems with possible entanglement, a more general notion of time evolution is needed. In the Schrödinger picture, this is the notion of a quantum channel, in the Heisenberg picture it is that of completely positive maps between operator algebras. Essentially, a time evolution should not only map states to states of an isolated system but also states to states when the system is paired with an auxiliary system on which no action is performed. Mathematically speaking, not only T should be a positive map, but also T tensored with any identity operator.

​

For finite dimensional state spaces, the Choi–Jamiołkowski isomorphism gives the channel-state duality, relating complete positivity to positivity of a certain state: the Choi matrix. However, in infinite dimension this fails. The Stinespring Dialation Theorem gives a characterization of completely positive linear maps as *-representations followed by conjugation by some linear map.

December 12, 2019

Left/Right Kan extensions concern the (universal) existence of extensions of a functor F: C -> E to a functor on a larger domain D along a functor K:C -> D i.e. a functor L: D -> E s.t. the resulting diagram commutes. We first introduce left/right Kan extensions as initial/terminal objects in appropriate comma categories and then give another characterization in terms of left/right adjoint to a precomposition-functor K* between functor categories [D,E] and [C,E]. Furthermore, we give a concrete construction for the Kan Extensions for sufficiently complete categories. We also consider concrete examples of extending inclusions of posets, extending exponential functions from Q to R, and induced group representations.

November 28, 2019

Let X: I -> C be a diagram. A limit of this diagram is a representing object of the set valued functor Nat(Delta(-),X), which assigns to an object A in C the cone associated to A and the diagram. We consider sufficient and necessary conditions under which limits and colimits with small index category commute. We also consider some examples. A concrete example is the question "Is the pushout of cokernels uniquely isomorphic to the cokernel of pushouts?"

July 17, 2019

Unter den Voraussetzungen des Satzes von Maschke ist jeder FG-Modul eine direkte Summe aus irreduziblen Moduln. Es ist also natürlich nach Methoden zu suchen, mit welchen man aus zwei FG-Moduln einen neuen produziert. Eine dieser ist die direkte Summe, eine andere das Tensorprodukt. Wir führen das Tensorprodukt mittels seiner universellen Eigenschaft, als Faktorraum, sowie auch mit einer expliziten Basis ein. Die Charaktere der so gewonnen Darstellungen lassen sich ebenfalls schön charakterisieren.

Die Menge der Darstellungen einer Gruppe bildet mit den Operationen der direkten Summe und des Tensorproduktes einen Halbring. Der Gruppenring ist der Ring welchen man erhält, wenn man den unterliegenden (additiven) Monoid zu einer Gruppe vervollständigt. Das geschieht mittels Grothendieck-Konstruktion.

June 19, 2019

Hat der für die Darstellung verwendete Vektorraum endliche Dimension, so lässt sich die Spur der Darstellung eines bestimmten Elements in der Gruppe bilden. Die Funktion, welche einem Element der Gruppe diese Spur zuweist nennt man Charakter dieser Darstellung. Durch Übergang von Darstellung auf Charakter der Darstellung geht zunächst scheinbar sehr viel Information verloren, aber es stellt sich heraus dass viele Eigenschaften der Darstellung wiederhergestellt werden kann.

​

Wir führen den Charakter einer linearen Darstellung ein und beweisen erste Eigenschaften. Außerdem betrachten wir die Beispiele der regulären und Permutationscharaktere.

June 13, 2019

Wir führen Einbettungen und Quotientenraum als universelle Konstruktionen ein, betrachten Beispiele sowie Anwendungen. Außerdem führen wir den Begriff der Basen und Subbasen ein, beweisen erste Eigenschaften und geben Beispiele.

​

Schlussendlich geben wir einen Beweis für die Aussage dass ein zweit-abzählbarer Raum separabel ist. Die Umkehrrichtung gilt wenn der Raum metrisierbar ist, was auch bewiesen wird.

May 22, 2019

Eine (F-lineare) Darstellung einer Gruppe G ist ein Homomorphismus von G in die Automorphismengruppe eines F-Vektorraumes. Zu jeder solcher Darstellung lässt sich ein Modul über der sog. Gruppenalgebra von G über F (den FG-Modul) zuordnen und vice versa. Diese Zuordnung ist funktoriell und induziert sogar einen Isomorphismus der entsprechenden Kategorien.

​

Der Satz von Maschke gibt ein hinreichendes Kriterium dafür wann dieser FG-Modul halbeinfach ist. Wir führen die Gruppenalgebra ein und formulieren und beweisen den Satz von Maschke für endliche Gruppen.

April 26, 2019

We show that the set of discontinuities of a monotone function is countable - so i.p. of Lebesgue measure 0. We also give a constructive proof that for any countable set in R there exists a monotone function having exactly those points of discontinuity - it is given as a limit of indicator functions.

​

We also characterize (generalized) inverse functions of a monotone function.

​November 30, 2018

For a general topological space X, a point can be characterized by a morphism from the singleton into X which maps to said point. We want to take a similar approach in the study of schemes. However, of course, not any two one-pointed schemes are uniquely isomorphic - any two non-isomorphic fields give an example. Thus we need a more sophisticated notion of points: a functor assigning to a scheme A the set of morphisms from A to X. Those should be interpreted as the A-points (think of a field and the associated affine scheme, which is an actual point).

​

It turns out that the entire scheme can be recovered from this functor. This is a stronger version of the Yoneda Lemma, which is introduced in more generality.

​