SearcharxivSearch

arXiv subjects

Fangzhou Jin

Publications and source records attributed to Fangzhou Jin.

At least 19 recordsLinked to original sources

K_0-motives and the Chow weight-heart

Bondarko and Luzgarev constructed the Chow weight structure on the homotopy category of $KGL$-modules; we show that the heart of this weight structure is equivalent to the category of $K_0$-motives introduced by Gillet and Soulé, which is the $K$-theoretic counterpart of the category of relative Chow motives defined by Corti and Hanamura. The proof is achieved via a detailed study on the Borel-Moore theory in $KGL$-modules, as well as explicit formulas for products in algebraic $G$-theory in terms of $\operatorname{Tor}$-operations.

math.AG

The limit and boundary characteristic classes in Borel-Moore motivic homology

We show that the zero-dimensional part of the pro-Chern-Schwarz-MacPherson class defined by Aluffi can be lifted to the zeroth Suslin homology. The proof uses the pro-characteristic class in the limit Borel-Moore motivic homology, which has a quadratic refinement in the limit Borel-Moore Milnor-Witt homology. In characteristic zero, this construction factors through the group of constructible functions, in a way compatible with the covariant functoriality; in positive characteristic this property fails, and we show that the failure can be measured by the boundary characteristic class in the boundary Borel-Moore motivic homology. We prove a push-forward formula for the boundary characteristic class, and conjecture it to agree with the Swan class defined by Kato-Saito.

math.AG

Homotopy coherent Gysin functoriality

We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses the higher deformation spaces of Dubouloz-Mayeux attached to flags of closed immersions, from which we build higher Gysin simplices and their simplicial identities up to contractible choices. A rigidification procedure then turns this coherent system into a strict contravariant simplicial functor extending both smooth pullbacks and closed-immersion Gysin morphisms. As an application, we prove a representability theorem for Rost-Schmid complexes associated with homodules over general noetherian excellent bases: these complexes form weak Borel-Moore theories, and hence are represented by motivic objects obtained from the main construction.

math.AG

Tailoring Diagnostic Modeling to Individual Learners: Personalized Distractor Generation via MCTS-Guided Reasoning Reconstruction

Distractors-incorrect yet plausible answer choices in multiple-choice questions (MCQs)-are vital in educational assessments, as they help identify student misconceptions by presenting potential reasoning errors. Current distractor generation methods typically produce shared distractors for all students, ignoring the individual variations in reasoning, which limits their diagnostic effectiveness. To tackle this challenge, we introduce the task of Personalized Distractor Generation, which tailors distractors to each student's specific cognitive flaws, inferred from their past question-answering (QA) history. While promising, this task is particularly demanding due to the limited number of QA records available for each student, which are insufficient for training, as well as the absence of their underlying reasoning process. To overcome this, we propose a novel, training-free two-stage framework. In the first stage, Monte Carlo Tree Search (MCTS) is used to reconstruct the student's reasoning process from past errors, creating a student-specific misconception prototype. In the second stage, this prototype guides the simulation of the student's reasoning on new questions, generating personalized distractors that resonate with their individual misconceptions. Our experiments, conducted on 1,361 students across 6 subjects, demonstrate that this approach outperforms existing methods in generating plausible, personalized distractors, and also effectively adapts to group-level settings, highlighting its robustness and versatility.

cs.CL

Homological Milnor-Witt modules and Chow-Witt groups over general bases

We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a Rost-Schmid type complex whose homology defines a Borel-Moore intersection theory with quadratic coefficients, satisfying homotopy invariance, localization, proper pushforwards, smooth pullbacks, and Gysin morphisms for essentially smoothable lci morphisms. Using duality data induced by pinning structures, we define cohomological Milnor-Witt modules and establish a duality equivalence between homological and cohomological theories. As applications, we extend Chow-Witt groups to schemes over general (possibly singular or arithmetic) bases, prove generalized Bloch formulas and representability results, and compute graded Chow-Witt groups over Dedekind schemes of finite type over the integers. In particular, we obtain finiteness results for Chow-Witt and related Milnor-Witt invariants in dimension at most one.

math.AG

Trace maps in motivic homotopy and local terms

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic refinements of the classical local terms, and some $\mathbb{A}^1$-enumerative invariants, such as the local $\mathbb{A}^1$-Brouwer degree and the Euler class with support, can be interpreted as local terms. We prove an analogue of a theorem of Varshavsky, which states that for a contracting correspondence, the local terms agree with the naive local terms.

math.AG

The quadratic Artin conductor of a motivic spectrum

