Showing 1–16 of 16 results for author: Sancho, P

Notes on schematic finite spaces

Authors: Fernando Sancho, Pedro Sancho

Abstract: The schematic finite spaces are those finite ringed spaces where a theory of quasi-coherent modules can be developed with minimal natural conditions. We give various characterizations of these spaces and their natural morphisms. We show that schematic finite spaces are strongly related to quasi-compact quasi-separated schemes. The schematic finite spaces are those finite ringed spaces where a theory of quasi-coherent modules can be developed with minimal natural conditions. We give various characterizations of these spaces and their natural morphisms. We show that schematic finite spaces are strongly related to quasi-compact quasi-separated schemes. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: 73 pages

MSC Class: 14XX; 13XX; 06XX

Functors of modules associated with flat and projective modules II

Authors: Adrián Gordillo-Merino, José Navarro, Pedro Sancho

Abstract: Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion of dual functor, we prove that the natural morphism of functors $\,\mathcal M\to \mathcal M^{\vee\vee}\,$ is an isomorphism. We prove several characterizations… ▽ More Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion of dual functor, we prove that the natural morphism of functors $\,\mathcal M\to \mathcal M^{\vee\vee}\,$ is an isomorphism. We prove several characterizations of the functors associated with flat modules, flat Mittag-Leffler modules and projective modules. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:1806.09892

MSC Class: 16D10; 18A99

Reflexivity of modules

Authors: Adrián Gordillo-Merino, José Navarro, Pedro Sancho

Abstract: We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With the corresponding notion of dual functor, we prove that the natural morphism of functors $\,\mathcal M\to \mathcal M^{**}\,$ is an isomorphism. We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With the corresponding notion of dual functor, we prove that the natural morphism of functors $\,\mathcal M\to \mathcal M^{**}\,$ is an isomorphism. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: It is re-elaboration of material contained in ArXiv: 1710.04153 (v2)

MSC Class: 16D10; 18A99

Mittag-Leffler functors of modules

Authors: C. Sancho, F. Sancho, P. Sancho

Abstract: Finite modules, finitely presented modules and Mittag-Leffler modules are characterized by their behaviour by tensoring with direct products of modules. In this paper, we study and characterize the functors of modules that preserve direct products. Finite modules, finitely presented modules and Mittag-Leffler modules are characterized by their behaviour by tensoring with direct products of modules. In this paper, we study and characterize the functors of modules that preserve direct products. △ Less

Submitted 13 March, 2019; v1 submitted 22 April, 2018; originally announced April 2018.

Comments: 23 pages

MSC Class: 13C11

A remark on the invariant theory of real Lie groups

Authors: A. Gordillo, J. Navarro, P. Sancho

Abstract: We present a simple remark that assures that the invariant theory of certain real Lie groups coincides with that of the underlying affine, real algebraic groups. In particular, this result applies to the non-compact orthogonal or symplectic Lie groups. We present a simple remark that assures that the invariant theory of certain real Lie groups coincides with that of the underlying affine, real algebraic groups. In particular, this result applies to the non-compact orthogonal or symplectic Lie groups. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 6 pages

Journal ref: Colloquium Mathematicum (2019)

Left-exact Mittag-Leffler functors of modules

Authors: Adrián Gordillo, José Navarro, Pedro Sancho

Abstract: Let $R$ be an associative ring with unit. This paper deals with various aspects of the category of functors of $\mathcal R$-modules; that is, the category of additive and covariant functors from the category of R-modules to the category of abelian groups. We give several characterizations of left-exact Mittag-Leffler functors of $\mathcal R$-modules. Let $R$ be an associative ring with unit. This paper deals with various aspects of the category of functors of $\mathcal R$-modules; that is, the category of additive and covariant functors from the category of R-modules to the category of abelian groups. We give several characterizations of left-exact Mittag-Leffler functors of $\mathcal R$-modules. △ Less

