Pith. sign in

REVIEW 3 major objections 7 minor 2 cited by

O-minimal geometry of higher Albanese manifolds

T0 review · 3 major / 7 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read If a higher Albanese manifold is algebraic, the Albanese tower stabilises at step two.

desk verdict Strong new technique and a real theorem, but the normal-variety case rests on an unproved extension step in Remark 6. read the letter →

arxiv 2505.07632 v2 pith:JWB6IPXU submitted 2025-05-12 math.AG math.CV

Vasily Rogov This is my paper · ORCID
classification math.AGmath.CV MSC 14C3014F3503C64
keywords higherAlbanesemanifoldso-minimalgeometrymixedHodgestructuresdefinablecomplexanalyticspacesnil-JacobianMalcevcompletionnilpotentfundamentalgroupsShafarevichreductions
topics The Hodge Conjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies higher Albanese manifolds: complex manifolds that encode the nilpotent quotients of the fundamental group of a possibly singular algebraic variety. It proves they fit into the tameness framework of o-minimal geometry: each admits a canonical definable complex structure, the projections between levels are definable, and the higher Albanese maps are definable in a slightly larger o-minimal structure. The main result is a rigidity statement: if at some level $s \ge 3$ the higher Albanese manifold is definably biholomorphic to a quasi-projective variety—equivalently, if the level-$s$ higher Albanese map is dominant—then the whole tower stabilises at the second step. Hence the Malcev completion of the fundamental group is at most two-step nilpotent, confirming a special case of the conjecture that nilpotent fundamental groups of algebraic varieties have class at most two. A second application produces explicit quasi-projective models for nilpotent Shafarevich reductions.

What carries the argument

The mechanism is the nil-Jacobian: a quotient $\Gamma\backslash W(\mathbb{C})/F^0W$, where $W$ is a connected simply connected unipotent $\mathbb{Q}$-algebraic group whose Lie algebra carries a graded-polarisable mixed $\mathbb{Q}$-Hodge structure with weights only in negative degrees, and $\Gamma$ is a discrete Zariski-dense subgroup. Every higher Albanese manifold is a nil-Jacobian. The paper's embedding theorem realises every nil-Jacobian, up to finite cover, as a fibre of the purification map of a mixed Hodge variety; combined with the canonical definable structure on mixed Hodge varieties (built from the $\mathfrak{sl}_2$-splitting, a real-semialgebraic retraction of the period domain) this yields the definable complex-manifold structure. The rigidity theorem then converts definable algebraicity of $\operatorname{Alb}^s(X)$ into an algebraic tower of principal bundles with commutative structure groups, and rules out towers of length greater than two by structure theory of commutative algebraic groups and topological classification of principal bundles.

What would settle it

Exhibit a normal quasi-projective variety for which the sketched normal-case extension of the higher Albanese maps cannot be made, or a variety with a dominant level-three Albanese map whose fundamental group has a nilpotent quotient of class at least three; either would refute the central theorem as stated. Concretely, the proof rules out any algebraic tower of three principal bundles with abelian structure groups whose top fundamental group is class-three nilpotent, so finding such an algebraic tower would be a counterexample.

Watch

Extended reading notes

Core claim

The central claim is a definability statement with a rigidity consequence. Each higher Albanese manifold $\operatorname{Alb}^s(X)$ of a normal quasi-projective variety over $\mathbb{C}$ can be functorially given the structure of an $\mathbb{R}_{\mathrm{alg}}$-definable complex manifold; the projections $\operatorname{Alb}^s(X)\to\operatorname{Alb}^{s-1}(X)$ become definable principal bundles whose fibres are definable commutative complex Lie groups, and the higher Albanese maps $X^{\mathrm{an}}\to\operatorname{Alb}^s(X)$ are $\mathbb{R}_{\mathrm{an},\exp}$-definable. Moreover, the reduced image of each higher Albanese map is the definable analytification of a quasi-projective variety, and the map to it is algebraic. The paper then proves: if for some $s\ge 3$ the definable manifold $\operatorname{Alb}^s(X)$ is definably biholomorphic to a quasi-projective variety—equivalently, if $\operatorname{alb}^s$ is dominant—then $\operatorname{Alb}^r(X)\to\operatorname{Alb}^{r-1}(X)$ is an isomorphism for every $r>2$ and a principal $(\mathbb{C}^\times)^k$-bundle at $r=2$; consequently the pro-unipotent completion of $\pi_1(X)$ is two-step nilpotent, a special case of the conjecture restricting nilpotent fundamental groups of algebraic varieties to class at most two.

