BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Clément de Seguins Pazzis

Clément de Seguins Pazzis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.RTmath.ATmath.CTmath.KTmath-phmath.COmath.FAmath.GNmath.GRmath.MP

Trust snapshot

Quick read

Trust 21 - Emerging
49works
0followers
11topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

49 published item(s)

preprint2022arXiv

Locally finite cycles of linear mappings in countable dimension

Let $n$ be a positive integer. An $n$-cycle of linear mappings is an $n$-tuple $(u_1,\dots,u_n)$ of linear maps $u_1 \in \mathrm{Hom}(U_1,U_2),u_2 \in \mathrm{Hom}(U_2,U_3),\dots,u_n \in \mathrm{Hom}(U_n,U_1)$, where $U_1,\dots,U_n$ are vector spaces over a field. We classify such cycles, up to equivalence, when the spaces $U_1,\dots,U_n$ have countable dimension and the composite $u_n\circ u_{n-1}\circ \cdots \circ u_1$ is locally finite. When $n=1$, this problem amounts to classifying the reduced locally nilpotent endomorphisms of a countable-dimensional vector space up to similarity, and the known solution involves the so-called Kaplansky invariants of $u$. Here, we extend Kaplansky's results to cycles of arbitrary length. As an application, we prove that if $u_n \circ \cdots \circ u_1$ is locally nilpotent and the $U_i$ spaces have countable dimension, then there are bases $\mathbf{B}_1,\dots,\mathbf{B}_n$ of $U_1,\dots,U_n$, respectively, such that, for every $i \in \{1,\dots,n\}$, $u_i$ maps every vector of $\mathbf{B}_i$ either to a vector of $\mathbf{B}_{i+1}$ or to the zero vector of $U_{i+1}$ (where we convene that $U_{n+1}=U_1$ and $\mathbf{B}_{n+1}=\mathbf{B}_1$).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Products of involutions of an infinite-dimensional vector space

We prove that every automorphism of an infinite-dimensional vector space over a field is the product of four involutions, a result that is optimal in the general case. We also characterize the automorphisms that are the product of three involutions. More generally, we study decompositions of automorphisms into three or four factors with prescribed split annihilating polynomials of degree $2$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A note on sums of three square-zero matrices

It is known that every complex trace-zero matrix is the sum of four square-zero matrices, but not necessarily of three such matrices. In this note, we prove that for every trace-zero matrix $A$ over an arbitrary field, there is a non-negative integer $p$ such that the extended matrix $A \oplus 0_p$ is the sum of three square-zero matrices (more precisely, one can simply take $p$ as the number of rows of $A$). Moreover, we demonstrate that if the underlying field has characteristic $2$ then every trace-zero matrix is the sum of three square-zero matrices. We also discuss a counterpart of the latter result for sums of idempotents.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Affine spaces of symmetric or alternating matrices with bounded rank

Let $r$ and $n$ be positive integers such that $r<n$, and $\mathbb{K}$ be an arbitrary field. We determine the maximal dimension for an affine subspace of $n$ by $n$ symmetric (or alternating) matrices with entries in $\mathbb{K}$ and with rank less than or equal to $r$. We also classify, up to congruence, the subspaces of maximal dimension among them. This generalizes earlier results of Meshulam, Loewy and Radwan that were previously known only for linear subspaces over fields with large cardinality and characteristic different from $2$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Large spaces of bounded rank matrices revisited

Let $n,p,r$ be positive integers with $n \geq p\geq r$. A rank-$\overline{r}$ subset of $n$ by $p$ matrices (with entries in a field) is a subset in which every matrix has rank less than or equal to $r$. A classical theorem of Flanders states that the dimension of a rank-$\overline{r}$ linear subspace must be less than or equal to $nr$, and it characterizes the spaces with the critical dimension $nr$. Linear subspaces with dimension close to the critical one were later studied by Atkinson, Lloyd and Beasley over fields with large cardinality; their results were recently extended to all fields. Using a new method, we obtain a classification of rank-$\overline{r}$ affine subspaces with large dimension, over all fields. This classification is then used to double the range of (large) dimensions for which the structure of rank $\overline{r}$-linear subspaces is known for all fields.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Large spaces of symmetric or alternating matrices with bounded rank

