Searcharxiv⌕ Search

arXiv subjects

Xingting Wang

Publications and source records attributed to Xingting Wang.

At least 19 recordsLinked to original sources
arXiv2026

PAGR: Proof-Carrying Algebraic-Geometric Retrieval: A Quiver-, Provenance-, and Sheaf-Theoretic Framework for Grounded LLM Retrieval

Retrieval-augmented generation is usually formulated as a statistical information-retrieval problem. Graph-based variants add relational structure, but the mathematical status of that structure is often left underspecified. Three distinct questions tend to be conflated: which statements are certified as knowledge, which latent representations are useful for retrieval, and which multi-hop compositions are semantically admissible. We propose Proof-Carrying Algebraic-Geometric Retrieval (PAGR), a framework that separates these questions mathematically. Its symbolic layer is a many-sorted relational theory generated by a typed quiver, path equations, and positive Horn inclusions. A quiver representation assigns inner-product spaces to entity types and linear operators to relations. A cellular sheaf measures local-to-global consistency. Semiring provenance records derivations and supports machine-checkable certificates. The central principle is epistemic separation: learned geometry may rank and organize evidence, but cannot promote a hypothesis to certified ground truth. We show the certification criterion is invariant under arbitrary replacement of learned components. Further results include a conditional completeness bound, identification of the isometry group as the relevant symmetry for residual-based retrieval, a cohomological consistency diagnostic, and a bounded-bisimulation index for admissible-path expansion. PAGR is a mathematical architecture for separating where a system should look from what it is allowed to treat as knowledge.

math.RT↗
arXiv2026

Relative Dixmier property for Poisson algebras

Dixmier property concerns the bijectivity of endomorphisms for algebras. We introduce a relative Dixmier property, which is a generalization of the Dixmier property. This new concept has applications in proving that several classes of Poisson algebras possess the Dixmier property, as well as in other topics such as the cancellation problem and the non-existence of Hopf coactions.

math.AG↗
arXiv2025

Quantum-symmetric equivalence for superpotential algebras

We study superpotential algebras by introducing the notion of quantum-symmetric equivalence defined relatively to two fixed Hopf coactions. This concept relies on the non-vanishing of a bi-Galois object for the two coacting Hopf algebras, where the cotensor product with this object provides a Morita--Takeuchi equivalence between their comodule categories, mapping one superpotenial algebra to the other as comodule algebras. In particular, we investigate $\mathcal{GL}$-type and $\mathcal{SL}$-type quantum-symmetric equivalences using Bichon's reformation of bi-Galois objects in the language of cogroupoids constructed by nondegenerate twisted superpotentials. As applications, for the $\mathcal{GL}$-type, we characterize the Artin--Schelter regularity, or equivalently, twisted Calabi--Yau property, of a superpotential algebra as the non-vanishing of the bi-Galois object in the associated cogroupoid. For the $\mathcal{SL}$-type, we apply the pivotal structure of the comodule categories to study numerical invariants for $\mathcal{SL}$ quantum-symmetric equivalence, including the quantum Hilbert series of the superpotential algebras.

math.QA↗
arXiv2025

Hopf actions on Poisson algebras

We study finite-dimensional Hopf actions on Poisson algebras and explore the phenomenon of quantum rigidity in this context. Our main focus is on filtered (and especially quadratic) Poisson algebras, including the Weyl Poisson algebra in $2n$ variables and certain Poisson algebras in two variables. In particular, we show that any finite-dimensional Hopf algebra acting inner faithfully on these Poisson algebras must necessarily factor through a group algebra-mirroring well-known rigidity theorems for Weyl algebras in the associative setting. The proofs hinge on lifting the Hopf actions to associated Rees algebras, where we construct suitable noncommutative "quantizations" that allow us to leverage classification results for Hopf actions on quantum (or filtered) algebras. We also discuss how group actions on Poisson algebras extend to universal enveloping algebras, and we give partial classifications of Taft algebra actions on certain low-dimensional Poisson algebras.

math.QA↗
arXiv2025

On the finite generation of the cohomology of bosonizations

We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.

math.QA↗
arXiv2024

Quantum-symmetric equivalence is a graded Morita invariant

We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated universal quantum groups (in the sense of Manin) which sends one algebra to the other. As a consequence, any Zhang twist of an $m$-homogeneous algebra is a 2-cocycle twist by some 2-cocycle from its Manin's universal quantum group.

math.QA↗
arXiv2023

Poisson valuations

We study Poisson valuations and provide their applications in solving problems related to rigidity, automorphisms, Dixmier property, isomorphisms, and embeddings of Poisson algebras and fields.

math.RA↗
arXiv2023

Weighted Poisson polynomial rings

We discuss Poisson structures on a weighted polynomial algebra $A:=\Bbbk[x, y, z]$ defined by a homogeneous element $\Omega\in A$, called a potential. We start with classifying potentials $\Omega$ of degree deg$(x)+$deg$(y)+$deg$(z)$ with any positive weight (deg$(x)$, deg$(y)$, deg$(z)$) and list all with isolated singularity. Based on the classification, we study the rigidity of $A$ in terms of graded twistings and classify Poisson fraction fields of $A/(\Omega)$ for irreducible potentials. Using Poisson valuations, we characterize the Poisson automorphism group of $A$ when $\Omega$ has an isolated singularity extending a nice result of Makar-Limanov-Turusbekova-Umirbaev. Finally, Poisson cohomology groups are computed for new classes of Poisson polynomial algebras.

