Showing 1–26 of 26 results for author: Cruz, T

An Auslander-Buchsbaum formula for higher Auslander algebras and applications

Authors: Tiago Cruz, René Marczinzik

Abstract: We provide a new non-commutative generalisation of the Auslander-Buchsbaum formula for higher Auslander algebras and use this to show that the class of tilted Auslander algebras, studied recently by Zito, and QF-1 algebras of global dimension at most 2, studied by Ringel in the 1970s, coincide. We furthermore give an explicit classification of this class of algebras and present generalisations to… ▽ More We provide a new non-commutative generalisation of the Auslander-Buchsbaum formula for higher Auslander algebras and use this to show that the class of tilted Auslander algebras, studied recently by Zito, and QF-1 algebras of global dimension at most 2, studied by Ringel in the 1970s, coincide. We furthermore give an explicit classification of this class of algebras and present generalisations to higher homological dimensions with a new local characterisation of QF-1 higher Auslander algebras. △ Less

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

Comments: 19 pages, comments are welcome! It contains one more example and a new appendix explaining how to use QPA to test whether a given higher Auslander algebra is QF-1. More details were added in the introduction

MSC Class: 16G10 (Primary) 16E10; 16E65; 16S50; 16S90 (Secondary)

Curvature Deformations on Complete Manifolds with Boundary

Authors: Tiarlos Cruz, Almir Silva Santos

Abstract: This paper investigates conformal deformations of the scalar curvature and mean curvature on complete Riemannian manifolds with boundary. We establish sufficient conditions for the existence of conformal deformations to complete metrics with positive scalar curvature and mean convex boundary. Building upon these results, we explore further deformation scenarios, including those that increase the m… ▽ More This paper investigates conformal deformations of the scalar curvature and mean curvature on complete Riemannian manifolds with boundary. We establish sufficient conditions for the existence of conformal deformations to complete metrics with positive scalar curvature and mean convex boundary. Building upon these results, we explore further deformation scenarios, including those that increase the mean curvature. Finally, we consider the case of deforming complete manifolds with negative scalar curvature on manifolds with noncompact boundary. △ Less

Submitted 18 January, 2025; originally announced January 2025.

Comments: This work represents the second part of the initial version of arXiv:2204.03582, which has been subsequently divided into two parts. In this revised version, we have significantly improved the removed section and have also included the case of negative curvature. All comments are welcome!

A higher dimensional Auslander-Iyama-Solberg correspondence

Authors: Tiago Cruz, Chrysostomos Psaroudakis

Abstract: In this paper, we prove a higher dimensional version of Auslander-Iyama-Solberg correspondence. Iyama and Solberg have shown a bijection between $n$-minimal Auslander-Gorenstein algebras and $n$-precluster tilting modules. If $A$ is an $n$-minimal Auslander-Gorenstein algebra, then the pair $(A,P)$ is a relative $(n+1)$-Auslander-Gorenstein pair in the sense of the authors, where $P$ is the minima… ▽ More In this paper, we prove a higher dimensional version of Auslander-Iyama-Solberg correspondence. Iyama and Solberg have shown a bijection between $n$-minimal Auslander-Gorenstein algebras and $n$-precluster tilting modules. If $A$ is an $n$-minimal Auslander-Gorenstein algebra, then the pair $(A,P)$ is a relative $(n+1)$-Auslander-Gorenstein pair in the sense of the authors, where $P$ is the minimal faithful projective-injective left $A$-module. We establish a higher dimensional Auslander-Iyama-Solberg, where $P$ is replaced by any self-orthogonal module $Q$ having finite projective and injective dimension. This new correspondence provides a bijection between relative Auslander--Gorenstein pairs and a new class of objects that generalise precluster tilting modules. This way, we obtain a new correspondence coming from the modular representation theory of general linear groups. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: 24 pages, comments are welcome!

MSC Class: 16G10; 16E10; 16E65 (Primary) 16G50; 20G43; 16G20; 16S50; 18G25 (Secondary)

Characteristic tilting modules and Ringel duality in the Noetherian world

Authors: Tiago Cruz

