Showing 1–50 of 53 results for author: Santos, J P

Singular varieties and infinitesimal non-commutative Witt vectors

Authors: Phùng Hô Hai, João Pedro dos Santos, Đào Văn Thinh

Abstract: Given a projective variety $X$ over an algebraically closed field $k$, M. V. Nori introduced in 1976 a group scheme $π(X)$ which accounts for principal bundles $P\to X$ with finite structure, obtaining in this way an amplification the etale fundamental group. One drawback of this theory is that it is quite difficult to arrive at an explicit description of $π(X)$, whenever it does not vanish altoge… ▽ More Given a projective variety $X$ over an algebraically closed field $k$, M. V. Nori introduced in 1976 a group scheme $π(X)$ which accounts for principal bundles $P\to X$ with finite structure, obtaining in this way an amplification the etale fundamental group. One drawback of this theory is that it is quite difficult to arrive at an explicit description of $π(X)$, whenever it does not vanish altogether. To wit, there are no known non-trivial examples in the literature where $π(X)$ is local, or local of some given height, etc. In this paper we obtain a description of $π(X)$ through amalgamated products of certain non-commutative local group schemes - we called them infinitesimal non-commutative Witt group schemes - in the case where $X$ is a non-normal variety obtained by pinching a simply connected one. △ Less

Submitted 9 July, 2025; originally announced July 2025.

On the geometry of the asymptotic boundary of translators in $\mathbb H^2\times \mathbb R$

Authors: Giuseppe Pipoli, Joao Paulo dos Santos, Giuseppe Tinaglia

Abstract: In this work, we study complete properly immersed translators in the product space $\mathbb H^2\times\mathbb R$, focusing on their asymptotic behavior at infinity. We classify the asymptotic boundary components of these translators under suitable continuity assumptions. Specifically, we prove that if a boundary component lies in the vertical asymptotic boundary, it is of the form… ▽ More In this work, we study complete properly immersed translators in the product space $\mathbb H^2\times\mathbb R$, focusing on their asymptotic behavior at infinity. We classify the asymptotic boundary components of these translators under suitable continuity assumptions. Specifically, we prove that if a boundary component lies in the vertical asymptotic boundary, it is of the form $\{p\}\times [T,\infty)$ or $\{p\}\times \mathbb R$, while if it lies in the horizontal asymptotic boundary, it is a complete geodesic. Our approach is inspired by earlier work on minimal and constant mean curvature surfaces in $\mathbb H^2\times\mathbb R$, with a key ingredient being the use of symmetric translators as barriers. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 16 pages, 16 figures. Comments are welcome

MSC Class: 53A10; 53C42; 53C44

Finest decomposition coarsening of reaction networks of biochemical systems

Authors: Bryan S. Hernandez, Juan Paolo C. Santos, Patrick Vincent N. Lubenia, Eduardo R. Mendoza

Abstract: Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced… ▽ More Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced steady states are found by solving $I_a \cdot K(x)=0$. To investigate these complex networks, decomposition techniques are important, in particular, for computing steady states. Previously, we identified a widespread property across many networks: the existence of independent and incidence-independent decompositions, characterized by the ability to directly sum the stoichiometric and incidence matrices of the subnetworks, respectively, to match those of the entire network. Here, we discover the ubiquitous property that we call the Finest Decomposition Coarsening (FDC), where the finest independent decomposition (FID) is a coarsening of the finest incidence-independent decomposition (FIID). To support the analysis of this property, we introduce a MATLAB package designed to compute both these decompositions. We then characterize the FDC property and its relationship to structural factors such as the invertibility of the molecularity matrix. We also introduce and characterize the Finest Decompositions Equality (FDE) property, where FIID equals FID. Notably, we show that all deficiency zero networks exhibit the FDE property. Furthermore, we establish important relationships of the FID and FIID with decomposition of the network into its connected components. Our results highlight the prevalence of the coarsening property in reaction networks and deepens the understanding of the algebraic structure and dynamics of biochemical networks. △ Less

Submitted 4 December, 2024; originally announced December 2024.

On commutators of unipotent matrices of index 2

Authors: Kennett L. Dela Rosa, Juan Paolo C. Santos

Abstract: A commutator of unipotent matrices of index 2 is a matrix of the form $XYX^{-1}Y^{-1}$, where $X$ and $Y$ are unipotent matrices of index 2, that is, $X\ne I_n$, $Y\ne I_n$, and $(X-I_n)^2=(Y-I_n)^2=0_n$. If $n>2$ and $\mathbb F$ is a field with $|\mathbb F|\geq 4$, then it is shown that every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most four commutators of unipot… ▽ More A commutator of unipotent matrices of index 2 is a matrix of the form $XYX^{-1}Y^{-1}$, where $X$ and $Y$ are unipotent matrices of index 2, that is, $X\ne I_n$, $Y\ne I_n$, and $(X-I_n)^2=(Y-I_n)^2=0_n$. If $n>2$ and $\mathbb F$ is a field with $|\mathbb F|\geq 4$, then it is shown that every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most four commutators of unipotent matrices of index 2. Consequently, every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most eight unipotent matrices of index 2. Conditions on $\mathbb F$ are given that improve the upper bound on the commutator factors from four to three or two. The situation for $n=2$ is also considered. This study reveals a connection between factorability into commutators of unipotent matrices and properties of $\mathbb F$ such as its characteristic or its set of perfect squares. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 23 pages

MSC Class: 15A21; 15A23; 15B33; 15B99; 20H20

Hypersurfaces of $\mathbb{S}^3 \times \mathbb{R}$ and $\mathbb{H}^3 \times \mathbb{R}$ with constant principal curvatures

Authors: Fernando Manfio, João Batista Marques dos Santos, João Paulo dos Santos, Joeri Van der Veken

Abstract: We classify the hypersurfaces of $\mathbb{Q}^3\times\mathbb{R}$ with three distinct constant principal curvatures, where $\varepsilon \in \{1,-1\}$ and $\mathbb{Q}^3$ denotes the unit sphere $\mathbb{S}^3$ if $\varepsilon = 1$, whereas it denotes the hyperbolic space $\mathbb{H}^3$ if $\varepsilon = -1$. We show that they are cylinders over isoparametric surfaces in $\mathbb{Q}^3$, filling an intr… ▽ More We classify the hypersurfaces of $\mathbb{Q}^3\times\mathbb{R}$ with three distinct constant principal curvatures, where $\varepsilon \in \{1,-1\}$ and $\mathbb{Q}^3$ denotes the unit sphere $\mathbb{S}^3$ if $\varepsilon = 1$, whereas it denotes the hyperbolic space $\mathbb{H}^3$ if $\varepsilon = -1$. We show that they are cylinders over isoparametric surfaces in $\mathbb{Q}^3$, filling an intriguing gap in the existing literature. We also prove that the hypersurfaces with constant principal curvatures of $\mathbb{Q}^3\times\mathbb{R}$ are isoparametric. Furthermore, we provide the complete classification of the extrinsically homogeneous hypersurfaces in $\mathbb{Q}^3\times\mathbb{R}$. △ Less

Submitted 12 September, 2024; originally announced September 2024.

MSC Class: 53C40 (Primary); 53C42 (Secondary)

Distributions with locally free tangent sheaf

Authors: J. V. Pereira, J. P. dos Santos