Let $r$ and $n$ be positive integers such that $r<n$, and $\mathbb{K}$ be an arbitrary field. In a recent work, we have determined the maximal dimension for a linear subspace of $n$ by $n$ symmetric matrices with rank less than or equal to $r$, and we have classified the spaces having that maximal dimension. In this article, provided that $\mathbb{K}$ has more than two elements, we extend this classification to spaces whose dimension is close to the maximal one: this generalizes a result of Loewy. We also prove a similar result on spaces of alternating matrices with bounded rank, with no restriction on the cardinality of the underlying field.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Range-compatible homomorphisms on spaces of symmetric or alternating matrices

Let $U$ and $V$ be finite-dimensional vector spaces over an arbitrary field $\mathbb{K}$, and $\mathcal{S}$ be a linear subspace of the space $\mathcal{L}(U,V)$ of all linear maps from $U$ to $V$. A map $F : \mathcal{S} \rightarrow V$ is called range-compatible when it satisfies $F(s) \in \mathrm{im}(s)$ for all $s \in \mathcal{S}$. Among the range-compatible maps are the so-called local ones, that is the maps of the form $s \mapsto s(x)$ for a fixed vector $x$ of $U$. In recent works, we have classified the range-compatible group homomorphisms on $\mathcal{S}$ when the codimension of $\mathcal{S}$ in $\mathcal{L}(U,V)$ is small. In the present article, we study the special case when $\mathcal{S}$ is a linear subspace of the space $S_n(\mathbb{K})$ of all $n$ by $n$ symmetric matrices: we prove that if the codimension of $\mathcal{S}$ in $S_n(\mathbb{K})$ is less than or equal to $n-2$, then every range-compatible homomorphism on $\mathcal{S}$ is local provided that $\mathbb{K}$ does not have characteristic $2$. With the same assumption on the codimension of $\mathcal{S}$, we also classify the range-compatible homomorphisms on $\mathcal{S}$ when $\mathbb{K}$ has characteristic $2$. Finally, we prove that if $\mathcal{S}$ is a linear subspace of the space $A_n(\mathbb{K})$ of all $n$ by $n$ alternating matrices with entries in $\mathbb{K}$, and the codimension of $\mathcal{S}$ is less than or equal to $n-3$, then every range-compatible homomorphism on $\mathcal{S}$ is local.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hua's fundamental theorem of geometry of rectangular matrices over EAS division rings

The fundamental theorem of geometry of rectangular matrices describes the general form of bijective maps on the space of all $m\times n$ matrices over a division ring $\mathbb{D}$ which preserve adjacency in both directions. This result proved by Hua in the nineteen forties has been recently improved in several directions. One can study such maps without the bijectivity assumption or one can try to get the same conclusion under the weaker assumption that adjacency is preserved in one direction only. And the last possibility is to study maps acting between matrix spaces of different sizes. The optimal result would describe maps preserving adjacency in one direction only acting between spaces of rectangular matrices of different sizes in the absence of any regularity condition (injectivity or surjectivity). A division ring is said to be EAS if it is not isomorphic to any proper subring. It has been known before that it is possible to construct adjacency preserving maps with wild behaviour on matrices over division rings that are not EAS. For matrices over EAS division rings it has been recently proved that adjacency preserving maps acting between matrix spaces of different sizes satisfying a certain weak surjectivity condition are either degenerate or of the expected simple standard form. We will remove this weak surjectivity assumption, thus solving completely the long standing open problem of the optimal version of Hua's theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lines of full rank matrices in large subspaces

