Related papers: Chevalley restriction theorem for the cyclic quive…

We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in…

We present a new proof of the celebrated quadratic reciprocity law. Our proof is based on group theory.

We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley…

We obtain some new inequalities of Chebyshev Type.

Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…

We present some fundamental results on (possibly nonlinear) algebraic semigroups and monoids. These include a version of Chevalley's structure theorem for irreducible algebraic monoids, and the description of all algebraic semigroup…

In [FJJK] the Sharkovski\u{i} Theorem was extended to periodic orbits of strips of quasiperiodic skew products in the cylinder. In this paper we deal with the following natural question that arises in this setting: Does Sharkovski\u{i}…

A central limit theorem for arrays of symmetric row-wise exchangeable random variables is presented. The result is valid for finite and infinite extendable and non-extendable sequences. Unlike most reported versions of the central limit…

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert…

We prove the modular branching rule of the cyclotomic Hecke algebras, which has remained open.

We deal with the restriction phenomenon for the Fourier transform. We prove that each of the restriction conjectures for the sphere, the paraboloid, the elliptic hyperboloid in $\mathbb{R}^n$ implies that for the cone in $\mathbb{R}^{n+1}$.…

Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant…

We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings.

We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.

We prove Shokurov's index conjecture for quotient singularities.

We consider the Li\'enard equation and we give a sufficient condition to ensure existence and uniqueness of limit cycles. We compare our result with some other existing ones and we give some applications.

We motivate and then prove a generalized pythagorean theorem for parallelepipeds in Euclidean space.

We give a new proof of Tietze Theorem on the convergence of infinite semi-regular continued fractions.

We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures.