skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Odd-Dimensional GKM-Manifolds of Non-Negative Curvature
Abstract Let $$M$$ be a closed, odd GKM$$_3$$ manifold of non-negative sectional curvature. We show that in this situation one can associate an ordinary abstract GKM$$_3$$ graph to $$M$$ and prove that if this graph is orientable, then both the equivariant and the ordinary rational cohomology of $$M$$ split off the cohomology of an odd-dimensional sphere.  more » « less
Award ID(s):
1906404
PAR ID:
10439522
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2023
Issue:
1
ISSN:
1073-7928
Page Range / eLocation ID:
744 to 784
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of $${{\,\mathrm{GL}\,}}_3$$ GL 3 over imaginary quadratic fields, using the cohomology of Shimura varieties for $${\text {GU}}(2, 1)$$ GU ( 2 , 1 ) . 
    more » « less
  2. Abstract A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg and permutohedral varieties. These cohomology rings carry two actions of the symmetric group$$S_n$$whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded$$S_n$$-representations from the cohomologies of the above varieties to splines on Cayley graphs of$$S_n$$and then (1) give explicit module and ring generators for whenever the$$S_n$$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one$$S_n$$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets. 
    more » « less
  3. In this short note we construct an embedding of the planar algebra for $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ at $$q = e^{2\pi i \frac{1}{24}}$$ into the graph planar algebra of di Francesco and Zuber's candidate graph $$\mathcal{E}_4^{12}$$. Via the graph planar algebra embedding theorem we thus construct a rank 11 module category over $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ whose graph for action by the vector representation is $$\mathcal{E}_4^{12}$$. This fills a small gap in the literature on the construction of $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ module categories. As a consequence of our construction, we obtain the principal graphs of subfactors constructed abstractly by Evans and Pugh. 
    more » « less
  4. null (Ed.)
    Abstract For a real constant α , let $$\pi _3^\alpha (G)$$ be the minimum of twice the number of K 2 ’s plus α times the number of K 3 ’s over all edge decompositions of G into copies of K 2 and K 3 , where K r denotes the complete graph on r vertices. Let $$\pi _3^\alpha (n)$$ be the maximum of $$\pi _3^\alpha (G)$$ over all graphs G with n vertices. The extremal function $$\pi _3^3(n)$$ was first studied by Győri and Tuza ( Studia Sci. Math. Hungar. 22 (1987) 315–320). In recent progress on this problem, Král’, Lidický, Martins and Pehova ( Combin. Probab. Comput. 28 (2019) 465–472) proved via flag algebras that $$\pi _3^3(n) \le (1/2 + o(1)){n^2}$$ . We extend their result by determining the exact value of $$\pi _3^\alpha (n)$$ and the set of extremal graphs for all α and sufficiently large n . In particular, we show for α = 3 that K n and the complete bipartite graph $${K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil }}$$ are the only possible extremal examples for large n . 
    more » « less
  5. Abstract We study the weight 11 part of the compactly supported cohomology of the moduli space of curves $${\mathcal{M}}_{g,n}$$, using graph complex techniques, with particular attention to the case $n = 0$. As applications, we prove new nonvanishing results for the cohomology of $${\mathcal{M}}_{g}$$, and exponential growth with $$g$$, in a wide range of degrees. 
    more » « less