Abstract: In the paper Stability of Holomorphic Foliations with Split Tangent Sheaf one finds a study of the locus $\mathrm{Dec}$ where the tangent sheaf of a {\it family} of foliations in $\mathbb{P}_{\mathbb C}^n$ is {\it decomposable}, i.e. a sum of line bundles. A prime conclusion is an ``openness'' result: once the singular locus has sufficiently large codimension, $\mathrm{Dec}$ turns out to be open.… ▽ More In the paper Stability of Holomorphic Foliations with Split Tangent Sheaf one finds a study of the locus $\mathrm{Dec}$ where the tangent sheaf of a {\it family} of foliations in $\mathbb{P}_{\mathbb C}^n$ is {\it decomposable}, i.e. a sum of line bundles. A prime conclusion is an ``openness'' result: once the singular locus has sufficiently large codimension, $\mathrm{Dec}$ turns out to be open. In the present paper, we study the locus $\mathrm{LF}$ of points of a family of distributions where the tangent sheaf is {\it locally free}. Through general Commutative Algebra, we show that $\mathrm{LF}$ is open provided that singularities have codimension at least three. When dealing with foliations rather than distributions, the condition on the lower bound of the singular set can be weakened by the introduction of ``Kupka'' points. We apply the available ``openness'' results to families in $\mathbb{P}_{\mathbb C}^n$ and in $\mathcal B$, the variety of Borel subgroups of a simple group. By establishing a theorem putting in bijection irreducible components of the space of two-dimensional subalgebras of a given semi-simple Lie algebra and its nilpotent orbits, we conclude that the space of foliations of {\it rank two} on $\mathbb{P}_{\mathbb C}^n$ and $\mathcal B$, may have quite many irreducible components as $n$ and $\dim \mathcal B$ grow. We also set in place several algebro-geometric foundations for the theory of families of distributions in two appendices. △ Less

Submitted 12 February, 2025; v1 submitted 19 August, 2024; originally announced August 2024.

Comments: Minor changes to the text

MSC Class: 14F10; 32M25; 13C05; 17B45; 14L10; 14J60

Stationary surfaces of height-dependent weighted area functionals in $\mathbb{R}^3$ and $\mathbb{L}^3$

Authors: Antonio Martínez, A. L. Martínez-Triviño, J. P. dos Santos

Abstract: We describe a general correspondence between weighted minimal surfaces in $\mathbb{R}^3$ and weighted maximal surfaces with some admissible singularities in $\mathbb{L}^3$, for a class of functions $\varphi$ which provides the corresponding weight. For these families of surfaces, we provide a Weierstrass representation when $\dot{\varphi}\neq 0$ and analyze in detail the asymptotic behavior of bot… ▽ More We describe a general correspondence between weighted minimal surfaces in $\mathbb{R}^3$ and weighted maximal surfaces with some admissible singularities in $\mathbb{L}^3$, for a class of functions $\varphi$ which provides the corresponding weight. For these families of surfaces, we provide a Weierstrass representation when $\dot{\varphi}\neq 0$ and analyze in detail the asymptotic behavior of both such a weighted maximal surface around its singular set and its corresponding weighted minimal immersion around the nodal set of its angle function, establishing criteria that allow us to easily determine the type of singularity and classify the associated moduli spaces. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Uniqueness of static vacuum asymptotically flat black holes and equipotential photon surfaces in $n+1$ dimensions à la Robinson

Authors: Carla Cederbaum, Albachiara Cogo, Benedito Leandro, João Paulo dos Santos

Abstract: In this paper, we combine and generalize to higher dimensions the approaches to proving the uniqueness of connected (3+1)-dimensional static vacuum asymptotically flat black hole spacetimes by Müller zum Hagen--Robinson--Seifert and by Robinson. Applying these techniques, we prove and/or reprove geometric inequalities for connected (n + 1)-dimensional static vacuum asymptotically flat spacetimes w… ▽ More In this paper, we combine and generalize to higher dimensions the approaches to proving the uniqueness of connected (3+1)-dimensional static vacuum asymptotically flat black hole spacetimes by Müller zum Hagen--Robinson--Seifert and by Robinson. Applying these techniques, we prove and/or reprove geometric inequalities for connected (n + 1)-dimensional static vacuum asymptotically flat spacetimes with either black hole or equipotential photon surface or specifically photon sphere inner boundary. In particular, assuming a natural upper bound on the total scalar curvature of the boundary, we recover and extend the well-known uniqueness results for such black hole and equipotential photon surface spacetimes. We also relate our results and proofs to existing results, in particular to those by Agostiniani--Mazzieri and by Nozawa--Shiromizu--Izumi--Yamada. △ Less

Submitted 2 December, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: extended to full range of powers p up to critical value p_n, added the analytical details to handle the case of such small p, connected to Nozawa--Shiromizu--Izumi--Yamada, improved to contain a complete analysis of the vanishing of the T-tensor

MSC Class: 83C15; 83C57; 53C24

Rotators-Translators to Mean Curvature Flow in $\mathbb H^2\times\mathbb R$

Authors: Ronaldo F. de Lima, Álvaro K. Ramos, João Paulo dos Santos

Abstract: We establish the existence of one-parameter families of helicoidal surfaces of $\mathbb H^2\times\mathbb R$ which, under mean curvature flow, simultaneously rotate about a vertical axis and translate vertically. We establish the existence of one-parameter families of helicoidal surfaces of $\mathbb H^2\times\mathbb R$ which, under mean curvature flow, simultaneously rotate about a vertical axis and translate vertically. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 10 pages, 4 figures. arXiv admin note: text overlap with arXiv:2307.14136

Fiber criteria for flatness and homomorphisms of flat affine group schemes

Authors: Phùng Hô Hai, Hop D. Nguyen, João Pedro dos Santos

Abstract: A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes. A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 23 pages; comments welcome

MSC Class: 13C11; 14L15; 14L17

On the monodromy of holomorphic differential systems

Authors: Indranil Biswas, Sorin Dumitrescu, Lynn Heller, Sebastian Heller, João Pedro dos Santos

Abstract: First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $Σ_g$ of genus $g\geq 2$, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \cite{BDHH} or some cocompact Kleinian subgroup $$Γ\subset \text{SL}(2, \mathbb C)$$ as in \cite{BDHH2}. As a… ▽ More First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $Σ_g$ of genus $g\geq 2$, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \cite{BDHH} or some cocompact Kleinian subgroup $$Γ\subset \text{SL}(2, \mathbb C)$$ as in \cite{BDHH2}. As a consequence, there exist holomorphic maps from $Σ_g$ to the quotient space $\text{SL}(2, \mathbb C)/ Γ$, where $Γ\subset \text{SL}(2, \mathbb C)$ is a cocompact lattice, that do not factor through any elliptic curve \cite{BDHH2}. This answers positively a question of Ghys in \cite{Gh}; the question was also raised by Huckleberry and Winkelmann in \cite{HW}. Then we prove that when $M$ is a Riemann surface, a Torelli type theorem holds for the affine group scheme over $\mathbb C$ obtained from the category of holomorphic connections on {\it étale trivial} holomorphic bundles. After that, we explain how to compute in a simple way the holonomy of a holomorphic connection on a free vector bundle. Finally, for a compact Kähler manifold $M$, we investigate the neutral Tannakian category given by the holomorphic connections on étale trivial holomorphic bundles over $M$. If $\varpi$ (respectively, $Θ$) stands for the affine group scheme over $\mathbb C$ obtained from the category of connections (respectively, connections on free (trivial) vector bundles), then the natural inclusion produces a morphism $v:{\mathcal O}(Θ)\longrightarrow {\mathcal O}(\varpi)$ of Hopf algebras. We present a description of the transpose of $v$ in terms of the iterated integrals. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: To appear in the Int. Jour. Math. volume in honor of Oscar Garcia-Prada