Let $n$ and $p$ be non-negative integers with $n \geq p$, and $S$ be a linear subspace of the space of all $n$ by $p$ matrices with entries in a field $\mathbb{K}$. A classical theorem of Flanders states that $S$ contains a matrix with rank $p$ whenever $\mathrm{codim} S <n$. In this article, we prove the following related result: if $\mathrm{codim} S<n-1$, then, for any non-zero $n$ by $p$ matrix $N$ with rank less than $p$, there exists a line that is directed by $N$, has a common point with $S$ and contains only rank $p$ matrices.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Primitive spaces of matrices with upper rank two over the field with two elements

For fields with more than $2$ elements, the classification of the vector spaces of matrices with rank at most $2$ is already known. In this work, we complete that classification for the field $\mathbb{F}_2$. We apply the results to obtain the classification of triples of locally linearly dependent operators over $\mathbb{F}_2$, the classification of the $3$-dimensional subspaces of $\text{M}_3(\mathbb{F}_2)$ in which no matrix has a non-zero eigenvalue, and the classification of the $3$-dimensional affine spaces that are included in the general linear group $\text{GL}_3(\mathbb{F}_2)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quasi-range-compatible affine maps on large operator spaces

Let $U$ and $V$ be finite-dimensional vector spaces over an arbitrary field, and $\mathcal{S}$ be a subset of the space $\mathcal{L}(U,V)$ of all linear maps from $U$ to $V$. A map $F : \mathcal{S} \rightarrow V$ is called range-compatible when it satisfies $F(s) \in \mathrm{im}(s)$ for all $s \in \mathcal{S}$; it is called quasi-range-compatible when the condition is only assumed to apply to the operators whose range does not include a fixed $1$-dimensional linear subspace of $V$. Among the range-compatible maps are the so-called local maps $s \mapsto s(x)$ for fixed $x \in U$. Recently, the range-compatible group homomorphisms on $\mathcal{S}$ were classified when $\mathcal{S}$ is a linear subspace of small codimension in $\mathcal{L}(U,V)$. In this work, we consider several variations of that problem: we investigate range-compatible affine maps on affine subspaces of linear operators; when $\mathcal{S}$ is a linear subspace, we give the optimal bound on its codimension for all quasi-range-compatible homomorphisms on $\mathcal{S}$ to be local. Finally, we give the optimal upper bound on the codimension of an affine subspace $\mathcal{S}$ of $\mathcal{L}(U,V)$ for all quasi-range-compatible affine maps on it to be local.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Flanders theorem over division rings

Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the $\mathbb{F}$-vector space $M_{n,p}(\mathbb{D})$ in which every matrix has rank less than or equal to $r$. Using a new method, we prove that $\dim_{\mathbb{F}} \mathcal{V} \leq \max(n,p)\,rd$ and we characterize the spaces for which equality holds. This extends a famous theorem of Flanders which was known only for fields.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Commutators from a hyperplane of matrices

Denote by $M_n(K)$ the algebra of $n$ by $n$ matrices with entries in the field $K$. A theorem of Albert and Muckenhoupt states that every trace zero matrix of $M_n(K)$ can be expressed as $AB-BA$ for some pair $(A,B)$ of matrices of $M_n(K)$. Assuming that $n>2$ and that $K$ has more than 3 elements, we prove that the matrices $A$ and $B$ can be required to belong to an arbitrary given hyperplane of $M_n(K)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

LDB division algebras

An LDB division algebra is a triple $(A,\star,\bullet)$ in which $\star$ and $\bullet$ are regular bilinear laws on the finite-dimensional non-zero vector space $A$ such that $x \star (x \bullet y)$ is a scalar multiple of $y$ for all vectors $x$ and $y$ of $A$. This algebraic structure has been recently discovered in the study of the critical case in Meshulam and \v Semrl's estimate of the minimal rank in non-reflexive operator spaces. In this article, we obtain a constructive description of all LDB division algebras over an arbitrary field together with a reduction of the isotopy problem to the similarity problem for specific types of quadratic forms over the given field. In particular, it is shown that the dimension of an LDB division algebra is always a power of $2$, and that it belongs to $\{1,2,4,8\}$ if the characteristic of the underlying field is not $2$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local linear dependence seen through duality I

