Related papers: Visualization of Abel's Impossibility Theorem

This paper is purely expository. We present short elementary proofs of * the Gauss Theorem on constructibility of regular polygons; * the existence of a cubic equation unsolvable in real radicals; * the existence of a quintic equation…

We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not…

We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because…

We generalize Abel's classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold $M^d \subset X^n$ in a compact oriented Riemannian $n$--manifold, or more generally for any $d$--cycle $Z$ relative…

We study complexity measures on subsets of the boolean hypercube and exhibit connections between algebra (the Hilbert function) and combinatorics (VC theory). These connections yield results in both directions. Our main complexity-theoretic…

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

We present a new approach to solving polynomial ordinary differential equations by transforming them to linear functional equations and then solving the linear functional equations. We will focus most of our attention upon the first-order…

We already know that several problems like the inequivalence of P and EXP as well as the undecidability of the acceptance problem and halting problem relativize. However, relativization is a limited tool which cannot separate other…

The "openness" of a complex polynomial mapping is discussed and applied to the Fundamental Theorem of Algebra. In this category fall proofs of S. Wolfenstein, R.L. Thompson, J. Milnor, and S. Reich-S. Smale. These proofs take into account…

Maximal parabolic subalgebras of untwisted affine Kac-Moody algebras were studied in the context of Borel-de Siebenthal theory in [13], where they were realized as certain equivariant map algebras with a non-free abelian group action. In…

Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic…

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…

In this paper, we focus on computing the kernel of a map of polynomial rings $\varphi$. This core problem in symbolic computation is known as implicitization. While there are extremely effective Gr\"obner basis methods used to solve this…

We show that algebraic formulas and constant-depth circuits are closed under taking factors. In other words, we show that if a multivariate polynomial over a field of characteristic zero has a small constant-depth circuit or formula, then…

In this work we introduce new folding axioms involving easy 3D manoeuvres with the aim to push forward the arithmetic limits of the Huzita-Justin axioms. Those 3D axioms involve the use of a flat surface and the rigidity property of convex…

We investigate necessary and sufficient conditions for an arbitrary polynomial of degree $n$ to be trivial, i.e. to have the form $a(z-b)^n$. These results are related to an open problem, conjectured in 2001 by E. Casas- Alvero. It says,…

The Classical Jacobian Conjecture claims that any unramified endomorphism of a complex affine space is an automorphism. In order to embed this conjecture in a geometric environment, where one could enjoy the beauty and the richness of tools…

A useful identity relating the infinite sum of two Bessel functions to their infinite integral was discovered in Dominici et al. (2012). Here, we extend this result to products of $N$ Bessel functions, and show it can be straightforwardly…