Topology at infinity of complete gradient Schouten solitons

Authors: Valter Borges, Hector Rosero-Garcia, João Paulo dos Santos

Abstract: In this paper, we study ends of complete gradient non-trivial Schouten solitons. Without any additional assumptions, we show the shrinking ones have finitely many ends, and the expanding ones are connected at infinity. We also provide information regarding the non-parabolicity of the ends in the shrinking setting, and on the behavior of the potential function and volume growth in the expanding cas… ▽ More In this paper, we study ends of complete gradient non-trivial Schouten solitons. Without any additional assumptions, we show the shrinking ones have finitely many ends, and the expanding ones are connected at infinity. We also provide information regarding the non-parabolicity of the ends in the shrinking setting, and on the behavior of the potential function and volume growth in the expanding case. △ Less

Submitted 6 October, 2023; originally announced October 2023.

MSC Class: 35Q51; 53C20; 53C21; 53C25

Ends of shrinking gradient $ρ$-Einstein solitons

Authors: Valter Borges, Hector Rosero-García, João Paulo dos Santos

Abstract: We prove that all ends of a gradient shrinking $ρ$-Einstein soliton are $\varphi$-non-parabolic, provided $ρ$ is nonnegative and the soliton has bounded and nonnegative scalar curvature, where the weight $\varphi$ is a negative multiple of the potential function. We also show these solitons are connected at infinity for $ρ\in\left[0,1/2(n-1)\right)$, $n\geq4$, and a suitable bound for the scalar c… ▽ More We prove that all ends of a gradient shrinking $ρ$-Einstein soliton are $\varphi$-non-parabolic, provided $ρ$ is nonnegative and the soliton has bounded and nonnegative scalar curvature, where the weight $\varphi$ is a negative multiple of the potential function. We also show these solitons are connected at infinity for $ρ\in\left[0,1/2(n-1)\right)$, $n\geq4$, and a suitable bound for the scalar curvature. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 35Q51; 53C20; 53C21; 53C25

Solitons to Mean Curvature Flow in the hyperbolic 3-space

Authors: R. F. de Lima, A. K. Ramos, J. P. dos Santos

Abstract: We consider {translators} (i.e., initial condition of translating solitons) to mean curvature flow (MCF) in the hyperbolic $3$-space $\mathbb H^3$, providing existence and classification results. More specifically, we show the existence and uniqueness of two distinct one-parameter families of complete rotational translators in $\mathbb H^3$, one containing catenoid-type translators, and the other… ▽ More We consider {translators} (i.e., initial condition of translating solitons) to mean curvature flow (MCF) in the hyperbolic $3$-space $\mathbb H^3$, providing existence and classification results. More specifically, we show the existence and uniqueness of two distinct one-parameter families of complete rotational translators in $\mathbb H^3$, one containing catenoid-type translators, and the other parabolic cylindrical ones. We establish a tangency principle for translators in $\mathbb H^3$ and apply it to prove that properly immersed translators to MCF in $\mathbb H^3$ are not cylindrically bounded. As a further application of the tangency principle, we prove that any horoconvex translator which is complete or transversal to the $x_3$-axis is necessarily an open set of a horizontal horosphere. In addition, we classify all translators in $\mathbb H^3$ which have constant mean curvature. We also consider rotators (i.e., initial condition of rotating solitons) to MCF in $\mathbb H^3$ and, after classifying the rotators of constant mean curvature, we show that there exists a one-parameter family of complete rotators which are all helicoidal, bringing to the hyperbolic context a distinguished result by Halldorsson, set in $\mathbb R^3$. △ Less

Submitted 17 December, 2024; v1 submitted 26 July, 2023; originally announced July 2023.

Comments: Refined proofs from previous version

MSC Class: 53E10

A survey on algebraic dilatations

Authors: Adrien Dubouloz, Arnaud Mayeux, João Pedro dos Santos

Abstract: In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and theoretical aspects and the other applications to existing theories. In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and theoretical aspects and the other applications to existing theories. △ Less

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

Isoparametric hypersurfaces in product spaces

Authors: João Batista Marques dos Santos, João Paulo dos Santos

Abstract: In this paper, we characterize and classify the isoparametric hypersurfaces with constant principal curvatures in the product spaces $ \mathbb{Q}^{2}_{c_{1}} \times \mathbb{Q}^{2}_{c_{2}}$, where $\mathbb{Q}^{2}_{c_{i}}$ is a space form with constant sectional curvature $c_{i}$, for $c_1 \neq c_2$. In this paper, we characterize and classify the isoparametric hypersurfaces with constant principal curvatures in the product spaces $ \mathbb{Q}^{2}_{c_{1}} \times \mathbb{Q}^{2}_{c_{2}}$, where $\mathbb{Q}^{2}_{c_{i}}$ is a space form with constant sectional curvature $c_{i}$, for $c_1 \neq c_2$. △ Less

Submitted 19 September, 2022; originally announced September 2022.

MSC Class: 53C40 (Primary); 53C42 (Secondary)

Prolongation of regular singular connections on punctured affine line over a Henselian ring

Authors: Phùng Hô Hai, João Pedro dos Santos, Pham Thanh Tâm, Đào Văn Thinh

Abstract: We generalize Deligne's equivalence between the categories of regular-singular connections on the formal punctured disk and on the punctured affine line to the case where the base is a strictly Henselian discrete valuation ring of equal characteristic 0. We also provide a weaker result when the base is higher dimensional. We generalize Deligne's equivalence between the categories of regular-singular connections on the formal punctured disk and on the punctured affine line to the case where the base is a strictly Henselian discrete valuation ring of equal characteristic 0. We also provide a weaker result when the base is higher dimensional. △ Less

Submitted 2 February, 2024; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: 16 pages, final version, to appear in Communications in Algebra

MSC Class: 12H05; 13N15; 18M05

Journal ref: Communications in Algebra 2024

Isoparametric hypersurfaces of Riemannian manifolds as initial data for the mean curvature flow

Authors: Felippe Guimarães, João Batista Marques dos Santos, João Paulo dos Santos

Abstract: We show that the evolution of isoparametric hypersurfaces of Riemannian manifolds by the mean curvature flow is given by a reparametrization of the parallel family in short time, as long as the uniqueness of the mean curvature flow holds for the initial data and the corresponding ambient space. As an application, we provide a class of Riemannian manifolds that admit hypersurfaces with constant pri… ▽ More We show that the evolution of isoparametric hypersurfaces of Riemannian manifolds by the mean curvature flow is given by a reparametrization of the parallel family in short time, as long as the uniqueness of the mean curvature flow holds for the initial data and the corresponding ambient space. As an application, we provide a class of Riemannian manifolds that admit hypersurfaces with constant principal curvatures, which are not isoparametric hypersurfaces. Furthermore, for a class of ambient spaces, we show that the singularities developed by the mean curvature flow with isoparametric hypersurfaces as the initial data are Type I singularities. We apply our results to describe the evolution of isoparametric hypersurfaces by the mean curvature flow in ambient spaces with nonconstant sectional curvature, such as homogenous 3-manifolds $\mathbb{E}(κ, τ)$ with 4-dimensional isometry groups, and Riemannian products $\mathbb{Q}^2_{c_1} \times \mathbb{Q}^2_{c_2}$ of space forms. △ Less

Submitted 15 June, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: References on submanifolds with higher codimensions were included in this version

MSC Class: 53E10 (Primary); 53C42 (Secondary)

Einstein Hypersurfaces of Warped Product Spaces

Authors: Ronaldo F. de Lima, Fernando Manfio, João P. dos Santos

Abstract: We consider Einstein hypersurfaces of warped products $I\times_ω\mathbb Q_ε^n,$ where $I\subset\mathbb R$ is an open interval and $\mathbb Q_ε^n$ is the simply connected space form of dimension $n\ge 2$ and constant sectional curvature $ε\in\{-1,0,1\}.$ We show that, for all $c\in\mathbb R$ (resp. $c>0$), there exist rotational hypersurfaces of constant sectional curvature $c$ in… ▽ More We consider Einstein hypersurfaces of warped products $I\times_ω\mathbb Q_ε^n,$ where $I\subset\mathbb R$ is an open interval and $\mathbb Q_ε^n$ is the simply connected space form of dimension $n\ge 2$ and constant sectional curvature $ε\in\{-1,0,1\}.$ We show that, for all $c\in\mathbb R$ (resp. $c>0$), there exist rotational hypersurfaces of constant sectional curvature $c$ in $I\times_ω\mathbb H^n$ and $I\times_ω\mathbb R^n$ (resp. $I\times_ω\mathbb S^n$), provided that $ω$ is nonconstant. We also show that the gradient $T$ of the height function of any Einstein hypersurface of $I\times_ω\mathbb Q_ε^n$ (if nonzero) is one of its principal directions. Then, we consider a particular type of Einstein hypersurface of $I\times_ω\mathbb Q_ε^n$ with non vanishing $T$ -- which we call ideal -- and prove that such a hypersurface $Σ$ has either precisely two or precisely three distinct principal curvatures everywhere. We show that, in the latter case, there exist such a $Σ$ for certain warping functions $ω,$ whereas in the former case, $Σ$ is necessarily of constant sectional curvature and rotational, regardless the warping function $ω.$ We also characterize ideal Einstein hypersurfaces of $I\times_ω\mathbb Q_ε^n$ with no vanishing angle function as local graphs on families of isoparametric hypersurfaces of $\mathbb Q_ε^n.$ △ Less

Submitted 23 September, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Elliptic Weingarten Hypersurfaces of Riemannian Products

Authors: Ronaldo F. de Lima, Álvaro K. Ramos, João P. dos Santos

Abstract: Let $M^n$ be either a simply connected space form or a rank-one symmetric space of noncompact type. We consider Weingarten hypersurfaces of $M\times\mathbb R$, which are those whose principal curvatures $k_1,\dots ,k_n$ and angle function $θ$ satisfy a relation $W(k_1,\dots,k_n,θ^2)=0,$ being $W$ a differentiable function which is symmetric with respect to $k_1,\dots, k_n.$ When… ▽ More Let $M^n$ be either a simply connected space form or a rank-one symmetric space of noncompact type. We consider Weingarten hypersurfaces of $M\times\mathbb R$, which are those whose principal curvatures $k_1,\dots ,k_n$ and angle function $θ$ satisfy a relation $W(k_1,\dots,k_n,θ^2)=0,$ being $W$ a differentiable function which is symmetric with respect to $k_1,\dots, k_n.$ When $\partial W/\partial k_i>0$ on the positive cone of $\mathbb R^n,$ a strictly convex Weingarten hypersurface determined by $W$ is said to be elliptic. We show that, for a certain class of Weingarten functions $W,$ there exist rotational strictly convex Weingarten hypersurfaces of $M\times\mathbb R$ which are either topological spheres or entire graphs over $M.$ We establish a Jellett-Liebmann-type theorem by showing that a compact, connected and elliptic Weingarten hypersurface of either $\mathbb S^n\times\mathbb R$ or $\mathbb H^n\times\mathbb R$ is a rotational embedded sphere. Other uniqueness results for complete elliptic Weingarten hypersurfaces of these ambient spaces are obtained. We also obtain existence results for constant scalar curvature hypersurfaces of $\mathbb S^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$ which are either rotational or invariant by translations (parabolic or hyperbolic). We apply our methods to give new proofs of the main results by Manfio and Tojeiro on the classification of constant sectional curvature hypersurfaces of $\mathbb S^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R.$ △ Less

Submitted 7 December, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Uniqueness of the $[\varphi,\vec{e}_{3}]$-catenary cylinders by their asymptotic behaviour

Authors: A. L. Martínez-Triviño, J. P. dos Santos

Abstract: We establish a uniqueness result for the $[\varphi,\vec{e}_{3}]$-catenary cylinders by their asymptotic behaviour. Well known examples of such cylinders are the grim reaper translating solitons for the mean curvature flow. For such solitons, F. Martín, J. Pérez-García, A. Savas-Halilaj and K. Smoczyk proved that, if $Σ$ is a properly embedded translating soliton with locally bounded genus, and… ▽ More We establish a uniqueness result for the $[\varphi,\vec{e}_{3}]$-catenary cylinders by their asymptotic behaviour. Well known examples of such cylinders are the grim reaper translating solitons for the mean curvature flow. For such solitons, F. Martín, J. Pérez-García, A. Savas-Halilaj and K. Smoczyk proved that, if $Σ$ is a properly embedded translating soliton with locally bounded genus, and $\mathcal{C}^{\infty}$-asymptotic to two vertical planes outside a cylinder, then $Σ$ must coincide with some grim reaper translating soliton. In this paper, applying the moving plane method of Alexandrov together with a strong maximum principle for elliptic operators, we increase the family of $[\varphi,\vec{e}_{3}]$-minimal graphs where these types of results hold under different assumption of asymptotic behaviour. △ Less

Submitted 4 August, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

Algebraic theory of formal regular-singular connections with parameters

Authors: Phùng Hô Hai, João Pedro dos Santos, Pham Thanh Tâm

Abstract: This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is algebraically closed and of characteristic zero. It aims at reading the existing classification results as an equivalence between regular-singular systems and representatio… ▽ More This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is algebraically closed and of characteristic zero. It aims at reading the existing classification results as an equivalence between regular-singular systems and representations of the group $\mathbb Z$. In the second part, we deal with regular-singular connections over $R((x))$ and $\mathbb P_R^1\smallsetminus\{0,\infty\}$, where $R=C[[t_1,\ldots,t_r]]/I$. The picture we offer shows that regular-singular connections are equivalent to representations of $\mathbb Z$, now over $R$. △ Less

Submitted 22 August, 2023; v1 submitted 13 July, 2021; originally announced July 2021.

Comments: To appear in Rend. Semin. Mat. Univ. Padova

Connections on trivial vector bundles over projective schemes

Authors: Indranil Biswas, Phùng Hô Hai, João Pedro dos Santos

Abstract: Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of this idea by restricting attention to connections on trivial vector bundles and replacing the fundamental group by a certain Lie algebra constructed from the reg… ▽ More Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of this idea by restricting attention to connections on trivial vector bundles and replacing the fundamental group by a certain Lie algebra constructed from the regular forms. In more detail, we show that the differential Galois group is a certain ``closure'' of the aforementioned Lie algebra. This is then applied to construct connections on curves with prescribed differential Galois group. △ Less