Submitted 29 March, 2019; v1 submitted 11 October, 2017; originally announced October 2017.

Comments: 21 pages

MSC Class: 16D40; 18A99

Functorial characterization of Mittag-Leffler modules

Authors: Carlos Sancho, Fernando Sancho, Pedro Sancho

Abstract: We give a functorial characterization of Mittag-Leffler modules and strict Mittag-Leffler modules. We give a functorial characterization of Mittag-Leffler modules and strict Mittag-Leffler modules. △ Less

Submitted 11 July, 2017; v1 submitted 4 November, 2016; originally announced November 2016.

Comments: 19 pages. Added some results. arXiv admin note: text overlap with arXiv:1610.03395, arXiv:1609.08327

MSC Class: 13C11

Flat SML modules and reflexive functors

Authors: Carlos Sancho, Fernando Sancho, Pedro Sancho

Abstract: We give some functorial characterizations of flat strict Mittag-Leffler modules. We characterize reflexive functors of modules with similar tools, definitions and theorems. We give some functorial characterizations of flat strict Mittag-Leffler modules. We characterize reflexive functors of modules with similar tools, definitions and theorems. △ Less

Submitted 8 July, 2017; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: 20 pages. Some references have been added. arXiv admin note: text overlap with arXiv:1203.6796, arXiv:1609.08327

MSC Class: 13C11

Geometric characterization of flat modules

Authors: Carlos Sancho, Fernando Sancho, Pedro Sancho

Abstract: Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule affine algebraic varieties. Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule affine algebraic varieties. △ Less

Submitted 11 October, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 27 pages

MSC Class: 13C11

Reflexive functors in Algebraic Geometry

Authors: Pedro Sancho

Abstract: Reflexive functors of modules naturally appear in Algebraic Geometry. In this paper we define a wide and elementary family of reflexive functors of modules, closed by tensor products and homomorphisms, in which Algebraic Geometry can be developed. Reflexive functors of modules naturally appear in Algebraic Geometry. In this paper we define a wide and elementary family of reflexive functors of modules, closed by tensor products and homomorphisms, in which Algebraic Geometry can be developed. △ Less

Submitted 13 November, 2015; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 26 pages. arXiv admin note: substantial text overlap with arXiv:1203.6796, arXiv:0904.2158

MSC Class: 14L05; 14L99; 13J99

Reflexive functors of modules in Commutative Algebra

Authors: J. Navarro, C. Sancho, P. Sancho

Abstract: Reflexive functors of modules naturally appear in Algebraic Geometry, mainly in the theory of linear representations of group schemes, and in "duality theories". In this paper we study and determine reflexive functors and we give many properties of reflexive functors. Reflexive functors of modules naturally appear in Algebraic Geometry, mainly in the theory of linear representations of group schemes, and in "duality theories". In this paper we study and determine reflexive functors and we give many properties of reflexive functors. △ Less

Submitted 22 October, 2013; v1 submitted 30 March, 2012; originally announced March 2012.

MSC Class: 18A99; 16G99

A Characterization of Linearly Semisimple Groups

Authors: Amelia Álvarez, Carlos Sancho, Pedro Sancho

Abstract: Let $G = Spec A$ be an affine $K$-group scheme and $\tilde{A} = \{w \in A*: dim_K A^* \cdot w \cdot A^* < \infty \}$. Let $< -,-> : A^* \times \tilde{A} \to K, (w,\tilde{w}) := tr(w \tilde{w})$, be the trace form. We prove that $G$ is linearly reductive if and only if the trace form is non-degenerate on $A^*$. Let $G = Spec A$ be an affine $K$-group scheme and $\tilde{A} = \{w \in A*: dim_K A^* \cdot w \cdot A^* < \infty \}$. Let $< -,-> : A^* \times \tilde{A} \to K, (w,\tilde{w}) := tr(w \tilde{w})$, be the trace form. We prove that $G$ is linearly reductive if and only if the trace form is non-degenerate on $A^*$. △ Less