Abstract: The foundations of Ringel duality for split quasi-hereditary algebras over commutative Noetherian rings are strengthened. Several descriptions and properties of the smallest resolving subcategory containing all standard modules over split quasi-hereditary algebras over commutative Noetherian rings are provided. In particular, given two split quasi-hereditary algebras $A$ and $B$, we prove that a… ▽ More The foundations of Ringel duality for split quasi-hereditary algebras over commutative Noetherian rings are strengthened. Several descriptions and properties of the smallest resolving subcategory containing all standard modules over split quasi-hereditary algebras over commutative Noetherian rings are provided. In particular, given two split quasi-hereditary algebras $A$ and $B$, we prove that any exact equivalence between the smallest resolving subcategory containing all standard modules over $A$ and the smallest resolving subcategory containing all standard modules over $B$ lifts to a Morita equivalence between $A$ and $B$ which preserves the quasi-hereditary structure. △ Less

Submitted 27 April, 2024; originally announced May 2024.

Comments: The first part was previously the appendix of the paper arXiv:2208.00291 while the latter part contains parts removed of the second version of the paper arXiv:2210.09344. 26 pages

MSC Class: 16G30 (Primary) 16D10 (Secondary)

Higher torsion-free Auslander-Reiten sequences and the dominant dimension of algebras

Authors: Tiago Cruz, René Marczinzik

Abstract: We generalise a theorem of Tachikawa about reflexive Auslander-Reiten sequences. We apply this to give a new characterisation of the dominant dimension of gendo-symmetric algebras. We also generalise a formula due to Reiten about the dominant dimension of an algebra $A$ and grades of torsion $A$-modules. We generalise a theorem of Tachikawa about reflexive Auslander-Reiten sequences. We apply this to give a new characterisation of the dominant dimension of gendo-symmetric algebras. We also generalise a formula due to Reiten about the dominant dimension of an algebra $A$ and grades of torsion $A$-modules. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 12 pages, comments are welcome!

MSC Class: 16G10 (Primary) 16E10 (Secondary)

Blow-up analysis of Large conformal metrics with prescribed Gaussian and geodesic curvatures

Authors: Rayssa Caju, Tiarlos Cruz, Almir Silva Santos

Abstract: Consider a compact Riemannian surface $(M,g)$ with nonempty boundary and negative Euler characteristic. Given two smooth non-constant functions $f$ in $M$ and $h$ in $\partial M$ with $\max f= \max h= 0$, under a suitable condition on the maximum points of $f$ and $h$, we prove that for sufficiently small positive constants $λ$ and $μ$, there exist at least two distinct conformal metrics… ▽ More Consider a compact Riemannian surface $(M,g)$ with nonempty boundary and negative Euler characteristic. Given two smooth non-constant functions $f$ in $M$ and $h$ in $\partial M$ with $\max f= \max h= 0$, under a suitable condition on the maximum points of $f$ and $h$, we prove that for sufficiently small positive constants $λ$ and $μ$, there exist at least two distinct conformal metrics $g_{λ,μ}=e^{2u_{μ,λ}}g$ and $g^{λ,μ}=e^{2u^{μ,λ}}g$ with prescribed sign-changing Gaussian and geodesic curvature equal to $f + μ$ and $h + λ,$ respectively. Additionally, we employ the method used in Borer et al. (2015) to study the blowing up behavior of the large solution $u^{μ,λ}$ when $μ\downarrow 0$ and $λ\downarrow 0$. Finally, we derive a new Liouville-type result for the half-space, eliminating one of the potential blow-up profiles. △ Less

Submitted 22 October, 2024; v1 submitted 4 February, 2024; originally announced February 2024.

Comments: Final version. 38 pages. References updated and some typos fixed. Improved version thanks to the anonymous referee. To appear in Calc. Var. Partial Differential Equations

MSC Class: 35B44; 58J32; 35J20; 35J60

Higher Morita-Tachikawa correspondence

Authors: Tiago Cruz

Abstract: Important correspondences in representation theory can be regarded as restrictions of the Morita--Tachikawa correspondence. Moreover, this correspondence motivates the study of many classes of algebras like Morita algebras and gendo-symmetric algebras. Explicitly, the Morita--Tachikawa correspondence describes that endomorphism algebras of generators-cogenerators over finite-dimensional algebras a… ▽ More Important correspondences in representation theory can be regarded as restrictions of the Morita--Tachikawa correspondence. Moreover, this correspondence motivates the study of many classes of algebras like Morita algebras and gendo-symmetric algebras. Explicitly, the Morita--Tachikawa correspondence describes that endomorphism algebras of generators-cogenerators over finite-dimensional algebras are exactly the finite-dimensional algebras with dominant dimension at least two. In this paper, we introduce the concepts of quasi-generators and quasi-cogenerators which generalise generators and cogenerators, respectively. Using these new concepts, we present higher versions of the Morita--Tachikawa correspondence that takes into account relative dominant dimension with respect to a self-orthogonal module with arbitrary projective and injective dimension. These new versions also hold over Noetherian algebras which are finitely generated and projective over a commutative Noetherian ring. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 11 pages, comments are welcome!

