Showing 1–19 of 19 results for author: González-Sánchez, J

Standard Hausdorff spectrum of compact $\mathbb{F}_p[[t]]$-analytic groups

Authors: Jon González-Sánchez, Andoni Zozaya

Abstract: We prove that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of a compact $\mathbb{F}_p[[t]]$-analytic group contains a real interval and that it coincides with the full unit interval when the group is soluble. Moreover, we show that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of classical Chevalley groups over $\mathbb{F}_p[[t]]$ is not full, since 1 is an isolated point thereof. We prove that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of a compact $\mathbb{F}_p[[t]]$-analytic group contains a real interval and that it coincides with the full unit interval when the group is soluble. Moreover, we show that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of classical Chevalley groups over $\mathbb{F}_p[[t]]$ is not full, since 1 is an isolated point thereof. △ Less

Submitted 1 February, 2021; v1 submitted 31 October, 2020; originally announced November 2020.

MSC Class: 20E18; 28A78

A family of finite p-groups satisfying Carlson's conjecture

Authors: Oihana Garaialde Ocaña, Lander Guerrero Sánchez, Jon González-Sánchez

Abstract: Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that, in turn, it satisfies the equalities in Carlson's depth conjecture [3]. Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that, in turn, it satisfies the equalities in Carlson's depth conjecture [3]. △ Less

Submitted 29 May, 2020; originally announced May 2020.

Comments: 17 pages

MSC Class: 20J06; 13C15; 20D15

Cohomology of finite p-groups of fixed nilpotency class

Authors: Oihana Garaialde Ocaña, Jon González-Sánchez

Abstract: Let p be a prime number and let c, d be natural numbers. Then, the number of possible isomorphism types for the mod p cohomology algebra of a d-generated finite p-group of nilpotency class c is bounded by a function depending only on p, c and d. Let p be a prime number and let c, d be natural numbers. Then, the number of possible isomorphism types for the mod p cohomology algebra of a d-generated finite p-group of nilpotency class c is bounded by a function depending only on p, c and d. △ Less

Submitted 11 March, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: Accepted in Journal of Pure and Applied Mathematics

Cohomology of p-groups of nil potency class smaller than p

Authors: Antonio Díaz Ramos, Oihana Garaialde Ocaña, Jon González-Sánchez

Abstract: Let $p$ be a prime number, let $d$ be an integer and let $G$ be a $d$-generated finite $p$-group of nilpotency class smaller than $p$. Then the number of possible isomorphism types for the mod $p$ cohomology algebra $H^*(G;{\mathbb F}_p)$ is bounded in terms of $p$ and $d$. Let $p$ be a prime number, let $d$ be an integer and let $G$ be a $d$-generated finite $p$-group of nilpotency class smaller than $p$. Then the number of possible isomorphism types for the mod $p$ cohomology algebra $H^*(G;{\mathbb F}_p)$ is bounded in terms of $p$ and $d$. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 12 pages

MSC Class: 20D15

A cohomological criterion for $p$-solvability

Authors: Jon González-Sánchez, Joan Tent

Abstract: Let $G$ be a finite group, $p$ a prime and $P$ a Sylow $p$-subgroup of $G$. In this note we give a cohomological criterion for the $p$-solvability of $G$ depending on the cohomology in degree $1$ with coefficients in $\mathbb F_p$ of both the normal subgroups of $G$ and $P$. As a byproduct we bound the minimal number of quotients of order a power of $p$ appearing in any normal series of $G$ by the… ▽ More Let $G$ be a finite group, $p$ a prime and $P$ a Sylow $p$-subgroup of $G$. In this note we give a cohomological criterion for the $p$-solvability of $G$ depending on the cohomology in degree $1$ with coefficients in $\mathbb F_p$ of both the normal subgroups of $G$ and $P$. As a byproduct we bound the minimal number of quotients of order a power of $p$ appearing in any normal series of $G$ by the number of generators of $P$. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Comments: 7 pages

MSC Class: 20D10

Cohomology of uniserial $p$-adic space groups

Authors: Antonio Díaz Ramos, Oihana Garaialde Ocaña, Jon González-Sánchez

Abstract: We prove the non-twisted case of Carlson's conjecture for any prime and we show how to proceed in the twisted case. We prove the non-twisted case of Carlson's conjecture for any prime and we show how to proceed in the twisted case. △ Less

Submitted 2 December, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

MSC Class: 20J06; 55T10

Journal ref: Trans. Amer. Math. Soc., Volume 369, Number 9 (2017), 6275-6750