Submitted 31 August, 2009; originally announced August 2009.

Affine functors and duality

Authors: J. Navarro, C. Sancho, P. Sancho

Abstract: A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine functors are equal to a direct limit of affine schemes and that affine schemes, formal schemes, the completion of affine schemes along a closed subscheme, etc.… ▽ More A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine functors are equal to a direct limit of affine schemes and that affine schemes, formal schemes, the completion of affine schemes along a closed subscheme, etc., are affine functors. Endowing an affine functor $\mathbb X$ with a functor of monoids structure is equivalent to endowing $\mathbb A_{\mathbb X}$ with a functor of bialgebras structure. If $\mathbb G$ is an affine functor of monoids, then $\mathbb A_{\mathbb G}^*$ is the enveloping functor of algebras of $\mathbb G$ and the category of $\mathbb G$-modules is equivalent to the category of $\mathbb A_{\mathbb G}^*$-modules. Applications of these results include Cartier duality, neutral Tannakian duality for affine group schemes, the equivalence between formal groups and Lie algebras in characteristic zero, etc. △ Less

Submitted 7 May, 2012; v1 submitted 14 April, 2009; originally announced April 2009.

Comments: 42 pages

MSC Class: 16W30

A Direct Proof of the Theorem on Formal Functions

Authors: Fernado Sancho, Pedro Sancho

Abstract: We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion. We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion. △ Less

Submitted 28 November, 2007; originally announced November 2007.

Comments: 5 pages

MSC Class: 14A15; 14F99

Invariant integral on classical groups and algebraic harmonic analysis

Authors: Amelia Alvarez, Carlos Sancho, Pedro Sancho

Abstract: Let $G={\rm Spec} A$ be a linearly reductive group and let $w_G\in A^*$ be the invariant integral on $G$. We establish the harmonic analysis on $G$ and we compute $w_G$ when $G=Sl_n, Gl_n, O_n, Sp_{2n}$ by geometric arguments and by means of the Fourier transform. Let $G={\rm Spec} A$ be a linearly reductive group and let $w_G\in A^*$ be the invariant integral on $G$. We establish the harmonic analysis on $G$ and we compute $w_G$ when $G=Sl_n, Gl_n, O_n, Sp_{2n}$ by geometric arguments and by means of the Fourier transform. △ Less

Submitted 12 November, 2008; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 17 pages, some new results added

MSC Class: 14L24 (Primary) 14L17 (Secondary)

Reynolds Operator on functors

Authors: Amelia Alvarez, Carlos Sancho, Pedro Sancho

Abstract: Let $G= {\rm Spec} A$ be an affine $R$-monoid scheme. We prove that the category of dual functors (over the category of commutative $R$-algebras) of $G$-modules is equivalent to the category of dual functors of ${\mathcal A}^*$-modules. We prove that $G$ is invariant exact if and only if $A^*= R \times B^*$ as $R$-algebras and the first projection $A^* \to R$ is the unit of $A$. If $\mathbb M$ i… ▽ More Let $G= {\rm Spec} A$ be an affine $R$-monoid scheme. We prove that the category of dual functors (over the category of commutative $R$-algebras) of $G$-modules is equivalent to the category of dual functors of ${\mathcal A}^*$-modules. We prove that $G$ is invariant exact if and only if $A^*= R \times B^*$ as $R$-algebras and the first projection $A^* \to R$ is the unit of $A$. If $\mathbb M$ is a dual functor of $G$-modules and $w_G := (1,0) \in R \times B^* = A^*$, we prove that $\mathbb M^G = w_G \cdot \mathbb M$ and $\mathbb F = w_G \cdot \mathbb M \oplus (1-w_G) \cdot \mathbb M$; hence, the Reynolds operator can defined on $\mathcal M$. △ Less

Submitted 31 August, 2009; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: notations have been improved

MSC Class: 14L24 (Primary); 14L17 (Secondary)