MSC Class: 16E10; 16G10; 16G30

Relative Auslander--Gorenstein Pairs

Authors: Tiago Cruz, Chrysostomos Psaroudakis

Abstract: In this paper, we introduce and study relative Auslander--Gorenstein pairs. This consists of a finite-dimensional Gorenstein algebra together with a self-orthogonal module that provides a further homological feature of the algebra in terms of relative dominant dimension. These pairs will be called relative Auslander pairs whenever the algebra in question has finite global dimension. We characteriz… ▽ More In this paper, we introduce and study relative Auslander--Gorenstein pairs. This consists of a finite-dimensional Gorenstein algebra together with a self-orthogonal module that provides a further homological feature of the algebra in terms of relative dominant dimension. These pairs will be called relative Auslander pairs whenever the algebra in question has finite global dimension. We characterize relative Auslander pairs by the existence and uniqueness of tilting-cotilting modules having higher values relative dominant and codominant dimension with respect to the self-orthogonal module. The same characterisation remains valid for relative Auslander--Gorenstein pairs if the self-orthogonal module has injective or projective dimension at most one. Our relative approach generalises and unifies the known results from the literature, for instance, the characterization of minimal Auslander--Gorenstein algebras. As an application of our methods, we prove that for any relative Auslander pair pieces of the module category of the endomorphism algebra of the self-orthogonal module can be identified with pieces of the module category of the endomorphism algebra of the unique tilting-cotilting module associated with the relative Auslander pair. We provide explicit examples of relative Auslander pairs. △ Less

Submitted 13 April, 2024; v1 submitted 21 February, 2023; originally announced February 2023.

Comments: 18 pages, the main result is now extended to cover relative odd Auslander pairs, comments are welcome

MSC Class: 16E10; 18G25; 16G10; 16G20; 16S50

Quasi-hereditary covers of Temperley-Lieb algebras and relative dominant dimension

Authors: Tiago Cruz, Karin Erdmann

Abstract: Many connections and dualities in representation theory can be explained using quasi-hereditary covers in the sense of Rouquier. The concepts of relative dominant and codominant dimension with respect to a module, introduced recently by the first-named author, are important tools to evaluate and classify quasi-hereditary covers. In this paper, we prove that the relative dominant dimension of the… ▽ More Many connections and dualities in representation theory can be explained using quasi-hereditary covers in the sense of Rouquier. The concepts of relative dominant and codominant dimension with respect to a module, introduced recently by the first-named author, are important tools to evaluate and classify quasi-hereditary covers. In this paper, we prove that the relative dominant dimension of the regular module of a quasi-hereditary algebra with a simple preserving duality with respect to a summand $Q$ of a characteristic tilting module equals twice the relative dominant dimension of a characteristic tilting module with respect to $Q$. To resolve the Temperley-Lieb algebras of infinite global dimension, we apply this result to the class of Schur algebras $S(2, d)$ and $Q=V^{\otimes d}$ the $d$-tensor power of the 2-dimensional module and we completely determine the relative dominant dimension of the Schur algebra $S(2, d)$ with respect to $V^{\otimes d}$. The $q$-analogues of these results are also obtained. As a byproduct, we obtain a Hemmer-Nakano type result connecting the Ringel duals of $q$-Schur algebras and Temperley-Lieb algebras. From the point of view of Temperley-Lieb algebras, we obtain the first complete classification of their connection to their quasi-hereditary covers formed by Ringel duals of $q$-Schur algebras. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley-Lieb algebra. △ Less

Submitted 10 April, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 28 pages, 1 figure. Comments are welcome

MSC Class: 16E10; 20G43; 16G10; 16G30; 82B20

On split quasi-hereditary covers and Ringel duality

Authors: Tiago Cruz

