Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T16:48:31Z (GMT). No. of bitstreams: 1 Cardoso_NunoFilipedeAndrade_M.pdf: 1858794 bytes, checksum: bbe47182338feb3de60b480df87b52a7 (MD5) Previous issue date: 2014 / Resumo: Os teoremas de degenerescência de Hodge e de anulamento de Kodaira, Akizuki e Nakano são de suma importância na teoria de variedades complexas. Usando o teorema de comparação de Serre, ambos podem ser traduzidos para o contexto de esquemas projetivos e suaves sobre um corpo de característica zero. Para corpos de característica positiva, no entanto, os dois deixam de valer sem hipóteses adicionais, sendo que os primeiros contra-exemplos foram encontrados por Mumford e Raynaud. O objetivo desta dissertação é apresentar um teorema devido a Deligne e Illusie que assegura a degenerescência da seqüência espectral de Hodge-de Rham e uma versão do teorema de Kodaira, Akizuki e Nakano para certos esquemas projetivos e suaves sobre um corpo perfeito de característica positiva. Nos propusemos a dar um tratamento, na medida do possível, auto-suficiente / Abstract: The Hodge degeneration theorem and the Kodaira, Akizuki and Nakano's vanishing theorem are of paramount importance in the theory of complex manifolds. Using Serre's comparison theorem, both can be translated to the context of smooth projective schemes over a field of characteristic zero. For fields of positive characteristic, however, both fail to hold without additional hypothesis, and the first counterexamples were found by Mumford and Raynaud. Our goal in this dissertation is to present a theorem due to Deligne and Illusie that ensures the degeneration of the Hodge-de Rham spectral sequence and a version of the theorem of Kodaira, Akizuki and Nakano for certain smooth projective schemes over a perfect field of positive characteristic. We tried to keep the treatment as self-contained as possible / Mestrado / Matematica / Mestre em Matemática

No description available.

Orientador: Diego Sebastian Ledesma / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T09:00:29Z (GMT). No. of bitstreams: 1 Melo_MateusMoreirade_M.pdf: 1155879 bytes, checksum: 5582968247f7c4155e31b28d1531679a (MD5) Previous issue date: 2015 / Resumo: Neste trabalho, estudamos o conceito de estabilidade para folheações. Com este objetivo, usamos um complexo não-linear formado por mapas e variedades na categoria Fréchet Tame. Aplicamos uma variação do Teorema da Função Inversa de Nash-Moser ao complexo não-linear obtendo uma relação entre estabilidade e a exatidão tame da linearização do complexo não-linear. Além disso, o complexo linearizado é identificado com um trecho do complexo de Rham da folheação, ou seja, transforma-se o estudo de estabilidade em analisar a exatidão tame de um grupo de cohomologia da folheação. Assim descrevemos uma família de folheações estáveis, chamadas folheações infinitesimalmente estáveis. Esta família dá uma direção para o estudo de estabilidade de folheações / Abstract: In this work, we study the concept of stability for foliations. With this aim we use a non linear complex formed by maps and manifolds in Fréchet Tame category. We apply a variation of The Nash-Moser Inverse Function Theorem to non-linear complex obtaining a relation between the stability and the tame exactness of the linearized complex. Moreover, the linearized complex is identified with a piece of the complex de Rham of the foliation, i.e., we transformed the stability study into a analysis of tameness vanishing on the cohomology group of the foliation. Thus we describe a family of stable foliations, called infinitesimally stable foliations. This family gives a direction for the study of stability of foliations / Mestrado / Matematica / Mestre em Matemática

Advances in the design and manufacturing technologies have greatly enhanced the utility of fiber reinforced composite materials in aircraft, helicopter and space- craft structural components. The special characteristics of composites such as high strength and stiffness, light-weight corrosion resistance make them suitable sub- stitute for metals/metallic alloys. However, composites are very sensitive to the anomalies induced during their fabrication and service life. Also, they are suscepti- ble to the impact and high frequency loading conditions because the epoxy matrix is at-least an order of magnitude weaker than the embedded reinforced carbon fibers. On the other hand, the carbon based matrix posses high electrical conductivity which is often undesirable. Subsequently, the metal matrix produces high brittleness. Var- ious forms of damage in composite laminates can be identified as indentation, fiber breakage, matrix cracking, fiber-matrix debonding and interply disbonding (delam- ination). Among all the damage modes mentioned above, delamination has been found to be serious for all cases of loading. They are caused by excessive interlaminar shear and normal stresses. The interlaminar stresses that arise in the case of composite materials due to the mismatch in the elastic constants across the plies. Delamination in composites reduce it’s tensile and compressive strengths by consid- erable margins. Hence the knowledge of these stresses is the most important aspect to be looked into. Basic theories like the Euler-Bernoulli’s theory and Timoshenko beam theory are based on many assumptions which poses limitation to determine these stresses accurately. Hence the determination of these interlaminar stresses accurately requires higher order theories to be considered. Most of the conventional methods of determination of the stresses are through the solutions, involving the trigonometric series, which are available only to small and simple problems. The most common method of solution is by Finite Element (FE) Method. There are only few elements existing in the literature and very few in the commercially available finite element software to determine the interlaminar stresses accurately in the composite laminates. Accuracy of finite element solution depends on the choice of functions to be used as interpolating polynomials for the field variable. In-appropriate choice will manifest in the form of delayed convergence. This delayed convergence and accuracy in predicting these stresses necessiates a formulation of elements with a completely new concept. The delayed convergence is sometimes attributed to the shear locking phenomena, which exist in most finite element formulation based on shear deformation theories. The present work aims in developing finite elements based on higher order theories, that alleviates the slow convergence and achieves the solutions at a faster rate without compromising on the accuracy. The accuracy primarily depends on the theory used to model the problem. Thus the basic theories (such as Elementary Beam theory and Timoshenko Beam theory) does not suffice the condition to accuratley determine the interlaminar stresses through the thickness, which is the primary cause for delamination in composites. Two different elements developed on the principle of super-convergence has been presented in this work. These elements are subjected to several numerical experiments and their performance is assessed by comparing the solutions with those available in literature. Spacecraft and aircraft structures are light in weight and are also lightly damped because of low internal damping of the material of construction. This increased exibility may allow large amplitude vibration, which might cause structural instability. In addition, they are susceptible to impact loads of very short duration, which excites many structural modes. Hence, structural dynamics and wave propagation study becomes a necessity. The wave based techniques have found appreciation in many real world problems such as in Structural Health Monitoring (SHM). Wave propagation problems are characterized by high frequency loads, that sets up stress waves to propagate through the medium. At high frequency, the wave lengths are small and from the finite element point of view, the element sizes should be of the same order as the wave lengths to prevent free edges of the element to act as a free boundary and start reflecting the stress waves. Also longer element size makes the mass distribution approximate. Hence for wave propagation problems, very large finite element mesh is an absolute necessity. However, the finite element problems size can be drastically reduced if we characterize the stiffness of the structure accurately. This can accelerate the convergence of the dynamic solution significantly. This can be acheived by the super-convergent formulation. Numerical results are presented to illustrate the efficiency of the new approach in both the cases of dynamic studies viz., the free vibration study and the wave propagation study. The thesis is organised into five chapters. A brief organization of the thesis is presented below, Chapter-1 gives the introduction on composite material and its constitutive law. The details of shear locking phenomena and the interlaminar stress distribution across the thickness is brought out and the present methods to avoid shear locking has been presented. Chapter-2 presents the different displacement based higher order shear deformation theories existing in the literature their advantages and limitations. Chapter-3 presents the formulation of a super-convergent finite element formulation, where the effect of lateral contraction is neglected. For this element static and free vibration studies are performed and the results are validated with the solution available in the open literature. Chapter-4 presents yet another super-convergent finite element formulation, wherein the higher order effects due to lateral contraction is included in the model. In addition to static and free vibration studies, wave propagation problems are solved to demonstrate its effectiveness. In all numerical examples, the super-convergent property is emphasized. Chapter-5 gives a brief summary of the total research work performed and presents further scope of research based on the current research.