A vector space S of linear operators between vector spaces U and V is called locally linearly dependent (in abbreviated form: LLD) when every vector x of U is annihilated by a non-zero operator in S. A duality argument bridges the theory of LLD spaces to the one of vector spaces of non-injective operators. This new insight yields a unified approach to rediscover basic LLD theorems and obtain many additional ones thanks to the power of formal matrix computations. In this article, we focus on the minimal rank for a non-zero operator in an LLD space. Among other things, we reprove the Bresar-Semrl theorem, which states that an n-dimensional LLD operator space always contains a non-zero operator with rank less than n, and we improve the Meshulam-Semrl theorem that examines the case when no non-zero operator has rank less than n-1. We also tackle the minimal rank problem for a non-zero operator in an n-dimensional operator space that is not algebraically reflexive. A theorem of Meshulam and Semrl states that, for all fields with large enough cardinality, a non-reflexive operator space with dimension n must contain a non-zero operator with rank at most 2n-2. We show that there are infinitely many integers n for which this bound is optimal for general infinite fields. Moreover, under mild cardinality assumptions, we obtain a complete classification of the non-reflexive n-dimensional operator spaces in which no non-zero operator has rank less than 2n-2. This classification involves a new algebraic structure called left-division-bilinearizable (in abbreviated form: LDB) division algebras, which generalize a situation that is encountered with quaternions and octonions and whose systematic study occupies a large part of the present article.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the minimal rank in non-reflexive operator spaces over finite fields

Let $U$ and $V$ be vector spaces over a field $\mathbb{K}$, and $\mathcal{S}$ be an $n$-dimensional linear subspace of $\mathcal{L}(U,V)$. The space $\mathcal{S}$ is called algebraically reflexive whenever it contains every linear map $g : U \rightarrow V$ such that, for all $x \in U$, there exists $f \in \mathcal{S}$ with $g(x)=f(x)$. A theorem of Meshulam and Šemrl states that if $\mathcal{S}$ is not algebraically reflexive then it contains a non-zero operator $f$ of rank at most $2n-2$, provided that $\mathbb{K}$ has more than $n+2$ elements. In this article, we prove that the provision on the cardinality of the underlying field is unnecessary. To do so, we demonstrate that the above result holds for all finite fields.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Range-compatible homomorphisms over fields with two elements

Let $U$ and $V$ be finite-dimensional vector spaces over a (commutative) field $\mathbb{K}$, and $\mathcal{S}$ be a linear subspace of the space $\mathcal{L}(U,V)$ of all linear operators from $U$ to $V$. A map $F : \mathcal{S} \rightarrow V$ is called range-compatible when $F(s) \in \text{Im}(s)$ for all $s \in \mathcal{S}$. In a previous work, we have classified all the range-compatible group homomorphisms provided that $\text{codim}(\mathcal{S}) \leq 2\,\text{dim}(V)-3$, except in the special case when $\mathbb{K}$ has only two elements and $\text{codim}(\mathcal{S}) = 2\,\text{dim}(V)-3$. In this article, we give a thorough treatment of that special case. Our results are partly based upon the recent classification of vector spaces of matrices with rank at most $2$ over $\mathbb{F}_2$. As an application, we classify the $2$-dimensional non-reflexive operator spaces over any field, and the affine subspaces of $\text{M}_{n,p}(\mathbb{K})$ with lower-rank $2$ and codimension $3$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local linear dependence seen through duality II