Abstract: In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. These are used to establish precise connections between Ringel duality, split quasi-hereditary covers and double centraliser properties. These homological invariants are studied over Noetherian algebras which are finitely… ▽ More In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. These are used to establish precise connections between Ringel duality, split quasi-hereditary covers and double centraliser properties. These homological invariants are studied over Noetherian algebras which are finitely generated and projective as a module over the ground ring and they are shown to behave nicely under change of rings techniques. It turns out that relative codominant dimension with respect to a summand of a characteristic tilting module is a useful tool to construct quasi-hereditary covers of Noetherian algebras and measure their quality. In particular, this homological invariant is used to construct split quasi-hereditary covers of quotients of Iwahori-Hecke algebras using Ringel duality of $q$-Schur algebras. Combining techniques of cover theory with relative dominant dimension theory we obtain a new proof for Ringel self-duality of the blocks of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$. △ Less

Submitted 27 April, 2024; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 42 pages. Some material in the Preliminaries section was moved to another preprint called "Characteristic tilting modules and Ringel duality in the Noetherian world" to make this preprint shorter, and some arguments were simplified

MSC Class: 16E30; 16G30; 13E10; 20G43; 17B10

Journal ref: Forum of Mathematics, Sigma 12 (2024) e105

On static manifolds satisfying an overdetermined Robin type condition on the boundary

Authors: Tiarlos Cruz, Ivaldo Nunes

Abstract: In this work, we consider static manifolds $M$ with nonempty boundary $\partial M$. In this case, we suppose that the potential $V$ also satisfies an overdetermined Robin type condition on $\partial M$. We prove a rigidity theorem for the Euclidean closed unit ball $B^3$ in $\mathbb{R}^3$. More precisely, we give a sharp upper bound for the area of the zero set $Σ=V^{-1}(0)$ of the potential $V$,… ▽ More In this work, we consider static manifolds $M$ with nonempty boundary $\partial M$. In this case, we suppose that the potential $V$ also satisfies an overdetermined Robin type condition on $\partial M$. We prove a rigidity theorem for the Euclidean closed unit ball $B^3$ in $\mathbb{R}^3$. More precisely, we give a sharp upper bound for the area of the zero set $Σ=V^{-1}(0)$ of the potential $V$, when $Σ$ is connected and intersects $\partial M$. We also consider the case where $Σ=V^{-1}(0)$ does not intersect $\partial M$. △ Less

Submitted 1 January, 2023; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: Some typos corrected. Adicional references and a new result (Theorem 3) were included. Comments are welcome!

On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions

Authors: Tiago Cruz

Abstract: Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur--Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exa… ▽ More Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur--Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, $B$, and module categories of endomorphism algebras of generators-relative cogenerators over $B$ which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree $n$ so that the endomorphism algebra of a generator-cogenerator provides an $n$-faithful cover, in the sense of Rouquier, of $B$. The degree $n$ is known as Hemmer-Nakano dimension of the standard modules. We prove that the Hemmer-Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra $B$ is bounded above by the number of non-isomorphic simple modules of $B$. We establish methods how to reduce computations of Hemmer-Nakano dimensions in the integral setup to computations of Hemmer-Nakano dimensions over finite-dimensional algebras. This theory allows us to derive results for Schur algebras and the BGG category O in the integral setup from the finite-dimensional case using relative dominant dimension. We exhibit several structural properties of deformations of the blocks of the BGG category O establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one. △ Less

Submitted 27 April, 2024; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: 75 pages. The appendix was removed and the material of the appendix of the first version will appear in the preprint called "Characteristic tilting modules and Ringel duality in the Noetherian world". minor corrections and clarifications were implemented

MSC Class: 16G30; 16E30; 20G43; 17B10

Existence and obstructions for the curvature on compact manifolds with boundary

Authors: Tiarlos Cruz, Almir Silva Santos, Feliciano Vitório

Abstract: We study the set of curvature functions which a given compact manifold with boundary can possess. First, we prove that the sign demanded by the Gauss-Bonnet Theorem is a necessary and sufficient condition for a given function to be the geodesic curvature or the Gaussian curvature of some conformally equivalent metric. Our approach allows us to solve problems that are impossible to solve in the poi… ▽ More We study the set of curvature functions which a given compact manifold with boundary can possess. First, we prove that the sign demanded by the Gauss-Bonnet Theorem is a necessary and sufficient condition for a given function to be the geodesic curvature or the Gaussian curvature of some conformally equivalent metric. Our approach allows us to solve problems that are impossible to solve in the pointwise conformal case. Moreover, we obtain a deep and more delicate information on pointwise conformal deformations. We prove new existence and nonexistence results for metrics with prescribed curvature in the conformal setting, which depend on the Euler characteristic. △ Less

