-
Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$
Authors:
Zsófia Juhász,
Máté Bartalos,
Péter Magyar,
Gábor Farkas
Abstract:
A new generalisation of Goldbach's conjecture (GGC) - also generalising that of Lemoine - is tested, introduced by the first author. It states that for every pair of positive integers $m_1, m_2$, every sufficiently large integer $n$ satisfying certain simple criteria can be expressed as $n=m_1p+m_2q$ for some primes $p$ and $q$. GGC is checked up to $10^{12}d$ for all (up to $10^{13}d$ for some) p…
▽ More
A new generalisation of Goldbach's conjecture (GGC) - also generalising that of Lemoine - is tested, introduced by the first author. It states that for every pair of positive integers $m_1, m_2$, every sufficiently large integer $n$ satisfying certain simple criteria can be expressed as $n=m_1p+m_2q$ for some primes $p$ and $q$. GGC is checked up to $10^{12}d$ for all (up to $10^{13}d$ for some) pairs of coefficients $m_1, m_2$, where $d=\gcd{(m_1, m_2)}$ and $m_1/d, m_2/d \leq 40$. The largest counterexamples found that cannot be obtained in this form are presented. Their relatively small sizes support the plausibility of GGC. Lemoine's conjecture is verified up to a new record of $10^{13}$. Four naturally arising verifying algorithms are described and their running times compared for every $m_1\leq m_2\leq 40$ relatively prime. These seek to find either the $p$- or the $q$-minimal $(m_1, m_2)$-partitions of all numbers tested, by either descending or ascending search for the prime to be maximised or minimised, respectively, in the partitions. For all $m_1, m_2$ descending searches were faster than ascending ones. A heuristic explanation is provided. The relative speed of ascending [descending] searches for the $p$- and for the $q$-minimal partitions, respectively, varied by $m_1, m_2$. Using the average of $p^*_{m_1, m_2}(n)$ - the minimal $p$ in all $(m_1, m_2)$-partitions of $n$ - up to a sufficiently large threshold, two functions of $m_1, m_2$ are introduced, which may help predict these rankings. Our predictions correspond well with actual rankings. These could be further improved by developing approximations to $p^*_{m_1, m_2}(n)$. Numerical data are presented, including average and maximum values of $p^*_{m_1, m_2}(n)$ up to $10^9$. An extension of GGC is proposed, generalising the Twin prime conjecture and the assertion that there are infinitely many Sophie Germain primes.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
Notes on Schubert classes of a loop group
Authors:
Peter Magyar
Abstract:
In these notes, we survey the homology of the loop group Omega(K) of a compact group K, also known as the affine Grassmannian of a complex loop group. Using the Bott picture of H_*(Omega(K)), the homology algebra or Pontryagin ring, we obtain two new results: A. Factorization of affine Schubert homology classes. B. Definition of affine Schubert polynomials representing the affine Schubert homolo…
▽ More
In these notes, we survey the homology of the loop group Omega(K) of a compact group K, also known as the affine Grassmannian of a complex loop group. Using the Bott picture of H_*(Omega(K)), the homology algebra or Pontryagin ring, we obtain two new results: A. Factorization of affine Schubert homology classes. B. Definition of affine Schubert polynomials representing the affine Schubert homology classes in all types, in terms similar to ordinary Schubert polynomials.
△ Less
Submitted 25 May, 2007;
originally announced May 2007.
-
On Ideal Generators for Affine Schubert Varieties
Authors:
V. Kreiman,
V. Lakshmibai,
P. Magyar,
J. Weyman
Abstract:
We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates.
As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional emb…
▽ More
We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates.
As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators.
We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.
△ Less
Submitted 6 November, 2004;
originally announced November 2004.
-
Standard Bases for Affine SL(n)-Modules
Authors:
V. Kreiman,
V. Lakshmibai,
P. Magyar,
J. Weyman
Abstract:
We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector.
Our basis arises naturally from the combinatorics of its indexi…
▽ More
We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector.
Our basis arises naturally from the combinatorics of its indexing set, which consists of certain subsets of the integers first specified by the Kyoto school in terms of crystal operators. We give a new way of defining these special sets in terms of a recursive but very simple algorithm, the roof operator, which is analogous to the left-key construction of Lascoux-Schutzenberger. The roof operator is in a sense orthogonal to the crystal operators.
△ Less
Submitted 20 February, 2005; v1 submitted 31 October, 2004;
originally announced November 2004.
-
Littelmann paths for the basic representation of an affine Lie algebra
Authors:
Peter Magyar
Abstract:
We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins.
We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove…
▽ More
We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins.
We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove that the basic level-one representation of g^, when considered as a representation of g, is an infinite tensor product of fundamental representations of g. A similar tensor product phenomenon holds for certain Demazure submodules of the basic representation.
△ Less
Submitted 18 September, 2003; v1 submitted 15 August, 2003;
originally announced August 2003.
-
Affine Schubert Varieties and Circular Complexes
Authors:
Peter Magyar
Abstract:
Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use…
▽ More
Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces.
The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the variety of nilpotent representations of a cyclic quiver (including nilpotent conjugacy classes of matrices) is isomorphic to an open subset of a Schubert variety for the loop group GL(n)^. In this paper, we attempt to describe the affine Schubert varieties and Lusztig's isomorphism in the simplest terms possible.
We then apply this isomorphism to an interesting example, the variety of circular complexes, recovering some results of Mehta and Trivedi.
△ Less
Submitted 10 October, 2002;
originally announced October 2002.
-
Bruhat order for two flags and a line
Authors:
Peter Magyar
Abstract:
The classical Ehresmann-Bruhat order describes the possible degenerations of a pair of flags in a linear space V under linear transformations of V; or equivalently, it describes the closure of an orbit of GL(V) acting diagonally on the product of two flag varieties.
We consider the degenerations of a triple consisting of two flags and a line, or equivalently the closure of an orbit of GL(V) ac…
▽ More
The classical Ehresmann-Bruhat order describes the possible degenerations of a pair of flags in a linear space V under linear transformations of V; or equivalently, it describes the closure of an orbit of GL(V) acting diagonally on the product of two flag varieties.
We consider the degenerations of a triple consisting of two flags and a line, or equivalently the closure of an orbit of GL(V) acting diagonally on the product of two flag varieties and a projective space. We give a simple rank criterion to decide whether one triple can degenerate to another. We also classify the minimal degenerations, which involve not only reflections (i.e., transpositions) in the Weyl group S_n, n=dim(V), but also cycles of arbitrary length. Our proofs use only elementary linear algebra and combinatorics.
△ Less
Submitted 13 October, 2003; v1 submitted 11 January, 2002;
originally announced January 2002.
-
Symplectic multiple flag varieties of finite type
Authors:
Peter Magyar,
Jerzy Weyman,
Andrei Zelevinsky
Abstract:
Problem: Given a reductive algebraic group G, find all k-tuples of parabolic subgroups (P_1,...,P_k) such that the product of flag varieties G/P_1 x ... x G/P_k has finitely many orbits under the diagonal action of G. In this case we call G/P_1 x ... x G/P_k a multiple flag variety of finite type. (If P_1 is a Borel subgroup, the partial product G/P_2 x ... x G/P_k is a spherical variety.)
In…
▽ More
Problem: Given a reductive algebraic group G, find all k-tuples of parabolic subgroups (P_1,...,P_k) such that the product of flag varieties G/P_1 x ... x G/P_k has finitely many orbits under the diagonal action of G. In this case we call G/P_1 x ... x G/P_k a multiple flag variety of finite type. (If P_1 is a Borel subgroup, the partial product G/P_2 x ... x G/P_k is a spherical variety.)
In this paper we solve this problem in the case of the symplectic group G = Sp(2n). We also give a complete enumeration of the orbits, and explicit representatives for them. (It is well known that for k=2 the orbits are essentially Schubert varieties.) Our main tool is the algebraic theory of quiver representations. Rather unexpectedly, it turns out that we can use the same techniques in the present case as we did for G = GL(n) in math.AG/9805067.
△ Less
Submitted 12 July, 1998;
originally announced July 1998.
-
Multiple Flag Varieties of Finite Type
Authors:
Peter Magyar,
Jerzy Weyman,
Andrei Zelevinsky
Abstract:
We classify all products of flag varieties with finitely many orbits under the diagonal action of the general linear group. We also classify the orbits in each case and construct explicit representatives. This generalizes the classical Schubert decompostion, which states that the GL(n)-orbits on a product of two flag varieties correspond to permutations. Our main tool is the theory of quiver rep…
▽ More
We classify all products of flag varieties with finitely many orbits under the diagonal action of the general linear group. We also classify the orbits in each case and construct explicit representatives. This generalizes the classical Schubert decompostion, which states that the GL(n)-orbits on a product of two flag varieties correspond to permutations. Our main tool is the theory of quiver representations.
△ Less
Submitted 13 May, 1998;
originally announced May 1998.
-
Degeneracy Schemes and Schubert Varieties
Authors:
V. Lakshmibai,
Peter Magyar
Abstract:
A result of Zelevinsky states that an orbit closure in the space of representations of the equioriented quiver of type $A_h$ is in bijection with the opposite cell in a Schubert variety of a partial flag variety $SL(n)/Q$. We prove that Zelevinsky's bijection is a scheme-theoretic isomorphism, which shows that the universal degeneracy schemes of Fulton are reduced and Cohen-Macaulay in arbitrary…
▽ More
A result of Zelevinsky states that an orbit closure in the space of representations of the equioriented quiver of type $A_h$ is in bijection with the opposite cell in a Schubert variety of a partial flag variety $SL(n)/Q$. We prove that Zelevinsky's bijection is a scheme-theoretic isomorphism, which shows that the universal degeneracy schemes of Fulton are reduced and Cohen-Macaulay in arbitrary characteristic.
△ Less
Submitted 16 September, 1997;
originally announced September 1997.
-
Standard Monomial Theory for Bott-Samelson Varieties of GL(n)
Authors:
V. Lakshmibai,
Peter Magyar
Abstract:
We construct an explicit basis for the coordinate ring of the Bott-Samelson variety Z_i associated to G = GL(n) and an arbitrary sequence of simple reflections i. Our basis is parametrized by certain standard tableaux and generalizes the Standard Monomial basis for Schubert varieties. Our standard tableaux have a natural crystal graph structure.
We construct an explicit basis for the coordinate ring of the Bott-Samelson variety Z_i associated to G = GL(n) and an arbitrary sequence of simple reflections i. Our basis is parametrized by certain standard tableaux and generalizes the Standard Monomial basis for Schubert varieties. Our standard tableaux have a natural crystal graph structure.
△ Less
Submitted 15 March, 1997;
originally announced March 1997.
-
Bott-Samelson Varieties and Configuration Spaces
Authors:
Peter M. Magyar
Abstract:
We give a new construction of the Bott-Samelson variety $Z$ as the closure of a $B$-orbit in a product of flag varieties $(G/B)^l$. This also gives an embedding of the projective coordinate ring of the variety into the function ring of a Borel subgroup: $\CC[Z] \subset \CC[B]$.
In the case of the general linear group $G = GL(n)$, this identifies $Z$ as a configuration variety of multiple flags…
▽ More
We give a new construction of the Bott-Samelson variety $Z$ as the closure of a $B$-orbit in a product of flag varieties $(G/B)^l$. This also gives an embedding of the projective coordinate ring of the variety into the function ring of a Borel subgroup: $\CC[Z] \subset \CC[B]$.
In the case of the general linear group $G = GL(n)$, this identifies $Z$ as a configuration variety of multiple flags subject to certain inclusion conditions, closely related to the the matrix factorizations of Berenstein, Fomin and Zelevinsky. As an application, we give a geometric proof of the theorem of Kraskiewicz and Pragacz that Schubert polynomials are characters of Schubert modules.
Our work leads on the one hand to a Demazure character formula for Schubert polynomials and other generalized Schur functions, and on the other hand to a Standard Monomial Theory for Bott-Samelson varieties.
△ Less
Submitted 16 November, 1996;
originally announced November 1996.
-
The Space of Triangles, Vanishing Theorems, and Combinatorics
Authors:
Wilberd van der Kallen,
Peter Magyar
Abstract:
We consider compactifications of the space of triples of distinct points in projective $n$-space. One such space is a singular variety of configurations of points and lines; another is the smooth compactification of Fulton and MacPherson; and a third is the triangle space of Schubert and Semple. We compute the sections of line bundles on these spaces, and show that they are equal as GL(n) repres…
▽ More
We consider compactifications of the space of triples of distinct points in projective $n$-space. One such space is a singular variety of configurations of points and lines; another is the smooth compactification of Fulton and MacPherson; and a third is the triangle space of Schubert and Semple. We compute the sections of line bundles on these spaces, and show that they are equal as GL(n) representations to the generalized Schur modules associated to ``bad'' generalized Young diagrams with three rows (Borel-Weil theorem). On the one hand, this yields Weyl-type character and dimension formulas for the Schur modules; on the other, a combinatorial picture of the space of sections. Cohomology vanishing theorems play a key role in our analysis.
△ Less
Submitted 23 January, 1996;
originally announced January 1996.
-
A Borel-Weil Theorem for Schur Modules
Authors:
Peter Magyar
Abstract:
We present a generalization of the classical Schur modules of $GL(N)$ exhibiting the same interplay among algebra, geometry, and combinatorics. A generalized Young diagram $D$ is an arbitrary finite subset of $\NN \times \NN$. For each $D$, we define the Schur module $S_D$ of $GL(N)$. We introduce a projective variety $\FF_D$ and a line bundle $\LL_D$, and describe the Schur module in terms of…
▽ More
We present a generalization of the classical Schur modules of $GL(N)$ exhibiting the same interplay among algebra, geometry, and combinatorics. A generalized Young diagram $D$ is an arbitrary finite subset of $\NN \times \NN$. For each $D$, we define the Schur module $S_D$ of $GL(N)$. We introduce a projective variety $\FF_D$ and a line bundle $\LL_D$, and describe the Schur module in terms of sections of $\LL_D$. For diagrams with the ``northeast'' property,
$$(i_1,j_1),\ (i_2, j_2) \in D \to (\min(i_1,i_2),\max(j_1,j_2)) \in D ,$$
which includes the skew diagrams, we resolve the singularities of $\FD$ and show analogs of Bott's and Kempf's vanishing theorems. Finally, we apply the Atiyah-Bott Fixed Point Theorem to establish a Weyl-type character formula of the form:
$$ {\Char}_{S_D}(x) = \sum_t {x^{\wt(t)} \over \prod_{i,j} (1-x_i x_j^{-1})^{d_{ij}(t)}} \ ,$$
where $t$ runs over certain standard tableaux of $D$.
Our results are valid over fields of arbitrary characteristic.
△ Less
Submitted 21 November, 1994;
originally announced November 1994.