A vector space S of linear operators between finite-dimensional vector spaces U and V is called locally linearly dependent (in abbreviate form: LLD) when every vector x in U is annihilated by a non-zero operator in S. By a duality argument, one sees that studying LLD operator spaces amounts to studying vector spaces of matrices with rank less than the number of columns, or, alternatively, vector spaces of non-injective operators. In this article, this insight is used to obtain classification results for LLD spaces of small dimension or large essential range (the essential range being the sum of all the ranges of the operators in S). We show that such classification theorems can be obtained by translating into the context of LLD spaces Atkinson's classification of primitive spaces of bounded rank matrices; we also obtain a new classification theorem for such spaces that covers a range of dimensions for the essential range that is roughly twice as large as that in Atkinson's theorem. In particular, we obtain a classification of all 4-dimensional LLD operator spaces for fields with more than 3 elements (beforehand, such a classification was known only for algebraically closed fields and in the context of primitive spaces of matrices of bounded rank). These results are applied to obtain improved upper bounds for the maximal rank in a minimal LLD operator space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Gerstenhaber's theorem for spaces of nilpotent matrices over a skew field

Let K be a skew field, and K_0 be a subfield of the central subfield of K such that K has finite dimension q over K_0. Let V be a K_0-linear subspace of n by n nilpotent matrices with entries in K. We show that the dimension of V is bounded above by q n(n-1)/2, and that equality occurs if and only if V is similar to the space of all n by n strictly upper-triangular matrices over K. This generalizes famous theorems of Gerstenhaber and Serezhkin, which cover the special case K=K_0.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Range-compatible homomorphisms on matrix spaces

Let K be a (commutative) field, and U and V be finite-dimensional vector spaces over K. Let S be a linear subspace of the space L(U,V) of all linear operators from U to V. A map F from S to V is called range-compatible when F(s) belongs to the range of s for all s in S. Obvious examples of such maps are the evaluation maps s -> s(x), with x in U. In this article, we classify all the range-compatible group homomorphisms on S provided that the codimension of S in L(U,V) is less than or equal to 2 dim(V)-3, unless this codimension equals 2 dim(V)-3 and K has only two elements. Under those assumptions, it is shown that the linear range-compatible maps are the evaluation maps, and the above upper-bound on the codimension of S is optimal for this result to hold. As an application, we obtain new sufficient conditions for the algebraic reflexivity of an operator space and, with the above conditions on the codimension of S, we give an explicit description of the range-restricting and range-preserving homomorphisms on S.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Spaces of matrices with few eigenvalues

Let K be a (commutative) field with characteristic not 2, and V be a linear subspace of n by n matrices that have at most two eigenvalues in K (respectively, at most one non-zero eigenvalue in K). We prove that the dimension of V is less than or equal to n(n-1)/2 provided that n be greater than 2 (respectively, the dimension of V is less than or equal to n(n-1)/2). We also classify, up to similarity, the linear subspaces of n by n matrices in which every matrix has at most two eigenvalues (respectively, at most one non-zero eigenvalue) in an algebraic closure of K and which have the maximal dimension among such spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The classification of large spaces of matrices with bounded rank

Given an arbitrary (commutative) field K, let V be a linear subspace of M_n(K) consisting of matrices of rank lesser than or equal to some r<n. A theorem of Atkinson and Lloyd states that, if dim V>nr-r+1 and #K>r, then either all the matrices of V vanish on some common (n-r)-dimensional subspace of K^n, or it is true of the matrices of its transpose V^t. Following some arguments of our recent proof of the Flanders theorem for an arbitrary field, we show that this result holds for any field. We also show that the results of Atkinson and Lloyd on the case dim V=n\,r-r+1 are independent on the given field save for the special case n=3, r=2 and #K=2, where the same techniques help us classify all the exceptional cases up to equivalence. Similar theorems of Beasley for rectangular matrices are also successfully extended to an arbitrary field.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On commuting matrices and exponentials