Submitted 30 August, 2024; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: Title changed. We split the first version of this paper in two. This one corresponds to the results concerned with compact manifolds (Theorems 1.1, 1.2 and 1.3). The results for the non-compact manifold will appear in a more complete paper. Accepted for publication in Communications in Contemporary Mathematics

MSC Class: 58J32; 35B09; 35J60

Half-space theorems for $1$-surfaces of $\mathbb{H}^3$

Authors: G. Pacelli Bessa, Tiarlos Cruz, Leandro F. Pessoa

Abstract: In this paper we investigate the intersection problem for $1$-surfaces immersed in a complete Riemannian three-manifold $P$ with Ricci curvature bounded from below by $-2$. We first prove a Frankel's type theorem for $1$-surfaces with bounded curvature immersed in $P$ when $\text{\rm Ric}_{P} > -2$. In this setting we also give a criterion for deciding whether a complete $1$-surface is proper. A s… ▽ More In this paper we investigate the intersection problem for $1$-surfaces immersed in a complete Riemannian three-manifold $P$ with Ricci curvature bounded from below by $-2$. We first prove a Frankel's type theorem for $1$-surfaces with bounded curvature immersed in $P$ when $\text{\rm Ric}_{P} > -2$. In this setting we also give a criterion for deciding whether a complete $1$-surface is proper. A splitting result is established when the distance between the $1$-surfaces is realized, even if $\text{\rm Ric}_{P} \geq -2$. In the hyperbolic space $\mathbb{H}^3$ we show strong half-space theorems for the classes of complete $1$-surfaces with bounded curvature, parabolic $1$-surfaces, and stochastically complete $H$-surfaces with $H<1$. As a by-product of our techniques a Maximum Principle at Infinity is given for $1$-surfaces in $\mathbb{H}^3.$ △ Less

Submitted 8 February, 2022; originally announced February 2022.

Comments: 22 pages. Comments are welcome

MSC Class: 53A10; 53C42

Cellular Noetherian algebras with finite global dimension are split quasi-hereditary

Authors: Tiago Cruz

Abstract: We prove that cellular Noetherian algebras with finite global dimension are split quasi-hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi-hereditary structure is unique, up to equivalence. In the process, we establish that a split quasi-hereditary algebra is semi-perfect if and only if the ground ring is a local commutative Noetherian ring. We give a… ▽ More We prove that cellular Noetherian algebras with finite global dimension are split quasi-hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi-hereditary structure is unique, up to equivalence. In the process, we establish that a split quasi-hereditary algebra is semi-perfect if and only if the ground ring is a local commutative Noetherian ring. We give a formula to determine the global dimension of a split quasi-hereditary algebra over a commutative regular Noetherian ring (with finite Krull dimension) in terms of the ground ring and finite-dimensional split quasi-hereditary algebras. For the general case, we give upper bounds for the finitistic dimension of split quasi-hereditary algebras over arbitrary commutative Noetherian rings. We apply these results to Schur algebras over regular Noetherian rings and to Schur algebras over quotients rings of the integers. △ Less

Submitted 29 May, 2023; v1 submitted 26 December, 2021; originally announced December 2021.

Comments: Numeration adjusted to match published version, to appear in Journal of Algebra and Its Applications

MSC Class: 16G30 (Primary) 20G43; 16E10 (Secondary)

On the $σ_2$-curvature and volume of compact manifolds

Authors: Maria Andrade, Tiarlos Cruz, Almir Silva Santos

Abstract: In this work we are interested in studying deformations of the $σ_2$-curvature and the volume. For closed manifolds, we relate critical points of the total $σ_2$-curvature functional to the $σ_2$-Einstein metrics and, as a consequence of results of H. J. Gursky and J. A. Viaclovsky (2001) and Z. Hu and H. Li (2004), we obtain a sufficient and necessary condition for a critical metric to be Einstei… ▽ More In this work we are interested in studying deformations of the $σ_2$-curvature and the volume. For closed manifolds, we relate critical points of the total $σ_2$-curvature functional to the $σ_2$-Einstein metrics and, as a consequence of results of H. J. Gursky and J. A. Viaclovsky (2001) and Z. Hu and H. Li (2004), we obtain a sufficient and necessary condition for a critical metric to be Einstein. Moreover, we show a volume comparison result for Einstein manifolds with respect to $σ_2$-curvature which shows that the volume can be controlled by the $σ_2$-curvature under certain conditions. Next, for compact manifold with nonempty boundary, we study variational properties of the volume functional restricted to the space of metrics with constant $σ_2$-curvature and with fixed induced metric on the boundary. We characterize the critical points to this functional as the solutions of an equation and show that in space forms they are geodesic balls. Studying second order properties of the volume functional we show that there is a variation for which geodesic balls are indeed local minimum in a natural direction. △ Less