Load-bearing premise

The central theorem assumes that the higher Albanese maps, originally known for smooth varieties, extend to normal singular varieties; the paper's Remark 6 supplies only a sketch attributed to a private communication, so if that extension fails, the definability and stabilisation results would not cover singular $X$.

Editorial extensions

If this is right

  • The reduced image of each higher Albanese map is the definable analytification of a quasi-projective variety, and the higher Albanese map to that image is algebraic.
  • If $\operatorname{alb}^s$ is dominant at some level $s \ge 3$, then the pro-unipotent completion of $\pi_1(X)$ is at most two-step nilpotent; if $\pi_1(X)$ is itself nilpotent, its nilpotency class is at most two.
  • If $\operatorname{Alb}^s(X)$ is definably biholomorphic to a quasi-projective variety at some level $s \ge 3$, then $\operatorname{Alb}^r(X)\to\operatorname{Alb}^{r-1}(X)$ is an isomorphism for every $r>2$, so the higher Albanese tower stabilises at the second step.
  • The higher Albanese tower is a tower of definable principal bundles with definable actions, making o-minimal methods applicable to its geometry.
  • Nilpotent Shafarevich reductions exist, are quasi-projective, and admit explicit models as partial higher Albanese manifolds.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The definable structure on nil-Jacobians is canonical, so the higher Albanese tower becomes a definable invariant of the fundamental group; one could compute it in examples where higher Albanese maps are expressed by polylogarithms and use o-minimal counting to extract transcendence statements.
  • The equivalence between definable algebraicity of $\operatorname{Alb}^s(X)$ and dominance of $\operatorname{alb}^s$ suggests a general criterion: for other definable quotients of mixed period domains, definable algebraicity may force rigidity of the underlying monodromy. Testing this on non-Albanese quotients would separate the definability phenomenon from the Albanese-specific structure.
  • A published proof of the normal-case extension of the higher Albanese maps would make the theorems unconditional for all normal quasi-projective varieties; until then the strongest unconditional form holds for smooth varieties, and applications to singular moduli spaces should be checked against that premise.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper studies higher Albanese manifolds of normal quasi-projective complex varieties from the viewpoint of o-minimal geometry. It introduces nil-Jacobians as double quotients of unipotent Q-groups by Hodge-theoretic subgroups, proves they carry canonical R_alg-definable complex manifold structures (Theorem 5.3), and uses this to show definability of higher Albanese manifolds and higher Albanese maps (Theorem A / Theorem 6.3). It then proves algebraicity criteria for the higher Albanese tower (Corollary 6.4), constructs partial higher Albanese manifolds and explicit nilpotent Shafarevich reductions (Theorem 6.5), and proves that if Alb^s(X) is definably algebraic or alb^s is dominant for some s≥3, then the tower stabilizes and the Malcev completion is 2-step nilpotent (Theorem B / Theorem 7.9). The paper also offers a heuristic argument for Campana's conjecture and several open questions.

Significance. If the results hold, this is a substantial contribution: it places Hain-Zucker's higher Albanese theory inside the o-minimal period-map framework, gives a new algebraicity theorem for higher Albanese towers, confirms a special case of Campana's conjecture, and supplies explicit Shafarevich reductions for nilpotent representations. The paper is largely self-contained, with careful references to the literature and detailed treatment of the Embedding Theorem for nil-Jacobians. No circularity is apparent; the internal use of Corollary 6.4 inside Theorem B is a legitimate application. The main caveat, discussed below, is that the normal-case extension of higher Albanese maps rests on an unverified assertion attributed to a private communication.

