Search

This paper concerns a classical subject regarding the structural properties of abelian number fields. The primitive elements, integral bases, conductors and discriminants are important for studying abelian number fields, and this paper emphasizes that they are closely related to the associated Dirichlet characters. Then by evaluating the Gauss sums, we can give explicit forms of abelian fields of small degree. [ABSTRACT FROM AUTHOR]

In [11], Hausel introduced a commutative algebra — the multiplicity algebra — associated to a fixed point of the C ∗ -action on the Higgs bundle moduli space. Here we describe this algebra for a fixed point consisting of a very stable rank 2 vector bundle and zero Higgs field for a curve of low genus. Geometrically, the relations in the algebra are described by a family of quadrics and we focus on the discriminant of this family, providing a new viewpoint on the moduli space of stable bundles. The discriminant in our examples demonstrates that as the bundle varies, we obtain a continuous variation in the isomorphism class of the algebra. [ABSTRACT FROM AUTHOR]

We point out that there is an error in the proof of Theorem 1.1 in [The discriminant of compositum of algebraic number fields, Int. J. Number Theory 15 (2019) 353–360]. We also prove that the result of this theorem holds with an additional hypothesis. However, it is an open problem whether the result of the theorem is true in general or not. [ABSTRACT FROM AUTHOR]

Let f(x) = x8 + ax4 + b be an irreducible polynomial with rational coefficients and Galois group Gal(f). We extend previous results to give an elementary classification of Gal(f), identified as a transitive subgroup of S8 up to conjugacy. We show Gal(f) is one of 12 possibilities and can be determined by considering the squareness of at most 11 rational numbers; each number is an expression involving a and b. We give several applications of our results. [ABSTRACT FROM AUTHOR]

Let K = ℚ () be an algebraic number field with a root of an irreducible trinomial f (x) = x 5 + a x + b belonging to ℤ [ x ]. In this paper, we compute the highest power of each prime p dividing the discriminant of K in terms of powers of p dividing a , b and the discriminant of f (x) besides explicitly constructing a p -integral basis of K. These p -integral bases lead to the construction of an integral basis of K which is illustrated with examples. [ABSTRACT FROM AUTHOR]

In this paper, we study the discriminant of a hypersurface in a weighted projective space with isolated singularities. We define the discriminant of a hypersurface in ℙ (q 0 , q 1 , 1 , ... , 1) with gcd (q 0 , q 1) = 1 , and show that it satisfies a smoothness criterion over any commutative ring. A smooth hypersurface of degree 6 in the weighted projective three-fold ℙ (3 , 2 , 1 , 1) is a del Pezzo surface of degree 1. We show that the determinant of the Galois action on the E 8 -lattice arising from its exceptional curves can be computed via the square roots of the discriminant. [ABSTRACT FROM AUTHOR]