La théorie de Hodge mixte de Deligne fournit des structures supplémentaires sur les groupes de cohomologie des variétés algébriques complexes. Depuis, des structures de Hodge mixtes ont été construites sur les groupes d'homotopie rationnels de telles variétés par Morgan et Hain. Dans cette lignée, nous construisons des structures de Hodge mixtes sur des invariants associés aux représentations linéaires des groupes fondamentaux des variétés algébriques complexes lisses. Le point de départ est la théorie de Goldman et Millson qui relie la théorie des déformations de telles représentations à la théorie des déformations via les algèbres de Lie différentielles graduées. Ceci a été relu par P. Eyssidieux et C. Simpson dans le cas des variétés kählériennes compactes. Dans le cas non compact, et pour des représentations d'image finie, Kapovich et Millson ont construit seulement des graduations non canoniques. Pour construire des structures de Hodge mixtes dans le cas non compact et l'unifier avec le cas compact traité par Eyssidieux-Simpson, nous ré-écrivons la théorie de Goldman-Millson classique en utilisant des idées plus modernes de la théorie des déformations dérivée et une construction d'algèbres L-infini due à Fiorenza et Manetti. Notre structure de Hodge mixte provient alors directement du H^0 d'un complexe de Hodge mixte explicite, de façon similaire à la méthode de Hain pour le groupe fondamental, et dont la fonctorialité apparaît clairement. / The mixed Hodge theory of Deligne provides additional structures on the cohomology groups of complex algebraic varieties. Since then, mixed Hodge structures have been constructed on the rational homotopy groups of such varieties by Morgan and Hain. In this vein, we construct mixed Hodge structures on invariants associated to linear representations of fundamental groups of smooth complex algebraic varieties. The starting point is the theory of Goldman and Millson that relates the deformation theory of such representations to the deformation theory via differential graded Lie algebras. This was reviewed by P. Eyssidieux and C. Simpson in the case of compact Kähler manifolds. In the non-compact case, and for representations with finite image, Kapovich and Millson constructed only non-canonical gradings. In order to construct mixed Hodge structures in the non-compact case and unify it with the compact case treated by Eyssidieux-Simpson, we re-write the classical Goldman-Millson theory using more modern ideas from derived deformation theory and a construction of L-infinity algebras due to Fiorenza and Manetti. Our mixed Hodge structure comes then directly from the H^0 of an explicit mixed Hodge complex, in a similar way as the method of Hain for the fundamental group, and whose functoriality appears clearly.

