-
La curva de Fargues--Fontaine: Una motivación al estudio de la teoría de representaciones de Galois $p$-ádicas
Authors:
Jorge Alberto Robles Hernández,
J. Rogelio Pérez-Buendía
Abstract:
This article, written in Spanish, provides a comprehensive review of the Fargues-Fontaine curve, a cornerstone in $p$-adic Hodge theory, and its pivotal role in classifying $p$-adic Galois representations. We synthesize key developments surrounding this curve, emphasizing its connection between advanced concepts in arithmetic geometry and the practical theory of representations. We offer a detaile…
▽ More
This article, written in Spanish, provides a comprehensive review of the Fargues-Fontaine curve, a cornerstone in $p$-adic Hodge theory, and its pivotal role in classifying $p$-adic Galois representations. We synthesize key developments surrounding this curve, emphasizing its connection between advanced concepts in arithmetic geometry and the practical theory of representations. We offer a detailed analysis of the Fontaine period rings ($B_{cris}, B_{st}, B_{dR}$), exploring their crucial algebraic and arithmetic properties and their contribution to the curve's construction and definition. Furthermore, we delve into the theory of admissible $p$-adic Galois representations, discussing how the curve, once defined, integrates with Harder-Narasimhan theory.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
CECM: A continuous empirical cubature method with application to the dimensional hyperreduction of parameterized finite element models
Authors:
J. A. Hernandez,
J. R. Bravo,
S. Ares de Parga
Abstract:
We present the Continuous Empirical Cubature Method (CECM), a novel algorithm for empirically devising efficient integration rules. The CECM aims to improve existing cubature methods by producing rules that are close to the optimal, featuring far less points than the number of functions to integrate.
The CECM consists on a two-stage strategy. First, a point selection strategy is applied for obta…
▽ More
We present the Continuous Empirical Cubature Method (CECM), a novel algorithm for empirically devising efficient integration rules. The CECM aims to improve existing cubature methods by producing rules that are close to the optimal, featuring far less points than the number of functions to integrate.
The CECM consists on a two-stage strategy. First, a point selection strategy is applied for obtaining an initial approximation to the cubature rule, featuring as many points as functions to integrate. The second stage consists in a sparsification strategy in which, alongside the indexes and corresponding weights, the spatial coordinates of the points are also considered as design variables. The positions of the initially selected points are changed to render their associated weights to zero, and in this way, the minimum number of points is achieved.
Although originally conceived within the framework of hyper-reduced order models (HROMs), we present the method's formulation in terms of generic vector-valued functions, thereby accentuating its versatility across various problem domains. To demonstrate the extensive applicability of the method, we conduct numerical validations using univariate and multivariate Lagrange polynomials. In these cases, we show the method's capacity to retrieve the optimal Gaussian rule. We also asses the method for an arbitrary exponential-sinusoidal function in a 3D domain, and finally consider an example of the application of the method to the hyperreduction of a multiscale finite element model, showcasing notable computational performance gains.
A secondary contribution of the current paper is the Sequential Randomized SVD (SRSVD) approach for computing the Singular Value Decomposition (SVD) in a column-partitioned format. The SRSVD is particularly advantageous when matrix sizes approach memory limitations.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Non-Commutative Harmonic and Subharmonic Polynomials
Authors:
J. William Helton,
Daniel P. McAllaster,
Joshua A. Hernandez
Abstract:
The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have Lap[p,h]=h^2Δ_x p where Δ_x p is the usual Laplacian. A symmetric polynomial in symmetric variables will be called harmonic if Lap[p,h]=0 and subharmonic if the po…
▽ More
The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have Lap[p,h]=h^2Δ_x p where Δ_x p is the usual Laplacian. A symmetric polynomial in symmetric variables will be called harmonic if Lap[p,h]=0 and subharmonic if the polynomial q(x,h):=Lap[p,h] takes positive semidefinite matrix values whenever matrices X_1,..., X_g, H are substituted for the variables x_1,...,x_g, h. In this paper we classify all homogeneous symmetric harmonic and subharmonic polynomials in two symmetric variables. We find there are not many of them: for example, the span of all such subharmonics of any degree higher than 4 has dimension 2 (if odd degree) and 3 (if even degree). Hopefully, the approach here will suggest ways of defining and analyzing other partial differential equations and inequalities.
△ Less
Submitted 26 September, 2009;
originally announced September 2009.