Submitted 6 July, 2023; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: A reader pointed out an error; we have removed the results concerning applications to the connections on the projective line. To appear in C. R. Math. Acad. Sci. Paris

Totally Umbilical Hypersurfaces of Product Spaces

Authors: Ronaldo F. de Lima, João Paulo dos Santos

Abstract: Given a Riemannian manifold $M,$ and an open interval $I\subset\mathbb{R},$ we characterize nontrivial totally umbilical hypersurfaces of the product $M\times I$ -- as well as of warped products $I\times_ωM$ -- as those which are local graphs built on isoparametric families of totally umbilical hypersurfaces of $M.$ By means of this characterization, we fully extend to… ▽ More Given a Riemannian manifold $M,$ and an open interval $I\subset\mathbb{R},$ we characterize nontrivial totally umbilical hypersurfaces of the product $M\times I$ -- as well as of warped products $I\times_ωM$ -- as those which are local graphs built on isoparametric families of totally umbilical hypersurfaces of $M.$ By means of this characterization, we fully extend to $\mathbb{S}^n\times\mathbb{R}$ and $\mathbb{H}^n\times\mathbb{R}$ the results by Souam and Toubiana on the classification of totally umbilical hypersurfaces of $\mathbb{S}^2\times\mathbb{R}$ and $\mathbb{H}^2\times\mathbb{R}.$ It is also shown that an analogous classification holds for arbitrary warped products $I\times_ω\mathbb{S}^n$ and $I\times_ω\mathbb{H}^n.$ △ Less

Submitted 3 January, 2021; originally announced January 2021.

Mean convex properly embedded $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^3$

Authors: Antonio Martínez, A. L. Martínez-Triviño, J. P. dos Santos

Abstract: We establish curvature estimates and a convexity result for mean convex properly embedded $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^3$, i.e., $\varphi$-minimal surfaces when $\varphi$ depends only on the third coordinate of $\mathbb{R}^3$. Led by the works on curvature estimates for surfaces in 3-manifolds, due to White for minimal surfaces, to Rosenberg, Souam and Toubiana, for stab… ▽ More We establish curvature estimates and a convexity result for mean convex properly embedded $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^3$, i.e., $\varphi$-minimal surfaces when $\varphi$ depends only on the third coordinate of $\mathbb{R}^3$. Led by the works on curvature estimates for surfaces in 3-manifolds, due to White for minimal surfaces, to Rosenberg, Souam and Toubiana, for stable CMC surfaces, and to Spruck and Xiao for stable translating solitons in $\mathbb{R}^3$, we use a compactness argument to provide curvature estimates for a family of mean convex $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^{3}$. We apply this result to generalize the convexity property of Spruck and Xiao for translating solitons. More precisely, we characterize the convexity of a properly embedded $[\varphi,\vec{e}_{3}]$-minimal surface in $\mathbb{R}^{3}$ with non positive mean curvature when the growth at infinity of $\varphi$ is at most quadratic. △ Less

Submitted 30 November, 2020; originally announced November 2020.

Comments: 25 pages, 0 figures

On certain Tannakian categories of integrable connections over Kaehler manifolds

Authors: Indranil Biswas, João Pedro dos Santos, Sorin Dumitrescu, Sebastian Heller

Abstract: Given a compact Kaehler manifold X, it is shown that pairs of the form (E, D), where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on $E$, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines… ▽ More Given a compact Kaehler manifold X, it is shown that pairs of the form (E, D), where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on $E$, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface. △ Less

Submitted 12 April, 2021; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: Final version; to appear in Canadian Journal of Mathematics

Hypersurfaces of Constant Higher Order Mean Curvature in $M\times\mathbb{R}$

Authors: R. F. de Lima, F. Manfio, J. P. dos Santos

Abstract: We consider hypersurfaces of products $M\times\mathbb R$ with constant $r$-th mean curvature $H_r\ge 0$ (to be called $H_r$-hypersurfaces), where $M$ is an arbitrary Riemannian $n$-manifold. We develop a general method for constructing them, and employ it to produce many examples for a variety of manifolds $M,$ including all simply connected space forms and the hyperbolic spaces… ▽ More We consider hypersurfaces of products $M\times\mathbb R$ with constant $r$-th mean curvature $H_r\ge 0$ (to be called $H_r$-hypersurfaces), where $M$ is an arbitrary Riemannian $n$-manifold. We develop a general method for constructing them, and employ it to produce many examples for a variety of manifolds $M,$ including all simply connected space forms and the hyperbolic spaces $\mathbb{H}_{\mathbb F}^m$ (rank $1$ symmetric spaces of noncompact type). We construct and classify complete rotational $H_r(\ge 0)$-hypersurfaces in $\mathbb{H}_{\mathbb F}^m\times\mathbb R$ and in $\mathbb S^n\times\mathbb R$ as well. They include spheres, Delaunay-type annuli and, in the case of $\mathbb{H}_{\mathbb F}^m\times\mathbb R,$ entire graphs. We also construct and classify complete $H_r(\ge 0)$-hypersurfaces of $\mathbb{H}_{\mathbb F}^m\times\mathbb R$ which are invariant by either parabolic isometries or hyperbolic translations. We establish a Jellett-Liebmann-type theorem by showing that a compact, connected and strictly convex $H_r$-hypersurface of $\mathbb H^n\times\mathbb R$ or $\mathbb S^n\times\mathbb R$ $(n\ge 3)$ is a rotational embedded sphere. Other uniqueness results for complete $H_r$-hypersurfaces of these ambient spaces are obtained. △ Less

Submitted 11 March, 2021; v1 submitted 22 August, 2020; originally announced August 2020.

Cyclic conformally flat hypersurfaces revisited

Authors: João Paulo dos Santos, Ruy Tojeiro

Abstract: In this article we classify the conformally flat Euclidean hypersurfaces of dimension three with three distinct principal curvatures of $\mathbb{R}^4$, $\mathbb{S}^3\times \mathbb{R}$ and $\mathbb{H}^3\times \mathbb{R}$ with the property that the tangent component of the vector field $\partial/\partial t$ is a principal direction at any point. Here $\partial/\partial t$ stands for either a constan… ▽ More In this article we classify the conformally flat Euclidean hypersurfaces of dimension three with three distinct principal curvatures of $\mathbb{R}^4$, $\mathbb{S}^3\times \mathbb{R}$ and $\mathbb{H}^3\times \mathbb{R}$ with the property that the tangent component of the vector field $\partial/\partial t$ is a principal direction at any point. Here $\partial/\partial t$ stands for either a constant unit vector field in $\mathbb{R}^4$ or the unit vector field tangent to the factor $\mathbb{R}$ in the product spaces $\mathbb{S}^3\times \mathbb{R}$ and $\mathbb{H}^3\times \mathbb{R}$, respectively. Then we use this result to give a simple proof of an alternative classification of the cyclic conformally flat hypersurfaces of $\mathbb{R}^4$, that is, the conformally flat hypersurfaces of $\mathbb{R}^4$ with three distinct principal curvatures such that the curvature lines correspondent to one of its principal curvatures are extrinsic circles. We also characterize the cyclic conformally flat hypersurfaces of $\mathbb{R}^4$ as those conformally flat hypersurfaces of dimension three with three distinct principal curvatures for which there exists a conformal Killing vector field of $\mathbb{R}^4$ whose tangent component is an eigenvector field correspondent to one of its principal curvatures. △ Less

Submitted 24 June, 2020; originally announced June 2020.