This paper was motivated by a recent paper by Krumm and Pollack ([Twists of hyperelliptic curves by integers in progressions modulo p , preprint (2018); https://arXiv.org/abs/1807.00972]) investigating modulo- p behavior of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specializations of a given Galois cover under restrictions on the discriminant. In particular, we make a connection with existing heuristics about the distribution of discriminants of Galois extensions such as the Malle conjecture: our results show in a precise sense the non-existence of "local obstructions" to such heuristics, in many cases essentially only under the assumption that G occurs as the Galois group of a Galois cover defined over ℚ. This complements and generalizes a similar result in the direction of the Malle conjecture by Dèbes ([On the Malle conjecture and the self-twisted cover, Israel J. Math.218(1) (2017) 101–131]). [ABSTRACT FROM AUTHOR]

Let f (x) = x 8 + a x 4 + b be an irreducible polynomial with rational coefficients, K / Q the number field defined by f , and G the Galois group of f. Let g (x) = x 4 + a x 2 + b , and let G 4 be the Galois group of g. We investigate the extent to which knowledge of the conjugacy class of G 4 in S 4 determines the conjugacy class of G in S 8 . We show that, in general, knowledge of G 4 does not automatically determine G , except when G 4 is isomorphic to C 4 (the cyclic group of order 4). In this case, we show G is isomorphic to a non-split extension of D 4 (the dihedral group of order 8) by C 4 . We also show that G is completely determined when G 4 is isomorphic to D 4 and 4 b − a 2 is a perfect square. In this case, G ≃ C 4 ≀ C 2 ≃ (C 4 × C 4) ⋊ C 2 . [ABSTRACT FROM AUTHOR]

For an algebraic number field K , let d K denote the discriminant of an algebraic number field K. It is well known that if K 1 , K 2 are algebraic number fields with coprime discriminants, then K 1 , K 2 are linearly disjoint over the field ℚ of rational numbers and d K 1 K 2 = d K 1 n 2 d K 2 n 1 , n i being the degree of K i over ℚ. In this paper, we prove that the converse of this result holds in relative extensions of algebraic number fields. We also give some more necessary and sufficient conditions for the analogue of the above equality to hold for algebraic number fields K 1 , K 2 linearly disjoint over K 1 ∩ K 2 . [ABSTRACT FROM AUTHOR]

We give a list of number fields for which have rational companion forms. Our list has 53 fields and seems likely to be complete. Some of the fields on our list are very lightly ramified for their Galois group. [ABSTRACT FROM AUTHOR]

We study the rigidity of three-dimensional representations of braid groups associated with finite primitive irreducible complex reflection groups in . In many cases, we show the rigidity. For rigid representations, we give explicit forms of the representations, which turns out to be the monodromy representations of uniformization equations of Saito-Kato-Sekiguchi [Uniformization systems of equations with singularities along the discriminant sets of complex reflection groups of rank three, Kyushu J. Math. 68 (2014) 181-221; On the uniformization of complements of discriminant loci, RIMS Kokyuroku 287 (1977) 117-137]. Invariant Hermitian forms are also studied. [ABSTRACT FROM AUTHOR]

Let be a square-free polynomial where is a field of elements. We view as a polynomial in the variable with coefficients in the ring . We study square-free values of in sparse subsets of which are given by a linear condition. The motivation for our study is an analogue problem of representing square-free integers by integer polynomials, where it is conjectured that setting aside some simple exceptional cases, a square-free polynomial takes infinitely many square-free values. Let be co-prime to , and let . A consequence of the main result we show is that if is sufficiently large with respect to and , then there exist such that is square-free. Moreover, as , the last is true for almost all . The main result shows that a similar result holds also for other cases. We then generalize the results to multivariate polynomials. [ABSTRACT FROM AUTHOR]

Let be an algebraic integer of degree . Let be the complex conjugate of . Assume that the Galois group is isomorphic to the symmetric group . We give a -basis and the discriminant of the order . We end up with an open question showing that this problem seems much harder when we assume that is already Galois or even cyclic. [ABSTRACT FROM AUTHOR]

The construction of integer linking numbers of closed curves in a three-dimensional manifold usually appeals to the orientation of this manifold. We discuss how to avoid it constructing similar homotopy invariants of links in non-orientable manifolds. [ABSTRACT FROM AUTHOR]

We prove a general theorem that evaluates the Legendre symbol under certain conditions on the integers A, B, m and the prime p. The evaluation is in terms of parameters appearing in a binary quadratic form representing p. The theorem has applications to quartic residuacity. [ABSTRACT FROM AUTHOR]

For any square-free polynomial D over a finite field of characteristic at least 5, we present an algorithm for generating all cubic function fields of discriminant D. We also provide a count of all these fields according to their splitting at infinity. When D′ = D/(-3) has even degree and a leading coefficient that is a square, i.e. D′ is the discriminant of a real quadratic function field, this method makes use of the infrastructures of this field. This infrastructure method was first proposed by Shanks for cubic number fields in an unpublished manuscript from the late 1980s. While the mathematical ingredients of our construction are largely classical, our algorithm has the major computational advantage of finding very small minimal polynomials for the fields in question. [ABSTRACT FROM AUTHOR]

We tabulate polynomials in ℚ[t] with a given factorization partition, bad reduction entirely within a given set of primes, and satisfying auxiliary conditions associated to 0, 1, and ∞. We explain how these polynomials are of particular interest because of their role in the construction of nonsolvable number fields of arbitrarily large degree and bounded ramification. [ABSTRACT FROM AUTHOR]

Let p denote an odd prime. For all p-admissible conductors c over a quadratic number field , p-ring spaces Vp(c) modulo c are introduced by defining a morphism ψ : f ↦ Vp(f) from the divisor lattice ℕ of positive integers to the lattice 풮 of subspaces of the direct product Vp of the p-elementary class group 풞/풞p and unit group U/Up of K. Their properties admit an exact count of all extension fields N over K, having the dihedral group of order 2p as absolute Galois group (N | ℚ) and sharing a common discriminant dN and conductor c over K. The number mp(d, c) of these extensions is given by a formula in terms of positions of p-ring spaces in 풮, whose complexity increases with the dimension of the vector space Vp over the finite field 픽p, called the modified p-class rank σp of K. Up to now, explicit multiplicity formulas for discriminants were known for quadratic fields with 0 ≤ σp ≤ 1 only. Here, the results are extended to σp = 2, underpinned by concrete numerical examples. [ABSTRACT FROM AUTHOR]

We consider a knot homotopy as a cylinder in 4-space. An ordinary triple point p of the cylinder is called coherent if all three branches intersect at p pairwise with the same intersection index. A triple unknotting of a classical knot K is a homotopy which connects K with the trivial knot and which has as singularities only coherent triple points. We give a new formula for the first Vassiliev invariant v2(K) by using triple unknottings. As a corollary we obtain a very simple proof of the fact that passing a coherent triple point always changes the knot type. As another corollary we show that there are triple unknottings which are not homotopic as triple unknottings even if we allow more complicated singularities to appear in the homotopy of the triple homotopy. [ABSTRACT FROM AUTHOR]

We present the first explicitly known polynomials in Z[x] with nonsolvable Galois group and field discriminant of the form ±pA for p ≤ 7 a prime. Our main polynomial has degree 25, Galois group of the form PSL2(5)5.10, and field discriminant 569. A closely related polynomial has degree 120, Galois group of the form SL2(5)5.20, and field discriminant 5311. We completely describe 5-adic behavior, finding in particular that the root discriminant of both splitting fields is 125 · 5-1/12500 ≈ 124.984 and the class number of the latter field is divisible by 54. [ABSTRACT FROM AUTHOR]

We present the first explicitly known polynomials in Z[x] with nonsolvable Galois group and field discriminant of the form ±pA for p ≤ 7 a prime. Our main polynomial has degree 25, Galois group of the form PSL2(5)5.10, and field discriminant 569. A closely related polynomial has degree 120, Galois group of the form SL2(5)5.20, and field discriminant 5311. We completely describe 5-adic behavior, finding in particular that the root discriminant of both splitting fields is 125 · 5-1/12500 ≈ 124.984 and the class number of the latter field is divisible by 54. [ABSTRACT FROM AUTHOR]

Let G = Cℓ × Cℓ denote the product of two cyclic groups of prime order ℓ, and let k be an algebraic number field. Let N(k, G, m) denote the number of abelian extensions K of k with Galois group G(K/k) isomorphic to G, and the relative discriminant 풟(K/k) of norm equal to m. In this paper, we derive an asymptotic formula for ∑m≤XN(k, G; m). This extends the result previously obtained by Datskovsky and Mammo. [ABSTRACT FROM AUTHOR]

For a finite abelian extension K/ℚ, the conductor-discriminant formula establishes that the absolute value of the discriminant of K is equal to the product of the conductors of the elements of the group of Dirichlet characters associated to K. The simplest proof uses the functional equation for the Dedekind zeta function of K and its expression as the product of the L-series attached to the various Dirichlet characters associated to K. In this paper, we present an elementary proof of this formula considering first K contained in a cyclotomic number field of pn-roots of unity, where p is a prime number, and in the general case, using the ramification index of p given by the group of Dirichlet characters. [ABSTRACT FROM AUTHOR]

We prove that the images of irreducible germs of plane curves by a germ of analytic morphism φ have a certain contact either with branches of the discriminant of φ or with certain infinitesimal structures (shadows) that arise from the branches of the Jacobian of φ that are mapped to a point (and therefore give rise to no branch of the discriminant). [ABSTRACT FROM AUTHOR]

Similarity is an important and widely used concept in many applications such as Document Summarisation, Question Answering, Information Retrieval, Document Clustering and Categorisation. This paper presents a comparison of various similarity measures in comparing the content of text documents. We have attempted to find the best measure suited for finding the document similarity for newspaper reports. [ABSTRACT FROM AUTHOR]

In this paper we describe complexes whose homologies are naturally isomorphic to the first term of the Vassiliev spectral sequence computing (co)homology of the spaces of long knots in ℝd, d ≥ 3. The first term of the Vassiliev spectral sequence is concentrated in some angle of the second quadrant. In homological case the lower line of this term is the bialgebra of chord diagrams (or its superanalog if d is even). We prove in this paper that the groups of the upper line are all trivial. In the same bigradings we compute the homology groups of the complex spanned only by strata of immersions in the discriminant (maps having only self-intersections). We interpret the obtained groups as subgroups of the (co)homology groups of the double loop space of a (d - 1)-dimensional sphere. In homological case the last complex is the normalized Hochschild complex of the Poisson or Gerstenhaber (depending on parity of d) algebras operad. The upper line bigradings are spanned by the operad of Lie algebras. To describe the cycles in these bigradings, we introduce new homological operations on Hochschild complexes. We show in future work that these operations are in fact the Dyer–Lashof–Cohen operations induced by the action of the singular chains operad of little squares on Hochschild complexes. [ABSTRACT FROM AUTHOR]

In this paper we prove an analogue of Mertens' theorem for primes of each of the forms a2+27b2 and 4a2+2ab+7b2 and then use this result to determine an asymptotic formula for the number of positive integers n ≤ x which are discriminants of cyclic cubic fields with each such field having field index 2. [ABSTRACT FROM AUTHOR]

A formula for computing the discriminant of any number field K ⊂ ℚ(ζ[sub 2[sup r]]), with r ≥ 3, is derived. The formula consists of two expressions, depending on whether K is cyclotomic or not. However, both expressions depend solely on m, the degree of K over ℚ, and they are derived from the Conductor-Discriminant Formula for Abelian extensions of ℚ. [ABSTRACT FROM AUTHOR]