Fourier-Matrizen und Ringe mit Basis

Bei der Bestimmung der irreduziblen Charaktere einer Gruppe vom Lie-Typ entwickelte Lusztig eine Theorie, in der eine sogenannte Fourier-Transformation auftaucht. Dies ist eine Matrix, die nur von der Weylgruppe der Gruppe vom Lie-Typ abhängt. Anhand der Eigenschaften, die eine solche Fourier- Matrix erfüllen muß, haben Geck und Malle ein Axiomensystem aufgestellt. Dieses ermöglichte es Broue, Malle und Michel füur die Spetses, über die noch vieles unbekannt ist, Fourier-Matrizen zu bestimmen. Das Ziel dieser Arbeit ist eine Untersuchung und neue Interpretation dieser Fourier-Matrizen, die hoffentlich weitere Informationen zu den Spetses liefert. Die Werkzeuge, die dabei entstehen, sind sehr vielseitig verwendbar, denn diese Matrizen entsprechen gewissen Z-Algebren, die im Wesentlichen die Eigenschaften von Tafelalgebren besitzen. Diese spielen in der Darstellungstheorie eine wichtige Rolle, weil z.B. Darstellungsringe Tafelalgebren sind. In der Theorie der Kac-Moody-Algebren gibt es die sogenannte Kac-Peterson-Matrix, die auch die Eigenschaften unserer Fourier-Matrizen besitzt. Ein wichtiges Resultat dieser Arbeit ist, daß die Fourier-Matrizen, die G. Malle zu den imprimitiven komplexen Spiegelungsgruppen definiert, die Eigenschaft besitzen, daß die Strukturkonstanten der zugehörigen Algebren ganze Zahlen sind. Dazu müssen äußere Produkte von Gruppenringen von zyklischen Gruppen untersucht werden. Außerdem gibt es einen Zusammenhang zu den Kac-Peterson-Matrizen: Wir beweisen, daß wir durch Bildung äußerer Produkte von den Matrizen vom Typ A(1)1 zu denen vom Typ C(1) l gelangen. Lusztig erkannte, daß manche seiner Fourier-Matrizen zum Darstellungsring des Quantendoppels einer endlichen Gruppe gehören. Deswegen ist es naheliegend zu versuchen, die noch ungeklärten Matrizen als solche zu identifizieren. Coste, Gannon und Ruelle untersuchen diesen Darstellungsring. Sie stellen eine Reihe von wichtigen Fragen. Eine dieser Fragen beantworten wir, nämlich inwieweit rekonstruiert werden kann, zu welcher endlichen Gruppe gegebene Matrizen gehören. Den Darstellungsring des getwisteten Quantendoppels berechnen wir für viele Beispiele am Computer. Dazu müssen unter anderem Elemente aus der dritten Kohomologie-Gruppe H3(G,C×) explizit berechnet werden, was bisher anscheinend in noch keinem Computeralgebra-System implementiert wurde. Leider ergibt sich hierbei kein Zusammenhang zu den von Spetses herrührenden Matrizen. Die Werkzeuge, die in der Arbeit entwickelt werden, ermöglichen eine strukturelle Zerlegung der Z-Ringe mit Basis in bekannte Anteile. So können wir für die meisten Matrizen der Spetses Konstruktionen angeben: Die zugehörigen Z-Algebren sind Faktorringe von Tensorprodukten von affinen Ringe Charakterringen und von Darstellungsringen von Quantendoppeln.

Synthese und Charakterisierung neuer symmetrischer und unsymmetrischer Spiro-p-oligophenyle