MSC Class: 53B25

Regular-singular connections on relative complex schemes

Authors: Phùng Hô Hai, João Pedro dos Santos

Abstract: Deligne's celebrated "Riemann--Hilbert correspondence" relates representations of the fundamental group of a smooth complex algebraic variety and regular-singular integrable connections. In this work, we show how to arrive at a similar statement in the case of a smooth scheme $X$ over the spectrum of a ring $R=\mathbb C[[t_1,\ldots, t_r]]/I$. On one side of the correspondence we have representatio… ▽ More Deligne's celebrated "Riemann--Hilbert correspondence" relates representations of the fundamental group of a smooth complex algebraic variety and regular-singular integrable connections. In this work, we show how to arrive at a similar statement in the case of a smooth scheme $X$ over the spectrum of a ring $R=\mathbb C[[t_1,\ldots, t_r]]/I$. On one side of the correspondence we have representations on $R$-modules of the fundamental group of the special fibre, and on the other we have certain integrable $R$-connections admitting logarithmic models. The correspondence is then applied to give explicit examples of differential Galois groups of $\mathbb C[[t]]$--connections. △ Less

Submitted 5 March, 2022; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: 31 pages, final version, to appear in The Annali della Scuola Normale Superiore di Pisa

MSC Class: 14F10; 32C15; 35Q15; 14L15

Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$

Authors: Benedito Leandro, Romildo Pina, João Paulo dos Santos

Abstract: In this paper, we classify the Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$. We use the characterization of the hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ whose tangent component of the unit vector field spanning the factor $\mathbb{R}$ is a principal direction and the theory of isoparametric hypersurfac… ▽ More In this paper, we classify the Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$. We use the characterization of the hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ whose tangent component of the unit vector field spanning the factor $\mathbb{R}$ is a principal direction and the theory of isoparametric hypersurfaces of space forms to show that Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ must have constant sectional curvature. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Complete submanifolds with relative nullity in space forms

Authors: Samuel Canevari, Guilherme Machado de Freitas, Felippe Guimarães, Fernando Manfio, João Paulo dos Santos

Abstract: We use techniques based on the splitting tensor to explicitly integrate the Codazzi equation along the relative nullity distribution and express the second fundamental form in terms of the Jacobi tensor of the ambient space. This approach allows us to easily recover several important results in the literature on complete submanifolds with relative nullity of the sphere as well as derive new strong… ▽ More We use techniques based on the splitting tensor to explicitly integrate the Codazzi equation along the relative nullity distribution and express the second fundamental form in terms of the Jacobi tensor of the ambient space. This approach allows us to easily recover several important results in the literature on complete submanifolds with relative nullity of the sphere as well as derive new strong consequences in hyperbolic and Euclidean spaces. Among the consequences of our main theorem are results on submanifolds with sufficiently high index of relative nullity, submanifolds with nonpositive extrinsic curvature and submanifolds with integrable relative conullity. We show that no complete submanifold of hyperbolic space with sufficiently high index of relative nullity has extrinsic geometry bounded away from zero. As an application of these results, we derive an interesting corollary for complete submanifolds of hyperbolic space with nonpositive extrinsic curvature and discourse on their relation to Milnor's conjecture about complete surfaces with second fundamental form bounded away from zero. Finally, we also prove that every complete Euclidean submanifold with integrable relative conullity is a cylinder over the relative conullity. △ Less

Submitted 9 October, 2019; originally announced October 2019.

On a new formula for the number of unrestricted partitions

Authors: Hemar Godinho, José Plínio O. Santos

Abstract: In this paper we present a new formula for the number of unrestricted partitions of $n$. We do this by introducing a correspondence between the number of unrestrited partitions of $n$ and the number of non-negative solutions of systems of two equations, involving natural numbers in the interval (1 $,n^{2}$). In this paper we present a new formula for the number of unrestricted partitions of $n$. We do this by introducing a correspondence between the number of unrestrited partitions of $n$ and the number of non-negative solutions of systems of two equations, involving natural numbers in the interval (1 $,n^{2}$). △ Less

Submitted 26 June, 2019; originally announced June 2019.

Finite torsors on projective schemes defined over a discrete valuation ring

Authors: Phung Ho Hai, Joao Pedro dos Santos