Finite p-groups with small automorphism group

Authors: Jon Gonzalez-Sanchez, Andrei Jaikin-Zapirain

Abstract: For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite $p$-group $G$. For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite $p$-group $G$. △ Less

Submitted 24 June, 2014; v1 submitted 22 June, 2014; originally announced June 2014.

Comments: 8 pages

MSC Class: 20D15

Hausdorff dimension in $R$-analytic profinite groups

Authors: Gustavo A. Fernández-Alcober, Eugenio Giannelli, Jon González-Sánchez

Abstract: We study the Hausdorff dimension of R-analytic subgroups in an R-analytic profinite group, where R is a pro-p ring whose asso- ciated graded ring is an integral domain. In particular, we prove that the set of such Hausdorff dimensions is a finite subset of the rational numbers. We study the Hausdorff dimension of R-analytic subgroups in an R-analytic profinite group, where R is a pro-p ring whose asso- ciated graded ring is an integral domain. In particular, we prove that the set of such Hausdorff dimensions is a finite subset of the rational numbers. △ Less

Submitted 24 May, 2016; v1 submitted 6 June, 2014; originally announced June 2014.

Comments: 7 pages

MSC Class: Primary 20E18; Secondary 28A78

Transporting cohomology in Lazard correspondence

Authors: Oihana Garaialde Ocaña, Jon Gonzalez-Sanchez

Abstract: Lazard correspondence provides an isomorphism of categories between finitely generated nilpotent pro-$p$ groups of nilpotency class smaller than $p$ and finitely generated nilpotent $\mathbb{Z}_p$-Lie algebras of nilpotency class smaller than $p$. Denote by $H_{Gr}^i$ and $H_{Lie}^i$ the group cohomology functors and the Lie cohomology functors respectively. The aim of this paper is to show that f… ▽ More Lazard correspondence provides an isomorphism of categories between finitely generated nilpotent pro-$p$ groups of nilpotency class smaller than $p$ and finitely generated nilpotent $\mathbb{Z}_p$-Lie algebras of nilpotency class smaller than $p$. Denote by $H_{Gr}^i$ and $H_{Lie}^i$ the group cohomology functors and the Lie cohomology functors respectively. The aim of this paper is to show that for $i=0$, $1$ and $1$, and for a given category of modules the cohomology functors $H_{Gr}^i\circ \textbf{exp}$ and $H^i_{Lie}$ are naturally equivalent. A similar result is proven for $i=3$ and the relative cohomology groups. △ Less

Submitted 20 May, 2014; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 18 pages

MSC Class: 20D15

A bound on the p-length of p-solvable groups

Authors: Jon Gonzalez-Sanchez, Francesca Spagnuolo

Abstract: Let G be a finite p-solvable group and P a Sylow p-subgroup of G. Suppose that $γ_{l(p-1)}(P)\subseteq γ_r(P)^{p^s}$ for $l(p-1)<r+s(p-1)$, then the p-length is bounded by a function depending on l. Let G be a finite p-solvable group and P a Sylow p-subgroup of G. Suppose that $γ_{l(p-1)}(P)\subseteq γ_r(P)^{p^s}$ for $l(p-1)<r+s(p-1)$, then the p-length is bounded by a function depending on l. △ Less

Submitted 26 November, 2013; originally announced November 2013.

Comments: 5 pages

MSC Class: 20D10

A characterization of powerful p-groups

Authors: Jon Gonzalez-Sanchez, Amaia Zugadi-Reizabal

Abstract: In [10] Benjamin Klopsch and Ilir Snopce posted the conjecture that for $p\geq 3$ and $G$ a torsion-free pro-$p$ group $d(G)=\dim (G)$ is a sufficient and necessary condition for the pro-$p$ group $G$ to be uniform. They pointed out that this follows from the more general question of whether for a finite $p$-group $d(G)=\log_p(|Ω_1(G)|)$ is a sufficient and necessary condition for the group $G$ to… ▽ More In [10] Benjamin Klopsch and Ilir Snopce posted the conjecture that for $p\geq 3$ and $G$ a torsion-free pro-$p$ group $d(G)=\dim (G)$ is a sufficient and necessary condition for the pro-$p$ group $G$ to be uniform. They pointed out that this follows from the more general question of whether for a finite $p$-group $d(G)=\log_p(|Ω_1(G)|)$ is a sufficient and necessary condition for the group $G$ to be powerful. In this short note we will give a positive answer to this question for $p\geq 5$. △ Less