major comments (3)
  1. [4.3, Remark 6; Theorems 4.6, 6.3, 6.4, 7.9] The extension of the higher Albanese map from smooth to normal varieties is load-bearing and is not proved. Remark 6 defines α on the smooth locus X∘ and then asserts that α extends to all of X because X is normal. This is not a valid general principle: a holomorphic map from the complement of a codimension-≥2 set into a noncompact complex manifold need not extend (e.g. C^2∖{0}→C given by z↦1/z has no holomorphic extension). The target Alb^s(X) is generally noncompact, and no boundedness, properness, or meromorphic-extension argument is supplied. The construction also depends on a choice of resolution φ, and independence from that choice is not addressed. Since Theorem 4.6 is the basis for Theorem 6.3(iii),(vi), Corollary 6.4, and Theorem 7.9 in the normal case, all normal-case statements in the paper inherit this unverified premise. Please provide a complete extension argument, or restrict the main theorems to smooth varieties and state the normal-case results as conditional.
  2. [7.5, Proposition 7.8] The proof by contradiction in Proposition 7.8 is not coherent as written. Under the assumption nilpp(G^{r0}_Z)=s+1, the factorization of alb^{r0}_* through G^{s+1}_Z gives a homomorphism G^{s+1}_Z→G^{r0}_Z, not an inverse to the surjection G^{r0}_Z→G^{r0-1}_Z=G^s_Z; the quotient from an (s+1)-step nilpotent group to its s-step quotient is not an isomorphism. The proposition is true by a simpler argument: if p_s is an isomorphism, then the natural map Γ/Γ_s→Γ/Γ_{s-1} is an isomorphism, forcing Γ_s=Γ_{s-1}, so the lower central series stabilizes and all higher quotients coincide. The current proof should be replaced by this or an equally explicit argument.
  3. [5.3, Lemma 5.4] The proof of Lemma 5.4 asserts that N_W,R∩π(Ξ_R) is R_an-definable because N_W,R is a compact analytic submanifold of M_R. Compactness plus analyticity does not imply definability in an o-minimal structure. The intended argument can be repaired by noting that D_W,R=W(R)·h_0 is real semialgebraic and Ξ_R is definable, so D_W,R∩Ξ_R is definable; this should be stated explicitly. As written, the proof of definability of sub-nil-Jacobians, which underlies Theorem 5.3 and hence Theorem A, is incomplete.
minor comments (7)
  1. [1.1, 4.1] The spelling 'Maltsev' should be 'Malcev' consistently throughout the paper.
  2. [3.1] The phrase 'algerbaic setty = 0u' is garbled; it should be 'algebraic set y=0'.
  3. [4.2] 'finiely presented' should be 'finitely presented'.
  4. [5.1] 'Le groups' should be 'Lie groups'.
  5. [6.1] 'moprhism' should be 'morphism'.
  6. [7.4] 'principal T-bindle' should be 'principal T-bundle'.
  7. [6.1, Corollary 6.4] The one-sentence proof of (i)⇒(ii) should be expanded: the reader needs to see why Alb^s(A_s) is again A_s, why alb^s_{A_s} is surjective, and why f=alb^s_X is an algebraic morphism (for instance via the definable Chow theorem and Theorem 6.3(vi)).

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: central claims derive from external Hodge-theoretic and o-minimal GAGA inputs; the only flagged weakness is an unproved normal-case extension in Remark 6, which is a missing proof rather than a circular reduction.

full rationale