Submitted 1 July, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: Final version. Accepted for publication in Annali di Matematica Pura ed Applicata (1923 -). We changed the proof of Theorem C. Also, we improved the presentation of the paper, following the suggestions of the referee

MSC Class: 53C18; 53C20; 53C21

On properly stratified Gorenstein algebras

Authors: Tiago Cruz, René Marczinzik

Abstract: We show that a properly stratified algebra is Gorenstein if and only if the characteristic tilting module coincides with the characteristic cotilting module. We further show that properly stratified Gorenstein algebras $A$ enjoy strong homological properties such as all Gorenstein projective modules being properly stratified and all endomorphism rings $\operatorname{End}_A(Δ(i))$ being Frobenius a… ▽ More We show that a properly stratified algebra is Gorenstein if and only if the characteristic tilting module coincides with the characteristic cotilting module. We further show that properly stratified Gorenstein algebras $A$ enjoy strong homological properties such as all Gorenstein projective modules being properly stratified and all endomorphism rings $\operatorname{End}_A(Δ(i))$ being Frobenius algebras. We apply our results to the study of properly stratified algebras that are minimal Auslander-Gorenstein algebras in the sense of Iyama-Solberg and calculate under suitable conditions their Ringel duals. This applies in particular to all centraliser algebras of nilpotent matrices. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Comments: 13 pages

MSC Class: 16G10; 16E10

Critical metrics and curvature of metrics with unit volume or unit area of the boundary

Authors: Tiarlos Cruz, Almir Silva Santos

Abstract: Given a smooth compact manifold with boundary, we study variational properties of the volume functional and of the area functional of the boundary, restricted to the space of the Riemannian metrics with prescribed curvature. We obtain a sufficient and necessary condition for a metric to be a critical point. As a by-product, a very natural analogue of V-statics metrics is obtained. In the second pa… ▽ More Given a smooth compact manifold with boundary, we study variational properties of the volume functional and of the area functional of the boundary, restricted to the space of the Riemannian metrics with prescribed curvature. We obtain a sufficient and necessary condition for a metric to be a critical point. As a by-product, a very natural analogue of V-statics metrics is obtained. In the second part, using the Yamabe invariant in the boundary setting, we solve the Kazdan-Warner-Kobayashi problem in a compact manifold with boundary. For several cases, depending on the signal of the Yamabe invariant, we give sufficient and necessary condition for a smooth function to be the scalar or mean curvature of a metric with constraint on the volume or area of the boundary. △ Less

Submitted 24 November, 2020; v1 submitted 15 November, 2020; originally announced November 2020.

Comments: 32 pages. Comments are welcome! (added references, corrected typos)

MSC Class: 53C21; 53C20

A characterisation of Morita algebras in terms of covers

Authors: Tiago Cruz

Abstract: A pair $(A, P)$ is called a cover of $\operatorname{End}_A(P)^{op}$ if the Schur functor $\operatorname{Hom}_A(P, -)$ is fully faithful on the full subcategory of projective $A$-modules, for a given projective $A$-module $P$. By definition, Morita algebras are the covers of self-injective algebras and then $P$ is a faithful projective-injective module. Conversely, we show that $A$ is a Morita alge… ▽ More A pair $(A, P)$ is called a cover of $\operatorname{End}_A(P)^{op}$ if the Schur functor $\operatorname{Hom}_A(P, -)$ is fully faithful on the full subcategory of projective $A$-modules, for a given projective $A$-module $P$. By definition, Morita algebras are the covers of self-injective algebras and then $P$ is a faithful projective-injective module. Conversely, we show that $A$ is a Morita algebra and $\operatorname{End}_A(P)^{op}$ is self-injective whenever $(A, P)$ is a cover of $\operatorname{End}_A(P)^{op}$ for a faithful projective-injective module $P$. △ Less

