Abstract:On an orthogonal Shimura variety, one has a collection of special cycles in the Gillet-Soule arithmetic Chow group. We describe how these cycles behave under pullback to an embedded orthogonal Shimura variety of lower dimension. The bulk of the paper is devoted to cases in which the special cycles intersect the embedded Shimura variety improperly, for which we construct logarithmic expansions of certain Green currents on the deformation to the normal bundle of the embedding.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in orthogonal Shimura varieties, how to describe the pull - back behavior of arithmetic special cycles under the embedded lower - dimensional orthogonal Shimura varieties. Specifically, the author studies the situation when these special cycles do not intersect normally with the embedded Shimura varieties, which requires analyzing the logarithmic expansion of Green currents on the deformation of the normal bundle of the embedding.
### Research Background and Problems
1. **Special Cycles in Orthogonal Shimura Varieties**
- On an orthogonal Shimura variety \(M\), there are a series of special cycles from the embeddings of smaller orthogonal Shimura varieties.
- These special cycles are the subject of the Kudla conjecture [Kud04], and the core idea is that they should be regarded as the geometric analogues of the coefficients of Siegel theta functions.
2. **The Need for Arithmetic Intersection Theory**
- In order to carry out arithmetic intersection theory, Green currents must be assigned to these special cycles.
- Garcia - Sankaran [GS19] proposed a method to construct these Green currents, using the ideas of Bismut [Bis90] and Bismut - Gillet - Soulé [BGS90a].
- Special cycles together with these currents define arithmetic special cycles in the Gillet - Soulé arithmetic Chow group.
3. **The Complexity of the Pull - back Problem**
- When the special cycles intersect the embedded Shimura variety \(M_0\) normally, the pull - back can be simply defined and directly calculated.
- However, in most cases, these intersections are non - normal, which makes direct calculation difficult.
### Main Research Content
- **Treatment of Non - normal Intersections**
- The author adopts Hu [Hu99]'s method to define the arithmetic pull - back by Fulton's method of deforming the normal cone.
- The key lies in calculating the specialization of the Garcia - Sankaran Green currents on the normal bundle.
- **Main Results**
- The author proves a formula, showing that under the embedding map \(i_0:M_0\rightarrow M\), the pull - back of an arithmetic special cycle is a predetermined linear combination of arithmetic special cycles.
### Formula Representation
Let \(\phi = \phi_0\otimes\psi\in S(\hat{V}_0^d)\otimes S(\hat{W}^d)\subset S(\hat{V}^d)\), where \(\phi_0\) is fixed by \(K_0\), and both \(\phi_0\) and \(\psi\) take values in integers. The pull - back map \(i_0^*:\hat{CH}^d(M)\to\hat{CH}^d(M_0)\) satisfies:
\[
i_0^*\hat{C}_M(T, v, \phi)=\sum_{T_0\in\text{Sym}^d(F)}\sum_{y\in W^d}\delta_{T_0 + T(y), T}\psi(y)\cdot\hat{C}_{M_0}(T_0, v, \phi_0)
\]
where \(T(y)\in\text{Sym}^d(F)\) is the moment matrix of the tuple \(y\in W^d\).
### Summary
The main contribution of this paper lies in solving the pull - back problem of special arithmetic cycles in orthogonal Shimura varieties under the embedded lower - dimensional Shimura varieties, especially the treatment method in the case of non - normal intersections, and giving a specific pull - back formula.