The derivation chain is not circular. Theorem A/6.3 is proved by first developing nil-Jacobians and embedding them into fibres of purification maps of mixed Hodge varieties (Theorem 5.2); the definable structure on mixed Hodge varieties is taken from the external theorem of Bakker-Brunebarbe-Klingler-Tsimerman ([BBKT23, Theorem 3.8]), and the higher Albanese maps are then exhibited as lifts of period maps along finite covers (Theorem 6.1, Proposition 6.2). The definability of the maps is therefore a derived consequence of external period-map definability, not an input relabelled as an output. Corollary 6.4 and Theorem B likewise use external algebraisation results (definable GAGA/Chow theorems of [BBT23a] and quasi-projectivity of images of mixed period maps in [BBT23b]), together with classical Blanchard and toric-bundle lemmas; no fitted parameter is renamed as a prediction. The one self-citation, [Rog24, Corollary 7.2], appears only in a concluding open-problem remark and is not load-bearing. The paper's own Remark 6 does flag a genuine gap: the extension of the higher Albanese map from the smooth locus X^o to a normal X is asserted with the sentence, 'Since X is normal, the holomorphic map alpha defined on its smooth part X^o extends globally as alb^s: X to Alb^s(X),' and the parenthetical 'This is a private communication by Richard Hain.' This is an unverified premise and could restrict the main theorems to smooth varieties if the extension fails, but it is not a circular step: the asserted extension is not equivalent to any conclusion of the paper, nor is it derived from the paper's own fitted inputs. Thus the appropriate circularity finding is essentially negative.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claims rest on a chain of deep external theorems rather than on fitted parameters or invented entities. The most fragile external input is the Hain-Zucker period-map description of higher Albanese maps, especially its normal-variety case. All other inputs are standard published theorems.

assumptions (6)
  • standard math Higher Albanese maps alb^s exist for smooth quasi-projective varieties and are lifts of period maps of admissible unipotent variations (Hain-Zucker, Theorem 6.1 of the paper).
    Used to transfer definability of period maps from BBKT23 to definability of higher Albanese maps in Theorem 6.3(iii).
  • domain assumption The extension of higher Albanese maps to normal quasi-projective varieties by resolution of singularities (Remark 6).
    Load-bearing for Theorem A and all later results stated for normal X; no public reference is provided.
  • standard math Definability of mixed period maps and definable analytic spaces (Bakker-Brunebarbe-Klingler-Tsimerman, Theorem 3.8).
    Foundation of the definable complex manifold structure on mixed Hodge varieties and nil-Jacobians.
  • standard math Definable GAGA and algebraisation theorems (Peterzil-Starchenko definable Chow theorem, BBT definable GAGA, Theorems 3.4-3.7).
    Used to conclude algebraicity from definability in Theorem 6.3(vi) and Corollary 6.4.
  • standard math Blanchard's theorem on holomorphic principal torus bundles with Kähler total space (Theorem 7.5), and the theorem of Fossum-Iversen on Picard groups of algebraic fibre spaces.
    Core input in the proof of Theorem B to rule out non-abelian higher nilpotent steps.
  • standard math Raghunathan's theorem that discrete Zariski dense subgroups of unipotent Q-groups are arithmetic lattices (used in Theorems 5.2 and 6.2).
    Needed for embedding nil-Jacobians into mixed Hodge varieties and for the finite-index property of images of lattices.

how reviews work

0 comments
Cite this review

Pith. "Pith review of O-minimal geometry of higher Albanese manifolds." pith.science (2026). https://pith.science/paper/JWB6IPXU

@misc{pith2026250507632,
  author       = {Pith},
  title        = {Pith review of: O-minimal geometry of higher Albanese manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JWB6IPXU}},
  note         = {Machine review of arXiv:2505.07632}
}
abstract

