Mixing Metaphors

Mark Lee,John Barnden
DOI: https://doi.org/10.48550/arXiv.cs/9904004
1999-04-12
Abstract:Mixed metaphors have been neglected in recent metaphor research. This paper suggests that such neglect is short-sighted. Though mixing is a more complex phenomenon than straight metaphors, the same kinds of reasoning and knowledge structures are required. This paper provides an analysis of both parallel and serial mixed metaphors within the framework of an AI system which is already capable of reasoning about straight metaphorical manifestations and argues that the processes underlying mixing are central to metaphorical meaning. Therefore, any theory of metaphors must be able to account for mixing.
Computation and Language,Artificial Intelligence
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the cohomology space of a certain bundle on the point Hilbert scheme \(X[m]\) of a smooth projective surface \(X\). Specifically, the author Gentiana Danila studied the cohomology space of the bundle formed by the tensor product of the tautological bundle of the invertible bundle \(L\) and the determinant bundle of the invertible bundle \(A\) on \(X[m]\). By proving that when \(\omega_X^{-1}\otimes A\) and \(\omega_X^{-1}\otimes L\otimes A\) are ample bundles, the higher - order cohomology spaces vanish, and a specific calculation method for the global section space is given. This result is of great significance for calculating the global sections of the determinant bundle on the moduli space and supporting Le Potier's "Strange duality" conjecture on the plane projective. Expressed in mathematical formulas, the main conclusions are as follows: - If \(\omega_X^{-1}\otimes A\otimes k\) and \(\omega_X^{-1}\otimes L\otimes A\otimes k\) are all ample bundles for \(1\leq k\leq m\), then: - \(H^q(X[m], L[m]\otimes d_A^m) = 0\) when \(q > 0\) - \(H^0(X[m], L[m]\otimes d_A^m)\cong S^{m - 1}(H^0(A))\otimes H^0(X, L\otimes A)\) Here, \(L[m]\) represents the tautological bundle induced by \(L\) on \(X[m]\), and \(d_A^m\) is the determinant bundle induced by \(A\). These results are not only helpful for understanding the geometric structure on \(X[m]\), but also provide a powerful tool for studying vector bundles on the moduli space.