math.RA↗
arXiv2023

On Hopf algebras of dimension $p^n$ in characteristic $p$

Let $\Bbbk$ be an algebraically closed field of characteristic $p>0$. We study the general structures of $p^n$-dimensional Hopf algebras over $\Bbbk$ with $p^{n-1}$ group-like elements or a primitive element generating a $p^{n-1}$-dimensional Hopf subalgebra. As applications, we have proved that Hopf algebras of dimension $p^2$ over $\Bbbk$ are pointed or basic for $p \le 5$, and provided a list of characterizations of the Radford algebra $R(p)$. In particular, $R(p)$ is the unique nontrivial extension of $\Bbbk[C_p]^*$ by $\Bbbk[C_p]$, where $C_p$ is the cyclic group of order $p$. In addition, we have proved a vanishing theorem for some 2nd Sweedler cohomology group and investigated the extensions of $p$-dimensional Hopf algebras. All these extensions have been identified and shown to be pointed.

math.QA↗
arXiv2022

Twisting Manin's universal quantum groups and comodule algebras

We introduce the notion of quantum-symmetric equivalence of two connected graded algebras, based on Morita-Takeuchi equivalences of their universal quantum groups, in the sense of Manin. We study homological and algebraic invariants of quantum-symmetric equivalence classes, and prove that numerical $\mathrm{Tor}$-regularity, Castelnuovo-Mumford regularity, Artin-Schelter regularity, and the Frobenius property are invariant under any Morita-Takeuchi equivalence. In particular, by combining our results with the work of Raedschelders and Van den Bergh, we prove that Koszul Artin-Schelter regular algebras of a fixed global dimension form a single quantum-symmetric equivalence class. Moreover, we characterize 2-cocycle twists (which arise as a special case of quantum-symmetric equivalence) of Koszul duals, of superpotentials, of superpotential algebras, of Nakayama automorphisms of twisted Frobenius algebras, and of Artin-Schelter regular algebras. We also show that finite generation of Hochschild cohomology rings is preserved under certain 2-cocycle twists.

math.QA↗
arXiv2022

Twists of graded Poisson algebras and related properties

We introduce a Poisson version of the graded twist of a graded associative algebra and prove that every graded Poisson structure on a connected graded polynomial ring $A:=\Bbbk[x_1,\ldots,x_n]$ is a graded twist of a unimodular Poisson structure on $A$, namely, if $\pi$ is a graded Poisson structure on $A$, then $\pi$ has a decomposition $$\pi=\pi_{unim} +\frac{1}{\sum_{i=1}^n {\rm deg} x_i} E\wedge {\mathbf m}$$ where $E$ is the Euler derivation, $\pi_{unim}$ is the unimodular graded Poisson structure on $A$ corresponding to $\pi$, and ${\mathbf m}$ is the modular derivation of $(A,\pi)$. This result is a generalization of the same result in the quadratic setting. The rigidity of graded twisting, $PH^1$-minimality, and $H$-ozoneness are studied. As an application, we compute the Poisson cohomologies of the quadratic Poisson structures on the polynomial ring of three variables when the potential is irreducible, but not necessarily having isolated singularities.

math.RA↗
arXiv2021

A cogroupoid associated to preregular forms

We construct a family of cogroupoids associated to preregular forms and recover the Morita-Takeuchi equivalence for Artin-Schelter regular algebras of dimension two, observed by Raedschelders and Van den Bergh. Moreover, we study the 2-cocycle twists of pivotal analogues of these cogroupoids, by developing a categorical description of preregularity in any tensor category that has a pivotal structure.

math.RA↗
arXiv2021

Twisting of graded quantum groups and solutions to the quantum Yang-Baxter equation

Let $H$ be a Hopf algebra that is $\mathbb Z$-graded as an algebra. We provide sufficient conditions for a 2-cocycle twist of $H$ to be a Zhang twist of $H$. In particular, we introduce the notion of a twisting pair for $H$ such that the Zhang twist of $H$ by such a pair is a 2-cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algebras and provide twisting of solutions to the quantum Yang-Baxter equation via the Faddeev-Reshetikhin-Takhtajan construction.

math.RA↗
arXiv2021

Cancellation and skew cancellation for Poisson algebras

We study the Zariski cancellation problem for Poisson algebras in three variables. In particular, we prove those with Poisson bracket either being quadratic or derived from a Lie algebra are cancellative. We also use various Poisson algebra invariants, including the Poisson Makar-Limanov invariant, the divisor Poisson subalgebra, and the Poisson stratiform length, to study the skew cancellation problem for Poisson algebras.

math.RA↗
arXiv2020

Homological properties of $3$-dimensional DG Sklyanin algebras

In this paper, we introduce the notion of DG Sklyanin algebras, which are connected cochain DG algebras whose underlying graded algebras are Sklyanin algebras. Let $\mathcal{A}$ be a $3$-dimensional DG Sklyanin algebra with $\mathcal{A}^{\#}=S_{a,b,c}$, where $(a,b,c)\in \Bbb{P}_k^2-\mathfrak{D}$ and $$\mathfrak{D}=\{(1,0,0), (0,1,0),(0,0,1)\}\sqcup\{(a,b,c)|a^3=b^3=c^3\}.$$ We systematically study its differential structures and various homological properties. Especially, we figure out the conditions for $\mathcal{A}$ to be Calabi-Yau, Koszul, Gorenstein and homologically smooth, respectively.

math.RA↗