Submitted 2 July, 2013; originally announced July 2013.

Comments: 7 pages

On Thompson's $p$-complement theorems for saturated fusion systems

Authors: Jon González-Sánchez, Albert Ruiz, Antonio Viruel

Abstract: In this short note we prove that a saturated fusion system admitting some special type of automorphism is nilpotent. This generalizes classical results by J.G. Thompson. In this short note we prove that a saturated fusion system admitting some special type of automorphism is nilpotent. This generalizes classical results by J.G. Thompson. △ Less

Submitted 11 December, 2013; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: 8 pages, no figures. Added references to previous work

MSC Class: 20D20; 55R35

Journal ref: Kyoto J. Math. 55, no. 3 (2015), 617-626

The representation zeta function of a FAb compact p-adic Lie group vanishes at -2

Authors: Jon Gonzalez-Sanchez, Andrei Jaikin-Zapirain, Benjamin Klopsch

Abstract: Let G by compact p-adic Lie group and suppose that G is FAb, i.e., that H/[H,H] is finite for every open subgroup H of G. The representation zeta function Z(G,s) encodes the distribution of continuous irreducible complex characters of G. Here s denotes a complex variable and Z(G,s) is defined as the Dirichlet generating function whose nth coefficient is equal to the number of irreducible character… ▽ More Let G by compact p-adic Lie group and suppose that G is FAb, i.e., that H/[H,H] is finite for every open subgroup H of G. The representation zeta function Z(G,s) encodes the distribution of continuous irreducible complex characters of G. Here s denotes a complex variable and Z(G,s) is defined as the Dirichlet generating function whose nth coefficient is equal to the number of irreducible characters of G of degree n. For p greater than 2 it is known that Z(G,s) defines a meromorphic function on the complex plane. Wedderburn's structure theorem for semisimple algebras implies that ZG,-2) = |G| for finite G. We complement this classic result by proving that Z(G,-2) = 0 for infinite G, assuming that p is greater than 2. △ Less

Submitted 22 February, 2013; originally announced February 2013.

Comments: 6 pages

MSC Class: 20E18 (Primary) 11M41; 20C15; 22E50 (Secondary)

Birationally trivial real smooth cubic surfaces

Authors: Jon Gonzalez-Sanchez, Irene Polo-Blanco

Abstract: Smooth real cubic surfaces are birationally trivial (over $\R$) if and only if their real locus is connected or, equivalently, if and only if they have two skew real lines or two skew complex conjugate lines. In such a case a parametrization over the reals can be given by cubic polynomials. In this short note we provide a simple geometric method to obtain such parametrization based in an algorithm… ▽ More Smooth real cubic surfaces are birationally trivial (over $\R$) if and only if their real locus is connected or, equivalently, if and only if they have two skew real lines or two skew complex conjugate lines. In such a case a parametrization over the reals can be given by cubic polynomials. In this short note we provide a simple geometric method to obtain such parametrization based in an algorithm by I. Polo-Blanco and J. Top \cite{Po-Top}. △ Less

Submitted 2 October, 2010; originally announced October 2010.

Comments: 6 pages

MSC Class: 14J26; 14Q10; 65D17

Algorithms for Del Pezzo Surfaces of Degree 5 (Construction, Parametrization)

Authors: Jon Gonzalez-Sanchez, Michael Harrison, Irene Polo-Blanco, Josef Schicho

Abstract: It is well known that every Del Pezzo surface of degree 5 defined over k is parametrizable over k. In this paper we give an efficient construction for parametrizing, as well as algorithms for constructing examples in every isomorphism class and for deciding equivalence. It is well known that every Del Pezzo surface of degree 5 defined over k is parametrizable over k. In this paper we give an efficient construction for parametrizing, as well as algorithms for constructing examples in every isomorphism class and for deciding equivalence. △ Less

Submitted 17 May, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 15 pages

MSC Class: 14Q10

On w-maximal groups

Authors: Jon Gonzalez-Sanchez, Benjamin Klopsch

