957 research outputs found

    On Projective Equivalence of Univariate Polynomial Subspaces

    Get PDF
    We pose and solve the equivalence problem for subspaces of Pn{\mathcal P}_n, the (n+1)(n+1) dimensional vector space of univariate polynomials of degree n\leq n. The group of interest is SL2{\rm SL}_2 acting by projective transformations on the Grassmannian variety GkPn{\mathcal G}_k{\mathcal P}_n of kk-dimensional subspaces. We establish the equivariance of the Wronski map and use this map to reduce the subspace equivalence problem to the equivalence problem for binary forms

    Reduced Gr\"obner Bases of Certain Toric Varieties; A New Short Proof

    Full text link
    Let K be a field and let m_0,...,m_{n} be an almost arithmetic sequence of positive integers. Let C be a toric variety in the affine (n+1)-space, defined parametrically by x_0=t^{m_0},...,x_{n}=t^{m_{n}}. In this paper we produce a minimal Gr\"obner basis for the toric ideal which is the defining ideal of C and give sufficient and necessary conditions for this basis to be the reduced Gr\"obner basis of C, correcting a previous work of \cite{Sen} and giving a much simpler proof than that of \cite{Ayy}

    The Geometry of Fixed Point Varieties on Affine Flag Manifolds

    Full text link
    Let GG be a semisimple, simply connected, algebraic group over an algebraically closed field kk with Lie algebra g\frak g. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of gk((π))\frak g\otimes k((\pi)), i.e. fixed point varieties on affine flag manifolds. We define a natural class of kk^*-actions on affine flag manifolds, generalizing actions introduced by Lusztig and Smelt. We formulate a condition on a pair (N,f)(N,f) consisting of Ngk((π))N\in\frak{g}\otimes k((\pi)) and a kk^*-action ff of the specified type which guarantees that ff induces an action on the variety of parahoric subalgebras containing NN. For the special linear and symplectic groups, we characterize all regular semisimple and nil-elliptic conjugacy classes containing a representative whose fixed point variety admits such an action. We then use these actions to find simple formulas for the Euler characteristics of those varieties for which the kk^*-fixed points are finite. We also obtain a combinatorial description of the Euler characteristics of the spaces of parabolic subalgebras containing a given element of certain nilpotent conjugacy classes of g\frak g.Comment: Latex2e, 33 pages. To appear in Transactions of the AM

    Higher uniformity of bounded multiplicative functions in short intervals on average

    Full text link
    Let λ\lambda denote the Liouville function. We show that, as XX \rightarrow \infty, X2XsupP(Y)R[Y]deg(P)kxnx+Hλ(n)e(P(n)) dx=o(XH)\int_{X}^{2X} \sup_{\substack{P(Y)\in \mathbb{R}[Y]\\ deg(P)\leq k}} \Big | \sum_{x \leq n \leq x + H} \lambda(n) e(-P(n)) \Big |\ dx = o ( X H) for all fixed kk and XθHXX^{\theta} \leq H \leq X with 0<θ<10 < \theta < 1 fixed but arbitrarily small. Previously this was only established for k1k \leq 1. We obtain this result as a special case of the corresponding statement for (non-pretentious) 11-bounded multiplicative functions that we prove. In fact, we are able to replace the polynomial phases e(P(n))e(-P(n)) by degree kk nilsequences F(g(n)Γ)\overline{F}(g(n) \Gamma). By the inverse theory for the Gowers norms this implies the higher order asymptotic uniformity result X2XλUk+1([x,x+H]) dx=o(X)\int_{X}^{2X} \| \lambda \|_{U^{k+1}([x,x+H])}\ dx = o ( X ) in the same range of HH. We present applications of this result to patterns of various types in the Liouville sequence. Firstly, we show that the number of sign patterns of the Liouville function is superpolynomial, making progress on a conjecture of Sarnak about the Liouville sequence having positive entropy. Secondly, we obtain cancellation in averages of λ\lambda over short polynomial progressions (n+P1(m),,n+Pk(m))(n+P_1(m),\ldots, n+P_k(m)), which in the case of linear polynomials yields a new averaged version of Chowla's conjecture. We are in fact able to prove our results on polynomial phases in the wider range Hexp((logX)5/8+ε)H\geq \exp((\log X)^{5/8+\varepsilon}), thus strengthening also previous work on the Fourier uniformity of the Liouville function.Comment: 104 page
    corecore