Researcher profile

Jean-Pierre Tignol

Jean-Pierre Tignol contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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 graph slice

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

Published work

10 published item(s)

preprint2016arXiv

Outer automorphisms of classical algebraic groups

The so-called Tits class, associated to an adjoint absolutely almost simple algebraic group, provides a cohomological obstruction for this group to admit an outer automorphism. If the group has inner type, this obstruction is the only one. In this paper, we prove this is not the case for classical groups of outer type, except for groups of type $^2\mathsf{A}_n$ with $n$ even, or $n=5$. More precisely, we prove a descent theorem for exponent $2$ and degree $6$ algebras with unitary involution, which shows that their automorphism groups have outer automorphisms. In all other relevant classical types, namely $^2\mathsf{A}_n$ with $n$ odd, $n\geq3$ and $^2\mathsf{D}_n$, we provide explicit examples where the Tits class obstruction vanishes, and yet the group does not have outer automorphism. As a crucial tool, we use "generic" sums of algebras with involution.

preprint2016arXiv

Transfer of quadratic forms and of quaternion algebras over quadratic field extensions

A theorem of Albert-Draxl states that if a tensor product of two quaternion division algebras $Q_1$, $Q_2$ over a field $F$ is not a division algebra, then there exists a separable quadratic extension of $F$ that embeds as a subfield in $Q_1$ and in $Q_2$. We establish a modified version of this result where the tensor product of quaternion algebras is replaced by the corestriction of a single quaternion algebra over a separable field extension. As a tool in the proof, we show that if the transfer of a nonsingular quadratic form $φ$ over a quadratic extension is isotropic for a linear functional $s$ such that $s(1)=0$, then $φ$ contains a nondegenerate subform defined over the base field.

preprint2015arXiv

The Arason invariant of orthogonal involutions of degree 12 and 8, and quaternionic subgroups of the Brauer group

Using the Rost invariant for torsors under Spin groups one may define an analogue of the Arason invariant for certain hermitian forms and orthogonal involutions. We calculate this invariant explicitly in various cases, and use it to associate to every orthogonal involution with trivial discriminant and trivial Clifford invariant over a central simple algebra of even co-index a cohomology class $f_3$ of degree 3 with $μ_2$ coefficients. This invariant $f_3$ is the double of any representative of the Arason invariant; it vanishes when the algebra has degree at most 10, and also when there is a quadratic extension of the center that simultaneously splits the algebra and makes the involution hyperbolic. The paper provides a detailed study of both invariants, with particular attention to the degree 12 case, and to the relation with the existence of a quadratic splitting field.

preprint2014arXiv

On the quaternion $\ell$-isogeny path problem

Let $\cO$ be a maximal order in a definite quaternion algebra over $\mathbb{Q}$ of prime discriminant $p$, and $\ell$ a small prime. We describe a probabilistic algorithm, which for a given left $O$-ideal, computes a representative in its left ideal class of $\ell$-power norm. In practice the algorithm is efficient, and subject to heuristics on expected distributions of primes, runs in expected polynomial time. This breaks the underlying problem for a quaternion analog of the Charles-Goren-Lauter hash function, and has security implications for the original CGL construction in terms of supersingular elliptic curves.

preprint2014arXiv

Triality and Algebraic Groups of Type $^3D_4$

We determine which simple algebraic groups of type $^3D_4$ over arbitrary fields of characteristic different from 2 admit outer automorphisms of order 3, and classify these automorphisms up to conjugation. The criterion is formulated in terms of a representation of the group by automorphisms of a trialitarian algebra: outer automorphisms of order 3 exist if and only if the algebra is the endomorphism algebra of an induced cyclic composition; their conjugacy classes are in one-to-one correspondence with isomorphism classes of symmetric compositions from which the induced cyclic composition stems.

preprint2011arXiv

Conjugacy classes of trialitarian automorphisms and symmetric compositions

The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and similarity classes of symmetric compositions on 8-dimensional quadratic spaces. Using the known classification of symmetric compositions, we distinguish two conjugacy classes of trialitarian automorphisms over algebraically closed fields. For type I, the group of fixed points is of type G_2, whereas it is of type A_2 for trialitarian automorphisms of type II.

preprint2010arXiv

Springer's theorem for tame quadratic forms over Henselian fields

A quadratic form over a Henselian-valued field of arbitrary residue characteristic is tame if it becomes hyperbolic over a tamely ramified extension. The Witt group of tame quadratic forms is shown to be canonically isomorphic to the Witt group of graded quadratic forms over the graded ring associated to the filtration defined by the valuation, hence also isomorphic to a direct sum of copies of the Witt group of the residue field indexed by the value group modulo 2.

preprint2001arXiv

Generic algebras with involution of degree 8m

The centers of the generic central simple algebras with involution are interesting objects in the theory of central simple algebras. These fields also arise as invariant fields for linear actions of projective orthogonal or symplectic groups. In this paper, we prove that when the characteristic is not 2, these fields are retract rational, in the case the degree is $8m$ and $m$ is odd. We achieve this by proving the equivalent lifting property for the class of central simple algebras of degree $8m$ with involution. A companion paper ([S3]) deals with the case of $m$, $2m$ and $4m$ where stronger rationality results are proven.