Let A and B be matrices of M_n(C). We show that if exp(A)^k exp(B)^l=exp(kA+lB) for all integers k and l, then AB=BA. We also show that if exp(A)^k exp(B)=exp(B)exp(A)^k=exp(kA+B)$ for every positive integer k, then the pair (A,B) has property L of Motzkin and Taussky. As a consequence, if G is a subgroup of (M_n(C),+) and M -> exp(M) is a homomorphism from G to (GL_n(C),x), then G consists of commuting matrices. If S is a subsemigroup of (M_n(C),+) and M -> exp(M) is a homomorphism from S to (GL_n(C),x), then the linear subspace Span(S) of M_n(C) has property L of Motzkin and Taussky.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Spaces of matrices with a sole eigenvalue

Let K be an arbitrary (commutative) field and L be an algebraic closure of it. Let V be a linear subspace of M_n(K), with n>2. We show that if every matrix of V has at most one eigenvalue in K, then dim V<=1+n(n-1)/2. If every matrix of V has a sole eigenvalue in L and dim V=1+n(n-1)/2, we show that V is similar to the space of all upper-triangular matrices with equal diagonal entries, except if n=3 and K has characteristic 3, or if n=4 and K has characteristic 2. In both of those special cases, we classify the exceptional solutions up to similarity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Large affine spaces of matrices with rank bounded below

Let K be an arbitrary (commutative) field with at least three elements, and let n, p and r be positive integers with r<=min(n,p). In a recent work, we have proved that an affine subspace of M_{n,p}(K) containing only matrices of rank greater than or equal to r must have a codimension greater than or equal to (r+1)r/2. Here, we classify, up to equivalence, these subspaces with the minimal codimension (r+1)r/2. This uses our recent classification of the affine subspaces of M_r(K) contained in GL_r(K) and which have the maximal dimension r(r-1)/2.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Large affine spaces of non-singular matrices

Let K be an arbitrary (commutative) field with at least three elements. It was recently proven that an affine subspace of M_n(K) consisting only of non-singular matrices must have a dimension lesser than or equal to n(n-1)/2. Here, we classify, up to equivalence, the subspaces whose dimension equals n(n-1)/2. This is done by classifying, up to similarity, all the n(n-1)/2-dimensional linear subspaces of M_n(K) consisting of matrices with no non-zero invariant vector, reinforcing a classical theorem of Gerstenhaber. Both classifications only involve the quadratic structure of the field K.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Sums of two triangularizable quadratic matrices over an arbitrary field

Let K be an arbitrary field, and a,b,c,d be elements of K such that the polynomials t^2-at-b and t^2-ct-d are split in K[t]. Given a square matrix M with entries in K, we give necessary and sufficient conditions for the existence of two matrices A and B such that M=A+B, A^2=a A+bI_n and B^2=c B+dI_n. Prior to this paper, such conditions were known in the case b=d=0, a<>0 and c<>0, and also in the case a=b=c=d=0. Here, we complete the study, which essentially amounts to determining when a matrix is the sum of an idempotent and a square-zero matrix. This generalizes results of Wang to an arbitrary field, possibly of characteristic 2.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The linear preservers of non-singularity in a large space of matrices

Let K be an arbitrary (commutative) field, and V be a linear subspace of M_n(K) such that codim V<n-1. Using a recent generalization of a theorem of Atkinson and Lloyd, we show that every linear embedding of V into M_n(K) which strongly preserves non-singularity must be M->PMQ or M->PM^TQ for some pair (P,Q) of non-singular matrices of M_n(K), unless n=3, codim V=1 and K is isomorphic to F_2. This generalizes a classical theorem of Dieudonné with a similar strategy of proof. Weak linear preservers are also discussed, as well as the exceptional case of a hyperplane of M_3(F_2).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

When does a linear map belong to at least one orthogonal or symplectic group?

