BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Guillermo Mantilla-Soler

Guillermo Mantilla-Soler contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.GR

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Bases of minimal vectors in tame lattices

Motivated by the behavior of the trace pairing over tame cyclic number fields, we introduce the notion of tame lattices. Given an arbitrary non-trivial lattice $\mathcal{L}$ we construct a parametric family of full-rank sub-lattices $\{\mathcal{L}_α\}$ of $\mathcal{L}$ such that whenever $\mathcal{L}$ is tame each $\mathcal{L}_α$ has a basis of minimal vectors. Furthermore, for each $\mathcal{L}_α$ in the family a basis of minimal vectors is explicitly constructed.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The integral trace form as a complete invariant for real $S_n$ number fields

In the past the first named author has studied to what extent the integral trace can characterize a number field beyond what the discriminant does. The cases of cyclic number fields and non-totally real fields are more or less settled, concluding that for such fields the integral trace does not always characterize the field. In this paper we show that the integral trace is a complete invariant for degree $n$, $S_n$ real number number fields that satisfy certain ramification bound. Among the real $S_n$ fields that our results cover, there are those of square free different ideal. Moreover, for such fields we find an explicit description of the isometry group of the integral trace.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Shape of cyclic number fields

Let $m>1$ and $\mathfrak{d} \neq 0$ be integers such that $v_{p}(\mathfrak{d}) \neq m$ for any prime $p$. We construct a matrix $A(\mathfrak{d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak{d}$ with the following property: For any tame $\mathbb{Z}/m\mathbb{Z}$-number field $K$ of discriminant $\mathfrak{d}$ the matrix $A(\mathfrak{d})$ represents the Gram matrix of the integral trace zero form of $K$. In particular, we have that the integral trace zero form of tame cyclic number fields is determined by the degree and discriminant of the field. Furthermore, if in addition to the above hypotheses, we consider real number fields, then the shape is also determined by the degree and the discriminant

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A proof of a conjecture on trace-zero forms and shapes of number fields

In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog statement for cubic fields which was proved using Bhargava's higher composition laws on cubes. Here, using Bhargava's parametrization of quartic fields we prove the conjecture by generalizing the ideas used in the cubic case. Since at the moment, for arbitrary degrees, there is nothing like Bhargava's parametrizations we cannot deal with degrees $n > 5$ in a similar fashion. Nevertheless, using some of our previous work on trace forms we generalize this result to higher degrees; we show that if $n \ge 3$ is an integer such that $(\mathbb{Z}/n\mathbb{Z})^{*}$ is a cyclic group, then the shape is a complete invariant for totally real degree $n$ number fields with fundamental discriminant.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the Arithmetic determination of the trace

Let $K$ be a number field, which is tame and non totally real. In this article we give a numerical criterion, depending only on the ramification behavior of ramified primes in $K$, to decide whether or not the integral trace of $K$ is isometric to the integral trace of another number field $L$. As a byproduct of our proofs here, and in contrast with our previous results for cubic fields of positive discriminant, we show that for cubic fields of negative discriminant isometry between integral traces is equivalent to equality of discriminants.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The shape of $\mathbb{Z}/\ell\mathbb{Z}$-number fields

Let $\ell$ be a prime and let $L/\mathbb{Q}$ be a Galois number field with Galois group isomorphic to $\mathbb{Z}/\ell\mathbb{Z}$. We show that the {\it shape} of $L$ is either $\frac{1}{2}\mathbb{A}_{\ell-1}$ or a fixed sub lattice depending only on $\ell$; such a dichotomy in the value of the shape only depends on the type of ramification of $L$. This work is motivated by a result of Bhargava and Shnidman, and a previous work of the first named author, on the shape of $\mathbb{Z}/3\mathbb{Z}$ number fields.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A space of weight one modular forms attached to totally real cubic number fields

Let $d$ be a positive fundamental discriminant, and let $\mathcal{C}_{d}$ be the set of isomorphism classes of cubic number fields of discriminant $d$. For each $K \in \mathcal{C}_{d}$, we construct a weight 1 modular form $f_{K}$ with level $3^{\pm 1}d$ and nebentypus $\left( \frac{-3^{\pm 1}d}{\cdot} \right)$. We show that the form $f_{K}$ completely determines the field $K$. Moreover, we show that $\{f_{K} : K \in \mathcal{C}_{d}\}$ is a linearly independent set.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Integral trace forms associated to cubic extensions

Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus natural to ask whether there are natural refinements of the discriminant which completely determine the isomorphism class of the cubic field. Here we consider the trace form $q_K:\text{tr}_{K/\mathbb{Q}}(x^2)|_{O^{0}_{K}}$ as such a refinement. For a cubic field of fundamental discriminant $d$ we show the existence of an element $T_K$ in Bhargava's class group $\Cl(\mathbb{Z}^{2}\otimes\mathbb{Z}^{2}\otimes\mathbb{Z}^{2}; -3d)$ such that $q_K$ is completely determined by $T_K$. By using one of Bhargava's composition laws, we show that $q_K$ is a complete invariant whenever $K$ is totally real and of fundamental discriminant

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On number fields with equivalent integral trace forms

Let $K$ be a number field. The \textit{integral trace form} is the integral quadratic form given by $\text{tr}_{K/\mathbb{Q}}(x^2)|_{O_{K}}.$ In this article we study the existence of non-conjugated number fields with equivalent integral trace forms. As a corollary of one of the main results of this paper, we show that any two non-totally real number fields with the same signature and same prime discriminant have equivalent integral trace forms. Additionally, based on previous results obtained by the author and the evidence presented here, we conjecture that any two totally real quartic fields of fundamental discriminant have equivalent trace zero forms if and only if they are conjugated.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Power map permutations and symmetric differences in finite groups

Let $G$ be a finite group. For all $a \in \Z$, such that $(a,|G|)=1$, the function $ρ_a: G \to G$ sending $g$ to $g^a$ defines a permutation of the elements of $G$. Motivated by a recent generalization of Zolotarev's proof of classic quadratic reciprocity, due to Duke and Hopkins, we study the signature of the permutation $ρ_a$. By introducing the group of conjugacy equivariant maps and the symmetric difference method on groups, we exhibit an integer $d_{G}$ such that $\text{sgn}(ρ_a)=(\frac{d_G}{a})$ for all $G$ in a large class of groups, containing all finite nilpotent and odd order groups.

0 citations0 reviewsNo code linkedOpen access