In der vorliegenden Arbeit wurden neue symmetrische Spiro-p-oligophenyle der allgemeinen Form Spiro-o-Φ[n,n] mit der Gesamtkettenlänge o=2n+2 Phenylringen (o > 10) und der Zahl n der Phenylringe in den p-Oligophenylsubstituenten am Spirobifluorenkern, dargestellt. Neben den symmetrischen Verbindungen wurden erstmals auch unsymmetrische Spiro-p-oligophenyle der allgemeinen Form Spiro-o-Φ[n,m] mit o=n+m+2 (o = 3-7) und n ≠ m synthetisiert. Aufgrund der sehr geringen Löslichkeit der größeren Verbindungen wurden löslichkeitssteigernde Substituenten an den endständigen Phenylringen angebracht. Bei den Verbindungen, die mit Trimethylsilyl-Gruppen (TMS-) in den endständigen meta-Positionen „3“ und „5“ substituiert wurden, konnte die Löslichkeit um mehrere Größenordnungen gesteigert werden, sodass die Darstellung der symmetrischen Verbindungen bis zu einer Kettenlänge von 16 Phenylringen möglich wurde. Nach erfolgreicher Synthese und Aufreinigung wurden die TMS-Gruppen wieder entfernt und die erhaltenen, unsubstituierten Verbindungen charakterisiert. Zusätzlich wurden auch die TMS-Derivate untersucht. Zur Charakterisierung zählten neben der Reinheits- und Strukturanalytik unter anderem auch spektroskopische (UV/Vis-Absorption, Fluoreszenz, Fluoreszenzquantenausbeute), elektrochemische (Cyclovoltammetrie) und thermische (Thermogravimetrie, Dynamische Differenzkalorimetrie) Untersuchungen. Hier wurde unter anderem der Einfluss der Kettenlänge und der Position der Spiroverknüpfung auf isomere Verbindungen gleicher Kettenlänge untersucht. Bei den spektroskopischen Messungen konnte eine Konvergenz der längstwelligen Absorptionsbanden, bzw. kürzestwelligen Fluoreszenzbanden mit zunehmender Kettenlänge beobachtet werden. Die effektive Konjugationslänge konnte so aus experimentellen Daten bestimmt werden zu 12 Phenylringen in der Absorption und 14 Phenylringen in der Fluoreszenz. Bei den Isomeren gleicher Kettenlänge zeigte sich in der Absorption eine hypsochrome Verschiebung der Absorptionsmaxima mit zunehmender Verschiebung der Spiroverknüpfung zum Kettenende hin, während die Position der Spiroverknüpfung keinen messbaren Einfluss auf die Verschiebung der Fluoreszenzbanden hatte. Die Substitution mit TMS in den meta-Positionen zeigte keinen messbaren Einfluss auf die Absorptions- bzw. Fluoreszenzbanden. Die elektrochemischen Untersuchungen zeigten mit zunehmender Kettenlänge eine erleichterte Oxidation und Reduktion, während bei Isomeren gleicher Kettenlänge die Oxidation mit Verschiebung der Spiroverknüpfung zum Kettenende hin erschwert und die Reduktion erleichtert war. Die thermogravimetrischen Analysen (TGA) zeigten eine außerordentlich hohe thermische Stabilität (5% Massenabnahme unter Schutzgas) der Spiro-p-oligophenyle von Td,5% = 474°C bei Spiro-5Φ[1,2] bis 570°C bei Spiro 8Φ[3,3]. Ebenso blieben hohe Rückstandsmassen unter Schutzgas bei 850°C zurück, wie das Beispiel Spiro 8Φ[3,3] mit 68% zeigt. Die Verbindungen zeigten hohe Schmelzpunkte (max. 496°C bei Spiro-6Φ[0,4]) und Glasübergangstemperaturen (max. 434°C bei p-TMS-Spiro-8Φ[3,3]). Viele der Verbindungen, besonders die in den meta-Positionen TMS-substituierten Verbindungen, bildeten stabile amorphe Gläser.

Free Resolutions from Involutive Bases

We show that the theory of involutive bases can be combined with discrete algebraic Morse Theory. For a graded k[x0 ...,xn]-module M, this yields a free resolution G, which in general is not minimal. We see that G is isomorphic to the resolution induced by an involutive basis. It is possible to identify involutive bases inside the resolution G. The shape of G is given by a concrete description. Regarding the differential dG, several rules are established for its computation, which are based on the fact that in the computation of dG certain patterns appear at several positions. In particular, it is possible to compute the constants independent of the remainder of the differential. This allows us, starting from G, to determine the Betti numbers of M without computing a minimal free resolution: Thus we obtain a new algorithm to compute Betti numbers. This algorithm has been implemented in CoCoALib by Mario Albert. This way, in comparison to some other computer algebra system, Betti numbers can be computed faster in most of the examples we have considered. For Veronese subrings S(d), we have found a Pommaret basis, which yields new proofs for some known properties of these rings. Via the theoretical statements found for G, we can identify some generators of modules in G where no constants appear. As a direct consequence, some non-vanishing Betti numbers of S(d) can be given. Finally, we give a proof of the Hyperplane Restriction Theorem with the help of Pommaret bases. This part is largely independent of the other parts of this work.