Wave propagation is a phenomenon resulting from high transient loadings where the duration of the load is in µ seconds range. In aerospace and space craft industries it is important to gain knowledge about the high frequency characteristics as it aids in structural health monitoring, wave transmission/attenuation for vibration and noise level reduction. The wave propagation problem can be approached by the conventional Finite Element Method(FEM); but at higher frequencies, the wavelengths being small, the size of the finite element is reduced to capture the response behavior accurately and thus increasing the number of equations to be solved, leading to high computational costs. On the other hand such problems are handled in the frequency domain using Fourier transforms and one such method is the Spectral Finite Element Method(SFEM). This method is introduced first by Doyle ,for isotropic case and later popularized in developing specific purpose elements for structural diagnostics for inhomogeneous materials, by Gopalakrishnan. The general approach in this method is that the partial differential wave equations are reduced to a set of ordinary differential equations(ODEs) by transforming these equations to another space(transformed domain, say Fourier domain). The reduced ODEs are usually solved exactly, the solution of which gives the dynamic shape functions. The interpolating functions used here are exact solution of the governing differential equations and hence, the exact elemental dynamic stiffness matrix is derived. Thus, in the absence of any discontinuities, one element is sufficient to model 1-D waveguide of any length. This elemental stiffness matrix can be assembled to obtain the global matrix as in FEM, but in the transformed space. Thus after obtaining the solution, the original domain responses are obtained using the inverse transform. Both the above mentioned manuscripts present the Fourier transform based spectral finite element (FSFE), which has the inherent aliasing problem that is persistent in the application of the Fourier series/Fourier transforms. This is alleviated by using an additional throw-off element and/or introducing slight damping in to the system. More recently wave let transform based spectral finite element(WSFE) has been formulated which alleviated the aliasing problem; but has a limitation in obtaining the frequency characteristics, like the group speeds are accurate only up-to certain fraction of the Nyquist(central frequency). Currently in this thesis Laplace transform based spectral finite elements(LSFE) are developed for sandwich members. The advantages and limitations of the use of different transforms in the spectral finite element framework is presented in detail in Chapter-1. Sandwich structures are used in the space craft industry due to higher stiffness to weight ratio. Many issues considered in the design and analysis of sandwich structures are discussed in the well known books(by Zenkert, Beitzer). Typically the main load bearing structures are modeled as beam sand plates. Plate structures with kh<1 is analysed based on the Kirch off plate theory/Classical Plate Theory(CPT) and when the bending wavelength is small compared to the plate thickness, the effect of shear deformation and rotary inertia needs to be included where, k is the wave number and h is the thickness of the plate. Many works regarding the wave propagation in sandwich structures has been published in the past literature for wave propagation in infinite sandwich structure and giving the complete description of dispersion relation with no restriction on frequency and wavelength. More recently exact analytical solution or simply supported sandwich plate has been derived. Also it is seen by comparison of dispersion curves obtained with exact (3D formulation of theory of elasticity) and simplified theories (2D formulation as generalization of Timoshenko theory) made on infinite domain and concluded that the simplified theory can be reliably used to assess the waveguide properties of sandwich plate in the frequency range of interest. In order to approach the problems with finite domain and their implementation in the use of general purpose code; finite degrees of freedom is enforced. The concept of displacement based theories provides the flexibility in assuming different kinematic deformations to approach these problems. Many of the displacement based theories incorporate the Equivalent Single Layer(ESL) approach and these can capture the global behavior with relative ease. Chapter-2 presents the Laplace spectral finite element for thick beams based on the First order Shear Deformation Theory (FSDT). Here the effect of different choices of the real part of the Laplace variable is demonstrated. It is shown that the real part of the Laplace variable acts as a numerical damping factor. The spectrum and dispersion relations are obtained and the use of these relations are demonstrated by an example. Here, for sandwich members based on FSDT, an appropriate choice of the correction factor ,which arises due to the inconsistency between the kinematic hypothesis and the desired accuracy is presented. Finally the response obtained by the use of the element is validated with experimental results. For high shock loading cases, the core flexibility induces local effects which are very predominant and this can lead to debonding of face sheets. The ESL theories mentioned above cannot capture these effects due to the computation of equivalent through the thickness section properties. Thus, higher order theories such as the layer-wise theories are required to capture the local behaviour. One such theory for sandwich panels is the Higher order Sandwich Plate theory (HSaPT). Here, the in-plane stress in the core has been neglected; but gives a good approximation for sandwich construction with soft cores. Including the axial inertial terms of the core will not yield constant shear stress distribution through the height of the core and hence more recently the Extended Higher order Sandwich Plate theory (EHSaPT) is proposed. The LSFE based on this theory has been formulated and is presented in Chapter-4. Detailed 3D orthotropic properties of typical sandwich construction is considered and the core compressibility effect of local behavior due to high shock loading is clearly brought out. As detailed local behavior is sought the degrees of freedom per element is high and the specific need for such theory as compared with the ESL theories is discussed. Chapter-4 presents the spectral finite element for plates based on FSDT. Here, multi-transform method is used to solve the partial differential equations of the plate. The effect of shear deformation is brought out in the spectrum and dispersion relations plots. Response results obtained by the formulated element is compared and validated with many different experimental results. Generally structures are built-up by connecting many different sub-structures. These connecting members, called joints play a very important role in the wave transmission/attenuation. Usually these joints are modeled as rigid joints; but in reality these are flexible and exhibits non-linear characteristics and offer high damping to the energy flow in the connected structures. Chapter-5 presents the attenuation and transmission of wave energy using the power flow approach for rigid joints for different configurations. Later, flexible spectral joint model is developed and the transmission/attenuation across the flexible joints is studied. The thesis ends with conclusion and highlighting futures cope based on the developments reported in this thesis.