Let X be a normal quasi-projective variety over $\mathbb{C}$. We study its higher Albanese manifolds, introduced by Hain and Zucker, from the point of view of o-minimal geometry. We show that for each $s$ the higher Albanese manifold $\operatorname{Alb}^s(X)$ can be functorially endowed with a structure of an $\mathbb{R}_{\operatorname{alg}}$-definable complex manifold in such a way that the natural projections $\operatorname{Alb}^s(X) \to \operatorname{Alb}^{s-1}(X)$ are $\mathbb{R}_{\operatorname{alg}}$-definable and the higher Albanese maps $\operatorname{alb}^s \colon X^{\operatorname{an}} \to \operatorname{Alb}^s(X)$ are $\mathbb{R}_{\operatorname{an}, \operatorname{exp}}$-definable. Suppose that for some $s \ge 3$ the definable manifold $\operatorname{Alb}^s(X)$ is definably biholomorphic to a quasi-projective variety. We show that in this case the higher Albanese tower stabilises at the second step, i.e. the maps $\operatorname{Alb}^r (X) \to \operatorname{Alb}^{r-1}(X)$ are isomorphisms for $r\ge 3$. It follows that if $\operatorname{alb}^s \colon X^{\operatorname{an}} \to \operatorname{Alb}^s(X)$ is dominant for some $s \ge 3$, then the higher Albanese tower stabilises at the second step and the pro-unipotent completion of $\pi_1(X)$ is at most 2-step nilpotent. This confirms a special case of a conjecture by Campana on nilpotent fundamental groups of algebraic varieties. As another application, we prove the existence and quasi-projectivity of unipotent Shafarevich reductions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On a non-abelian analogue of a conjecture of Michael Stoll

    math.NT 2025-08 accept novelty 8.0 of 10

    For rank 0 once-punctured elliptic curves, the quadratic Chabauty locus equals the p-adic points of a fixed finite subscheme of torsion points described explicitly by residues and local heights.

  2. Topology of higher Albanese maps and aspherical varieties with nilpotent fundamental group

    math.AG 2026-07 conditional novelty 7.0 of 10

    For aspherical normal complex algebraic varieties, a virtually nilpotent fundamental group is forced to be virtually two-step nilpotent.

Reference graph

Works this paper leans on

54 extracted references · 49 canonical work pages · cited by 2 Pith papers

  1. [1]

    The nilpotent quotients of normal quasi-projective varieties with proper quasi- A lbanese map

    Rodolfo Aguilar Aguilar and Frédéric Campana. The nilpotent quotients of normal quasi-projective varieties with proper quasi- A lbanese map. Pure and Applied Mathematics Quarterly , 21(3):911–929, 2025

    work page 2025

  2. [2]

    Fundamental G roups of C ompact K \"a hler Manifolds

    Jaume Amoros, Marc Burger, Kevin Corlette, Dieter Kotschick, and Domingo Toledo. Fundamental G roups of C ompact K \"a hler Manifolds . Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, March 1996

    work page 1996

  3. [3]

    Definability of mixed period maps

    Benjamin Bakker, Yohan Brunebarbe, Bruno Klingler, and Jacob Tsimerman. Definability of mixed period maps. Journal of the European Mathematical Society , 26(6):2191–2209, May 2023

    work page 2023

  4. [4]

    o-minimal G A G A and a conjecture of G riffiths

    Benjamin Bakker, Yohan Brunebarbe, and Jacob Tsimerman. o-minimal G A G A and a conjecture of G riffiths. Inventiones mathematicae , 232(1):163--228, 2023

    work page 2023

  5. [5]

    Quasi-projectivity of images of mixed period maps

    Benjamin Bakker, Yohan Brunebarbe, and Jacob Tsimerman. Quasi-projectivity of images of mixed period maps. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2023(804):197--219, 2023

    work page 2023

  6. [6]

    The linear S hafarevich conjecture for quasiprojective varieties and algebraicity of S hafarevich morphisms

    Benjamin Bakker, Yohan Brunebarbe, and Jacob Tsimerman. The linear S hafarevich conjecture for quasiprojective varieties and algebraicity of S hafarevich morphisms. arXiv preprint arXiv:2408.16441 , 2024

    arXiv 2024

  7. [7]

    Tame topology of arithmetic quotients and algebraicity of H odge loci

    Benjamin Bakker, Bruno Klingler, and Jacob Tsimerman. Tame topology of arithmetic quotients and algebraicity of H odge loci. Journal of the American Mathematical Society , 33(4):917--939, 2020

    work page 2020

  8. [8]

    Espaces fibr \'e s k \"a hl \'e riens compacts

    Andr \'e Blanchard. Espaces fibr \'e s k \"a hl \'e riens compacts. C. R. Acad. Sci., Paris , 238:2281--2283, 1954

    work page 1954