Abstract: Let $w = w(x_1,..., x_n)$ be a word, i.e. an element of the free group $F =<x_1,...,x_n>$ on $n$ generators $x_1,..., x_n$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{w (g_1,...,g_n)^{\pm 1} | g_i \in G, 1\leq i\leq n \}$ of all $w$-values in $G$. We say that a (finite) group $G$ is $w$-maximal if $|G:w(G)|> |H:w(H)|$ for all proper subgroups $H$ of $G$ and… ▽ More Let $w = w(x_1,..., x_n)$ be a word, i.e. an element of the free group $F =<x_1,...,x_n>$ on $n$ generators $x_1,..., x_n$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{w (g_1,...,g_n)^{\pm 1} | g_i \in G, 1\leq i\leq n \}$ of all $w$-values in $G$. We say that a (finite) group $G$ is $w$-maximal if $|G:w(G)|> |H:w(H)|$ for all proper subgroups $H$ of $G$ and that $G$ is hereditarily $w$-maximal if every subgroup of $G$ is $w$-maximal. In this text we study $w$-maximal and hereditarily $w$-maximal (finite) groups. △ Less

Submitted 31 March, 2010; originally announced March 2010.

Comments: 15 pages

MSC Class: 20F99

Finite p-central groups of height k

Authors: Jon Gonzalez-Sanchez, Thomas S. Weigel

Abstract: A finite group $G$ is called {\it $p^i$-central of height $k$} if every element of order $p^i$ of $G$ is contained in the $k^{th}$-term $ζ_k(G)$ of the ascending central series of $G$. If $p$ is odd such a group has to be $p$-nilpotent (Thm. A). Finite $p$-central $p$-groups of height $p-2$ can be seen as the dual analogue of finite potent $p$-groups, i.e., for such a finite $p$-group $P$ the gr… ▽ More A finite group $G$ is called {\it $p^i$-central of height $k$} if every element of order $p^i$ of $G$ is contained in the $k^{th}$-term $ζ_k(G)$ of the ascending central series of $G$. If $p$ is odd such a group has to be $p$-nilpotent (Thm. A). Finite $p$-central $p$-groups of height $p-2$ can be seen as the dual analogue of finite potent $p$-groups, i.e., for such a finite $p$-group $P$ the group $P/Ω_1(P)$ is also $p$-central of height $p-2$ (Thm. B). In such a group $P$ the index of $P^p$ is less or equal than the order of the subgroup $Ω_1(P)$ (Thm. C). If the Sylow $p$-subgroup $P$ of a finite group $G$ is $p$-central of height $p-1$, $p$ odd, and $N_G(P)$ is $p$-nilpotent, then $G$ is also $p$-nilpotent (Thm. D). Moreover, if $G$ is a $p$-soluble finite group, $p$ odd, and $P\in \text{Syl}_p(G)$ is $p$-central of height $p-2$, then $N_G(P)$ controls $p$-fusion in $G$ (Thm. E). It is well-known that the last two properties hold for Swan groups. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 14 pages

MSC Class: 20D15; 20D20; 20F14

Cohomology, fusion and a p-nilpotency criterion

Authors: Jon Gonzalez-Sanchez

Abstract: Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is p-nilpotent if and only if P controls fusion of cyclic groups of order 2 and 4. Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is p-nilpotent if and only if P controls fusion of cyclic groups of order 2 and 4. △ Less

Submitted 16 April, 2009; v1 submitted 16 April, 2009; originally announced April 2009.

Comments: 7 pages

MSC Class: 20D15; 20J06

Analytic pro-p groups of small dimensions

Authors: Jon González-Sánchez, Benjamin Klopsch

Abstract: According to Lazard, every p-adic Lie group contains an open pro-p subgroup which is saturable. This can be regarded as the starting point of p-adic Lie theory, as one can naturally associate to every saturable pro-p group G a Lie lattice L(G) over the p-adic integers. Essential features of saturable pro-p groups include that they are torsion-free and p-adic analytic. In the present paper we p… ▽ More According to Lazard, every p-adic Lie group contains an open pro-p subgroup which is saturable. This can be regarded as the starting point of p-adic Lie theory, as one can naturally associate to every saturable pro-p group G a Lie lattice L(G) over the p-adic integers. Essential features of saturable pro-p groups include that they are torsion-free and p-adic analytic. In the present paper we prove a converse result in small dimensions: every torsion-free p-adic analytic pro-p group of dimension less than p is saturable. This leads to useful consequences and interesting questions. For instance, we give an effective classification of 3-dimensional soluble torsion-free p-adic analytic pro-p groups for p > 3. Our approach via Lie theory is comparable with the use of Lazard's correspondence in the classification of finite p-groups of small order. △ Less

Submitted 18 June, 2008; originally announced June 2008.

Comments: 24 pages

MSC Class: 20E18 (Primary) 22E20; 20F05 (Secondary)