Abstract: Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian. We then prove that, under normality of the generic fibre, the associated affine and flat group is pro-finite in a strong sense (so that its ring of functions i… ▽ More Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian. We then prove that, under normality of the generic fibre, the associated affine and flat group is pro-finite in a strong sense (so that its ring of functions is a Mittag-Leffler $A$-module) and that it classifies finite torsors $Q\to X$. This establishes an analogy to Nori's theory of the essentially finite fundamental group. In addition, we compare our theory with the ones recently developed by Mehta-Subramanian and Antei-Emsalem-Gasbarri. Using the comparison with the former, we show that any quasi-finite torsor $Q\to X$ has a reduction of structure group to a finite one. △ Less

Submitted 24 April, 2019; originally announced April 2019.

Comments: 39 pages

MSC Class: 14F10; 14L15

Computing Schur complexes

Authors: Michael K. Brown, Hang Huang, Robert P. Laudone, Michael Perlman, Claudiu Raicu, Steven V Sam, João Pedro Santos

Abstract: We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud. We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud. △ Less

Submitted 18 November, 2019; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 9 pages, v2: revised Section 2.1. To appear in the Journal of Software for Algebra and Geometry. Updated package, available at: https://github.com/mperlm3/SchurComplexes

MSC Class: 13P20; 15A69

Journal ref: J. Softw. Alg. Geom. 9 (2019) 111-119

On the fundamental group schemes of certain quotient varieties

Authors: Indranil Biswas, Phùng Hô Hai, João Pedro dos Santos

Abstract: In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite \cite{Nori76} fundamental group schemes. In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite \cite{Nori76} fundamental group schemes. △ Less

Submitted 29 April, 2024; v1 submitted 18 September, 2018; originally announced September 2018.

Comments: This version of April 2024 clears an error in the statement of the main Theorems, which unfortunately also appears in the printed version

Journal ref: Tohoku Math. J. (2) 73(4): 565-595 (2021)

The codual quotient vector bundle

Authors: João Paulo Santos

Abstract: Given a quotient vector bundle $\mathcal A$ over $X$ with kernel map $κ: X\to\mathrm{Max}\,A$ we study the codual bundle with fiber at each point $x\in X$ isomorphic to the dual of $κ(x)$. Applying the adjunction between quotient vector bundles and linearized locales to the codual bundle leads to a new adjunction between the category of all quotient vector bundles and a category whose objects are… ▽ More Given a quotient vector bundle $\mathcal A$ over $X$ with kernel map $κ: X\to\mathrm{Max}\,A$ we study the codual bundle with fiber at each point $x\in X$ isomorphic to the dual of $κ(x)$. Applying the adjunction between quotient vector bundles and linearized locales to the codual bundle leads to a new adjunction between the category of all quotient vector bundles and a category whose objects are locales $L$ equipped with a contravariant morphism $L\to\mathrm{Max}\, A$. △ Less

Submitted 3 August, 2018; originally announced August 2018.

Reduction of gradient Ricci soliton equations

Authors: Benedito Leandro, João Paulo dos Santos

Abstract: We consider gradient Ricci solitons conformal to a $n$-dimensional pseudo-Euclidean space and we completely describe the most general ansatz that reduces the resulting system of partial differential equations to a system of ordinary differential equations. As a consequence, the gradient Ricci solitons that arise from the reduced system are invariant under the action of either an $(n-1)$-dimensiona… ▽ More We consider gradient Ricci solitons conformal to a $n$-dimensional pseudo-Euclidean space and we completely describe the most general ansatz that reduces the resulting system of partial differential equations to a system of ordinary differential equations. As a consequence, the gradient Ricci solitons that arise from the reduced system are invariant under the action of either an $(n-1)$-dimensional translation group or the pseudo-orthogonal group acting on the corresponding $n$-dimensional pseudo-Euclidean space. △ Less

Submitted 14 May, 2018; v1 submitted 10 May, 2018; originally announced May 2018.

Journal ref: Annales Academiae Scientiarum Fennicae 2020

On the structure of affine flat group schemes over discrete valuation rings, II

Authors: Phùng Hô Hai, João Pedro dos Santos

Abstract: In the 1st part of this work [DHdS18], we studied affine group schemes over a discrete valuation ring (DVR) by means of Neron blowups. We also showed how to apply these findings to throw light on the group schemes coming from Tannakian categories of D-modules. In the present work, we follow up this theme. We show that a certain class of affine group schemes of "infinite type", Neron blowups of for… ▽ More In the 1st part of this work [DHdS18], we studied affine group schemes over a discrete valuation ring (DVR) by means of Neron blowups. We also showed how to apply these findings to throw light on the group schemes coming from Tannakian categories of D-modules. In the present work, we follow up this theme. We show that a certain class of affine group schemes of "infinite type", Neron blowups of formal subgroups, are quite typical. We also explain how these group schemes appear naturally in Tannakian categories of D-modules. To conclude, we isolate a Tannakian property of affine group schemes, named prudence, which allows one to verify if the underlying ring of functions is a free module over the base ring. This is then successfully applied to obtain a general result on the structure of differential Galois groups over complete DVRs. △ Less

Submitted 8 September, 2020; v1 submitted 18 February, 2018; originally announced February 2018.

Comments: 32 pages, final version, to appear in Int. Math. Res. Notices

MSC Class: 14F10; 14L15

Journal ref: International Mathematics Research Notices, Volume 2021, Issue 12, June 2021, Pages 9375-9424

Intrinsic and extrinsic geometry of hypersurfaces in $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$

Authors: Rafael Novais, João Paulo dos Santos

Abstract: In this paper, geometric characterizations of conformally flat and radially flat hypersurfaces in $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ are given by means of their extrinsic geometry. Under suitable conditions on the shape operator, we classify conformally flat hypersurfaces in terms of rotation hypersurfaces. In addition, a close relation between radially flat hype… ▽ More In this paper, geometric characterizations of conformally flat and radially flat hypersurfaces in $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ are given by means of their extrinsic geometry. Under suitable conditions on the shape operator, we classify conformally flat hypersurfaces in terms of rotation hypersurfaces. In addition, a close relation between radially flat hypersurfaces and semi-parallel hypersurfaces is established. These results lead to geometric descriptions of hypersurfaces with special intrinsic structures, such as Einstein metrics, Ricci solitons and hypersurfaces with constant scalar curvature. △ Less

Submitted 15 April, 2017; originally announced April 2017.

On the structure of affine flat group schemes over discrete valuation rings

Authors: Nguyen Dai Duong, Phung Ho Hai, João Pedro P. dos Santos

Abstract: We study affine group schemes over a discrete valuation ring $R$ using two techniques: Neron blowups and Tannakian categories. We employ the theory developed to define and study differential Galois groups of $\mathcal D$-modules on a scheme over a $R$. This throws light on how differential Galois groups of families degenerate. We study affine group schemes over a discrete valuation ring $R$ using two techniques: Neron blowups and Tannakian categories. We employ the theory developed to define and study differential Galois groups of $\mathcal D$-modules on a scheme over a $R$. This throws light on how differential Galois groups of families degenerate. △ Less

Submitted 31 May, 2017; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 46 pages, final version, accepted for publication in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze

Report number: IMH20151101 MSC Class: 14F10; 14L15

Journal ref: Annali della Scuola Normale Superiore di Pisa, Vol. XVIII, issue 3 (2018)

The action of the étale fundamental group scheme on the connected component of the essentially finite one

Authors: Phùng Hô Hai, João Pedro P. dos Santos

Abstract: We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the étale fundamental group scheme $π^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $π^{\mathrm{EF}}(X)$ of Nori. We show that the associated representation is faithful when $X$ is a curve of genus $\geq 2$. We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the étale fundamental group scheme $π^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $π^{\mathrm{EF}}(X)$ of Nori. We show that the associated representation is faithful when $X$ is a curve of genus $\geq 2$. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 12 pages

Report number: IMH20161201; MSC Class: 14L15; 14L17; 14G17; 14F35

Journal ref: Mathematische Nachrichten, Volume 291, Issue11-12, 2018, Pages 1733-1742

Linear structures on locales

Authors: Pedro Resende, João Paulo Santos

Abstract: We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles with fiber $F$ coincides with the contravariant functor $\textit{Top}^{\textrm{op}}\to\textit{Vect}$ of $F$-valued continuous functions. Based on this we obtai… ▽ More We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles with fiber $F$ coincides with the contravariant functor $\textit{Top}^{\textrm{op}}\to\textit{Vect}$ of $F$-valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological spaces and locales: (i) a linearized topological space is a spectral vector bundle, by which is meant a mildly restricted type of quotient vector bundle; (ii) a linearized locale is a locale $\triangle$ equipped with both a topological vector space $A$ and a $\triangle$-valued support map for the elements of $A$ satisfying a continuity condition relative to the spectrum of $\triangle$ and the lower Vietoris topology on $\operatorname{Sub} A$; (iii) we obtain an adjunction between the full subcategory of spectral vector bundles $\textit{QVBun}_Σ$ and the category of linearized locales $\textit{LinLoc}$, which restricts to an equivalence of categories between sober spectral vector bundles and spatial linearized locales. The spectral vector bundles are classified by a finer topology on $\operatorname{Sub} A$, called the open support topology, but there is no notion of universal spectral vector bundle for an arbitrary topological vector space $A$. △ Less

Submitted 24 November, 2016; v1 submitted 21 March, 2016; originally announced March 2016.

Comments: 40 pages. Version 5 differs from 4 only in typesetting style and in the numbering of theorems, lemmas and examples (which now coincides with that of the published version). Version 6 corrects typos in pp. 2 and 20 ("span" was missing in the definition of gamma), and in the proof of Th. 6.16

MSC Class: 06D22; 18B30; 18B99; 46A99; 46M20; 55R65

Journal ref: Theory Appl. Categ., Vol. 31, 2016, No. 20, pp 502-541

Abelianization of the F-divided fundamental group scheme

Authors: Indranil Biswas, João Pedro P. dos Santos

Abstract: Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the $F$-divided fundamental group of the Albanese variety of $X$. We prove that this homomorphism is surjective with finite kernel. The kernel is also described. Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the $F$-divided fundamental group of the Albanese variety of $X$. We prove that this homomorphism is surjective with finite kernel. The kernel is also described. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: Final version

MSC Class: 14G17; 14F35; 14K30

Helicoidal flat surfaces in the 3-sphere

Authors: Fernando Manfio, João Paulo dos Santos

Abstract: In this paper, helicoidal flat surfaces in the $3$-dimensional sphere $\mathbb{S}^3$ are considered. A complete classification of such surfaces is given in terms of their first and second fundamental forms and by linear solutions of the corresponding angle function. The classification is obtained by using the Bianchi-Spivak construction for flat surfaces and a representation for constant angle sur… ▽ More In this paper, helicoidal flat surfaces in the $3$-dimensional sphere $\mathbb{S}^3$ are considered. A complete classification of such surfaces is given in terms of their first and second fundamental forms and by linear solutions of the corresponding angle function. The classification is obtained by using the Bianchi-Spivak construction for flat surfaces and a representation for constant angle surfaces in $\mathbb{S}^3$. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: 14 pages, 3 figures

Open quotients of trivial vector bundles

Authors: Pedro Resende, João Paulo Santos

Abstract: Given an arbitrary topological complex vector space $A$, a quotient vector bundle for $A$ is a quotient of a trivial vector bundle $π_2:A\times X\to X$ by a fiberwise linear continuous open surjection. We show that this notion subsumes that of a Banach bundle over a locally compact Hausdorff space $X$. Hyperspaces consisting of linear subspaces of $A$, topologized with natural topologies that incl… ▽ More Given an arbitrary topological complex vector space $A$, a quotient vector bundle for $A$ is a quotient of a trivial vector bundle $π_2:A\times X\to X$ by a fiberwise linear continuous open surjection. We show that this notion subsumes that of a Banach bundle over a locally compact Hausdorff space $X$. Hyperspaces consisting of linear subspaces of $A$, topologized with natural topologies that include the lower Vietoris topology and the Fell topology, provide classifying spaces for various classes of quotient vector bundles, in a way that generalizes the classification of locally trivial vector bundles by Grassmannians. If $A$ is normed, a finer hyperspace topology is introduced that classifies bundles with continuous norm, including Banach bundles, and such that bundles of constant finite rank must be locally trivial. △ Less

Submitted 4 April, 2017; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: Version 2 fixed a problem with the definition of the closed balls topology (section 5). Version 3 mainly fixed typos and improved presentation

MSC Class: 46A99; 46M20; 54B20; 55R65

Journal ref: Topol. Appl. 224C (2017) 19-47

A Flexible Implementation of a Matrix Laurent Series-Based 16-Point Fast Fourier and Hartley Transforms

Authors: R. C. de Oliveira, H. M. de Oliveira, R. M. Campello de Souza, E. J. P. Santos

Abstract: This paper describes a flexible architecture for implementing a new fast computation of the discrete Fourier and Hartley transforms, which is based on a matrix Laurent series. The device calculates the transforms based on a single bit selection operator. The hardware structure and synthesis are presented, which handled a 16-point fast transform in 65 nsec, with a Xilinx SPARTAN 3E device. This paper describes a flexible architecture for implementing a new fast computation of the discrete Fourier and Hartley transforms, which is based on a matrix Laurent series. The device calculates the transforms based on a single bit selection operator. The hardware structure and synthesis are presented, which handled a 16-point fast transform in 65 nsec, with a Xilinx SPARTAN 3E device. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 4 pages, 4 figures. IEEE VI Southern Programmable Logic Conference 2010

The Symmetry Group of Lamé's System and the Associated Guichard Nets for Conformally Flat Hypersurfaces

Authors: João Paulo dos Santos, Keti Tenenblat

Abstract: We consider conformally flat hypersurfaces in four dimensional space forms with their associated Guichard nets and Lamé's system of equations. We show that the symmetry group of the Lamé's system, satisfying Guichard condition, is given by translations and dilations in the independent variables and dilations in the dependents variables. We obtain the solutions which are invariant under the action… ▽ More We consider conformally flat hypersurfaces in four dimensional space forms with their associated Guichard nets and Lamé's system of equations. We show that the symmetry group of the Lamé's system, satisfying Guichard condition, is given by translations and dilations in the independent variables and dilations in the dependents variables. We obtain the solutions which are invariant under the action of the 2-dimensional subgroups of the symmetry group. For the solutions which are invariant under translations, we obtain the corresponding conformally flat hypersurfaces and we describe the corresponding Guichard nets. We show that the coordinate surfaces of the Guichard nets have constant Gaussian curvature, and the sum of the three curvatures is equal to zero. Moreover, the Guichard nets are foliated by flat surfaces with constant mean curvature. We prove that there are solutions of the Lamé's system, given in terms of Jacobi elliptic functions, which are invariant under translations, that correspond to a new class of conformally flat hypersurfaces. △ Less

Submitted 17 April, 2013; originally announced April 2013.

Journal ref: SIGMA 9 (2013), 033, 27 pages

Rank-stable limit of completed moduli spaces of instantons

Authors: João Paulo Santos

Abstract: Nakajima introduced a resolution of singularities of the Donaldson-Uhlenbeck completion of the moduli space of based instantons over $S^4$. For $k\leq 4$, we extend this result to $\mathbb P^2$ and compute, in the rank-stable limit, the homotopy type of these spaces by showing that, in this limit, these constructions yield universal bundles. Nakajima introduced a resolution of singularities of the Donaldson-Uhlenbeck completion of the moduli space of based instantons over $S^4$. For $k\leq 4$, we extend this result to $\mathbb P^2$ and compute, in the rank-stable limit, the homotopy type of these spaces by showing that, in this limit, these constructions yield universal bundles. △ Less

Submitted 15 August, 2013; v1 submitted 31 December, 2012; originally announced December 2012.

Vector bundles trivialized by proper morphisms and the fundamental group scheme, II

Authors: Indranil Biswas, Joao Pedro dos Santos

Abstract: Let $X$ be a projective and smooth variety over an algebraically closed field $k$. Let $f:Y\rightarrow X$ be a proper and surjective morphism of $k$-varieties. Assuming that $f$ is separable, we prove that the Tannakian category associated to the vector bundles $E$ on $X$ such that $f^*E$ is trivial is equivalent to the category of representations of a finite and etale group scheme. We give a coun… ▽ More Let $X$ be a projective and smooth variety over an algebraically closed field $k$. Let $f:Y\rightarrow X$ be a proper and surjective morphism of $k$-varieties. Assuming that $f$ is separable, we prove that the Tannakian category associated to the vector bundles $E$ on $X$ such that $f^*E$ is trivial is equivalent to the category of representations of a finite and etale group scheme. We give a counterexample to this conclusion in the absence of separability. △ Less

Submitted 26 May, 2011; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: Final version

MSC Class: 14L15; 14F05

Vector bundles trivialized by proper morphisms and the fundamental group scheme

Authors: Indranil Biswas, Joao Pedro P. dos Santos

Abstract: Let X be a smooth projective variety defined over an algebraically closed field k. Nori constructed a category of vector bundles on X, called essentially finite vector bundles, which is reminiscent of the category of representations of the fundamental group (in characteristic zero). In fact, this category is equivalent to the category of representations of a pro--finite group scheme which contro… ▽ More Let X be a smooth projective variety defined over an algebraically closed field k. Nori constructed a category of vector bundles on X, called essentially finite vector bundles, which is reminiscent of the category of representations of the fundamental group (in characteristic zero). In fact, this category is equivalent to the category of representations of a pro--finite group scheme which controls all finite torsors. We show that essentially finite vector bundles coincide with those which become trivial after being pulled back by some proper and surjective morphism to X. △ Less

Submitted 17 December, 2009; originally announced December 2009.

Comments: Final version

MSC Class: 14L15; 14F05