Show all 54 references
  1. [9]

    Counting integral points of bounded height on varieties with large fundamental group

    Yohan Brunebarbe and Marco Maculan. Counting integral points of bounded height on varieties with large fundamental group. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2024(807):31--53, 2024

    2024

  2. [10]

    Existence of the S hafarevich morphism for semisimple local systems on quasi-projective varieties

    Yohan Brunebarbe. Existence of the S hafarevich morphism for semisimple local systems on quasi-projective varieties. arXiv preprint arXiv:2305.09741 , 2023

    2023 arXiv

  3. [11]

    Remarques sur les groupes de K \"a hler nilpotents

    Fr \'e d \'e ric Campana. Remarques sur les groupes de K \"a hler nilpotents. In Annales scientifiques de l'Ecole normale sup \'e rieure , volume 28, pages 307--316, 1995

    1995

  4. [12]

    Hyperbolicity and fundamental groups of complex quasi-projective varieties

    Benoit Cadorel, Ya Deng, and Katsutoshi Yamanoi. Hyperbolicity and fundamental groups of complex quasi-projective varieties. arXiv preprint arXiv:2212.12225 , 2022

    2022 arXiv

  5. [13]

    Degeneration of H odge structures

    Eduardo Cattani, Aroldo Kaplan, and Wilfried Schmid. Degeneration of H odge structures. Annals of Mathematics , 123(3):457--535, 1986

    1986

  6. [14]

    A modern proof of C hevalley's theorem on algebraic groups

    Brian Conrad. A modern proof of C hevalley's theorem on algebraic groups. Journal-Ramanujan Mathematical Society , 17(1):1--18, 2002

    2002

  7. [15]

    Quadratic presentations and nilpotent K \"a hler groups

    James A Carlson and Domingo Toledo. Quadratic presentations and nilpotent K \"a hler groups. Journal of Geometric Analysis , 5:359--378, 1995

    1995

  8. [16]

    Th \'e orie de H odge: I I

    Pierre Deligne. Th \'e orie de H odge: I I . Publications Math \'e matiques de l'IH \'E S , 40:5--57, 1971

    1971

  9. [17]

    Le groupe fondamental de la droite projective moins trois points

    Pierre Deligne. Le groupe fondamental de la droite projective moins trois points. In Galois Groups over Q : Proceedings of a Workshop Held March 23--27, 1987 , pages 79--297. Springer, 1989

    1987

  10. [18]

    Structures de H odge mixtes r \'e elles

    Pierre Deligne. Structures de H odge mixtes r \'e elles. Motives (Seattle, WA, 1991) , 55:509--514, 1994

    1991

  11. [19]

    Linear S hafarevich C onjecture in positive characteristic, hyperbolicity and applications

    Ya Deng and Katsutoshi Yamanoi. Linear S hafarevich C onjecture in positive characteristic, hyperbolicity and applications. arXiv preprint arXiv:2403.16199 , 2024

    2024

  12. [20]

    Reductive S hafarevich C onjecture

    Ya Deng, Katsutoshi Yamanoi, and Ludmil Katzarkov. Reductive S hafarevich C onjecture. arXiv preprint arXiv:2306.03070 , 2023

    2023 arXiv

  13. [21]

    Algebraic flat connections and o-minimality

    H \'e l \`e ne Esnault and Moritz Kerz. Algebraic flat connections and o-minimality. arXiv preprint arXiv:2506.07498 , 2025

    2025 arXiv

  14. [22]

    Linear S hafarevich C onjecture

    Philippe Eyssidieux, Ludmil Katzarkov, Tony Pantev, and Mohan Ramachandran. Linear S hafarevich C onjecture. Annals of mathematics , pages 1545--1581, 2012

    2012

  15. [23]

    Sur la convexit \'e holomorphe des rev \^e tements lin \'e aires r \'e ductifs d’une vari \'e t \'e projective alg \'e brique complexe

    Philippe Eyssidieux. Sur la convexit \'e holomorphe des rev \^e tements lin \'e aires r \'e ductifs d’une vari \'e t \'e projective alg \'e brique complexe. Inventiones mathematicae , 156(3):503--564, 2004

    2004

  16. [24]

    On P icard groups of algebraic fibre spaces

    Robert Fossum and Birger Iversen. On P icard groups of algebraic fibre spaces. Journal of Pure and Applied Algebra , 3(3):269--280, 1973

    1973

  17. [25]

    On quasi- A lbanese maps

    Osamu Fujino. On quasi- A lbanese maps. Bollettino dell'Unione Matematica Italiana , pages 1--41, 2024

    2024

  18. [26]

    Rev\^etements \'etales et groupe fondamental ( S G A 1) (version originale)

    Alexander Grothendieck and Michel Max Raynaud. Rev\^etements \'etales et groupe fondamental ( S G A 1) (version originale). 2002

    2002

  19. [27]

    The de R ham homotopy theory of complex algebraic varieties

    Richard Hain. The de R ham homotopy theory of complex algebraic varieties. Unpublished; available at https://services.math.duke.edu/ hain/papers/big_red.pdf, 1984

    1984

  20. [28]

    Higher A lbanese manifolds

    Richard Hain. Higher A lbanese manifolds. In Hodge Theory: Proceedings of the US-Spain Workshop held in Sant Cugat (Barcelona), Spain June 24--30, 1985 , pages 84--91. Springer, 1985

    1985

  21. [29]

    The geometry of the mixed H odge structure on the fundamental group

    Richard Hain. The geometry of the mixed H odge structure on the fundamental group. In Proc. Symp. Pure Math , volume 46, pages 247--282, 1987

    1987

  22. [30]

    Completions of mapping class groups and the cycle C - C \^ -

    Richard Hain. Completions of mapping class groups and the cycle C - C \^ -. Contemporary Mathematics , 150:75--75, 1993

    1993

  23. [31]

    Lectures on minimal models , volume 9

    Stephen Halperin. Lectures on minimal models , volume 9. Gauthier-Villars, 1983

    1983

  24. [32]

    Functional transcendence for the unipotent A lbanese map

    Daniel Rayor Hast. Functional transcendence for the unipotent A lbanese map. Algebra & Number Theory , 15(6):1565–1580, October 2021

    2021

  25. [33]

    Higher logarithms

    Richard Hain and Robert MacPherson. Higher logarithms. Illinois Journal of Mathematics , 34(2):392--475, 1990

    1990

  26. [34]

    Remarks on torus principal bundles

    Thomas H \"o fer. Remarks on torus principal bundles. Journal of Mathematics of Kyoto University , 33(1):227--259, 1993

    1993

  27. [35]

    Unipotent variations of mixed H odge structure

    Richard Hain and Steven Zucker. Unipotent variations of mixed H odge structure. Inventiones mathematicae , 88(1):83--124, 1987

    1987

  28. [36]

    Hodge loci and atypical intersections: conjectures, 2017

    Bruno Klingler. Hodge loci and atypical intersections: conjectures, 2017

    2017

  29. [37]

    S L (2)-orbit theorem for degeneration of mixed H odge structures

    Kazuya Kato, Chikara Nakayama, and Sampei Usui. S L (2)-orbit theorem for degeneration of mixed H odge structures. Manuscripta Math , 102:269--310, 2000

    2000

  30. [38]

    Extended period domains, algebraic groups, and higher A lbanese manifolds

    Kazuya Kato, Chikara Nakayama, and Sampei Usui. Extended period domains, algebraic groups, and higher A lbanese manifolds. arXiv preprint arXiv:1611.03179 , 2016

    2016 arXiv

  31. [39]

    On a class of homogeneous spaces

    Anatolii Ivanovich Mal'tsev. On a class of homogeneous spaces. Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya , 13(1):9--32, 1949

    1949

  32. [40]

    Grothendieck- T eichm \"u ller group, operads and graph complexes: a survey

    Sergei Merkulov. Grothendieck- T eichm \"u ller group, operads and graph complexes: a survey. arXiv preprint arXiv:1904.13097 , 2019

    1904 arXiv

  33. [41]

    The algebraic topology of smooth algebraic varieties

    John W Morgan. The algebraic topology of smooth algebraic varieties. Publications Math \'e matiques de l'IH \'E S , 48:137--204, 1978

    1978

  34. [42]

    Arithmetical compactification of mixed S himura varieties , volume 209

    Richard Pink. Arithmetical compactification of mixed S himura varieties , volume 209. Rheinische Friedrich-Wilhelms-Universit \"a t Bonn Bonn, 1989

    1989

  35. [43]

    Mixed H odge structures , volume 52

    Chris AM Peters and Joseph HM Steenbrink. Mixed H odge structures , volume 52. Springer Science & Business Media, 2008

    2008

  36. [44]

    Complex analytic geometry in a nonstandard setting

    Ya’acov Peterzil and Sergei Starchenko. Complex analytic geometry in a nonstandard setting. London Mathematical Society Lecture Note Series , 349:117, 2008

    2008

  37. [45]

    The rational points of a definable set

    Jonathan Pila and Alex James Wilkie. The rational points of a definable set. Duke Mathematical Journal , 133(3), June 2006

    2006

  38. [46]

    Rational homotopy theory

    Daniel Quillen. Rational homotopy theory. Annals of Mathematics , 90(2):205--295, 1969

    1969

  39. [47]

    Discrete subgroups of L ie groups , volume 68

    Madabusi Santanam Raghunathan. Discrete subgroups of L ie groups , volume 68. Springer, 1972

    1972

  40. [48]

    The B ieri- N eumann- S trebel sets of quasi-projective groups

    Vasily Rogov. The B ieri- N eumann- S trebel sets of quasi-projective groups. arXiv preprint arXiv:2408.06250 , 2024

    2024 arXiv

  41. [49]

    Espaces fibr \'e s alg \'e briques

    Jean-Pierre Serre. Espaces fibr \'e s alg \'e briques. S \'e minaire Claude Chevalley , 3:1--37, 1958

    1958

  42. [50]

    Higgs bundles and local systems

    Carlos T Simpson. Higgs bundles and local systems. Publications Math \'e matiques de l'IH \'E S , 75:5--95, 1992

    1992

  43. [51]

    Homotopy groups of pullbacks of varieties

    Andrew John Sommese and Antonius Van de Ven. Homotopy groups of pullbacks of varieties. Nagoya Mathematical Journal , 102:79--90, 1986

    1986

  44. [52]

    A description of a result of D eligne by log higher A lbanese map

    Sampei Usui. A description of a result of D eligne by log higher A lbanese map. Journal of Singularities , 2020

    2020

  45. [53]

    Tame topology and o-minimal structures , volume 248

    Lou Van den Dries. Tame topology and o-minimal structures , volume 248. Cambridge university press, 1998

    1998

  46. [54]

    Geometric categories and o-minimal structures

    Lou van den Dries and Chris Miller. Geometric categories and o-minimal structures. Duke Mathematical Journal , 84:497--540, 1996

    1996

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.