Tropical linear maps on the plane
In this paper we fully describe all tropical linear maps in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by a real 3×3 matrix A. The map fA is continuous and piecewise-linear in the classical sense. In some particular cases, the map...
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2010 |
| País: | España |
| Recursos: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/41951 |
| Acesso em linha: | https://hdl.handle.net/20.500.14352/41951 |
| Access Level: | acceso abierto |
| Palavra-chave: | 512 Linear map Tropical geometry Projective plane Álgebra 1201 Álgebra |
| id |
ES_5fac9853c598fa0832a5d760b6750c10 |
|---|---|
| oai_identifier_str |
oai:docta.ucm.es:20.500.14352/41951 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
Tropical linear maps on the planePuente Muñoz, María Jesús De La512Linear mapTropical geometryProjective planeÁlgebra1201 ÁlgebraIn this paper we fully describe all tropical linear maps in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by a real 3×3 matrix A. The map fA is continuous and piecewise-linear in the classical sense. In some particular cases, the map fA is a parallel projection onto the set spanned by the columns of A. In the general case, after a change of coordinates, the map collapses at most three regions of the plane onto certain segments, called antennas, and is a parallel projection elsewhere (Theorem 3). In order to study fA, we may assume that A is normal, i.e., I A 0, up to changes of coordinates. A given matrix A admits infinitely many normalizations. Our approach is to define and compute a unique normalization for A (which we call lower canonical normalization) (Theorem 1) and then always work with it, due both to its algebraic simplicity and its geometrical meaning. On , any , some aspects of tropical linear maps have been studied in [6]. We work in , adding a geometric view and doing everything explicitly. We give precise pictures. Inspiration for this paper comes from [3,5,6,8,12,26]. We have tried to make it self-contained. Our preparatory results present noticeable relationships between the algebraic properties of a given matrix A (idempotent normal matrix, permutation matrix, etc.) and classical geometric properties of the points spanned by the columns of A (classical convexity and others); see Theorem 2 and Corollary 1. As a by-product, we compute all the tropical square roots of normal matrices of a certain type; see Corollary 4. This is, perhaps, a curious result in tropical algebra. Our final aim is, however, to give a precise description of the map . This is particularly easy when two tropical triangles arising from A (denoted and ) fit as much as possible. Then the action of fA is easily described on (the closure of) each cell of the cell decomposition ; see Theorem 3. Normal matrices play a crucial role in this paper. The tropical powers of normal matrices of size satisfy A n-1=A n=A n+1= . This statement can be traced back, at least, to [26], and appears later many times, such as [1,2,6,9,10]. In lemma 1, we give a direct proof of this fact, for n=3. But now the equality A 2=A 3 means that the columns of A 2 are three fixed points of fA and, in fact, any point spanned by the columns of A 2 is fixed by fA. Among 3×3 normal matrices, the idempotent ones (i.e., those satisfyingA=A 2) are particularly nice: we prove that the columns of such a matrix tropically span a set which is classically compact, connected and convex (Lemma 2 and Corollary 1). In our terminology, it is a good tropical triangleElsevierUniversidad Complutense de Madrid20102010-09-2220102010-09-22journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14352/41951reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/419512026-06-02T12:44:21Z |
| dc.title.none.fl_str_mv |
Tropical linear maps on the plane |
| title |
Tropical linear maps on the plane |
| spellingShingle |
Tropical linear maps on the plane Puente Muñoz, María Jesús De La 512 Linear map Tropical geometry Projective plane Álgebra 1201 Álgebra |
| title_short |
Tropical linear maps on the plane |
| title_full |
Tropical linear maps on the plane |
| title_fullStr |
Tropical linear maps on the plane |
| title_full_unstemmed |
Tropical linear maps on the plane |
| title_sort |
Tropical linear maps on the plane |
| dc.creator.none.fl_str_mv |
Puente Muñoz, María Jesús De La |
| author |
Puente Muñoz, María Jesús De La |
| author_facet |
Puente Muñoz, María Jesús De La |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Universidad Complutense de Madrid |
| dc.subject.none.fl_str_mv |
512 Linear map Tropical geometry Projective plane Álgebra 1201 Álgebra |
| topic |
512 Linear map Tropical geometry Projective plane Álgebra 1201 Álgebra |
| description |
In this paper we fully describe all tropical linear maps in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by a real 3×3 matrix A. The map fA is continuous and piecewise-linear in the classical sense. In some particular cases, the map fA is a parallel projection onto the set spanned by the columns of A. In the general case, after a change of coordinates, the map collapses at most three regions of the plane onto certain segments, called antennas, and is a parallel projection elsewhere (Theorem 3). In order to study fA, we may assume that A is normal, i.e., I A 0, up to changes of coordinates. A given matrix A admits infinitely many normalizations. Our approach is to define and compute a unique normalization for A (which we call lower canonical normalization) (Theorem 1) and then always work with it, due both to its algebraic simplicity and its geometrical meaning. On , any , some aspects of tropical linear maps have been studied in [6]. We work in , adding a geometric view and doing everything explicitly. We give precise pictures. Inspiration for this paper comes from [3,5,6,8,12,26]. We have tried to make it self-contained. Our preparatory results present noticeable relationships between the algebraic properties of a given matrix A (idempotent normal matrix, permutation matrix, etc.) and classical geometric properties of the points spanned by the columns of A (classical convexity and others); see Theorem 2 and Corollary 1. As a by-product, we compute all the tropical square roots of normal matrices of a certain type; see Corollary 4. This is, perhaps, a curious result in tropical algebra. Our final aim is, however, to give a precise description of the map . This is particularly easy when two tropical triangles arising from A (denoted and ) fit as much as possible. Then the action of fA is easily described on (the closure of) each cell of the cell decomposition ; see Theorem 3. Normal matrices play a crucial role in this paper. The tropical powers of normal matrices of size satisfy A n-1=A n=A n+1= . This statement can be traced back, at least, to [26], and appears later many times, such as [1,2,6,9,10]. In lemma 1, we give a direct proof of this fact, for n=3. But now the equality A 2=A 3 means that the columns of A 2 are three fixed points of fA and, in fact, any point spanned by the columns of A 2 is fixed by fA. Among 3×3 normal matrices, the idempotent ones (i.e., those satisfyingA=A 2) are particularly nice: we prove that the columns of such a matrix tropically span a set which is classically compact, connected and convex (Lemma 2 and Corollary 1). In our terminology, it is a good tropical triangle |
| publishDate |
2010 |
| dc.date.none.fl_str_mv |
2010 2010-09-22 2010 2010-09-22 |
| dc.type.none.fl_str_mv |
journal article http://purl.org/coar/resource_type/c_6501 |
| dc.type.openaire.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.14352/41951 |
| url |
https://hdl.handle.net/20.500.14352/41951 |
| dc.language.none.fl_str_mv |
Inglés eng |
| language_invalid_str_mv |
Inglés |
| language |
eng |
| dc.rights.none.fl_str_mv |
open access http://purl.org/coar/access_right/c_abf2 |
| dc.rights.openaire.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
open access http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Elsevier |
| publisher.none.fl_str_mv |
Elsevier |
| dc.source.none.fl_str_mv |
reponame:Docta Complutense instname:Universidad Complutense de Madrid (UCM) |
| instname_str |
Universidad Complutense de Madrid (UCM) |
| reponame_str |
Docta Complutense |
| collection |
Docta Complutense |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869409224847523840 |
| score |
15,301603 |