Reduction Techniques for Homological Dimensions of Finite Dimensional Algebras

Η παρούσα διατριβή διερευνά την Εικασία της Περατοκρατικής Διάστασης (FDC) για τις άλγεβρες Artin μέσω ενός συνδυασμού ομολογικών τεχνικών αναγωγής και συνδυαστικών εφαρμογών. Ο κεντρικός στόχος είναι η ανάπτυξη γενικών, όσο και πρακτικών, κριτηρίων για τη μεταφορά της περατότητας των περατοκρατικών και της ολικής διάστασης μέσω ομομορφισμών δακτυλίων, ιδιαίτερα εντός της κλάσης των αλγεβρών πεπερασμένων quiver με σχέσεις (bound quiver algebras). Αρχικά, θεμελιώνουμε ένα ομολογικό πλαίσιο βασισμένο σε ομομορφισμούς που διατηρούν το ριζικό (radical-preserving) με αμελητέο πυρήνα (superfluous kernel). Αποδεικνύουμε ότι αυτοί οι ομομορφισμοί παρέχουν μια ικανή συνθήκη για την ανάκλαση της περατότητας των παραπάνω ομολογικών διαστάσεων υπό φυσιολογικές υποθέσεις. Χαρακτηρίζοντας τη διατήρηση του ριζικού με όρους της συμπεριφοράς του συναρτητή επαγωγής (induction functor) πάνω σε προβολικά καλύμματα (projective covers), επεκτείνουμε αρκετά κλασικά αποτελέσματα των Small και άλλων, παρέχοντας μια ενοποιημένη προσέγγιση σε προηγούμενες μεθόδους αναγωγής. Αξιοποιώντας αυτό το πλαίσιο, εισάγουμε μια νέα συνδυαστική κατασκευή, την οποία ονομάζουμε ομογενοποίηση (uniformization). Αυτή μας επιτρέπει να εμφυτεύσουμε μια άλγεβρα bound quiver σε μια άλλη με ομοιόμορφο μήκος Loewy (uniform Loewy length), όπου οι περατοκρατικές διαστάσεις είναι γνωστό ότι είναι μηδενικές. Μέσω αυτής της τεχνικής αποδεικνύουμε την περατότητα των περατοκρατικών διαστάσεων για μια νέα, ευρεία κλάση αλγεβρών που ορίζονται από το σχεδόν ομοιόμορφο μήκος Loewy (quasi-uniform Loewy length), συμπεριλαμβανομένων περιπτώσεων που βρίσκονται εκτός του πεδίου εφαρμογής των παραδοσιακών μεθόδων. Το δεύτερο μέρος της διατριβής εισάγει μια νέα μέθοδο για την αφαίρεση βελών από άλγεβρες bound quiver που συμμετέχουν σε μονωνυμικές σχέσεις. Αρχικά ορίζουμε τα αυστηρά μονωνυμικά σύνολα γεννητόρων (strict monomial generating sets) για ένα επιτρεπτό (admissible) ιδεώδες, και δείχνουμε ότι εγγυώνται την ύπαρξη μιας ειδικής βάσης Gröbner η οποία μας επιτρέπει να υπολογίσουμε τις ελάχιστες προβολικές αναλύσεις ορισμένων διπροτύπων. Έτσι, εντάσσουμε αυτή τη συνδυαστική κατασκευή στο πλαίσιο ενός νέου αποτελέσματος αναγωγής για σφηνοειδείς επεκτάσεις (cleft extensions) αβελιανών κατηγοριών. Αυτό μας επιτρέπει να αποδείξουμε ότι η αφαίρεση ενός μεμονωμένου βέλους που εμπλέκεται σε μια τέτοια μονωνυμική σχέση διατηρεί την περατότητα της μικρής περατοκρατικής διάστασης. Τέλος, αναπτύσσουμε μια γενικευμένη διαδικασία αφαίρεσης βελών που περιλαμβάνει την κλασική αφαίρεση βελών των Green–Psaroudakis–Solberg και τη μονωνυμική αφαίρεση της παρούσας διατριβής, καθώς και την αφαίρεση βελών που συμμετέχουν σε περίπλοκες μη-μονωνυμικές σχέσεις. Επιπλέον, εισάγουμε την ανηγμένη ως προς τα βέλη (arrow reduced) και τη μη-περιττή ως προς τα βέλη (arrow irredundant) εκδοχή μιας άλγεβρας. Αυτές οι ελάχιστες αναπαραστάσεις διατηρούν βασικές ομολογικές αναλλοίωτες, συμπεριλαμβανομένης της περατότητας των περατοκρατικών διαστάσεων, της ιδιότητας Iwanaga–Gorenstein, και της τριγωνικής ισοδυναμίας των κατηγοριών ιδιομορφίας (singularity categories). Ολοκληρώνουμε διατυπώνοντας αντίστροφες διαδικασίες οι οποίες οδηγούν στην κατασκευή των τετριμμένων επεκτάσεων ενός βέλους (trivial one-arrow extensions), παρέχοντας μια καθαρά συνδυαστική μέθοδο για τη δημιουργία τεράστιων οικογενειών αλγεβρών που ικανοποιούν την FDC με μεγάλη ευελιξία. Η χρησιμότητα των αποτελεσμάτων μας καταδεικνύεται μέσω διαφόρων συγκεκριμένων παραδειγμάτων αλγεβρών για τις οποίες η περατότητα των περατοκρατικών διαστάσεων ήταν απρόσιτη μέσω προηγούμενων μεθόδων.