-
Geometric perspective of linear stability in finite networks of nonlinear oscillators
Authors:
Yashee Sinha,
Priya B. Jain,
Antonio Mihara,
Rene O. Medrano-T,
Ján Mináč,
Lyle E. Muller,
Roberto C. Budzinski
Abstract:
We use a complex-valued transformation of the Kuramoto model to develop an operator-description of the linear stability in finite networks of nonlinear oscillators. This mathematical approach offers analytical predictions for the linear stability of $q$-states, which include phase synchronization ($q = 0$) and waves with different spatial frequencies ($|q| > 0$). This approach seamlessly incorpora…
▽ More
We use a complex-valued transformation of the Kuramoto model to develop an operator-description of the linear stability in finite networks of nonlinear oscillators. This mathematical approach offers analytical predictions for the linear stability of $q$-states, which include phase synchronization ($q = 0$) and waves with different spatial frequencies ($|q| > 0$). This approach seamlessly incorporates the presence of time delays (represented by phase-lags in the coupling). With this, we are able to analytically determine the specific combination of connectivity and time delays (phase-lags) that leads to any given $q$-state to be linearly stable. This approach offers a geometric perspective of linear stability in finite networks in terms of the connectivity and delays (phase-lag), and it opens a path to designing and controlling the spatiotemporal dynamics of individual oscillator networks.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Isomorphic gcd-graphs over polynomial rings
Authors:
Ján Mináč,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
Gcd-graphs over the ring of integers modulo $n$ are a simple and elegant class of integral graphs. The study of these graphs connects multiple areas of mathematics, including graph theory, number theory, and ring theory. In a recent work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We di…
▽ More
Gcd-graphs over the ring of integers modulo $n$ are a simple and elegant class of integral graphs. The study of these graphs connects multiple areas of mathematics, including graph theory, number theory, and ring theory. In a recent work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We discover that, in both cases, gcd-graphs share many similar and analogous properties. In this article, we extend this line of research further. Among other topics, we explore an analog of a conjecture of So and a weaker version of Sander-Sander, concerning the conditions under which two gcd-graphs are isomorphic or isospectral. We also provide several constructions showing that, unlike the case over $\mathbb{Z}$, it is not uncommon for two gcd-graphs over polynomial rings to be isomorphic.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
On the gcd graphs over polynomial rings and related topics
Authors:
Ján Mináč,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
Gcd-graphs over the ring of integers modulo $n$ are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired…
▽ More
Gcd-graphs over the ring of integers modulo $n$ are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We establish some fundamental properties of these graphs, emphasizing their analogy to their counterparts over $\mathbb{Z}.$
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
A complete classification of perfect unitary Cayley graphs
Authors:
Ján Mináč,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
Due to their elegant and simple nature, unitary Cayley graphs have been an active research topic in the literature. These graphs are naturally connected to several branches of mathematics, including number theory, finite algebra, representation theory, and graph theory. In this article, we study the perfectness property of these graphs. More precisely, we provide a complete classification of perfe…
▽ More
Due to their elegant and simple nature, unitary Cayley graphs have been an active research topic in the literature. These graphs are naturally connected to several branches of mathematics, including number theory, finite algebra, representation theory, and graph theory. In this article, we study the perfectness property of these graphs. More precisely, we provide a complete classification of perfect unitary Cayley graphs associated with finite rings.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
On the strong Massey property for number fields
Authors:
Christian Maire,
Ján Mináč,
Ravi Ramakrishna,
Nguyen Duy Tan
Abstract:
Let $n\geq 3$. We show that for every number field $K$ with $ζ_p \notin K$, the absolute and tame Galois groups of $K$ satisfy the strong $n$-fold Massey property relative to $p$. Our work is based on an adapted version of the proof of the Theorem of Scholz-Reichardt.
Let $n\geq 3$. We show that for every number field $K$ with $ζ_p \notin K$, the absolute and tame Galois groups of $K$ satisfy the strong $n$-fold Massey property relative to $p$. Our work is based on an adapted version of the proof of the Theorem of Scholz-Reichardt.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one
Authors:
Sunil K. Chebolu,
Ján Mináč,
Cihan Okay,
Andrew Schultz,
Charlotte Ure
Abstract:
The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the…
▽ More
The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.
△ Less
Submitted 5 February, 2025; v1 submitted 21 May, 2024;
originally announced May 2024.
-
On prime Cayley graphs
Authors:
Maria Chudnovsky,
Michal Cizek,
Logan Crew,
Ján Mináč,
Tung T. Nguyen,
Sophie Spirkl,
Nguyên Duy Tân
Abstract:
The decomposition of complex networks into smaller, interconnected components is a central challenge in network theory with a wide range of potential applications. In this paper, we utilize tools from group theory and ring theory to study this problem when the network is a Cayley graph. In particular, we answer the following question: Which Cayley graphs are prime?
The decomposition of complex networks into smaller, interconnected components is a central challenge in network theory with a wide range of potential applications. In this paper, we utilize tools from group theory and ring theory to study this problem when the network is a Cayley graph. In particular, we answer the following question: Which Cayley graphs are prime?
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
On the arithmetic of the join rings over finite fields
Authors:
Sunil K. Chebolu,
Jonathan Merzel,
Ján Mináč,
Tung T. Nguyen,
Federico Pasini,
Nguyên Duy Tân
Abstract:
Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, networ…
▽ More
Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, network theory, nonlinear dynamics, and neuroscience. In this paper, we continue our investigations of this ring, focusing more on its arithmetic properties. We begin by constructing a generalized augmentation map that gives a structural decomposition of this ring. This decomposition allows us to compute the zeta function of the join of group rings. We show that the join of group rings is a natural home for studying the concept of simultaneous primitive roots for a given set of primes. This concept is related to the order of the unit group of the join of group rings. Finally, we characterize the join of group rings over finite fields with the property that the order of every unit divides a fixed number. Remarkably, Mersenne and Fermat primes unexpectedly emerge within the context of this exploration.
△ Less
Submitted 13 April, 2024; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Fekete polynomials of principal Dirichlet characters
Authors:
Shiva Chidambaram,
Ján Mináč,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
Fekete polynomials associated to quadratic Dirichlet characters have interesting arithmetic properties, and have been studied in many works. In this paper, we study a seemingly simpler yet rich variant: the Fekete polynomial $F_n(x) = \sum_{a=1}^n χ_n(a) x^a$ associated to a principal Dirichlet character $χ_n$ of modulus $n$. We investigate the cyclotomic factors of $F_n$ and conjecturally describ…
▽ More
Fekete polynomials associated to quadratic Dirichlet characters have interesting arithmetic properties, and have been studied in many works. In this paper, we study a seemingly simpler yet rich variant: the Fekete polynomial $F_n(x) = \sum_{a=1}^n χ_n(a) x^a$ associated to a principal Dirichlet character $χ_n$ of modulus $n$. We investigate the cyclotomic factors of $F_n$ and conjecturally describe all of them. One interesting observation from our computations is that the non-cyclotomic part $f_n$ of $F_n(x)/x$ seems to be always irreducible. We study this factor closely in the special case that $n$ is a product of two odd primes, proving separability in specific cases, and studying its coefficients and special values. Combining these theoretical results with computational evidence lets us identify the Galois group of $f_n$ for small $n$, and raises precise questions in general.
△ Less
Submitted 11 December, 2023; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Spectral perturbation by rank-$m$ matrices
Authors:
Jonathan L. Merzel,
Ján Mináč,
Tung T. Nguyen,
Federico W. Pasini
Abstract:
Let $A$ and $B$ designate $n\times n$ matrices with coefficients in a field $F$. In this paper, we completely answer the following question: For $A$ fixed, what are the possible characteristic polynomials of $A+B$, where $B$ ranges over matrices of rank $\le m$?
Let $A$ and $B$ designate $n\times n$ matrices with coefficients in a field $F$. In this paper, we completely answer the following question: For $A$ fixed, what are the possible characteristic polynomials of $A+B$, where $B$ ranges over matrices of rank $\le m$?
△ Less
Submitted 6 August, 2023; v1 submitted 17 June, 2023;
originally announced June 2023.
-
Composed solutions of synchronized patterns in multiplex networks of Kuramoto oscillators
Authors:
Priya B. Jain,
Tung T. Nguyen,
Ján Mináč,
Lyle E. Muller,
Roberto C. Budzinski
Abstract:
Networks with different levels of interactions, including multilayer and multiplex networks, can display a rich diversity of dynamical behaviors and can be used to model and study a wide range of systems. Despite numerous efforts to investigate these networks, obtaining mathematical descriptions for the dynamics of multilayer and multiplex systems is still an open problem. Here, we combine ideas a…
▽ More
Networks with different levels of interactions, including multilayer and multiplex networks, can display a rich diversity of dynamical behaviors and can be used to model and study a wide range of systems. Despite numerous efforts to investigate these networks, obtaining mathematical descriptions for the dynamics of multilayer and multiplex systems is still an open problem. Here, we combine ideas and concepts from linear algebra and graph theory with nonlinear dynamics to offer a novel approach to study multiplex networks of Kuramoto oscillators. Our approach allows us to study the dynamics of a large, multiplex network by decomposing it into two smaller systems: one representing the connection scheme within layers (intra-layer), and the other representing the connections between layers (inter-layer). Particularly, we use this approach to compose solutions for multiplex networks of Kuramoto oscillators. These solutions are given by a combination of solutions for the smaller systems given by the intra and inter-layer system and, in addition, our approach allows us to study the linear stability of these solutions.
△ Less
Submitted 6 October, 2023; v1 submitted 10 June, 2023;
originally announced June 2023.
-
On the Paley graph of a quadratic character
Authors:
Ján Mináč,
Lyle Muller,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Lege…
▽ More
Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Legendre symbol at $p$ which is a quadratic Dirichlet character of conductor $p$. In this article, we introduce the generalized Paley graphs. These are graphs that are associated with a general quadratic Dirichlet character. We will then provide some of their basic properties. In particular, we describe their spectrum explicitly. We then use those generalized Paley graphs to construct some new families of Ramanujan graphs. Finally, using special values of $L$-functions, we provide an effective upper bound for their Cheeger number.
△ Less
Submitted 6 December, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Broadcasting solutions on networked systems of phase oscillators
Authors:
Tung T. Nguyen,
Roberto C. Budzinski,
Federico W. Pasini,
Robin Delabays,
Ján Mináč,
Lyle E. Muller
Abstract:
Networked systems have been used to model and investigate the dynamical behavior of a variety of systems. For these systems, different levels of complexity can be considered in the modeling procedure. On one hand, this can offer a more realistic and rich modeling option. On the other hand, it can lead to intrinsic difficulty in analyzing the system. Here, we present an approach to investigate the…
▽ More
Networked systems have been used to model and investigate the dynamical behavior of a variety of systems. For these systems, different levels of complexity can be considered in the modeling procedure. On one hand, this can offer a more realistic and rich modeling option. On the other hand, it can lead to intrinsic difficulty in analyzing the system. Here, we present an approach to investigate the dynamics of Kuramoto oscillators on networks with different levels of connections: a network of networks. To do so, we utilize a construction in network theory known as the join of networks, which represents ``intra-area" and ``inter-area" connections. This approach provides a reduced representation of the original, multi-level system, where both systems have equivalent dynamics. Then, we can find solutions for the reduced system and broadcast them to the original network of networks. Moreover, using the same idea we can investigate the stability of these states, where we can obtain information on the Jacobian of the multi-level system by analyzing the reduced one. This approach is general for arbitrary connection schemes between nodes within the same area. Finally, our work opens the possibility of studying the dynamics of networked systems using a simpler representation, thus leading to a better understanding of the dynamical behavior of these systems.
△ Less
Submitted 18 January, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
On the joins of group rings
Authors:
Sunil K. Chebolu,
Jonathan L. Merzel,
Ján Mináč,
Lyle Muller,
Tung T. Nguyen,
Federico W. Pasini,
Nguyen Duy Tân
Abstract:
Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of…
▽ More
Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of group rings and denote it by $\mathcal{J}_{G_1,\dots, G_d}(R)$. In this paper, we present a systematic study of the algebraic structure of $\mathcal{J}_{G_1,\dots, G_d}(R)$. We show that it has a ring structure and characterize its center, group of units, and Jacobson radical. When $R=k$ is an algebraically closed field, we derive a formula for the number of irreducible modules over $\mathcal{J}_{G_1,\dots, G_d}(k)$. We also show how a blockwise extension of the Fourier transform provides both a generalization of the Circulant Diagonalization Theorem to joins of circulant matrices and an explicit isomorphism between the join algebra and its Wedderburn components.
△ Less
Submitted 1 April, 2023; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Analytical prediction of specific spatiotemporal patterns in nonlinear oscillator networks with distance-dependent time delays
Authors:
Roberto C. Budzinski,
Tung T. Nguyen,
Gabriel B. Benigno,
Jacqueline Doàn,
Ján Mináč,
Terrence J. Sejnowski,
Lyle E. Muller
Abstract:
We introduce an analytical approach that allows predictions and mechanistic insights into the dynamics of nonlinear oscillator networks with heterogeneous time delays. We demonstrate that time delays shape the spectrum of a matrix associated to the system, leading to the emergence of waves with a preferred direction. We then create analytical predictions for the specific spatiotemporal patterns ob…
▽ More
We introduce an analytical approach that allows predictions and mechanistic insights into the dynamics of nonlinear oscillator networks with heterogeneous time delays. We demonstrate that time delays shape the spectrum of a matrix associated to the system, leading to the emergence of waves with a preferred direction. We then create analytical predictions for the specific spatiotemporal patterns observed in individual simulations of time-delayed Kuramoto networks. This approach generalizes to systems with heterogeneous time delays at finite scales, which permits the study of spatiotemporal dynamics in a broad range of applications.
△ Less
Submitted 16 January, 2023; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Joins of normal matrices, their spectrum, and applications
Authors:
Jan Mináč,
Lyle Muller,
Tung T. Nguyen,
Federico W. Pasini
Abstract:
Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs…
▽ More
Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs for some theorems in the classical book of Cvetković, Rowlinson, and Slobodan.
△ Less
Submitted 8 December, 2024; v1 submitted 8 July, 2022;
originally announced July 2022.
-
On the arithmetic of generalized Fekete polynomials
Authors:
Ján Mináč,
Tung T. Nguyen,
Nguyen Duy Tân
Abstract:
For each prime number $p$ one can associate a Fekete polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These are classical polynomials that have been studied extensively in the framework of analytic number theory. In a recent paper, we showed that these polynomials also encode interesting arithmetic information. In this paper, we define generalized Fekete polynomials a…
▽ More
For each prime number $p$ one can associate a Fekete polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These are classical polynomials that have been studied extensively in the framework of analytic number theory. In a recent paper, we showed that these polynomials also encode interesting arithmetic information. In this paper, we define generalized Fekete polynomials associated with quadratic characters whose conductors could be a composite number. We then investigate the appearance of cyclotomic factors of these generalized Fekete polynomials. Based on this investigation, we introduce a compact version of Fekete polynomials as well as their trace polynomials. We then study the Galois groups of these Fekete polynomials using modular techniques. In particular, we discover some surprising extra symmetries which imply some restrictions on the corresponding Galois groups. Finally, based on both theoretical and numerical data, we propose a precise conjecture on the structure of these Galois groups.
△ Less
Submitted 2 December, 2023; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Galois module structure of some elementary $p$-abelian extensions
Authors:
Lauren Heller,
Jan Minac,
Tung T. Nguyen,
Andrew Schultz,
Nguyen Duy Tan
Abstract:
We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.
We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.
△ Less
Submitted 6 January, 2023; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Quaternion algebras and square power classes over biquadratic extensions
Authors:
Frank Chemotti,
Jan Minac,
Tung T. Nguyen,
Andrew Schultz,
John Swallow,
Nguyen Duy Tan
Abstract:
Recently the Galois module structure of square power classes of a field $K$ has been computed under the action of $\text{Gal}(K/F)$ in the case where $\text{Gal}(K/F)$ is the Klein $4$-group. Despite the fact that the modular representation theory over this group ring includes an infinite number of non-isomorphic indecomposable types, the decomposition for square power classes includes at most…
▽ More
Recently the Galois module structure of square power classes of a field $K$ has been computed under the action of $\text{Gal}(K/F)$ in the case where $\text{Gal}(K/F)$ is the Klein $4$-group. Despite the fact that the modular representation theory over this group ring includes an infinite number of non-isomorphic indecomposable types, the decomposition for square power classes includes at most $9$ distinct summand types. In this paper we determine the multiplicity of each summand type in terms of a particular subspace of $\text{Br}(F)$, and show that all "unexceptional" summand types are possible.
△ Less
Submitted 26 April, 2023; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Spectral perturbation by rank one matrices
Authors:
Jon Merzel,
Jan Minac,
Lyle Muller,
Federico W. Pasini,
Tung T. Nguyen
Abstract:
Let $A$ be a matrix of size $n \times n$ over an algebraically closed field $F$ and $q(t)$ a monic polynomial of degree $n$. In this article, we describe the necessary and sufficient conditions of $q(t)$ so that there exists a rank one matrix $B$ such that the characteristic polynomial of $A+B$ is $q(t)$.
Let $A$ be a matrix of size $n \times n$ over an algebraically closed field $F$ and $q(t)$ a monic polynomial of degree $n$. In this article, we describe the necessary and sufficient conditions of $q(t)$ so that there exists a rank one matrix $B$ such that the characteristic polynomial of $A+B$ is $q(t)$.
△ Less
Submitted 20 November, 2021;
originally announced November 2021.
-
Joins of circulant matrices
Authors:
Jacqueline Doan,
Jan Minac,
Lyle Muller,
Tung T. Nguyen,
Federico W. Pasini
Abstract:
We study the spectrum of the join of several circulant matrices. We apply our results to compute explicitly the spectrum of certain graphs obtained by joining several circulant graphs.
We study the spectrum of the join of several circulant matrices. We apply our results to compute explicitly the spectrum of certain graphs obtained by joining several circulant graphs.
△ Less
Submitted 9 June, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Fekete polynomials, quadratic residues, and arithmetic
Authors:
Jan Minac,
Tung T. Nguyen,
Nguyen Duy Tan
Abstract:
Fekete polynomials associate with each prime number $p$ a polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These coefficients reflect the distribution of quadratic residues modulo $p$. These polynomials were first considered in the 19th century in relation to the studies of Dirichlet $L$-functions. In our paper, we introduce two closely related polynomials. We then ex…
▽ More
Fekete polynomials associate with each prime number $p$ a polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These coefficients reflect the distribution of quadratic residues modulo $p$. These polynomials were first considered in the 19th century in relation to the studies of Dirichlet $L$-functions. In our paper, we introduce two closely related polynomials. We then express their special values at several integers in terms of certain class numbers and generalized Bernoulli numbers. Additionally, we study the splitting fields and the Galois group of these polynomials. In particular, we propose a conjecture on the structure of these Galois groups.
△ Less
Submitted 15 June, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Equilibria in Kuramoto oscillator networks: An algebraic approach
Authors:
Tung T. Nguyen,
Roberto C. Budzinski,
Jacqueline Doan,
Federico W. Pasini,
Jan Minac,
Lyle E. Muller
Abstract:
Kuramoto networks constitute a paradigmatic model for the investigation of collective behavior in networked systems. Despite many advances in recent years, many open questions remain on the solutions for systems composed of coupled Kuramoto oscillators on complex networks. In this article, we describe an algebraic method to find equilibrium points for this kind of system without using standard app…
▽ More
Kuramoto networks constitute a paradigmatic model for the investigation of collective behavior in networked systems. Despite many advances in recent years, many open questions remain on the solutions for systems composed of coupled Kuramoto oscillators on complex networks. In this article, we describe an algebraic method to find equilibrium points for this kind of system without using standard approximations in the limit of infinite system size or the continuum limit. To do this, we use a recently introduced algebraic approach to the Kuramoto dynamics, which results in an explicitly solvable complex-valued equation that captures the dynamics of the original Kuramoto model. Using this new approach, we obtain equilibria for both the nonlinear original Kuramoto and complex-valued systems. We then completely classify all equilibria in the case of complete graphs originally studied by Kuramoto. Finally, we go on to study equilibria in networks of coupled oscillators with phase lag, in generalized circulant networks, multi-layer networks, and also random networks.
△ Less
Submitted 14 September, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Geometry unites synchrony, chimeras, and waves in nonlinear oscillator networks
Authors:
Roberto C. Budzinski,
Tung T. Nguyen,
Jacqueline Doan,
Jan Minac,
Terrence J. Sejnowski,
Lyle E. Muller
Abstract:
One of the simplest mathematical models in the study of nonlinear systems is the Kuramoto model, which describes synchronization in systems from swarms of insects to superconductors. We have recently found a connection between the original, real-valued nonlinear Kuramoto model and a corresponding complex-valued system that permits describing the system in terms of a linear operator and iterative u…
▽ More
One of the simplest mathematical models in the study of nonlinear systems is the Kuramoto model, which describes synchronization in systems from swarms of insects to superconductors. We have recently found a connection between the original, real-valued nonlinear Kuramoto model and a corresponding complex-valued system that permits describing the system in terms of a linear operator and iterative update rule. We now use this description to investigate three major synchronization phenomena in Kuramoto networks (phase synchronization, chimera states, and traveling waves), not only in terms of steady state solutions but also in terms of transient dynamics and individual simulations. These results provide new mathematical insight into how sophisticated behaviors arise from connection patterns in nonlinear networked systems.
△ Less
Submitted 30 March, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Further insights into the mysteries of the values of zeta functions at integers
Authors:
Ján Mináč,
Nguyen Duy Tân,
Nguyen Tho Tung
Abstract:
We present a remarkably simple and surprisingly natural interpretation of the values of zeta functions at negative integers and zero. Namely we are able to relate these values to areas related to partial sums of powers. We apply these results to further interpretations of values of $L$-functions at negative integers. We hint in a very brief way at some expected connections of this work with other…
▽ More
We present a remarkably simple and surprisingly natural interpretation of the values of zeta functions at negative integers and zero. Namely we are able to relate these values to areas related to partial sums of powers. We apply these results to further interpretations of values of $L$-functions at negative integers. We hint in a very brief way at some expected connections of this work with other current efforts to understand the mysteries of the values of zeta functions at integers.
△ Less
Submitted 8 September, 2022; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Mild pro-p groups and the Koszulity conjectures
Authors:
Jan Minac,
Federico Pasini,
Claudio Quadrelli,
Nguyen Duy Tân
Abstract:
Let $p$ be a prime, and $\mathbb{F}_p$ the field with $p$ elements. We prove that if $G$ is a mild pro-$p$ group with quadratic $\mathbb{F}_p$-cohomology algebra $H^\bullet(G,\mathbb{F}_p)$, then the algebras $H^\bullet(G,\mathbb{F}_p)$ and $\mathrm{gr}\mathbb{F}_p[\![G]\!]$ - the latter being induced by the quotients of consecutive terms of the $p$-Zassenhaus filtration of $G$ - are both Koszul,…
▽ More
Let $p$ be a prime, and $\mathbb{F}_p$ the field with $p$ elements. We prove that if $G$ is a mild pro-$p$ group with quadratic $\mathbb{F}_p$-cohomology algebra $H^\bullet(G,\mathbb{F}_p)$, then the algebras $H^\bullet(G,\mathbb{F}_p)$ and $\mathrm{gr}\mathbb{F}_p[\![G]\!]$ - the latter being induced by the quotients of consecutive terms of the $p$-Zassenhaus filtration of $G$ - are both Koszul, and they are quadratically dual to each other. Consequently, if the maximal pro-$p$ Galois group of a field is mild, then Positselski's and Weigel's Koszulity conjectures hold true for such a field.
△ Less
Submitted 26 March, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
On the indecomposability of a remarkable new family of modules appearing in Galois theory
Authors:
Jan Minac,
Andrew Schultz,
John Swallow
Abstract:
A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions is their stunning simplicity: almost all summands are free over some quotient ring. The non-free summands which appear are exceptional not only because they are…
▽ More
A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions is their stunning simplicity: almost all summands are free over some quotient ring. The non-free summands which appear are exceptional not only because they are different in form, but because they play the key role in controlling arithmetic conditions that allow the remaining summands to be easily described. In this way, these exceptional summands are the lynchpin for a bevy of new properties of absolute Galois groups that have been gleaned from these surprising decompositions.
In one such recent decomposition, a remarkable new exceptional summand was discovered which exhibited interesting properties that have not been seen before. The exceptional summand is drawn from a particular finite family that has not yet been investigated. The main goal of this paper is to introduce this family of modules and verify their indecomposability. We believe this module will be of interest to people working in Galois theory, representation theory, combinatorics, and general algebra. The analysis of these modules includes some interesting new tools, including analogs of $p$-adic expansions.
△ Less
Submitted 24 February, 2022; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Arithmetic properties encoded in the Galois module structure of $K^\times/K^{\times p^m}$
Authors:
Jan Minac,
Andrew Schultz,
John Swallow
Abstract:
The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far few…
▽ More
The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far fewer isomorphism types of indecomposables than one would expect generically, with summands predominately free over associated quotient rings. Though non-free summands are the exception both in their form and prevalence, they play the critical role in controlling arithmetic conditions in the field which allow the rest of the decomposition to be so simple.
Suppose $m,n \in \mathbb{N}$ and $p$ is prime. In a recent paper, a surprising and elegant decomposition for $p^m$th power classes has been computed when the underlying Galois group is a cyclic group of order $p^n$. As with previous module decompositions, at most one non-free summand appears. Outside of a particular special case when $p=2$, the structure of this exceptional summand was determined by a vector $\mathbf{a}\in \{-\infty,0,\dots,n\}^m$ and a natural number $d$. In this paper we give field-theoretic interpretations for $\mathbf{a}$ and $d$, showing they are related to the solvability of a family of Galois embedding problems and the cyclotomic character associated to $K/F$.
△ Less
Submitted 17 June, 2022; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Galois module structure of the units modulo $p^m$ of cyclic extensions of degree $p^n$
Authors:
Jan Minac,
Andrew Schultz,
John Swallow
Abstract:
Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomo…
▽ More
Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomorphism classes for the non-free indecomposable summand.
These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this module computation provides insight into the structure of absolute Galois groups. More immediately, however, these results show that Galois cohomology is a context in which seemingly difficult module decompositions can practically be achieved: when $m,n>1$ the modular representation theory allows for an infinite number of indecomposable summands (with no known classification of indecomposable types), and yet the main result of this paper provides a complete decomposition over an infinite family of modules.
△ Less
Submitted 16 March, 2022; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Galois module structure of square power classes for biquadratic extensions
Authors:
Frank Chemotti,
Jan Minac,
Andrew Schultz,
John Swallow
Abstract:
For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomp…
▽ More
For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomposition includes at most $9$ indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.
△ Less
Submitted 22 July, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
An algebraic approach to the Kuramoto model
Authors:
Lyle Muller,
Ján Minác,
Tung T. Nguyen
Abstract:
We study the Kuramoto model with attractive sine coupling. We introduce a complex-valued matrix formulation whose argument coincides with the original Kuramoto dynamics. We derive an exact solution for the complex-valued model, which permits analytical insight into individual realizations of the Kuramoto model. The existence of a complex-valued form of the Kuramoto model provides a key demonstrati…
▽ More
We study the Kuramoto model with attractive sine coupling. We introduce a complex-valued matrix formulation whose argument coincides with the original Kuramoto dynamics. We derive an exact solution for the complex-valued model, which permits analytical insight into individual realizations of the Kuramoto model. The existence of a complex-valued form of the Kuramoto model provides a key demonstration that, in some cases, re-formulations of nonlinear dynamics in higher-order number fields may provide tractable analytical approaches.
△ Less
Submitted 13 August, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Enhanced Koszul properties in Galois cohomology
Authors:
Jan Minac,
Marina Palaisti,
Federico W. Pasini,
Nguyen Duy Tan
Abstract:
We prove that Galois cohomology satisfies several surprisingly strong versions of Koszul properties, under a well known conjecture, in the finitely generated case. In fact, these versions of Koszulity hold for all finitely generated maximal pro-$p$ quotients of absolute Galois groups which are currently understood. We point out several of these unconditional results which follow from our work. We…
▽ More
We prove that Galois cohomology satisfies several surprisingly strong versions of Koszul properties, under a well known conjecture, in the finitely generated case. In fact, these versions of Koszulity hold for all finitely generated maximal pro-$p$ quotients of absolute Galois groups which are currently understood. We point out several of these unconditional results which follow from our work. We show how these enhanced versions are preserved under certain natural operations on algebras, generalising several results that were previously established only in the commutative case.
△ Less
Submitted 21 April, 2020; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Relations in the maximal pro-$p$ quotients of absolute Galois groups
Authors:
Jan Minac,
Michael Rogelstad,
Nguyen Duy Tan
Abstract:
We observe that some basic but fundamental constructions in Galois theory can be used to obtain some interesting restrictions on the structure of Galois groups of maximal $p$-extensions of fields containing a primitive $p$th root of unity. This is an extension of some significant ideas of Demushkin, Labute and Serre from local fields to all fields containing a primitive $p$th root of unity. Our te…
▽ More
We observe that some basic but fundamental constructions in Galois theory can be used to obtain some interesting restrictions on the structure of Galois groups of maximal $p$-extensions of fields containing a primitive $p$th root of unity. This is an extension of some significant ideas of Demushkin, Labute and Serre from local fields to all fields containing a primitive $p$th root of unity. Our techniques use certain natural simple Galois extensions together with some considerations in Galois cohomology and Massey products.
△ Less
Submitted 2 September, 2019; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Koszul algebras and quadratic duals in Galois cohomology
Authors:
Jan Minac,
Federico W. Pasini,
Claudio Quadrelli,
Nguyen Duy Tan
Abstract:
We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in particular it is a Koszul algebra. This answers positively a conjecture by Positselski in this case. We also provide an analogous unconditional result about Pyth…
▽ More
We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in particular it is a Koszul algebra. This answers positively a conjecture by Positselski in this case. We also provide an analogous unconditional result about Pythagorean fields. Moreover, we establish some results that relate the quadratic dual of Galois cohomology with $p$-Zassenhaus filtration on the group. This paper also contains a survey of Koszul property in Galois cohomology and its relation with absolute Galois groups.
△ Less
Submitted 30 December, 2020; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Extensions of unipotent groups, Massey products and Galois cohomology
Authors:
Pierre Guillot,
Ján Mináč
Abstract:
We study the vanishing of four-fold Massey products in mod p Galois cohomology. First, we describe a sufficient condition, which is simply expressed by the vanishing of some cup-products, in direct analogy with the work of Guillot, Mináč and Topaz for p=2. For local fields with enough roots of unity, we prove that this sufficient condition is also necessary, and we ask whether this is a general fa…
▽ More
We study the vanishing of four-fold Massey products in mod p Galois cohomology. First, we describe a sufficient condition, which is simply expressed by the vanishing of some cup-products, in direct analogy with the work of Guillot, Mináč and Topaz for p=2. For local fields with enough roots of unity, we prove that this sufficient condition is also necessary, and we ask whether this is a general fact.
We provide a simple splitting variety, that is, a variety which has a rational point if and only if our sufficient condition is satisfied. It has rational points over local fields, and so, if it satisfies a local-global principle, then the Massey Vanishing conjecture holds for number fields with enough roots of unity.
At the heart of the paper is the construction of a finite group $\tilde U_5(\mathbb{F}_p)$, which has $U_5(\mathbb{F}_p)$ as a quotient. Here $U_n(\mathbb{F}_p)$ is the group of unipotent $n\times n$-matrices with entries in the field $\mathbb{F}_p$ with p elements; it is classical that $U_{n+1}(\mathbb{F}_p)$ is intimately related to n-fold Massey products. Although $\tilde U_5(\mathbb{F}_p)$ is much larger than $U_5(\mathbb{F}_p)$, its definition is very natural, and for our purposes, it is easier to study.
△ Less
Submitted 23 November, 2017; v1 submitted 21 November, 2017;
originally announced November 2017.
-
Four-fold Massey products in Galois cohomology
Authors:
Pierre Guillot,
Jan Minac,
Adam Topaz,
Olivier Wittenberg
Abstract:
In this paper, we develop a new necessary and sufficient condition for the vanishing of 4-Massey products of elements in the mod-2 Galois cohomology of a field. This new description allows us to define a splitting variety for 4-Massey products, which is shown in the Appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such 4-M…
▽ More
In this paper, we develop a new necessary and sufficient condition for the vanishing of 4-Massey products of elements in the mod-2 Galois cohomology of a field. This new description allows us to define a splitting variety for 4-Massey products, which is shown in the Appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such 4-Massey products vanish whenever they are defined. This provides new explicit restrictions on the structure of absolute Galois groups of number fields.
△ Less
Submitted 28 March, 2018; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Ghosts and Strong Ghosts in the Stable Module Category
Authors:
Jon F. Carlson,
Sunil K. Chebolu,
Jan Minac
Abstract:
Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. A ghost map is a map in the stable category of finitely generated $kG$-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow $p$-subgroup of $G$ is cyclic of order 2…
▽ More
Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. A ghost map is a map in the stable category of finitely generated $kG$-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow $p$-subgroup of $G$ is cyclic of order 2 or 3. In this paper we introduce and study some variations of ghosts maps. In particular, we consider the behavior of ghost maps under restriction and induction functors. We find all groups satisfying a strong form of Freyd's generating hypothesis and show that ghost can be detected on a finite range of Tate cohomology. We also consider maps which mimic ghosts in high degrees.
△ Less
Submitted 13 June, 2016; v1 submitted 9 September, 2015;
originally announced September 2015.
-
Description of Galois unipotent extensions
Authors:
Masoud Ataei,
Jan Minac,
Nguyen Duy Tan
Abstract:
Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.
Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.
△ Less
Submitted 16 September, 2016; v1 submitted 22 August, 2015;
originally announced August 2015.
-
Construction of unipotent Galois extensions and Massey products
Authors:
Jan Minac,
Nguyen Duy Tan
Abstract:
For all primes $p$ and all fields, we find a sufficient and necessary condition of the existence of a unipotent Galois extension of degree $p^6$. The main goal of this paper is to describe an explicit construction of such a Galois extension over fields admitting such a Galois extension. This construction is surprising in its simplicity and generality. The problem of finding such a construction has…
▽ More
For all primes $p$ and all fields, we find a sufficient and necessary condition of the existence of a unipotent Galois extension of degree $p^6$. The main goal of this paper is to describe an explicit construction of such a Galois extension over fields admitting such a Galois extension. This construction is surprising in its simplicity and generality. The problem of finding such a construction has been left open since 2003. Recently a possible solution of this problem gained urgency because of an effort to extend new advances in Galois theory and its relations with Massey products in Galois cohomology.
△ Less
Submitted 16 September, 2016; v1 submitted 6 January, 2015;
originally announced January 2015.
-
Triple Massey products vanish over all fields
Authors:
Jan Minac,
Nguyen Duy Tan
Abstract:
We show that the absolute Galois group of any field has the vanishing triple Massey product property. Several corollaries for the structure of maximal pro-$p$-quotient of absolute Galois groups are deduced. Furthermore, the vanishing of some higher Massey products is proved.
We show that the absolute Galois group of any field has the vanishing triple Massey product property. Several corollaries for the structure of maximal pro-$p$-quotient of absolute Galois groups are deduced. Furthermore, the vanishing of some higher Massey products is proved.
△ Less
Submitted 23 August, 2016; v1 submitted 24 December, 2014;
originally announced December 2014.
-
Galois p-groups and Galois modules
Authors:
Sunil Chebolu,
Jan Minac,
Andrew Schultz
Abstract:
The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galoi…
▽ More
The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galois groups forces the appearance of other Galois groups in an interesting way.
△ Less
Submitted 19 October, 2016; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Counting Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions using Massey products
Authors:
Jan Minac,
Nguyen Duy Tan
Abstract:
We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with re…
▽ More
We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with restricted ramifications, and counting the numbers of Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions of some other fields. For each Demushkin pro-$p$-group, we find a very simple version of the condition when the $n$-fold Massey product of one-dimensional cohomological elements of $G$ with coefficients in ${\mathbb F}_p$, is defined. As an easy consequence, we determine those ${\mathbb U}_n({\mathbb F}_p)$ which occur as an epimorphic image of any given Demushkin group.
△ Less
Submitted 28 December, 2016; v1 submitted 11 August, 2014;
originally announced August 2014.
-
Dimensions of Zassenhaus filtration subquotients of some pro-$p$-groups
Authors:
Jan Minac,
Michael Rogelstad,
Nguyen Duy Tan
Abstract:
We compute the ${\mathbb F}_p$-dimension of an $n$-th graded piece $G_{(n)}/G_{(n+1)}$ of the Zassenhaus filtration for various finitely generated pro-$p$-groups $G$. These groups include finitely generated free pro-$p$-groups, Demushkin pro-$p$-groups and their free pro-$p$ products. We provide a unifying principle for deriving these dimensions.
We compute the ${\mathbb F}_p$-dimension of an $n$-th graded piece $G_{(n)}/G_{(n+1)}$ of the Zassenhaus filtration for various finitely generated pro-$p$-groups $G$. These groups include finitely generated free pro-$p$-groups, Demushkin pro-$p$-groups and their free pro-$p$ products. We provide a unifying principle for deriving these dimensions.
△ Less
Submitted 7 July, 2015; v1 submitted 27 May, 2014;
originally announced May 2014.
-
Triple Massey products over global fields
Authors:
Jan Minac,
Nguyen Duy Tan
Abstract:
Let $K$ be a global field which contains a primitive $p$-th root of unity, where $p$ is a prime number. M. J. Hopkins and K. G. Wickelgren showed that for $p=2$, any triple Massey product over $K$ with respect to $\mathbb{F}_p$, contains 0 whenever it is defined. We show that this is true for all primes $p$.
Let $K$ be a global field which contains a primitive $p$-th root of unity, where $p$ is a prime number. M. J. Hopkins and K. G. Wickelgren showed that for $p=2$, any triple Massey product over $K$ with respect to $\mathbb{F}_p$, contains 0 whenever it is defined. We show that this is true for all primes $p$.
△ Less
Submitted 20 December, 2015; v1 submitted 18 March, 2014;
originally announced March 2014.
-
The Kernel Unipotent Conjecture and the vanishing of Massey products for odd rigid fields
Authors:
Jan Minac,
Nguyen Duy Tan,
Ido Efrat
Abstract:
A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show th…
▽ More
A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of $p$-maximal extensions are free pro-$p$-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish a number of further related results.
△ Less
Submitted 26 December, 2014; v1 submitted 9 December, 2013;
originally announced December 2013.
-
Detecting Fast solvability of equations via small powerful Galois groups
Authors:
Sunil K. Chebolu,
Jan Minac,
Claudio Quadrelli
Abstract:
Fix an odd prime $p$, and let $F$ be a field containing a primitive $p$th root of unity. It is known that a $p$-rigid field $F$ is characterized by the property that the Galois group $G_F(p)$ of the maximal $p$-extension $F(p)/F$ is a solvable group. We give a new characterization of $p$-rigidity which says that a field $F$ is $p$-rigid precisely when two fundamental canonical quotients of the abs…
▽ More
Fix an odd prime $p$, and let $F$ be a field containing a primitive $p$th root of unity. It is known that a $p$-rigid field $F$ is characterized by the property that the Galois group $G_F(p)$ of the maximal $p$-extension $F(p)/F$ is a solvable group. We give a new characterization of $p$-rigidity which says that a field $F$ is $p$-rigid precisely when two fundamental canonical quotients of the absolute Galois groups coincide. This condition is further related to analytic $p$-adic groups and to some Galois modules. When $F$ is $p$-rigid, we also show that it is possible to solve for the roots of any irreducible polynomials in $F[X]$ whose splitting field over $F$ has a $p$-power degree via non-nested radicals. We provide new direct proofs for hereditary $p$-rigidity, together with some characterizations for $G_F(p)$ -- including a complete description for such a group and for the action of it on $F(p)$ -- in the case $F$ is $p$-rigid.
△ Less
Submitted 29 October, 2013; v1 submitted 28 October, 2013;
originally announced October 2013.
-
Triple Massey products and Galois theory
Authors:
Jan Minac,
Nguyen Duy Tan
Abstract:
We show that any triple Massey product with respect to prime 2 contains 0 whenever it is defined over any field. This extends the theorem of M. J. Hopkins and K. G. Wickelgren, from global fields to any fields. This is the first time when the vanishing of any $n$-Massey product for some prime $p$ has been established for all fields. This leads to a strong restriction on the shape of relations in t…
▽ More
We show that any triple Massey product with respect to prime 2 contains 0 whenever it is defined over any field. This extends the theorem of M. J. Hopkins and K. G. Wickelgren, from global fields to any fields. This is the first time when the vanishing of any $n$-Massey product for some prime $p$ has been established for all fields. This leads to a strong restriction on the shape of relations in the maximal pro-2-quotients of absolute Galois groups, which was out of reach until now. We also develop an extension of Serre's transgression method to detect triple commutators in relations of pro-$p$-groups, where we do not require that all cup products vanish. We prove that all $n$-Massey products, $n\geq 3$, vanish for general Demushkin groups. We formulate and provide evidence for two conjectures related to the structure of absolute Galois groups of fields. In each case when these conjectures can be verified, they have some interesting concrete Galois theoretic consequences. They are also related to the Bloch-Kato conjecture.
△ Less
Submitted 21 October, 2014; v1 submitted 24 July, 2013;
originally announced July 2013.
-
From Spline Approximation to Roth's Equation and Schur Functors
Authors:
Jan Minac,
Stefan O. Tohaneanu
Abstract:
Alfeld and Schumaker provide a formula for the dimension of the space of piecewise polynomial functions, called splines, of degree $d$ and smoothness $r$ on a generic triangulation of a planar simplicial complex $Δ$, for $d \geq 3r+1$. Schenck and Stiller conjectured that this formula actually holds for all $d \geq 2r+1$. Up to this moment there was not known a single example where one could show…
▽ More
Alfeld and Schumaker provide a formula for the dimension of the space of piecewise polynomial functions, called splines, of degree $d$ and smoothness $r$ on a generic triangulation of a planar simplicial complex $Δ$, for $d \geq 3r+1$. Schenck and Stiller conjectured that this formula actually holds for all $d \geq 2r+1$. Up to this moment there was not known a single example where one could show that the bound $d\geq 2r +1$ is sharp. However, in 2005, a possible such example was constructed to show that this bound is the best possible (i.e., the Alfeld-Schumaker formula does not hold if $d=2r$), except that the proof that this formula actually works if $d\geq 2r+1$ has been a challenge until now when we finally show it to be true. The interesting subtle connections with representation theory, matrix theory and commutative and homological algebra seem to explain why this example presented such a challenge. Thus in this paper we present the first example when it is known that the bound $d\geq 2r+1$ is sharp for asserting the validity of the Alfeld-Schumaker formula.
△ Less
Submitted 9 October, 2012;
originally announced October 2012.
-
Representations of The miraculous Klein group
Authors:
Sunil K. Chebolu,
Jan Minac
Abstract:
The Klein group contains only four elements. Nevertheless this little group contains a number of remarkable entry points to current highways of modern representation theory of groups. In this paper, we shall describe all possible ways in which the Klein group can act on vector spaces over a field of two elements. These are called representations of the Klein group. This description involves some p…
▽ More
The Klein group contains only four elements. Nevertheless this little group contains a number of remarkable entry points to current highways of modern representation theory of groups. In this paper, we shall describe all possible ways in which the Klein group can act on vector spaces over a field of two elements. These are called representations of the Klein group. This description involves some powerful visual methods of representation theory which builds on the work of generations of mathematicians starting roughly with the work of K. Weiestrass. We also discuss some applications to properties of duality and Heller shifts of the representations of the Klein group.
△ Less
Submitted 18 September, 2012;
originally announced September 2012.
-
Galois Module Structure of \Z/\ell^n-th Classes of Fields
Authors:
Jan Minac,
John Swallow,
Adam Topaz
Abstract:
In this paper we use the Merkurjev-Suslin theorem to explore the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime \ell, n a positive integer, and suppose that K contains the (\ell^n)^th roots of unity. Let L be the maximal \Z/\ell^n-elementary abelian extension of K, and set G = \Gal(L|K). We consider th…
▽ More
In this paper we use the Merkurjev-Suslin theorem to explore the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime \ell, n a positive integer, and suppose that K contains the (\ell^n)^th roots of unity. Let L be the maximal \Z/\ell^n-elementary abelian extension of K, and set G = \Gal(L|K). We consider the G-module J = L^\times/\ell^n and denote its socle series by J_m. We provide a precise condition, in terms of a map to H^3(G,\Z/\ell^n), determining which submodules of J_{m-1} embed in cyclic modules generated by elements of J_m. This generalizes a theorem of Adem, Gao, Karaguezian, and Minac which deals with the case m=\ell^n=2. This description of J_m/J_{m-1} can be viewed as an analogue of the classical Hilbert's Theorem 90 and it is helpful for understanding the G-module J.
△ Less
Submitted 2 October, 2013; v1 submitted 30 April, 2012;
originally announced April 2012.
