Constructions of some minimal finite element systems

Within the framework of finite element systems, we show how spaces of differential forms may be constructed, in such a way that they are equipped with commuting interpolators and contain prescribed functions, and are minimal under these constraints. We show how various known mixed finite element spaces fulfill such a design principle, including trimmed polynomial differential forms, serendipity elements and TNT elements. We also comment on virtual element methods and provide a dimension formula for minimal compatible finite element systems containing polynomials of a given degree on hypercubes.Comment: Various minor changes, based on suggestions of paper referee

Generalized Finite Element Systems for smooth differential forms and Stokes problem

We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously introduced notion of Finite Element Systems, and the examples include conforming mixed finite elements for Stokes' equation. In dimension 2 we detail four low order finite element complexes and one infinite family of highorder finite element complexes. In dimension 3 we define one low order complex, which may be branched into Whitney forms at a chosen index. Stokes pairs with continuous or discontinuous pressure are provided in arbitrary dimension. The finite element spaces all consist of composite polynomials. The framework guarantees some nice properties of the spaces, in particular the existence of commuting interpolators. It also shows that some of the examples are minimal spaces.Comment: v1: 27 pages. v2: 34 pages. Numerous details added. v3: 44 pages. 8 figures and several comments adde

Compatible finite element methods for numerical weather prediction

This article takes the form of a tutorial on the use of a particular class of mixed finite element methods, which can be thought of as the finite element extension of the C-grid staggered finite difference method. The class is often referred to as compatible finite elements, mimetic finite elements, discrete differential forms or finite element exterior calculus. We provide an elementary introduction in the case of the one-dimensional wave equation, before summarising recent results in applications to the rotating shallow water equations on the sphere, before taking an outlook towards applications in three-dimensional compressible dynamical cores.Comment: To appear in ECMWF Seminar proceedings 201

Stable modification of relative curves

We generalize theorems of Deligne-Mumford and de Jong on semi-stable modifications of families of proper curves. The main result states that after a generically \'etale alteration of the base any (not necessarily proper) family of multipointed curves with semi-stable generic fiber admits a minimal semi-stable modification. The latter can also be characterized by the property that its geometric fibers have no certain exceptional components. The main step of our proof is uniformization of one-dimensional extensions of valued fields. Riemann-Zariski spaces are then used to obtain the result over any integral base.Comment: 60 pages, third version, the paper was revised due to referee's report, section 2 was divided into sections 2 and 6, to appear in JA

Troesch complexes and extensions of strict polynomial functors

We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical Ext-computations as well as new results. In particular, we get a cohomological version of the `fundamental theorems' from classical invariant invariant theory for GL_n for n big enough (and we give a conjecture for smaller values of n). We also study the `twisting spectral sequence' E^{s,t}(F,G,r) converging to the extension groups Ext^*(F^{(r)}, G^{(r)}) between the twisted functors F^{(r)} and G^{(r)}. Many classical Ext-computations simply amount to the collapsing of this spectral sequence at the second page (for lacunary reasons), and it is also a convenient tool to study the effect of the Frobenius twist on Ext-groups. We prove many cases of collapsing, and we conjecture collapsing is a general fact.Comment: Revised version, 46 pages. Mathematics unchanged. Typos corrected, Appendix 9 on Troesch complexes improve