Submitted 26 January, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 8 pages, An example was added and several typos were corrected

MSC Class: 16G10; 16S50; 16L60

Schur--Weyl duality over commutative rings

Authors: Tiago Cruz

Abstract: The classical case of Schur--Weyl duality states that the actions of the group algebras of $GL_n$ and $S_d$ on the $d^{th}$-tensor power of a free module of finite rank centralize each other. We show that Schur--Weyl duality holds for commutative rings where enough scalars can be chosen whose non-zero differences are invertible. This implies all the known cases of Schur--Weyl duality so far. We al… ▽ More The classical case of Schur--Weyl duality states that the actions of the group algebras of $GL_n$ and $S_d$ on the $d^{th}$-tensor power of a free module of finite rank centralize each other. We show that Schur--Weyl duality holds for commutative rings where enough scalars can be chosen whose non-zero differences are invertible. This implies all the known cases of Schur--Weyl duality so far. We also show that Schur--Weyl duality fails for $\mathbb{Z}$ and for any finite field when $d$ is sufficiently large. △ Less

Submitted 21 September, 2020; originally announced September 2020.

MSC Class: 20C30; 20G05; 20G43

Journal ref: Comm. Algebra 47, no. 4, 1619-1628 (2019)

Min-max minimal surfaces, horizons and electrostatic systems

Authors: Tiarlos Cruz, Vanderson Lima, Alexandre de Sousa

Abstract: We present a connection between minimal surfaces of index one and General Relativity. First, we show that for a certain class of (electro)static systems, each of its unstable horizons is the solution of a one-parameter min-max problem for the area functional, in particular it has index one. We also obtain an inequality relating the area and the charge of a minimal surface of index one in a Cauchy… ▽ More We present a connection between minimal surfaces of index one and General Relativity. First, we show that for a certain class of (electro)static systems, each of its unstable horizons is the solution of a one-parameter min-max problem for the area functional, in particular it has index one. We also obtain an inequality relating the area and the charge of a minimal surface of index one in a Cauchy data satisfying the Dominant Energy Condition for non-electromagnetic matter fields. Moreover, we explore a global version of this inequality, and the rigidity in the case of the equality, using a result proved by Marques and Neves. △ Less

Submitted 17 June, 2022; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: Final version. Accepted for publication in Journal of Differential Geometry. We extended one of the main results to the case where the boundary has degenerate minimal surfaces (Theorem C). Also, we now only use the Simon-Smith version of min-max theory. Finnaly, we improved the presentation of the paper, following the suggestions of the referee

Journal ref: J. Differential Geom. 128 (2) 583 - 637, October 2024

On the prescribed $Q$-curvature problem in Riemannian manifolds

Authors: Flávio França Cruz, Tiarlos Cruz

Abstract: We prove the existence of metrics with prescribed $Q$-curvature under natural assumptions on the sign of the prescribing function and the background metric. In the dimension four case, we also obtain existence results for curvature forms requiring only restrictions on the Euler characteristic. Moreover, we derive a prescription result for open submanifolds which allow us to conclude that any smoot… ▽ More We prove the existence of metrics with prescribed $Q$-curvature under natural assumptions on the sign of the prescribing function and the background metric. In the dimension four case, we also obtain existence results for curvature forms requiring only restrictions on the Euler characteristic. Moreover, we derive a prescription result for open submanifolds which allow us to conclude that any smooth function on $\mathbb{R}^n$ can be realized as the $Q$-curvature of a Riemannian metric. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 14 pages. Comments are welcome!

Prescribing the curvature of Riemannian manifolds with boundary

Authors: Tiarlos Cruz, Feliciano Vitório

Abstract: Let $M$ be a compact connected surface with boundary. We prove that the signal condition given by the Gauss-Bonnet theorem is necessary and sufficient for a given smooth function $f$ on $\partial M$ (resp. on $M$) to be geodesic curvature of the boundary (resp. the Gauss curvature) of some flat metric on $M$ (resp. metric on $M$ with geodesic boundary). In order to provide analogous results for th… ▽ More Let $M$ be a compact connected surface with boundary. We prove that the signal condition given by the Gauss-Bonnet theorem is necessary and sufficient for a given smooth function $f$ on $\partial M$ (resp. on $M$) to be geodesic curvature of the boundary (resp. the Gauss curvature) of some flat metric on $M$ (resp. metric on $M$ with geodesic boundary). In order to provide analogous results for this problem with $n\geq 3,$ we prove some topological restrictions which imply, among other things, that any function that is negative somewhere on $\partial M$ (resp. on $M$) is a mean curvature of a scalar flat metric on $M$ (resp. scalar curvature of a metric on $M$ and minimal boundary with respect to this metric). As an application of our results, we obtain a classification theorem for manifolds with boundary. △ Less

