En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Algebra 212 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Exact $\infty$-categories - Jasso, Gustavo (Auteur de la Conférence) | CIRM H

Multi angle

Exact categories were introduced by Quillen in 1970s as part of his seminal work on algebraic K-theory. Exact categories provide a suitable enlargement of the class of abelian categories (for example, an extension-closed subcategory of an abelian category inherits the structure of an exact category) in which one "can do homological algebra". Recently, motivated also by questions in algebraic K-theory, Barwick introduced the class of exact infinity-categories, relying on the newly-developed theory of infinity-categories developed by Joyal, Lurie and others. This new class of mathematical objects includes not only the exact categories in the sense of Quillen but also the stable inftinty-categories in the sense of Lurie (the latter are to be regarded as refinements of triangulated categories in the sense of Verdier). The purpose of this lecture series is to motivate the theory of exact infinity-categories and sketch some of its applications. Familiarity with the theory of infinity-categories is not expected.[-]
Exact categories were introduced by Quillen in 1970s as part of his seminal work on algebraic K-theory. Exact categories provide a suitable enlargement of the class of abelian categories (for example, an extension-closed subcategory of an abelian category inherits the structure of an exact category) in which one "can do homological algebra". Recently, motivated also by questions in algebraic K-theory, Barwick introduced the class of exact ...[+]

18N60 ; 16G20 ; 18E30

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Khovanov-Seidel braids representation - Queffelec, Hoel (Auteur de la Conférence) | CIRM H

Multi angle

Khovanov and Seidel introduced in the early 2000's an action of the braid group by autoequi-valences on the homotopy category of projective modules over the zig-zag algebra. This categorical action descends to the Burau representation, one of the most famous braid representations, but unlike the classical story, the lifting is faithful. It is interesting to notice that simultaneously, the Burau representation was also extended into a faithful finite-dimensional linear representation by Lawrence, Krammer and Bigelow, proving the linearity of the braid group.
I will review the basic constructions, both at the level of vector representations and at the ca-tegorical level. We will discuss possible extensions of these from classical braids (type A) to larger Artin-Tits groups, spherical or not, and try to relate Khovanov-Seidel's construction to Soergel bimodules and categorified quantum groups. I will also try to emphasize several metric aspects that appear in an elegant way from the categorical setting, with an emphasis on Bridgeland's stability conditions. Along the way, I would like to list several open questions and problems that I care about, hoping that someone in the audience will come up with a good idea.[-]
Khovanov and Seidel introduced in the early 2000's an action of the braid group by autoequi-valences on the homotopy category of projective modules over the zig-zag algebra. This categorical action descends to the Burau representation, one of the most famous braid representations, but unlike the classical story, the lifting is faithful. It is interesting to notice that simultaneously, the Burau representation was also extended into a faithful ...[+]

20F36 ; 18G35 ; 20F65

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Diagram groups and their geometry - lecture 2 - Genevois, Anthony (Auteur de la Conférence) | CIRM H

Multi angle

In these talks, we will discuss a family of groups called diagram groups, studied extensively by Guba and Sapir and others. These depend on semigroup presentations and turn out to have many good algorithmic properties. The first lecture will be a survey of diagram groups, including several examples and generalizations. The second lecture will take a geometric approach, understanding these groups through median-like geometry.

20F65 ; 05C25 ; 57M07

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Diagram groups and their geometry - lecture 1 - Skipper, Rachel (Auteur de la Conférence) | CIRM H

Multi angle

In these talks, we will discuss a family of groups called diagram groups, studied extensively by Guba and Sapir and others. These depend on semigroup presentations and turn out to have many good algorithmic properties. The first lecture will be a survey of diagram groups, including several examples and gen-eralizations. The second lecture will take a geometric approach, understanding these groups through median-like geometry.

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Algebraic cryptanalysis has become unavoidable in the cryptanalysis and design of schemes in cryptography. In the first part, I explain what is a good algebraic modeling, and how we can estimate the complexity of solving a polynomial system with Gröbner basis. In the second part, I present different algebraic modelings for the decoding problem in rank metric code-based cryptography, and their complexity analysis.

13P10

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Matrices whose coefficients are univariate polynomials over a field are a basic mathematical object which arises at the core of fundamental algorithms in computer algebra: sparse or structured linear system solving, rational approximation or interpolation, division with remainder for bivariate polynomials, etc. After presenting this context, we will give an overview of recent progress on efficient computations with such matrices. Next, we will show how these results have been exploited to improve complexity bounds for a selection of problems which, interestingly, do not necessarily involve polynomial matrices a priori: computing the characteristic polynomial of a scalar matrix, performing modular composition of univariate polynomials, changing the monomial order for multivariate Gröbner bases.[-]
Matrices whose coefficients are univariate polynomials over a field are a basic mathematical object which arises at the core of fundamental algorithms in computer algebra: sparse or structured linear system solving, rational approximation or interpolation, division with remainder for bivariate polynomials, etc. After presenting this context, we will give an overview of recent progress on efficient computations with such matrices. Next, we will ...[+]

68W30 ; 68Q25 ; 15-04 ; 13P10

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Algebraic cryptanalysis has become unavoidable in the cryptanalysis and design of schemes in cryptography. In the first part, I explain what is a good algebraic modeling, and how we can estimate the complexity of solving a polynomial system with Gröbner basis. In the second part, I present different algebraic modelings for the decoding problem in rank metric code-based cryptography, and their complexity analysis.

13P10

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
D-finite functions play a prominent role in computer algebra because they are well suited for representation in a symbolic software system, and because they include many functions of interest, such as special functions, orthogonal polynomials, generating functions from combinatorics, etc. Whenever one wishes to study the integral or the sum of a D-finite function, the method of creative telescoping may be applied. This method has been systematically introduced by Zeilberger in the 1990s, and since then has found applications in various different domains. In this lecture, we explain the underlying theory, review some of the history and talk about some recent developments in this area.[-]
D-finite functions play a prominent role in computer algebra because they are well suited for representation in a symbolic software system, and because they include many functions of interest, such as special functions, orthogonal polynomials, generating functions from combinatorics, etc. Whenever one wishes to study the integral or the sum of a D-finite function, the method of creative telescoping may be applied. This method has been s...[+]

68W30 ; 47L20

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Matrices whose coefficients are univariate polynomials over a field are a basic mathematical object which arises at the core of fundamental algorithms in computer algebra: sparse or structured linear system solving, rational approximation or interpolation, division with remainder for bivariate polynomials, etc. After presenting this context, we will give an overview of recent progress on efficient computations with such matrices. Next, we will show how these results have been exploited to improve complexity bounds for a selection of problems which, interestingly, do not necessarily involve polynomial matrices a priori: computing the characteristic polynomial of a scalar matrix, performing modular composition of univariate polynomials, changing the monomial order for multivariate Gröbner bases.[-]
Matrices whose coefficients are univariate polynomials over a field are a basic mathematical object which arises at the core of fundamental algorithms in computer algebra: sparse or structured linear system solving, rational approximation or interpolation, division with remainder for bivariate polynomials, etc. After presenting this context, we will give an overview of recent progress on efficient computations with such matrices. Next, we will ...[+]

68W30 ; 68Q25 ; 15-04 ; 13P10

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Space of actions of groups on the real line - Deroin, Bertrand (Auteur de la Conférence) | CIRM H

Multi angle

In these lectures, we will report on some properties of the space of actions of a left-orderable group on the real line. We will notably describe the almost-periodic actions, the harmonic actions and their spaces.

20F60 ; 22F50 ; 37B05 ; 37E10 ; 57R30

Sélection Signaler une erreur