Članek obravnava določene funkcijske identitete na algebri matrik $M_n$, ki so definirane podobno kot identitete s sledjo, le da so "koeficienti" poljubni polinomi, ne le ti, ki izhajajo iz sledi. Glavna tema članka je vprašanje, ali taka identiteta izhaja iz Cayley-Hamiltonove identitete. Za več posebnih primerov pokažemo, da je to res. Še več, za vsak centralni polinom $c$ z ničelnim konstantnim členom obstaja tako naravno število $m$, da pozitiven odgovor velja za $c^mP$. Toda v splošnem je odgovor negativen. Dokažemo, da obstajajo take antisimetrične identitete, ki ne sledijo iz Cayley-Hamiltonove identitete, in podamo popoln opis posebne družine takih identitet.
COBISS.SI-ID: 17308505
Podane so popolne rešitve funkcijske identitete $\sum_{k\in K} F_k(\overline{x}_m^k) = \sum_{l\in L} G_l(\overline{x}_m^l)$ na algebri matrik $M_n(F)$. Nestandardni deli teh rešitev izhajajo iz Cayley-Hamiltonove identitete.
COBISS.SI-ID: 17540441
Fundamentalni izrek geometrije pravokotnih matrik opiše splošno obliko bijekcij na prostoru $m \times n$ matrik nad obsegom $\mathbb{D}$, ki ohranjajo sosednost v obe smeri. V štiridesetih letih je ta izrek dokazal Hua, nedavno pa so bile dobljene nekatere izboljšave. Take preslikave lahko študiramo brez privzetka bijektivnosti, lastnost ohranjanja lahko nadomestimo s šibkejšo predpostavko, da se sosednost ohranja zgolj v eno smer in končno, preučujemo lahko še ohranjevalce sosednosti, ki delujejo mad prostori matrik različnih velikosti. Optimalni rezultat bi opisal preslikave, ki ohranjajo sosednost zgolj v eno smer in delujejo med prostori matrik različnih velikosti brez kakršnihkoli predpostavk o regularnosti (injektivnost ali surjektivnost). Obseg je EAS, če ni izomorfen nobenemu pravemu podobsegu. Že od prej je bilo znano, da je mogoče skonstruirati "divje" ohranjevalce sosednosti na matrikah nad obsegi, ki niso EAS. Za matrike nad EAS obsegi pa je bilo nedavno dokazano, da so ohranjevalci sosednosti med matričnimi prostori različnih dimenzij, ki zadoščajo neki šibki verziji surjektivnosti, bodisi degenerirani bodisi imajo pričakovano standardno obliko. To trditev dokažemo brez privzetka o šibki surjektivnosti in na ta način dokončno rešimo dolgo odprt problem o optimalni verziji Huajevega izreka.
COBISS.SI-ID: 17371993
Naj bo $H$ Hilbertov prostor in $E(H)$ efektna algebra na $H$. Bijekcija $\phi \colon E(H) \to E(H)$ je orto-urejenostni avtomorfozem efektne algebre $E(H)$, če za vse $A, B \in E(H)$ velja $A \leqslant B \iff \phi(A) \leqslant (B)$ in $\phi (A^\perp) = \phi (A)^\perp$. Klasični Ludwigov izrek pove, da je vsak tak $\phi$ oblike $\phi(A) = UAU^\ast$, $A \in E(H)$, za nek unitaren ali antiunitaren operator $U$. Znano je tudi, da je vsaka bijekcija na $E(H)$, ki ohranja urejenost in koeksistenco v obe smeri, take oblike. Ali lahko izboljšamo ta dva izreka z omilitvijo predpostavke bijektivnosti in/ali z nadomestitvijo lastnosti ohranjanja z blažjo predpostavko, da se zgoraj omenjene relacije ohranjajo zgolj v eno smer? Za obe karakterizaciji avtomorfizmov efektne algebre bomo dokazali optimalne verzije in optimalnost dobljenih rezultatov podkrepili s kontraprimeri.
COBISS.SI-ID: 17371737
V članku proučujemo omejitve za vložitve neorientabilnih ploskev v $4$-mnogoterost s homologijo $M \times I$, kjer je $M$ racionalna homološka $3$-sfera. Omejitve se izražajo kot neenakosti, ki povezujejo rod in normalno Eulerjevo število ploskve ter bodisi $d$-invariante Ozsvátha in Szaba bodisi Atiyah-Singerjeve $\rho$-invariante mnogoterosti $M$. Posledica teh je npr., da je minimalni rod gladke vložene ploskve v $L(2p,q) \times I$ enak minimalnemu rodu ploskve v $L(2p,q)$. Poleg tega obravnavamo tudi vložitve neorientabilnih ploskev v sklenjene $4$-mnogoterosti.
COBISS.SI-ID: 17557337