Submitted 4 June, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Comments: 21 pages; Final version, to appear in Calc. Var. Partial Differential Equations

Capacity inequalities and rigidity of cornered/conical manifolds

Authors: C. Tiarlos Cruz

Abstract: We prove capacity inequalities involving the total mean curvature of hypersurfaces with boundary in convex cones and the mass of asymptotically flat manifolds with non-compact boundary. We then give the analogous of Pölia-Szegö, Alexandrov-Fenchel and Penrose type inequalities in this setting. Among the techniques used in this paper are the inverse mean curvature flow for hypersurfaces with bounda… ▽ More We prove capacity inequalities involving the total mean curvature of hypersurfaces with boundary in convex cones and the mass of asymptotically flat manifolds with non-compact boundary. We then give the analogous of Pölia-Szegö, Alexandrov-Fenchel and Penrose type inequalities in this setting. Among the techniques used in this paper are the inverse mean curvature flow for hypersurfaces with boundary. △ Less

Submitted 29 August, 2018; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: Revised version. 18 pages; comments are welcome

Deforming the scalar curvature of the de Sitter-Schwarzschild space

Authors: C. Tiarlos Cruz, Levi Lopes de Lima, José Fabio Montenegro

Abstract: Building upon the work of Brendle, Marques and Neves on the construction of counterexamples to Min-Oo's conjecture, we exhibit deformations of the de Sitter-Schwarzschild space of dimension $n\geq 3$ satisfying the dominant energy condition and agreeing with the standard metric along the event and cosmological horizons, which remain totally geodesic. Our results actually hold for generalized Kottl… ▽ More Building upon the work of Brendle, Marques and Neves on the construction of counterexamples to Min-Oo's conjecture, we exhibit deformations of the de Sitter-Schwarzschild space of dimension $n\geq 3$ satisfying the dominant energy condition and agreeing with the standard metric along the event and cosmological horizons, which remain totally geodesic. Our results actually hold for generalized Kottler-de Sitter-Schwarzschild spaces whose cross sections are compact rank one symmetric spaces and indicate that there exists no analogue of the Penrose inequality in the case of positive cosmological constant. As an application we construct solutions of Einstein field equations satisfying the dominant energy condition and being asymptotic to (or agreeing with) the de Sitter-Schwarzschild space-time both at the event horizon and at spatial infinity. △ Less

Submitted 6 November, 2014; originally announced November 2014.

Comments: 15 pages; no figures

MSC Class: Primary: 53C21; Secondary: 83C29

Free boundary hypersurfaces with nonpositive Yamabe invariant in mean convex manifolds

Authors: A. Barros, C. Tiarlos Cruz

Abstract: We obtain some estimates on the area of the boundary and on the volume of a certain free boundary hypersurface $Σ$ with nonpositive Yamabe invariant in a Riemannian $n$-manifold with bounds for the scalar curvature and the mean curvature of the boundary. Assuming further that $Σ$ is locally volume-minimizing in a manifold $M^n$ with scalar curvature bounded below by a nonpositive constant and mean… ▽ More We obtain some estimates on the area of the boundary and on the volume of a certain free boundary hypersurface $Σ$ with nonpositive Yamabe invariant in a Riemannian $n$-manifold with bounds for the scalar curvature and the mean curvature of the boundary. Assuming further that $Σ$ is locally volume-minimizing in a manifold $M^n$ with scalar curvature bounded below by a nonpositive constant and mean convex boundary, we conclude that locally $M$ splits along $Σ$. In the case that the scalar curvature of $M$ is at least $-n(n-1)$ and $Σ$ locally minimizes a certain functional inspired by [30], a neighborhood of $Σ$ in $M$ is isometric to $((-\varepsilon,\varepsilon)\timesΣ,dt^2+e^{2t}g)$, where $g$ is Ricci flat. △ Less

Submitted 16 June, 2014; originally announced June 2014.

Comments: 17 pages;comments are welcome