Showing 1–5 of 5 results for author: Santiago, J

Genus one $H$-surfaces with $k$-ends in $\mathbb{H}^2\times\mathbb{R}$

Authors: Jesús Castro-Infantes, José S. Santiago

Abstract: We construct two different families of properly Alexandrov-immersed surfaces in $\mathbb{H}^2\times \mathbb{R}$ with constant mean curvature $0<H\leq \frac 1 2$, genus one and $k\geq2$ ends ($k=2$ only for one of these families). These ends are asymptotic to vertical $H$-cylinders for $0<H<\frac 1 2$. This shows that there is not a Schoen-type theorem for immersed surfaces with positive constant m… ▽ More We construct two different families of properly Alexandrov-immersed surfaces in $\mathbb{H}^2\times \mathbb{R}$ with constant mean curvature $0<H\leq \frac 1 2$, genus one and $k\geq2$ ends ($k=2$ only for one of these families). These ends are asymptotic to vertical $H$-cylinders for $0<H<\frac 1 2$. This shows that there is not a Schoen-type theorem for immersed surfaces with positive constant mean curvature in $\mathbb{H}^2\times\mathbb{R}$. These surfaces are obtained by means of a conjugate construction. △ Less

Submitted 29 October, 2024; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: 26 pages, 10 figures. This is the second version

Boolean valued semantics for infinitary logics

Authors: Juan M. Santiago, Matteo Viale

Abstract: It is well known that the completeness theorem for $\mathrm{L}_{ω_1ω}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $\mathrm{L}_{\infty\infty}$ if one replaces Tarski semantics with boolean valued semantics. We use forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for $\mathrm{L}_{\inftyω}$). Leveraging on our completen… ▽ More It is well known that the completeness theorem for $\mathrm{L}_{ω_1ω}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $\mathrm{L}_{\infty\infty}$ if one replaces Tarski semantics with boolean valued semantics. We use forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for $\mathrm{L}_{\inftyω}$). Leveraging on our completeness result, we establish the Craig interpolation property and a strong version of the omitting types theorem for $\mathrm{L}_{\inftyω}$ with respect to boolean valued semantics. We also show that a weak version of these results holds for $\mathrm{L}_{\infty\infty}$ (if one leverages instead on Mansfield's completeness theorem). Furthermore we bring to light (or in some cases just revive) several connections between the infinitary logic $\mathrm{L}_{\inftyω}$ and the forcing method in set theory. △ Less

Submitted 12 May, 2023; v1 submitted 17 December, 2021; originally announced December 2021.

MSC Class: 03C75; 03E40

Explicit Constructions of Finite Groups as Monodromy Groups

Authors: Ra-Zakee Muhammad, Javier Santiago, Eyob Tsegaye

Abstract: In 1963, Greenberg proved that every finite group appears as the monodromy group of some morphism of Riemann surfaces. In this paper, we give two constructive proofs of Greenberg's result. First, we utilize free groups, which given with the universal property and their construction as discrete subgroups of $\operatorname{PSL}_2(\mathbb{R})$, yield a very natural realization of finite groups as mon… ▽ More In 1963, Greenberg proved that every finite group appears as the monodromy group of some morphism of Riemann surfaces. In this paper, we give two constructive proofs of Greenberg's result. First, we utilize free groups, which given with the universal property and their construction as discrete subgroups of $\operatorname{PSL}_2(\mathbb{R})$, yield a very natural realization of finite groups as monodromy groups. We also give a proof of Greenberg's result based on triangle groups $Δ(m, n, k)$. Given any finite group $G$, we make use of subgroups of $Δ(m, n, k)$ in order to explicitly find a morphism $π$ such that $G \simeq \operatorname{Mon}(π)$. △ Less

Submitted 18 March, 2021; originally announced March 2021.

Permutation binomials of the form $x^r(x^{q-1}+a)$ over $\mathbb F_{q^e}$

Authors: Ariane M. Masuda, Ivelisse Rubio, Javier Santiago

Abstract: We present several existence and nonexistence results for permutation binomials of the form $x^r(x^{q-1}+a)$, where $e\geq 2$ and $a\in \mathbb{F}_{q^e}^*$. As a consequence, we obtain a complete characterization of such permutation binomials over $\mathbb{F}_{q^2}$, $\mathbb{F}_{q^3}$, $\mathbb{F}_{q^4}$, $\mathbb{F}_{p^5}$, and $\mathbb{F}_{p^6}$, where $p$ is an odd prime. We present several existence and nonexistence results for permutation binomials of the form $x^r(x^{q-1}+a)$, where $e\geq 2$ and $a\in \mathbb{F}_{q^e}^*$. As a consequence, we obtain a complete characterization of such permutation binomials over $\mathbb{F}_{q^2}$, $\mathbb{F}_{q^3}$, $\mathbb{F}_{q^4}$, $\mathbb{F}_{p^5}$, and $\mathbb{F}_{p^6}$, where $p$ is an odd prime. △ Less

Submitted 2 February, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: Revised version with a new title

MSC Class: 11T06 (Primary) 05A05; 11T55 (Secondary)

Journal ref: Finite Fields Appl. 79 (2022), 102003

Solution for the nonlinear relativistic harmonic oscillator via Laplace-Adomian decomposition method

Authors: O. González-Gaxiola, J. A. Santiago, J. Ruiz de Chávez

Abstract: Far as we know there are not exact solutions to the equation of motion for a relativistic harmonic oscillator. In this paper, the relativistic harmonic oscillator equation which is a nonlinear ordinary differential equation is studied by means of a combined use of the Adomian Decomposition Method and the Laplace Transform (LADM). The results that we have obtained, a series of powers of functions,… ▽ More Far as we know there are not exact solutions to the equation of motion for a relativistic harmonic oscillator. In this paper, the relativistic harmonic oscillator equation which is a nonlinear ordinary differential equation is studied by means of a combined use of the Adomian Decomposition Method and the Laplace Transform (LADM). The results that we have obtained, a series of powers of functions, have never been reported and show a very good match when compared with other approximate solutions, obtained by different methods. The method here proposed works with high degree of accuracy and because it requires less computational effort, it is very convenient to solve this kind of nonlinear differential equations. △ Less

Submitted 27 May, 2016; originally announced June 2016.

Comments: 16 pages, 8 figures