L’objet de cette thèse est de comprendre comment se généralise la théorie de la ramification pour des actions par des schémas en groupes affines avec un intérêt particulier pour la notion de modération. Comme contexte général pour ce résumé, considérons une base affine S := Spec(R) où R est un anneau unitaire, commutatif, X := Spec(B) un schéma affine sur S, G := Spec(A) un schéma en groupes affine, plat et de présentation finie sur S et une action de G sur X que nous noterons (X, G). Enfin, nous notons [X/G] le champ quotient associé à cette action et Y := Spec(BA) où BA est l’anneau des invariants pour l’action (X, G). Supposons de plus que le champ d’inertie soit fini.Comme point de référence, nous prenons la théorie classique de la ramification pour des anneaux munis d’une action par un groupe fini abstrait. Afin de comprendre comment généraliser cette théorie pour des actions par des schémas en groupes, nous considérons les actions par des schémas en groupes constants en se rappelant que la donnée de telles actions est équivalente à celle d’un anneau muni d’une action par un groupe fini abstrait nous ramenant au cas classique. Nous obtenons ainsi dans ce nouveau contexte des notions généralisant l’anneau des invariants en tant que quotient, les groupes d’inertie et toutes leurs propriétés. Le cas non ramifié se généralise naturellement avec les actions libres. En ce qui concerne le cas modéré, qui nous intéresse particulièrement pour cette thèse, deux généralisations sont proposées dans la littérature. Celle d’actions modérées par des schémas en groupes affines introduite par Chinburg, Erez, Pappas et Taylor dans l’article [CEPT96] et celle de champ modéré introduite par Abramovich, Olsson et Vistoli dans [AOV08]. Il a été alors naturel d’essayer de comparer ces deux notions et de comprendre comment se généralisent les propriétés classiques d’objets modérés à des actions par des schémas en groupes affines.Tout d’abord, nous avons traduit algébriquement la propriété de modération sur un champ quotient comme l’exactitude du foncteur des invariants. Ce qui nous a permis d’obtenir aisément à l’aide de [CEPT96] qu’une action modérée définit toujours un champ quotient modéré. Quant à la réciproque, nous avons réussi à l’obtenir seulement lorsque nous supposons de plus que G est fini et localement libre sur S et que X est plat sur Y . Nous pouvons voir que la notion de modération pour l’anneau B muni d’une action par un groupe fini abstrait Γ est équivalente au fait que tous les groupes d’inertie aux points topologiques sont linéairement réductifs si l’on considère l’action par le schéma en groupes constant correspondant à Γ sur X. Il a été donc naturel de se demander si cette propriété est encore vraie en général. Effectivement, l’article [AOV08] caractérise le fait que le champ quotient [X/G] est modéré par le fait que les groupes d’inertie aux points géométriques sont linéairement réductifs.À nouveau, si l’on considère le cas des anneaux munis d’une action par un groupe fini abstrait, il est bien connu que l’action peut être totalement reconstruite à partir de l’action d’un groupe inertie. Lorsque l’on considère le cas des actions par les schémas en groupes constants, cela se traduit comme un théorème de slices, c’est-à-dire une description locale de l’action initiale par une action par un groupe d’inertie. Par exemple, lorsque G est fini, localement libre sur S, nous établissons que le fait qu’une action soit libre est une propriété locale pour la topologie fppf, ce qui peut se traduire comme un théorème de slices. Grâce à [AOV08], nous savons déjà qu’un champ quotient modéré [X/G] est localement isomorphe pour la topologie fppf à un champ quotient [X/H] où H est une extension du groupe d’inertie en un point de Y. Lorsque G est fini sur S, il nous a été possible de montrer que H est aussi un sous-groupe de G. / The purpose of this thesis is to understand how to generalize the ramification theory for actions by affine group schemes with a particular interest for the notion of tameness. As general context for this summary, we consider an affine basis S := Spec(R) where R is a commutative, unitary ring, an affine, finitely presented, Noetherian scheme X := Spec(B) over S, a flat, finitely presented, affine group scheme G := Spec(A) over S and an action of G on X that we denote by (X, G). Finally, we denote [X/G] the quotient stack associated to this action and we set Y := Spec(BA) where BA is the ring of invariants for the action (X, G). Moreover, we suppose that the inertia stack is finite.As reference point, we take the classical theory of ramification for rings endowed with an action of a finite, abstract group. In order to understand how to generalize this theory for actions of group schemes, we consider the actions of constant group schemes knowing that the data of such actions is equivalent to the data of rings endowed with an action of a finite abstract group, this being the classical case. We obtain thus in this new context notions generalizing the ring of invariants as a quotient, the inertia group and all their properties. The unramified case is generalized naturally by the free actions. For the tame case, which interests us particularly here, two generalizations are proposed in the literature: the one of tame actions of affine group schemes introduced by Chinburg, Erez, Pappas et Taylor in the article [CEPT96] and the one of tame stacks introduced by Abramovich, Olsson and Vistoli in [AOV08]. It was then natural to compare these two notions and to understand how to generalize the classical properties of tame objects for the actions of affine group schemes. First of all, we traduced algebraically the tameness property on a quotient stack as the exactness of the functor of invariants. This permits to obtain easily thanks to [CEPT96] that tame actions define always tame quotient stacks. For the converse, we only manage to prove it when we suppose G to be finite, locally free over S and X flat over Y . We are able to see that the notion of tameness for a ring endowed with an action of a finite, abstract group Γ is equivalent to the fact that all the inertia group schemes at the topological points are linearly reductive if we consider the action of the constant group scheme corresponding to Γ over X. It was thus natural to wonder if this property was also true in general. In fact, the article [AOV08] characterizes the fact that the quotient stack [X/G] is tame by the fact that the inertia group schemes at the geometric points are linearly reductive.Again, if we consider the case of rings endowed with an action of a finite, abstract group, it is well known that these actions can be totally reconstructed from an action involving an inertia group. When we consider actions by constant group schemes, this is translated as a slice theorem, that is, a local description of the initial action by an action involving an inertia group. For example, we establish that the fact that an action is free is a "local property" for the fppf topology and this can be translated also as a "local" slice theorem. Thanks to [AOV08], we already know that a tame quotient stack [X/G] is locally isomorphic for the fppf topology to a quotient stack [X/H], where H is an extension of the inertia group in a point of Y . When G is finite over S, it was possible to show that H is also a subgroup of G. In this thesis, it was not possible to obtain a slice theorem in this generality. However, when G is commutative, finite over S, it is possible to prove the existence of a torsor, if we suppose [X/G] to be tame. This permits to prove a slice theorem when G is commutative, finite over S and [X/G] is tame. / Lo scopo di questa tesi è capire come si generalizza la teoria della ramificazione per azioni di schemi in gruppi affini con un interesse particolare per la nozione di moderazione. Come contesto generale per questo riassunto, consideriamo una base affine S := Spec(R) dove R è un anello unitario e commutativo, X := Spec(B) uno schema affine, noetheriano e di presentazione finita su S, G := Spec(A) uno schema in gruppi affine, piatto e di presentazione finita su S e un’azione di G su X che denoteremo (X, G). Infine, denotiamo con [X/G] lo stack quoziente associato a questa azione e Y := Spec(BA) dove BA è l’anello degli invarianti per l’azione (X, G). Supponiamo inoltre che il campo d’inerzia sia finito.Come punto di riferimento prendiamo la teoria classica della ramificazione per anelli muniti d’un’azione d’un gruppo finito astratto. Al fine di comprendere come generalizzare questa teoria per azioni di schemi in gruppi, consideriamo le azioni di schemi in gruppi costanti ricordando che il dato di tali azioni è equivalente al dato d’un anello dotato d’un’azione d’un gruppo finito astratto, riconducendosi al caso classico. Otteniamo così in questo nuovo contesto delle nozioni che generalizzano l’anello degli invarianti in quanto quoziente, i gruppi d’inerzia e tutte le loro proprietà. Il caso non ramificato si generalizza in modo naturale con le azioni libere. Per qual che riguarda il caso moderato, al quale siamo particolarmente interessati in questa tesi, due generalizzazioni sono proposte nella letteratura: quella delle azioni moderate di schemi in gruppi affini introdotta da Chinburg, Erez, Pappas e Taylor nell’articolo [CEPT96] e quella di stack moderato introdotta da Abramovich, Olsson e Vistoli in [AOV08]. È stato quindi naturale cercare di confrontare queste due nozioni e capire come si generalizzano le proprietà classiche degli oggetti moderati ad azioni di schemi in gruppi affini.Per cominciare, abbiamo tradotto algebricamente la proprietà di moderazione su un stack quoziente come l’esattezza del funtore degli invarianti. Ciò ha permesso d’ottenere agevolmente, usando [CEPT96], che un’azione moderata definisce sempre uno stack quoziente moderato. Quanto al viceversa, siamo riusciti ad ottenerlo solamente sotto l’ulteriore ipotesi che G sia finito e localmente libero su S e che X sia piatto su Y . Possiamo vedere che la nozione di moderazione per l’anello B dotato d’un’azione d’un gruppo finito astratto Γ è equivalente al fatto che tutti i gruppi d’inerzia sui punti topologici siano linearmente riduttivi se si considera l’azione dello schema in gruppi costante corrispondente a Γ su X. È stato quindi naturale domandarsi se questa proprietà sia vera in generale. In effetti, l’articolo [AOV08] caratterizza il fatto che lo stack quoziente [X/G] è moderato tramite il fatto che i gruppi d’inerzia sui punti geometrici siano linearmente riduttivi.Di nuovo, se consideriamo il caso degli anelli muniti d’un’azione d’un gruppo finito astratto, è ben noto che quest’azione può essere totalmente ricostruita a partire da un’azione in cui interviene un gruppo d’inerzia. Quando consideriamo il caso delle azioni degli schemi in gruppi costanti, questo si traduce come un teorema di slices, cioè una descrizione locale dell’azione di partenza (X,G) tramite un’azione in cui interviene un gruppo d’inerzia. Per esempio quando G è finito e localmente libero su S, stabiliamo che il fatto che un’azione è libera è una proprietà locale per la topologia fppf, ciò si può interpretare come un teorema di slices. Grazie a [AOV08] sappiamo già che uno stack quoziente moderato [X/G] è localmente isomorfo per la topologia fppf a uno stack quoziente [X/H], dove H è un’estensione d’un gruppo d’inerzia in un punto di Y.