Comparison of Poisson structures on moduli spaces

Let X be a complex irreducible smooth projective curve, and let $${{\mathbb {L}}}$$ L be an algebraic line bundle on X with a nonzero section $$\sigma _0$$ σ 0 . Let $${\mathcal {M}}$$ M denote the moduli space of stable Hitchin pairs $$(E,\, \theta )$$ ( E , θ ) , where E is an algebraic vector bundle on X of fixed rank r and degree $$\delta $$ δ , and $$\theta \, \in \, H^0(X,\, {\mathcal {E}nd}(E)\otimes K_X\otimes {{\mathbb {L}}})$$ θ ∈ H 0 ( X , E n d ( E ) ⊗ K X ⊗ L ) . Associating to every stable Hitchin pair its spectral data, an isomorphism of $${\mathcal {M}}$$ M with a moduli space $${\mathcal {P}}$$ P of stable sheaves of pure dimension one on the total space of $$K_X\otimes {{\mathbb {L}}}$$ K X ⊗ L is obtained. Both the moduli spaces $${\mathcal {P}}$$ P and $${\mathcal {M}}$$ M are equipped with algebraic Poisson structures, which are constructed using $$\sigma _0$$ σ 0 . Here we prove that the above isomorphism between $${\mathcal {P}}$$ P and $${\mathcal {M}}$$ M preserves the Poisson structures.

EULER CLASSES: SIX-FUNCTORS FORMALISM, DUALITIES, INTEGRALITY AND LINEAR SUBSPACES OF COMPLETE INTERSECTIONS

We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in $\mathbb P^n$ in terms of topological Euler numbers over $\mathbb {R}$ and $\mathbb {C}$ .

An arithmetic count of the lines on a smooth cubic surface

We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$ , generalizing the counts that over ${\mathbf {C}}$ there are $27$ lines, and over ${\mathbf {R}}$ the number of hyperbolic lines minus the number of elliptic lines is $3$ . In general, the lines are defined over a field extension $L$ and have an associated arithmetic type $\alpha$ in $L^*/(L^*)^2$ . There is an equality in the Grothendieck–Witt group $\operatorname {GW}(k)$ of $k$ , \[ \sum_{\text{lines}} \operatorname{Tr}_{L/k} \langle \alpha \rangle = 15 \cdot \langle 1 \rangle + 12 \cdot \langle -1 \rangle, \] where $\operatorname {Tr}_{L/k}$ denotes the trace $\operatorname {GW}(L) \to \operatorname {GW}(k)$ . Taking the rank and signature recovers the results over ${\mathbf {C}}$ and ${\mathbf {R}}$ . To do this, we develop an elementary theory of the Euler number in $\mathbf {A}^1$ -homotopy theory for algebraic vector bundles. We expect that further arithmetic counts generalizing enumerative results in complex and real algebraic geometry can be obtained with similar methods.

Computer-Aided Nonlinear Frequency Response Method for Investigating the Dynamics of Chemical Engineering Systems

The Nonlinear Frequency Response (NFR) method is a useful Process Systems Engineering tool for developing experimental techniques and periodic processes that exploit the system nonlinearity. The basic and most time-consuming step of the NFR method is the derivation of frequency response functions (FRFs). The computer-aided Nonlinear Frequency Response (cNFR) method, presented in this work, uses a software application for automatic derivation of the FRFs, thus making the NFR analysis much simpler, even for systems with complex dynamics. The cNFR application uses an Excel user-friendly interface for defining the model equations and variables, and MATLAB code which performs analytical derivations. As a result, the cNFR application generates MATLAB files containing the derived FRFs in a symbolic and algebraic vector form. In this paper, the software is explained in detail and illustrated through: (1) analysis of periodic operation of an isothermal continuous stirred-tank reactor with a simple reaction mechanism, and (2) experimental identification of electrochemical oxygen reduction reaction.

Strict deformation quantization of the state space of Mk(ℂ) with applications to the Curie–Weiss model

