Séminaires en 2026
Le but de cet exposé est de présenter une adaptation du théorème des syzygies de Hilbert au contexte des foncteurs linéaires sur une catégorie monoïdale. Nous rappellerons d'abord ce que dit le théorème des syzygies de Hilbert dans sa version classique. Nous verrons alors apparaître le complexe de Koszul, et nous donnerons une idée de son rôle dans la preuve du théorème de Hilbert. Nous donnerons ensuite les définitions correspondantes pour les foncteurs linéaires sur une catégorie monoïdale, et nous verrons comment on peut définir le complexe de Koszul dans ce contexte, en utilisant les fortes propriétés combinatoires qu'il possède. Finalement, nous énoncerons une version du théorème de Hilbert dans ce cadre. Il s'agit d'un travail en collaboration avec Serge Bouc.
In the first part of this talk, we present a high-order pressure-based solver for the 3D compressible Navier–Stokes equations operating uniformly at all Mach numbers. The method uses a cell-centered split of fast and slow fluxes, treated implicitly and explicitly, and introduces semi-implicit discretizations of kinetic energy and enthalpy that avoid iterative solvers. The resulting scheme leads to an elliptic pressure equation suitable for ideal and general EOS, solved with a nested Newton method when needed. High-order accuracy is achieved through IMEX time stepping and a dimension-by-dimension CWENO reconstruction for explicit convective and viscous terms. The implicit part uses central schemes without added dissipation, yielding a CFL condition based only on fluid velocity, and ensuring asymptotic preservation in the low-Mach limit. The second part presents an implicit DG-based discretization of the viscous terms, producing a discrete Laplacian built from high-order corner gradients in 3D and yielding a symmetric, positive-definite system. The final part introduces a Structure-Preserving DG (SPDG) operator that enforces the discrete div–curl identity to machine precision on staggered Cartesian grids. We illustrate its performance through simulations of incompressible Navier–Stokes equations in vortex–stream formulation and validate the robustness of the overall approach on a broad set of inviscid and viscous benchmark problems across all Mach regimes.
TBA
TBA