στω $k$ ένα άπειρο σώμα, $G_1=GL_n(k)$ $Sp_n(k) (n=2n/)$ ή $SO_n(k) (n=2n/+1)
$ και $G_2=GL_m(k)$ ή $Sp_m (m=2m/)$ ή $SO_m (m=2m/+1)$.
Θεωρούμε την πολλαπλότητα $X(G_1,G_2)$ των $n x m-$ πινάκων πάνω απ το $k$ που
ικανοποιούν τις σχέσεις,
$M^t J_{G_1} M=0$ και $M J_{G_2} M^t=0$,
όπου $J_{G_i}$ είναι ο πίνακας που ορίζει την ομάδα $G_i$ αντίστοιχα. (Αν $G_i$
εναι η ομάδα των αντιστρέψιμων πινάκων, θεωρούμε $J_{G_i}=0$).
Η ομάδα $G_1\times G_2$ δρα πάνω στο $X(G_1,G_2)$ με δράση $(Α,Β)\cdot M=A M
B^{-1}$ για $A\in G_1$, $B\in G_2$ και $M\in X(G_1,G_2)$. Έστω τώρα
$A(G_1,G_2)$ ο δακτύλιος συντεταγμένων της πολλαπλότητας $X(G_1,G_2)$. Τότε και
αυτός αποτελεί ένα $G_1\times G_2-$ πρότυπο με την επαγώμενη δράση.
Σταθεροποιούμε τώρα το $k$ να είναι ένα σώμα χαρακτηριστικής $0$. Τότε ο
δακτύλιος $A(G_1,G_2)$ είναι ένα ημιαπλό $G_1\times G_2-$ πρότυπο και άρα
διασπάται σε απλά $G_1\times G_2-$ πρότυπα, $A(G_1,G_2)=\oplus A_i$ όπου $A_i$
απλά $G_1\times G_2-$ πρότυπα. Η μορφή των απλών αυτών προτύπων είναι γνωστή
από το άρθρο [ M. Maliakas, Cauchy decompositions and invariants, Math. Z. 235
(2000)]. Θεωρούμε το ιδεώδες I του $A(G_1,G_2)$ που παράγεται από το απλό
πρότυπο $A_i$, $I=<A_i>$. Αυτό είναι φυσικά ένα $G_1\times G_2-$ πρότυπο και
άρα θα διασπάται σε απλά. Στην παρούσα διδακτορική διατριβή βρίσκουμε μια
διάσπαση του $Ι$ σε απλά $G_1\times G_2-$ πρότυπα για κάθε ομάδα $G_1\times
G_2$. Δηλαδή βρίσκουμε ακριβώς ποια απλά $G_1\times G_2-$ πρότυπα εμφανίζονται
στην ανάλυση του $Ι$. Η απάντηση είναι ενιαία για όλες τις περιπτώσεις, δηλαδή
δεν εξαρτάται από το ποιες είναι οι ομάδες αλλά από τις τάξεις τους.
Έστω τώρα, $A_i A_j$ το γινόμενο δύο αναγώγων προτύπων μέσα στο δακτύλιο
$A(G_1,G_2)$. Στην παρούσα διδακτορική διατριβή βρίσκουμε μια διάσπαση του $A_i
A_j$ σε απλά $G_1\times G_2-$ πρότυπα για κάθε ομάδα $G_1\times G_2$. Η
απάντηση και σε αυτή την περίπτωση είναι ενιαία για όλες τις ομάδες $G_1\times
G_2$, δηλαδή δεν εξαρτάται από το ποιες είναι οι ομάδες αλλά από τις τάξεις
τους.
Στο τέλος χρησιμοποιώντας τα δύο αυτά θεωρήματα βρίσκουμε ποια είναι τα πρώτα
και τα πρωταρχικά $G_1\times G_2-$ ιδεώδη του δακτυλίου $A(G_1,G_2)$.
(EL)
Let $k$ be an infinite field and $G_1=GL_n(k)$ or $Sp_n(k) (n=2n/)$ or $SO_n(k)
(n=2n/+1)$ and $G_2=GL_m(k)$ or $Sp_m (m=2m/)$ or $SO_m (m=2m/+1)$. Consider
the affine variety, $X(G_1,G_2)$, of all $n x m-$ matrices M over $k$ such
that,
$M^t J_{G_1} M=0$ και $M J_{G_2} M^t=0$,
where $J_{G_i}$ is the defining matrix of $G_i$. (For $G_i$ be a general linear
group we take $J_{G_i}=0$).
The group $G_1\times G_2$ acts on $X(G_1,G_2)$ with $(Α,Β)\cdot M=A M B^{-1}$
for $A\in G_1$, $B\in G_2$ and $M\in $X(G_1,G_2)$ . Hence the coordinate ring
of $X(G_1,G_2)$, denoted by, $A(G_1,G_2)$, is a $G_1\times G_2-$ module with
the induced action.
We fix now $k$ to be a field of characteristic $0$. Then $A(G_1,G_2)$ is a
semisimple $G_1\times G_2-$ module. Therefore it decomposes into simple
$G_1\times G_2-$ modules, $A(G_1,G_2)=\oplus A_i$ where $A_i$ are
simple$G_1\times G_2-$ modules. By [ M. Maliakas, Cauchy decompositions and
invariants, Math. Z. 235 (2000)] we know exactly which modules appear in the
above decomposition. Let $I$ be the ideal of $A(G_1,G_2)$ that generated by the
simple module $A_i$, $I=<A_i>$. This is a $G_1\times G_2-$ module and it
decomposes into simple modules. In this Ph.D. thesis we find a decomposition of
$I$ into simple $G_1\times G_2-$ modules for every group $G_1\times G_2$. So we
describe explicitly which simple $G_1\times G_2-$ modules appear in the
decomposition of $I$. The answer does not depend on the groups $G_1\times G_2$
but only on their ranks.
Let now, $A_i A_j$ be the product of two simple modules of $A(G_1,G_2)$. In
this Ph.D thesis we find a decomposition of $A_i A_j$ into simple $G_1\times
G_2-$ modules for every group $G_1\times G_2$. So we describe explicitly the
simple $G_1\times G_2-$ modules that appear in the decomposition of $A_i A_j$.
The answer does not depend on the groups but only on their ranks.
In the last section of the thesis we describe the prime and the primary
$G_1\times G_2-$ ideals of the ring $A(G_1,G_2)$ using the above Theorems.
(EN)
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