Increasing tensor powers of the [Formula: see text] matrices [Formula: see text] are known to give rise to a continuous bundle of [Formula: see text]-algebras over [Formula: see text] with fibers [Formula: see text] and [Formula: see text], where [Formula: see text], the state space of [Formula: see text], which is canonically a compact Poisson manifold (with stratified boundary). Our first result is the existence of a strict deformation quantization of [Formula: see text] à la Rieffel, defined by perfectly natural quantization maps [Formula: see text] (where [Formula: see text] is an equally natural dense Poisson subalgebra of [Formula: see text]). We apply this quantization formalism to the Curie–Weiss model (an exemplary quantum spin with long-range forces) in the parameter domain where its [Formula: see text] symmetry is spontaneously broken in the thermodynamic limit [Formula: see text]. If this limit is taken with respect to the macroscopic observables of the model (as opposed to the quasi-local observables), it yields a classical theory with phase space [Formula: see text] (i.e. the unit three-ball in [Formula: see text]). Our quantization map then enables us to take the classical limit of the sequence of (unique) algebraic vector states induced by the ground state eigenvectors [Formula: see text] of this model as [Formula: see text], in which the sequence converges to a probability measure [Formula: see text] on the associated classical phase space [Formula: see text]. This measure is a symmetric convex sum of two Dirac measures related by the underlying [Formula: see text]-symmetry of the model, and as such the classical limit exhibits spontaneous symmetry breaking, too. Our proof of convergence is heavily based on Perelomov-style coherent spin states and at some stage it relies on (quite strong) numerical evidence. Hence the proof is not completely analytic, but somewhat hybrid.

Complete algebraic vector fields on affine surfaces

Let [Formula: see text] be the subgroup of the group [Formula: see text] of holomorphic automorphisms of a normal affine algebraic surface [Formula: see text] generated by elements of flows associated with complete algebraic vector fields. Our main result is a classification of all normal affine algebraic surfaces [Formula: see text] quasi-homogeneous under [Formula: see text] in terms of the dual graphs of the boundaries [Formula: see text] of their SNC-completions [Formula: see text].

Incorporating Semantic Word Representations into Query Expansion for Microblog Information Retrieval

Microblog information retrieval has attracted much attention of researchers to capture the desired information in daily communications on social networks. Since the contents of microblogs are always non-standardized and flexible, including many popular Internet expressions, the retrieval accuracy of microblogs has much room for improvement. To enhance microblog information retrieval, we propose a novel query expansion method to enrich user queries with semantic word representations. In our method, we use a neural network model to map each word in the corpus to a low-dimensional vector representation. The mapped word vectors satisfy the algebraic vector addition operation, and the new vector obtained by the addition operation can express some common attributes of the two words. In this sense, we represent keywords in user queries as vectors, sum all the keyword vectors, and use the obtained query vectors to select the expansion words. In addition, we also combine the traditional pseudo-relevance feedback query expansion method with the proposed query expansion method. Experimental results show that the proposed method is effective and reduces noises in the expanded query, which improves the accuracy of microblog retrieval.

Integrable generators of Lie algebras of vector fields on ℂ n

There exist three vector fields with complete polynomial flows on {\mathbb{C}^{n}} , {n\geq 2} , which generate the Lie algebra generated by all algebraic vector fields on {\mathbb{C}^{n}} with complete polynomial flows. In particular, the flows of these vector fields generate a group that acts infinitely transitively. The analogous result holds in the holomorphic setting.

Emotion Algebra reveals that sequences of facial expressions have meaning beyond their discrete constituents

Studies of emotional facial expressions reveal agreement among observes about the meaning of six to fifteen basic static expressions. Other studies focused on the temporal evolvement, within single facial expressions. Here, we argue that people infer a larger set of emotion states than previously assumed, by taking into account sequences of different facial expressions, rather than single facial expressions. Perceivers interpreted sequences of two images, derived from eight facial expressions. We employed vector representation of emotion states, adopted from the field of Natural Language Processing and performed algebraic vector computations. We found that the interpretation participants ascribed to the sequences of facial expressions could be expressed as a weighted average of the single expressions comprising them, resulting in 32 new emotion states. Additionally, observes’ agreement about the interpretations, was expressed as a multiplication of respective expressions. Our study sheds light on the significance of facial expression sequences to perception. It offers an alternative account as to how a variety of emotion states are being perceived and a computational method to predict these states.

Stratified-algebraic vector bundles

We investigate stratified-algebraic vector bundles on a real algebraic variety X. A stratification of X is a finite collection of pairwise disjoint, Zariski locally closed subvarieties whose union is X. A topological vector bundle ξ on X is called a stratified-algebraic vector bundle if, roughly speaking, there exists a stratification {\mathcal{S}} of X such that the restriction of ξ to each stratum S in {\mathcal{S}} is an algebraic vector bundle on S. In particular, every algebraic vector bundle on X is stratified-algebraic. It turns out that stratified-algebraic vector bundles have many surprising properties, which distinguish them from algebraic and topological vector bundles.