Given a motivic spectrum $K$ over a smooth proper scheme which is dualizable over an open subscheme, we define its quadratic Artin conductor under some assumptions, and prove a formula relating the quadratic Euler characteristic of $K$, the rank of $K$ and the quadratic Artin conductor. As a consequence, we obtain a quadratic refinement of the classical Grothendieck-Ogg-Shafarevich formula.

math.AG

Moving lemmas and the homotopy coniveau tower

In this note we study the functoriality of the coniveau filtration in motivic homotopy theory via a moving lemma over a base scheme, extending previous works of Levine and Bachmann-Yakerson. The main result is that the motivic stable homotopy category can be modeled on a smaller site, the "smooth-smooth site". The proof is based on a new approach to the purity theorem of Morel-Voevodsky using specialization maps, which turns out to hold even in absence of the $\mathbb{A}^1$-homotopy invariance property. Applications to the homotopy coniveau tower and to higher Chow-Witt groups are given.

math.AG

A Gersten complex on real schemes

We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the exceptional inverse image functor $f^!$. The hypercohomology of this complex coincides with hypercohomology of the sheafified Gersten-Witt complex, which in some cases can be related to topological or semialgebraic Borel-Moore homology.

math.AG

Perverse homotopy heart and MW-modules

We compute the perverse delta-homotopy heart of the motivic stable homotopy category over a base scheme with a dimension function delta, rationally or after inverting the exponential characteristic in the equicharacteristic case. In order to do that, we define the notion of homological Milnor-Witt cycle modules and construct a homotopy-invariant Rost-Schmid cycle complex. Moreover, we define the category of cohomological Milnor-Witt cycle modules and show a duality result in the smooth case.

math.AG

Some results on the motivic nearby cycle

We extend Ayoub's formalism of motivic nearby cycle functor to the $\infty$-categorical level, and prove some desired cohomological properties by relating the motivic nearby cycle functor to the notion of local acyclicity in motivic homotopy.

math.AG

Optimal quantum optical control of spin in diamond

The nitrogen-vacancy (NV) center spin represents an appealing candidate for quantum information processing. Besides the widely used microwave control, its coherent manipulation may also be achieved using laser as mediated by the excited energy levels. Nevertheless, the multiple levels of the excited state of NV center spin make the coherent transition process become complex and may affect the fidelity of coherent manipulation. Here, we adopt the strategy of optimal quantum control to accelerate coherent state transfer in the ground state manifold of NV center spin using laser. The results demonstrate improved performance in both the speed and the fidelity of coherent state transfer which will be useful for optical control of NV center spin in diamond.

quant-ph

On some finiteness results in real étale cohomology

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real étale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the derived direct image functor preserves constructibility under some assumptions, and compute the Grothendieck group of the constructible rational stable motivic homotopy category for reasonable schemes. We prove the generic base change property for constructible real étale sheaves, and deduce the same property for rational motivic spectra and $b$-sheaves.

math.AG

Fundamental classes in motivic homotopy theory

We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Déglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Barge-Morel, in the same way the higher Chow groups extend the classical Chow groups. As another application we prove a motivic Gauss-Bonnet formula, computing Euler characteristics in the motivic homotopy category.

math.AG

On the rational motivic homotopy category

We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2].

math.AG

Algebraic G-theory in motivic homotopy categories

We prove that algebraic G-theory in is representable in unstable and stable motivic homotopy categories; in the stable category we identify it with the Borel-Moore theory associated to algebraic K-theory, and show that such an identification is compatible with the functorialities defined by Quillen and Thomason.

math.AG

Künneth formulas for motives and additivity of traces

We prove several Künneth formulas in motivic homotopy categories and deduce a Verdier pairing in these categories following SGA5, which leads to the characteristic class of a constructible motive, an invariant closely related to the Euler-Poincaré characteristic. We prove an additivity property of the Verdier pairing using the language of derivators, following the approach of May and Groth-Ponto-Shulman; using such a result we show that in the presence of a Chow weight structure, the characteristic class for all constructible motives is uniquely characterized by proper covariance, additivity along distinguished triangles, refined Gysin morphisms and Euler classes. In the relative setting, we prove the relative Künneth formulas under some transversality conditions, and define the relative characteristic class.

math.AG

Borel isomorphism and absolute purity

We prove absolute purity for the rational motivic sphere spectrum. The main ingredient is the construction of an analogue of the Chern character, where algebraic K-theory is replaced by hermitian K-theory, and motivic cohomology by the plus and minus parts of the rational sphere spectrum. Another ingredient is absolute purity for hermitian K-theory.

math.AG