Given an endomorphism u of a finite-dimensional vector space over an arbitrary field K, we give necessary and sufficient conditions for the existence of a regular quadratic form (resp. a symplectic form) for which u is orthogonal (resp. symplectic). A solution to this problem being already known in the case char(K)<>2, our main contribution lies in the case char(K)=2. When char(K)=2, we also give necessary and sufficient conditions for the existence of a regular symmetric bilinear form for which u is orthogonal. In the case K is finite with characteristic 2, we give necessary and sufficient conditions for the existence of an hyperbolic quadratic form (resp. a regular non-hyperbolic quadratic form, resp. a regular non-alternate symmetric bilinear form) for which u is orthogonal.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A classifying space for Phillips' equivariant K-theory

In a previous paper, we have constructed, for an arbitrary Lie group G and any of the fields F=R or C, a good equivariant cohomology theory KF_G^*(-) on the category of proper $G$-CW-complex and have justified why it deserved the label ``equivariant K-theory". It was shown in particular how this theory was a logical extension of the construction of Lück and Oliver for discrete groups and coincided with Segal's classical K-theory when G is a compact group and only finite G-CW-complexes are considered. Here, we compare our new equivariant K-theory with that of N.C. Phillips: it is shown how a natural transformation from ours to his may be constructed which gives rises to an isomorphism when G is second-countable and only finite proper G-CW-complexes are considered. This solves the long-standing issue of the existence of a classifying space for Phillips' equivariant K-theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Equivariant K-theory for proper actions of non-compact Lie groups

Generalizing a construction of Wolfgang Lück and Bob Oliver, we define a good equivariant cohomology theory on the category of proper G-CW complexes when G is an arbitrary Lie group (possibly non-compact). This is done by constructing an appropriate classifying space that arises from a Gamma-G-space. It is proven that this theory effectively generalizes Segal's equivariant K-theory when G is compact.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On decomposing any matrix as a linear combination of three idempotents

In a recent article, we gave a full characterization of matrices that can be decomposed as a linear combination of two idempotents with prescribed coefficients. In this one, we use those results to improve on a recent theorem of V. Rabanovich: we establish that every square matrix is a linear combination of three idempotents (for an arbitrary coefficient field rather than just a field of characteristic 0).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On linear combinations of two idempotent matrices over an arbitrary field

Given an arbitrary field K and non-zero scalars a and b, we give necessary and sufficient conditions for a matrix A in M_n(K) to be a linear combination of two idempotents with coefficients a and b. This extends results previously obtained by Hartwig and Putcha in two ways: the field K considered here is arbitrary (possibly of characteristic 2), and the case a is different from b and -b is taken into account.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the matrices of given rank in a large subspace

Let V be a linear subspace of M_{n,p}(K) with codimension lesser than n, where K is an arbitrary field and n >=p. In a recent work of the author, it was proven that V is always spanned by its rank p matrices unless n=p=2 and K is isomorphic to F_2. Here, we give a sufficient condition on codim V for V to be spanned by its rank r matrices for a given r between 1 and p-1. This involves a generalization of the Gerstenhaber theorem on linear subspaces of nilpotent matrices.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The affine preservers of non-singular matrices

When K is an arbitrary field, we study the affine automorphisms of M_n(K) that stabilize GL_n(K). Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n>2 or #K>2. We include a short new proof of the more general Flanders' theorem for affine subspaces of M_{p,q}(K) with bounded rank. We also find that the group of affine transformations of M_2(F_2) that stabilize GL_2(F_2) does not consist solely of linear maps. Using the theory of quadratic forms over F_2, we construct explicit isomorphisms between it, the symplectic group Sp_4(F_2) and the symmetric group S_6.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

To what extent is a large space of matrices not closed under the product?

Let K denote a field. Given an arbitrary linear subspace V of M_n(K) of codimension lesser than n-1, a classical result states that V generates the K-algebra M_n(K). Here, we strengthen this in three ways: we show that M_n(K) is spanned by the products of the form AB with A and B in V; we prove that every matrix in M_n(K) can be decomposed into a product of matrices of V; finally, when V is a linear hyperplane of M_n(K) and n>2, we show that every matrix in M_n(K) is a product of two elements of V.

0 citations0 reviewsNo code linkedOpen access