A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.
A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e. a G-equivariant birational isomorphism over k between the group variety G and its Lie algebra Lie(G). A prototypical example is the classical "Cayley transform" for the special orthogonal group SO(n) defined by Arthur Cayley in 1846. A linear algebraic k-group G is called stably Cayley if $G \times S$ is Cayley for some split k-torus S. We classify stably Cayley semisimple groups over an arbitrary field k of characteristic 0.
A linear algebraic group G is over a field K is called a Cayley K-group if it admits a Cayley map, i.e., a G-equivariant K-birational isomorphism between the group variety G and its Lie algebra. We classify real reductive algebraic groups of absolute rank 1 and 2 that are Cayley R-groups.
Cayley--Hamilton tuples: an interplay between algebraic varieties and joint spectra
Indian Institute of Technology Bombay（印度理工学院孟买分校）；Indian Institute of Science Bangalore（印度科学学院班加罗尔分校）；Indian Institute of Science Education and Research（印度科学教育与研究学院）
In this paper, we examine linear conditions on finite sets of points in projective space implied by the Cayley-Bacharach condition. In particular, by bounding the number of points satisfying the Cayley-Bacharach condition, we force them to lie on unions of low-dimensional linear spaces. These results are motivated by investigations into degrees of irrationality of complete intersections, which are controlled by minimum-degree rational maps to projective space. As an application of our main theorem, we describe the fibers of such maps for certain complete intersections of codimension two.
We consider the relationship between a matroidal analogue of the degree $a$ Cayley-Bacharach property (finite sets of points failing to impose independent conditions on degree $a$ hypersurfaces) and geometric properties of matroids. If the matroid polytopes in question are nestohedra, we show that the minimal degree matroidal Cayley-Bacharach property denoted $MCB(a)$ is determined by the structure of the building sets used to construct them. This analysis also applies for other degrees $a$. Also, it does not seem to affect the combinatorial equivalence class of the matroid polytope. However, …
In an article from 1865, Arthur Cayley claims that given a plane algebraic curve there exists an associated 2-Hessian curve that intersects it in its sextactic points. In this paper we fix an error in Cayley's calculations and provide the correct defining polynomial for the 2-Hessian. In addition, we present a formula for the number of sextactic points on cuspidal curves and tie this formula to the 2-Hessian. Lastly, we consider the special case of rational curves, where the sextactic points appear as zeros of the Wronski determinant of the 2nd Veronese embedding of the curve.
We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the ideal determined by the Jacobian condition. Using the Cayley-Hamilton theorem, we provide expressions for these elements in terms of the generators of that ideal. We also give a combinatorial proof of the Cayley-Hamilton theorem similar to that of Straubing \cite{Straubing}. We also include results of Gröbner basis computations regarding other elements.
