BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

John Millson

John Millson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.GTmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2015arXiv

Hodge type theorems for arithmetic manifolds associated to orthogonal groups

We show that special cycles generate a large part of the cohomology of locally symmetric spaces associated to orthogonal groups. We prove in particular that classes of totally geodesic submanifolds generate the cohomology groups of degree $n$ of compact congruence $p$-dimensional hyperbolic manifolds &#34;of simple type&#34; as long as $n$ is strictly smaller than $\frac{p}{3}$. We also prove that for connected Shimura varieties associated to $\OO (p,2)$ the Hodge conjecture is true for classes of degree $< \frac{p+1}{3}$. The proof of our general theorem makes use of the recent endoscopic classification of automorphic representations of orthogonal groups by \cite{ArthurBook}. As such our results are conditional on the hypothesis made in this book, whose proofs have only appear on preprint form so far; see the second paragraph of subsection \ref{org2} below.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Noether-Lefschetz conjecture and generalizations

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. For compact manifolds this was proved in \cite{BMM11}, here we extend the results of \cite{BMM11} to non-compact manifolds. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Hodge conjecture and arithmetic quotients of complex balls

Let $S$ be a closed Shimura variety uniformized by the complex $n$-ball. The Hodge conjecture predicts that every Hodge class in $H^{2k} (S, \Q)$, $k=0, \ldots, n$, is algebraic. We show that this holds for all degree $k$ away from the neighborhood $]n/3, 2n/3[$ of the middle degree. We also address the Tate conjecture and the generalized form of the Hodge conjecture and extend most of our results to Shimura varieties associated to unitary groups of any signature. The proofs make use of the recent endoscopic classification of automorphic representations of classical groups by \cite{ArthurBook,Mok}. As such our results are conditional on the stabilization of the trace formula for the (disconnected) groups $\GL (N) \rtimes \langle θ\rangle$ associated to base change. Unfortunately, at present the stabilization of the trace formula has been proved only for the case of {\it connected} groups. The extension needed is part of work in progress by the Paris-Marseille team of automorphic form researchers. For more detail, see the second paragraph of subsection \ref{org2} below.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Boundary behavior of special cohomology classes arising from the Weil representation

In our previous paper [math.NT/0408050], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p,q)$. This correspondence is realized using theta functions associated to explicitly constructed &#34;special&#34; Schwartz forms. Furthermore, the theta functions give rise to generating series of certain &#34;special cycles&#34; in $X$ with coefficients. In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel-Sere compactification $\bar{X}$ of $X$. However, for the $\Q$-split case for signature $(p,p)$, we have to construct and consider a slightly larger compactification, the &#34;big&#34; Borel-Serre compactification. The restriction to each face of $\bar{X}$ is again a theta series as in [math.NT/0408050], now for a smaller orthogonal group and a larger coefficient system. As application we establish the cohomological nonvanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Spectacle cycles with coefficients and modular forms of half-integral weight

In this paper we present a geometric way to extend the Shintani lift from even weight cusp forms for congruence subgroups to arbitrary modular forms, in particular Eisenstein series. This is part of our efforts to extend in the noncompact situation the results of Kudla-Millson and Funke-Millson relating Fourier coefficients of (Siegel) modular forms with intersection numbers of cycles (with coefficients) on orthogonal locally symmetric spaces. In the present paper, the cycles in question are the classical modular symbols with nontrivial coefficients. We introduce &#34;capped&#34; modular symbols with coefficients which we call &#34;spectacle cycles&#34; and show that the generating series of cohomological periods of any modular form over the spectacle cycles is a modular form of half-integral weight. In the last section of the paper we develop a new simplicial homology theory with local coefficients (that are not locally constant) that allows us to extend the above results to orbifold quotients of the upper half plane.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Geometric Theta Correspondence for Hilbert Modular Surfaces

In a series of papers we have been studying the geometric theta correspondence for non-compact arithmetic quotients of symmetric spaces associated to orthogonal groups. It is our overall goal to develop a general theory of geometric theta liftings in the context of the real differential geometry/topology of non-compact locally symmetric spaces of orthogonal and unitary groups which generalizes the theory of Kudla-Millson in the compact case. In this paper we study in detail the geometric theta lift for Hilbert modular surfaces. In particular, we will give a new proof and an extension (to all finite index subgroups of the Hilbert modular group) of the celebrated theorem of Hirzebruch and Zagier that the generating function for the intersection numbers of the Hirzebruch-Zagier cycles is a classical modular form of weight 2. In our approach we replace Hirzebuch&#39;s smooth complex analytic compactification $\tilde{X}$ of the Hilbert modular surface $X$ with the (real) Borel-Serre compactification $\bar{X}$. The various algebro-geometric quantities are then replaced by topological quantities associated to 4-manifolds with boundary. In particular, the &#34;boundary contribution&#34; in Hirzebruch-Zagier is replaced by sums of linking numbers of circles (the boundaries of the cycles) in the 3-manifolds of type Sol (torus bundle over a circle) which comprise the Borel-Serre boundary.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The geometry of eight points in projective space: Representation theory, Lie theory, dualities

This paper deals with the geometry of the space (GIT quotient) M_8 of 8 points in P^1, and the Gale-quotient N&#39;_8 of the GIT quotient of 8 points in P^3. The space M_8 comes with a natural embedding in P^{13}, or more precisely, the projectivization of the S_8-representation V_{4,4}. There is a single S_8-skew cubic C in P^{13}. The fact that M_8 lies on the skew cubic C is a consequence of Thomae&#39;s formula for hyperelliptic curves, but more is true: M_8 is the singular locus of C. These constructions yield the free resolution of M_8, and are used in the determination of the &#34;single&#34; equation cutting out the GIT quotient of n points in P^1 in general. The space N&#39;_8 comes with a natural embedding in P^{13}, or more precisely, PV_{2,2,2,2}. There is a single skew quintic Q containing N&#39;_8, and N&#39;_8 is the singular locus of the skew quintic Q. The skew cubic C and skew quintic Q are projectively dual. (In particular, they are surprisingly singular, in the sense of having a dual of remarkably low degree.) The divisor on the skew cubic blown down by the dual map is the secant variety Sec(M_8), and the contraction Sec(M_8) - - > N&#39;_8 factors through N_8 via the space of 8 points on a quadric surface. We conjecture that the divisor on the skew quintic blown down by the dual map is the quadrisecant variety of N&#39;_8 (the closure of the union of quadrisecant *lines*), and that the quintic Q is the trisecant variety. The resulting picture extends the classical duality in the 6-point case between the Segre cubic threefold and the Igusa quartic threefold. We note that there are a number of geometrically natural varieties that are (related to) the singular loci of remarkably singular cubic hypersurfaces. Some of the content of this paper appeared in arXiv/0809.1233.

0 citations0 reviewsNo code linkedOpen access