An official website of the United States government
Abstract We prove that all Galerkin truncations of the 2d stochastic Navier–Stokes equations in vorticity form on any rectangular torus subjected to hypoelliptic, additive stochastic forcing are chaotic at sufficiently small viscosity, provided the frequency truncation satisfies$$N\ge 392$$ . By “chaotic” we mean having a strictly positive Lyapunov exponent, i.e. almost-sure asymptotic exponential growth of the derivative with respect to generic initial conditions. A sufficient condition for such results was derived in previous joint work with Alex Blumenthal which reduces the question to the non-degeneracy of a matrix Lie algebra implying Hörmander’s condition for the Markov process lifted to the sphere bundle (projective hypoellipticity). The purpose of this work is to reformulate this condition to be more amenable for Galerkin truncations of PDEs and then to verify this condition using (a) a reduction to genericity properties of a diagonal sub-algebra inspired by the root space decomposition of semi-simple Lie algebras and (b) computational algebraic geometry executed by Maple in exact rational arithmetic. Note that even though we use a computer assisted proof, the result is valid for all aspect ratios and all sufficiently high dimensional truncations; in fact, certain steps simplify in the formal infinite dimensional limit.
more »
« less
Equivariant quantum differential equation and qKZ equations for a projective space: Stokes bases as exceptional collections, Stokes matrices as Gram matrices, and B-Theorem
In [TV19a] the equivariant quantum differential equation (qDE) for a projective space was considered and a compatible system of difference qKZ equations was introduced; the space of solutions to the joint system of the qDE and qKZ equations was identified with the space of the equivariant K-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant K-theory algebra. This paper is a continuation of [TV19a]. We describe the relation between solutions to the joint system of the qDE and qKZ equations and the topological-enumerative solution to the qDE only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant K-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant K-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani.
more »
« less
- Award ID(s):
- 1954266
- PAR ID:
- 10411593
- Editor(s):
- Novikov, Krichever
- Date Published:
- Journal Name:
- Proceedings of symposia in pure mathematics
- Volume:
- 103
- Issue:
- 1
- ISSN:
- 2324-707X
- Page Range / eLocation ID:
- 101-170
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We introduce generalized Demazure operators for the equivariant oriented cohomology of the flag variety, which have specializations to various Demazure operators and Demazure–Lusztig operators in both equivariant cohomology and equivariant K-theory. In the context of the geometric basis of the equivariant oriented cohomology given by certain Bott–Samelson classes, we use these operators to obtain formulas for the structure constants arising in different bases. Specializing to divided difference operators and Demazure operators in singular cohomology and K-theory, we recover the formulas for structure constants of Schubert classes obtained in Goldin and Knutson (Pure Appl Math Q 17(4):1345–1385, 2021). Two specific specializations result in formulas for the the structure constants for cohomological and K-theoretic stable bases as well; as a corollary we reproduce a formula for the structure constants of the Segre–Schwartz–MacPherson basis previously obtained by Su (Math Zeitschrift 298:193–213, 2021). Our methods involve the study of the formal affine Demazure algebra, providing a purely algebraic proof of these results.more » « less
-
Our previous papers introduce topological notions of normal crossings symplectic divisor and variety, show that they are equivalent, in a suitable sense, to the corresponding geometric notions, and establish a topological smoothability criterion for normal crossings symplectic varieties. The present paper constructs a blowup, a complex line bundle, and a logarithmic tangent bundle naturally associated with a normal crossings symplectic divisor and determines the Chern class of the last bundle. These structures have applications in constructions and analysis of various moduli spaces. As a corollary of the Chern class formula for the logarithmic tangent bundle, we refine Aluffi’s formula for the Chern class of the tangent bundle of the blowup at a complete intersection to account for the torsion and extend it to the blowup at the deepest stratum of an arbitrary normal crossings divisor.more » « less
-
null (Ed.)A bstract The superpotential in four-dimensional heterotic effective theories contains terms arising from holomorphic Chern-Simons invariants associated to the gauge and tangent bundles of the compactification geometry. These effects are crucial for a number of key features of the theory, including vacuum stability and moduli stabilization. Despite their importance, few tools exist in the literature to compute such effects in a given heterotic vacuum. In this work we present new techniques to explicitly determine holomorphic Chern-Simons invariants in heterotic string compactifications. The key technical ingredient in our computations are real bundle morphisms between the gauge and tangent bundles. We find that there are large classes of examples, beyond the standard embedding, where the Chern-Simons superpotential vanishes. We also provide explicit examples for non-flat bundles where it is non-vanishing and non-integer quantized, generalizing previous results for Wilson lines.more » « less
-
We consider the KZ differential equations over C in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field F_p. We study the polynomial solutions of these differential equations over F_p, constructed in a previous work joint with V. Schechtman and called the F_p-hypergeometric solutions. The dimension of the space of F_p-hypergeometric solutions depends on the prime number p. We say that the KZ equations have ample reduction for a prime p, if the dimension of the space of F_p-hypergeometric solutions is maximal possible, that is, equal to the dimension of the space of solutions of the corresponding KZ equations over C. Under the assumption of ample reduction, we prove a determinant formula for the matrix of coordinates of basis F_p-hypergeometric solutions. The formula is analogous to the corresponding formula for the determinant of the matrix of coordinates of basis complex hypergeometric solutions, in which binomials (z_i−z_j)^{M_i+M_j} are replaced with (z_i−z_j)^{Mi+Mj−p} and the Euler gamma function Γ(x) is replaced with a suitable F_p-analog defined on F_pmore » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
