-
A Jacquet-Langlands functor for $p$-adic locally analytic representations
Authors:
Gabriel Dospinescu,
Juan Esteban Rodríguez Camargo
Abstract:
We study the locally analytic theory of infinite level local Shimura varieties. As a main result, we prove that in the case of a duality of local Shimura varieties, the locally analytic vectors of different period sheaves at infinite level are independent of the actions of the $p$-adic Lie groups $G$ and $G_b$ of the two towers; this generalizes a result of Pan for the Lubin-Tate and Drinfeld spac…
▽ More
We study the locally analytic theory of infinite level local Shimura varieties. As a main result, we prove that in the case of a duality of local Shimura varieties, the locally analytic vectors of different period sheaves at infinite level are independent of the actions of the $p$-adic Lie groups $G$ and $G_b$ of the two towers; this generalizes a result of Pan for the Lubin-Tate and Drinfeld spaces for $GL_2$. We apply this theory to show that the $p$-adic Jacquet-Langlands functor of Scholze commutes with the passage to locally analytic vectors, and is compatible with central characters of Lie algebras. We also prove that the compactly supported de Rham cohomology of the two towers are isomorphic as smooth representations of $G\times G_b$.
△ Less
Submitted 1 July, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
More on $\mathcal{T}$-closed sets
Authors:
Javier Camargo,
Sergio Macías
Abstract:
We consider properties of the diagonal of a continuum that are used later in the paper. We continue the study of $T$-closed subsets of a continuum $X$. We prove that for a continuum $X$, the statements: $Δ_X$ is a nonblock subcontinuum of $X^2$, $Δ_X$ is a shore subcontinuum of $X^2$ and $Δ_X$ is not a strong centre of $X^2$ are equivalent, this result answers in the negative Questions 35 and 36 a…
▽ More
We consider properties of the diagonal of a continuum that are used later in the paper. We continue the study of $T$-closed subsets of a continuum $X$. We prove that for a continuum $X$, the statements: $Δ_X$ is a nonblock subcontinuum of $X^2$, $Δ_X$ is a shore subcontinuum of $X^2$ and $Δ_X$ is not a strong centre of $X^2$ are equivalent, this result answers in the negative Questions 35 and 36 and Question 38 ($i\in\{4,5\}$) of the paper ``Diagonals on the edge of the square of a continuum, by A. Illanes, V. Martínez-de-la-Vega, J. M. Martínez-Montejano and D. Michalik''. We also include an example, giving a negative answer to Question 1.2 of the paper ``Concerning when $F_1(X)$ is a continuum of colocal connectedness in hyperspaces and symmetric products, Colloquium Math., 160 (2020), 297-307'', by V. Martínez-de-la-Vega, J. M. Martínez-Montejano. We characterised the $T$-closed subcontinua of the square of the pseudo-arc. We prove that the $T$-closed sets of the product of two continua is compact if and only if such product is locally connected. We show that for a chainable continuum $X$, $Δ_X$ is a $T$-closed subcontinuum of $X^2$ if and only if $X$ is an arc. We prove that if $X$ is a continuum with the property of Kelley, then the following are equivalent: $Δ_X$ is a $T$-closed subcontinuum of $X^2$, $X^2\setminusΔ_X$ is strongly continuumwise connected, $Δ_X$ is a subcontinuum of colocal connectedness, and $X^2\setminusΔ_X$ is continuumwise connected. We give models for the families of $T$-closed sets and $T$-closed subcontinua of various families of continua.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The analytic de Rham stack in rigid geometry
Authors:
Juan Esteban Rodríguez Camargo
Abstract:
Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of $D$-cap-modules of Ardakov and Wadsley to the theory of analytic $D$-modules. We prove some foundational results such as the existence of a six functor formalism and Poincar…
▽ More
Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of $D$-cap-modules of Ardakov and Wadsley to the theory of analytic $D$-modules. We prove some foundational results such as the existence of a six functor formalism and Poincaré duality for analytic $D$-modules, generalizing previous work of Bode. Finally, we relate the theory of analytic $D$-modules to previous work of the author with Rodrigues Jacinto on solid locally analytic representations of $p$-adic Lie groups.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Solid locally analytic representations
Authors:
Joaquín Rodrigues Jacinto,
Juan Esteban Rodríguez Camargo
Abstract:
We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and solid smooth representations. We show that the category of solid locally analytic representations of a compact $p$-adic Lie group is equivalent to that of quasi-co…
▽ More
We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and solid smooth representations. We show that the category of solid locally analytic representations of a compact $p$-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions, generalizing a classical result of Schneider and Teitelbaum. For arbitrary $G$, we prove an equivalence between solid locally analytic representations and quasi-coherent sheaves over certain locally analytic classifying stack over $G$. We also extend our previous cohomological comparison results from the case of a compact group defined over $\mathbb{Q}_p$ to the case of an arbitrary group, generalizing results of Lazard and Casselman-Wigner. Finally, we study an application to the locally analytic $p$-adic Langlands correspondence for $\mathrm{GL}_1$.
△ Less
Submitted 13 March, 2025; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Locally analytic completed cohomology
Authors:
J. E. Rodríguez Camargo
Abstract:
We compute the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, we obtain the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.
We compute the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, we obtain the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.
△ Less
Submitted 28 August, 2024; v1 submitted 30 August, 2022;
originally announced September 2022.
-
Geometric Sen theory over rigid analytic spaces
Authors:
J. E. Rodríguez Camargo
Abstract:
In this work we develop geometric Sen theory for rigid analytic spaces, generalizing the previous work of Pan for curves. We also extend the axiomatic Sen-Tate formalism of Berger-Colmez to a certain class of locally analytic representations.
In this work we develop geometric Sen theory for rigid analytic spaces, generalizing the previous work of Pan for curves. We also extend the axiomatic Sen-Tate formalism of Berger-Colmez to a certain class of locally analytic representations.
△ Less
Submitted 26 May, 2025; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Nonblockers for hereditarily decomposable continua with the property of Kelley
Authors:
Javier Camargo,
Mayra Ferreira
Abstract:
Given a continuum $X$, let $\mathcal{NB} (\mathcal{F}_1(X))$ be the hyperspace of nonblockers of $\mathcal{F}_1(X)$. In this paper, we show that if $X$ is hereditarily decomposable with the property of Kelley such that $\mathcal{NB} (\mathcal{F}_1(X))$ is a continuum, then $X$ is a simple closed curve. Thus, we characterize the simple closed curve as the unique hereditarily decomposable continuum…
▽ More
Given a continuum $X$, let $\mathcal{NB} (\mathcal{F}_1(X))$ be the hyperspace of nonblockers of $\mathcal{F}_1(X)$. In this paper, we show that if $X$ is hereditarily decomposable with the property of Kelley such that $\mathcal{NB} (\mathcal{F}_1(X))$ is a continuum, then $X$ is a simple closed curve. Thus, we characterize the simple closed curve as the unique hereditarily decomposable continuum with the property of Kelley $X$ such that its hyperspace $\mathcal{NB} (\mathcal{F}_1(X))$ is a continuum.
△ Less
Submitted 15 February, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Solid locally analytic representations of $p$-adic Lie groups
Authors:
Joaquín Rodrigues Jacinto,
Juan Esteban Rodríguez Camargo
Abstract:
We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between continuous, locally analytic and Lie algebra cohomology to solid representations. We also prove a comparison result between the group cohomology of a solid represen…
▽ More
We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between continuous, locally analytic and Lie algebra cohomology to solid representations. We also prove a comparison result between the group cohomology of a solid representation and of its analytic vectors.
△ Less
Submitted 13 April, 2022; v1 submitted 22 October, 2021;
originally announced October 2021.
-
p-adic Eichler-Shimura maps for the modular curve
Authors:
Juan Esteban Rodríguez Camargo
Abstract:
We give a new proof of Faltings's p-adic Eichler-Shimura decomposition of the modular curves via BGG methods and the Hodge-Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was already used in the original proof. Then, we construct overconvergent Eichler-Shimura (ES) maps for the modular curves providing ''the second half'' of the overconve…
▽ More
We give a new proof of Faltings's p-adic Eichler-Shimura decomposition of the modular curves via BGG methods and the Hodge-Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was already used in the original proof. Then, we construct overconvergent Eichler-Shimura (ES) maps for the modular curves providing ''the second half'' of the overconvergent ES map of Andreatta-Iovita-Stevens. We use higher Coleman theory on the modular curve developed by Boxer-Pilloni to show that the small slope part of the ES maps interpolates the classical p-adic Eichler-Shimura decompositions. Finally, we prove that the overconvergent ES maps are compatible with Poincaré and Serre pairings.
△ Less
Submitted 6 February, 2023; v1 submitted 25 February, 2021;
originally announced February 2021.
-
An integral model of the perfectoid modular curve
Authors:
Juan Esteban Rodríguez Camargo
Abstract:
We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the coherent cohomology of the integral perfectoid curve. Specializing to the structural sheaf, we can describe the dual of the completed cohomology as the inverse l…
▽ More
We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the coherent cohomology of the integral perfectoid curve. Specializing to the structural sheaf, we can describe the dual of the completed cohomology as the inverse limit of the integral cusp forms of weight $2$ and trace maps.
△ Less
Submitted 23 June, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Learning from students' perception on professors through opinion mining
Authors:
Vladimir Vargas-Calderón,
Juan S. Flórez,
Leonel F. Ardila,
Nicolas Parra-A.,
Jorge E. Camargo,
Nelson Vargas
Abstract:
Students' perception of classes measured through their opinions on teaching surveys allows to identify deficiencies and problems, both in the environment and in the learning methodologies. The purpose of this paper is to study, through sentiment analysis using natural language processing (NLP) and machine learning (ML) techniques, those opinions in order to identify topics that are relevant for st…
▽ More
Students' perception of classes measured through their opinions on teaching surveys allows to identify deficiencies and problems, both in the environment and in the learning methodologies. The purpose of this paper is to study, through sentiment analysis using natural language processing (NLP) and machine learning (ML) techniques, those opinions in order to identify topics that are relevant for students, as well as predicting the associated sentiment via polarity analysis. As a result, it is implemented, trained and tested two algorithms to predict the associated sentiment as well as the relevant topics of such opinions. The combination of both approaches then becomes useful to identify specific properties of the students' opinions associated with each sentiment label (positive, negative or neutral opinions) and topic. Furthermore, we explore the possibility that students' perception surveys are carried out without closed questions, relying on the information that students can provide through open questions where they express their opinions about their classes.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
A macroelement stabilization for multiphase poromechanics
Authors:
Julia T. Camargo,
Joshua A. White,
Ronaldo I. Borja
Abstract:
Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equations and a finite volume scheme for the mass balance equations. When applied within a fully-implicit solution strategy, however, this discretizati…
▽ More
Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equations and a finite volume scheme for the mass balance equations. When applied within a fully-implicit solution strategy, however, this discretization is not intrinsically stable. In the limit of small time steps or low permeabilities, spurious oscillations in the pressure field, i.e. checkerboarding, may be observed. Further, eigenvalues associated with the spurious modes will control the conditioning of the matrices and can dramatically degrade the convergence rate of iterative linear solvers. Here, we propose a stabilization technique in which the balance of mass equations are supplemented with stabilizing flux terms on a macroelement basis. The additional stabilization terms are dependent on a stabilization parameter. We identify an optimal value for this parameter using an analysis of the eigenvalue distribution of the macroelement Schur complement matrix. The resulting method is simple to implement and preserves the underlying sparsity pattern of the original discretization. Another appealing feature of the method is that mass is exactly conserved on macroelements, despite the addition of artificial fluxes. The efficacy of the proposed technique is demonstrated with several numerical examples.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
Equicontinuity of maps on dendrites
Authors:
Javier Camargo,
Michael Rincón,
Carlos Uzcátegui
Abstract:
Given a dendrite $X$ and a continuous map $f\colon X\to X$, we show the following are equivalent: (i) $ω_f$ is continuous and $\overline{\mathrm{Per}(f)}=\bigcap_{n\in\mathbb{N}}f^n(X)$; (ii) $ω(x,f)=Ω(x,f)$ for each $x\in X$; and (iii) $f$ is equicontinuous. Furthermore, we present some examples illustrating our results.
Given a dendrite $X$ and a continuous map $f\colon X\to X$, we show the following are equivalent: (i) $ω_f$ is continuous and $\overline{\mathrm{Per}(f)}=\bigcap_{n\in\mathbb{N}}f^n(X)$; (ii) $ω(x,f)=Ω(x,f)$ for each $x\in X$; and (iii) $f$ is equicontinuous. Furthermore, we present some examples illustrating our results.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
The hyperspace of non blockers of $F_1(X)$
Authors:
Javier Camargo,
David Maya,
Luis Ortiz
Abstract:
A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense in $X$. We denote the collection of all non-empty closed subset $B$ of $X$ such that $B$ does not block each element of $X\setminus B$ by $NB(F_1(X))$. In this p…
▽ More
A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense in $X$. We denote the collection of all non-empty closed subset $B$ of $X$ such that $B$ does not block each element of $X\setminus B$ by $NB(F_1(X))$. In this paper we show some properties of the hyperspace $NB(F_1(X))$. Particularly, we prove that the simple closed curve is the unique continuum $X$ such that $NB(F_1(X))=F_1(X)$, given a positive answer to a question posed by Escobedo, Estrada-Obregón and Villanueva in 2012.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Selective separability on spaces with an analytic topology
Authors:
J. Camargo,
C. Uzcategui
Abstract:
We study two form of selective selective separability, $SS$ and $SS^+$, on countable spaces with an analytic topology. We show several Ramsey type properties which imply $SS$. For analytic spaces $X$, $SS^+$ is equivalent to have that the collection of dense sets is a $G_δ$ subset of $2^X$, and also equivalent to the existence of a weak base which is an $F_σ$-subset of $2^X$. We study several exam…
▽ More
We study two form of selective selective separability, $SS$ and $SS^+$, on countable spaces with an analytic topology. We show several Ramsey type properties which imply $SS$. For analytic spaces $X$, $SS^+$ is equivalent to have that the collection of dense sets is a $G_δ$ subset of $2^X$, and also equivalent to the existence of a weak base which is an $F_σ$-subset of $2^X$. We study several examples of analytic spaces.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
Path connectedness, local path connectedness and contractibility of $\mathcal{S}_c(X)$
Authors:
Javier Camargo,
David Maya,
Patricia Pellicer-Covarrubias
Abstract:
The hyperspace of all nontrivial convergent sequences in a Hausdorff space $X$ is denoted by $\mathcal{S}_c(X)$. This hyperspace is endowed with the Vietoris topology. In connection with a question and a problem by García-Ferreira, Ortiz-Castillo and Rojas-Hernández, concerning conditions under which $\mathcal S_c(X)$ is pathwise connected, in the current paper we study the latter property and the…
▽ More
The hyperspace of all nontrivial convergent sequences in a Hausdorff space $X$ is denoted by $\mathcal{S}_c(X)$. This hyperspace is endowed with the Vietoris topology. In connection with a question and a problem by García-Ferreira, Ortiz-Castillo and Rojas-Hernández, concerning conditions under which $\mathcal S_c(X)$ is pathwise connected, in the current paper we study the latter property and the contractibility of $\mathcal{S}_c(X)$. We present necessary conditions on a space $X$ to obtain the path connectedness of $\mathcal{S}_c(X)$. We also provide some sufficient conditions on a space $X$ to obtain such path connectedness. Further, we characterize the local path connectedness of $\mathcal{S}_c(X)$ in terms of that of $X$. We prove the contractibility of $\mathcal{S}_c(X)$ for a class of spaces and, finally, we study the connectedness of Whitney blocks and Whitney levels for $\mathcal{S}_c(X)$.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
Some topological and combinatorial properties preserved by inverse limits
Authors:
Javier Camargo,
Carlos Uzcategui
Abstract:
We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces.
We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces.
△ Less
Submitted 15 September, 2017;
originally announced September 2017.
-
Continuity of the Jones' set function $\mathcal{T}$
Authors:
Javier Camargo,
Carlos Uzcategui
Abstract:
Given a continuum $X$, for each $A\subseteq X$, the Jones' set function $\mathcal{T}$ is defined by $\mathcal{T}(A)=\{x\in X : \text{for each subcontinuum }K\text{ such that }x\in \textrm{Int}(K), \text{ then }K\cap A\neq\emptyset\}.$ We show that $\mathcal{D}=\{\mathcal{T}(\{x\}):x\in X\}$ is decomposition of $X$ when $\mathcal{T}$ is continuous. We present a characterization of the continuity of…
▽ More
Given a continuum $X$, for each $A\subseteq X$, the Jones' set function $\mathcal{T}$ is defined by $\mathcal{T}(A)=\{x\in X : \text{for each subcontinuum }K\text{ such that }x\in \textrm{Int}(K), \text{ then }K\cap A\neq\emptyset\}.$ We show that $\mathcal{D}=\{\mathcal{T}(\{x\}):x\in X\}$ is decomposition of $X$ when $\mathcal{T}$ is continuous. We present a characterization of the continuity of $\mathcal{T}$ and answer several open questions posed by D. Bellamy.
△ Less
Submitted 22 November, 2015;
originally announced November 2015.
